Hey HN! We're shipping Octofriend today, a cute coding assistant that can swap between GPT-5, Claude, local or open-source LLMs, etc mid-conversation as needed. It handles reasoning tokens (including encrypted ones from OpenAI and Anthropic) really well, and includes a couple of custom-trained ML models to fix minor diff edit and JSON encoding errors that we've also open-sourced. Have fun!
Comments URL: https://news.ycombinator.com/item?id=44828568
Points: 6
# Comments: 0
Melden Sie sich an, um einen Kommentar hinzuzufügen
Andere Beiträge in dieser Gruppe
Article URL: https://lock.cmpxchg8b.com/anubis.html
Comments URL: https://news.y
Article URL: https://nestable.dev/about
Comments URL: https://news.ycombinator.com/item?id=4
Bizcardz.ai is a website where you design business cards which are converted to KiCad PCB schematics which can be manufactured (using metals) by companies such as Elecrow and PCBWay
The site is
Article URL: https://zed.dev/blog/windows-progress-report
Comments URL: ht
![Lean proof of Fermat's Last Theorem [pdf]](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQAAAAEACAYAAABccqhmAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAJdElEQVR4nO3dTWhUhxrG8WfOzDhjYtKMNiVKS0IQ0kIx4DIuXEjbKGIXgUCxkhooKFJcmGZhVxGzUAi4CIhoaaA0aSldVMWtCLUfWy1UcdFAJmDSmA8j+Zg0M3d1g5dbrl7n6Jkzz/8HIZvxnTeD82c+z0nMzs6WBMBSEPUCAKJDAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGOpqBdAtBYWFjQ3N/dKrzORSPzX7yAINn4HQaBkMrnxk0qllE6nlUrx3zVsFrfo6uqqlpeXy5qRzWaVzWZD2qhyjIyMaGBg4JVeZyKR+I87eyqVUjKZVDqdVjqdViaTUSaT0ebNm1VTU6O6ujrV19crl8tpx44dam5uVltbm9566y1ls1ml0+lXun81sQjAxYsXdebMmbJmfPHFFzp16lRIG3krlUoqlUoqFouSpEKh8EJzXn/9de3Zs0fvv/++Dhw4oNdeey3MNS3wGgBia2ZmRj/++KNOnDih9vZ29ff368GDB1GvFSsEAFXh8ePH+vLLL7V//34NDAxoZmYm6pVigQCgapRKJc3Ozmp4eFhdXV26fft21CtVPAKAqrO+vq67d++qp6dHo6Oj+vvvv6NeqWIRAFSt2dlZ9ff369KlSy/8QmO1IwCoaktLSxocHNTIyAiPBP4BAUDVW1lZ0dmzZ3X9+nWVSqWo16koBAAWnjx5otOnT+v333+PepWKQgBg4+HDhzp9+rQWFhaiXqViEABY+fXXX/X1119HvUbFIACwsr6+ritXriifz0e9SkUgALCTz+f13XffRb1GRbD4MhBero8++kjd3d3/8zJPfwFofX1da2trKhQKWl5e1tLSkhYXFzU3N6epqSlNTExoampKU1NTWlpaCn3fYrGo0dFRHTt2TLW1taHPjxMCgLK1tLRo7969oc0rFouanp7W/fv3dfXqVd24cUPT09OhvoU3OTmpn376SR988EFoM+OIpwCoOEEQqKmpSXv37tXQ0JCuXbum7u7uUI/HUCgUdOPGjdDmxRUBQMXbuXOnhoeHNTg4qLq6utDm3rx5M7RZcUUAEAvJZFJHjx7VhQsXQnvens/nNT4+HsqsuCIAiJVDhw7p5MmToc27c+dOaLPiiAAgVpLJpD755BO1t7eHMu/evXuhzIkrAoDY2bZtm44cORLKrHw+r/X19VBmxREBQOwkEgl1dnZq8+bNZc+amZkhAEDc5HI5tbW1lT1nfn5+4+jEjggAYimVSqm5ubnsOSsrK9bHCCAAiKUgCEI5D0ChUCAAQBytra2VPSMIvO8C3n89YqtYLGp+fr7sOZlMZuMchY4IAGKpUCiEchaguro660cBvn85Ym1ycjKUj/Hmcjklk8nyF4opAoDYKRaL+uGHH0I5zPf27dsJABAnExMT+vbbb0OZ1draymsAQFwsLy/rwoULmpiYCGXeu+++G8qcuCIAiI1isaivvvpK33zzTSjzMpmMdu3aFcqsuOKQYIiF5eVlDQ0NaXh4OLRTfHV0dIR6lKE4IgCoaKVSSb/88ovOnTunn3/+ObQv7gRBoM7OzlBmxRkBQEUplUpaXFzUxMSE/vjjD33//ff67bff9Pjx41Cvp76+Xvv37w91ZhwRAJRtfHxct27deublnj4s+OrqqlZXV7W4uKjFxUU9evRI09PTyufz+uuvvzQ3N6dHjx69tK/qdnZ26s0333wps+OEAKBsY2NjGhsbi3qN55bL5dTb2xv1GhWBdwFgJZFI6NChQ9q9e3fUq1QEAgArLS0t+uyzz6w///80bgXYyGQy+vzzz9Xa2hr1KhWDAMBGb2+vurq6ol6johAAWDh48KD6+vqUTqejXqWiEABUvX379un8+fPK5XJRr1JxCACqViKR0Icffqjh4WE1NTVFvU5F4nMAqEr19fXq6elRX19fqCcUrTYEAFUlmUxq165d6u/v13vvvcfbfc9AAFAVgiDQ9u3b1dvbq56eHm3dujXqlWKBACD2WltbdfjwYX388cdqbGyMep1YIQCInWw2q7ffflsdHR3q7OxUR0cHD/VfEAFAJIIgUBAESqVSSiaT2rRpkzZt2qRsNquamhrV1tZqy5Ytamho0NatW9XU1KTm5ma1traqpaVFNTU1ymaz1sfzCwMBQNmOHz+uTz/99P/6N/++4wZBoEQisRGEZDK58ZNOp5VOp5VKpbijvyQEAGVraGhQS0tL1GvgBfDECTBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwxvEAntOff/6pW7duRb3GM73xxht65513ol4DMUEAntPo6KhGR0ejXuOZurq6dPny5ajXQEzwFAAwRgAAYwQAMEYAAGMEADBGAABjBAAwRgAAYwQAMEYAAGMEADBGAABjBAAwlpidnS1FvcTLtrCwoLm5uajXeCVqa2vV2Nj43JcP47ZpaGhQQ0NDWTMQDYsAAPhnPAUAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDAGAEAjBEAwBgBAIwRAMAYAQCMEQDA2L8AYjPxrRHL8VoAAAAASUVORK5CYII= "Lean proof of Fermat's Last Theorem [pdf]")
