Article URL: https://leanprover-community.github.io/con-nf//
Comments URL: https://news.ycombinator.com/item?id=40130924
Points: 87
# Comments: 12
Created
10d
|
Apr 23, 2024, 4:20:12 PM
Login to add comment
Other posts in this group
Article URL: https://spectrum.ieee.org/ai-coding
Comments URL: https://news.ycombin
I spent the last few days building out a nicer ChatGPT-like interface to use Mistral 7B and Llama 3 fully within a browser (no deps and installs).
I’ve used the WebLLM project by MLC AI for a wh
Article URL: https://daily.jstor.org/the-physics-of-karate/
Hey folks, join me in a lightsaber battle! I love Star Wars and may 4th is a special day for me, so I made this little thing. You can change the saber color and background. Let me know what you gu
Article URL: https://arstechnica.com/information