infruset

7 ms·

1.
by infruset 6d ago
> "Georges Gonthier, a computer scientist at Inria in Paris" somehow the article forgets to mention he was the guy who came up with the first Coq (now Rocq) formal proof of the Four Color Theorem..
2.
by infruset 4mo ago
"Two early 20th century authors are talking while walking downtown Paris, occasionally noticing landmarks, while we hear horse hooves as well as a few cars" https://stableaudio.com/1/share/b4eeaa11-cf29-4
3.
by infruset 7mo ago
Note there is a fork oh-my-pi: https://github.com/can1357/oh-my-pi of https://blog.can.ac/2026/02/12/the-harness-problem/ fame. I use it as a daily driver but I also love pi.
4.
by infruset 9mo ago
So as for math of that level, (the best) humans are still kings by far. But things are moving quickly and there is very exciting human-machine collaboration, one need only look at recent interviews of Terence Tao!
5.
by infruset 9mo ago
I can't disclose that, but what I can say is no one at my company writes Lean yet. I'm basically experimenting with formalizing in Lean stuff I normally do in other languages, and getting results exciting enough I hope to trigger
6.
by infruset 9mo ago
I was waiting for a post like this to hit the front page of Hacker News any day. Ever since Opus 4.5 and GPT 5.2 came out (mere weeks ago), I've been writing tens of thousands of lines of Lean 4 in a software engineering job and I feel
7.
Know the Person Behind the Papers(a3nm.net)
2 points by infruset 1y ago|0 comments
8.
Welcome to the Falcon 3 Family of Open Models(huggingface.co)
3 points by infruset 2y ago|0 comments
9.
by infruset 2y ago
Does anyone have a clue how far we are from having "LLMs for animals"? Even if we don't understand what the LLM is saying to a dolphin or a monkey, does it change much from feeding millions of texts to a model without ever ex
10.
by infruset 2y ago
Very nice ! How might one go about adapting this to other languages ? Does a version of the model downloaded exist somewhere ?
11.
by infruset 2y ago
I think they are the conference and journal versions of the same paper. Hadn't seen it was mentioned in the article, I should have read it more thoroughly!
12.
by infruset 2y ago
If on top of rigorous, you want them to be formally verified in Coq at the same time as they are computed: https://www.lri.fr/~melquion/doc/18-jar.pdf
13.
AIChat: All-in-One AI CLI Tool(github.com)
2 points by infruset 2y ago|0 comments
14.
by infruset 2y ago
Can it be pointed to a remote ollama server ?
15.
by infruset 3y ago
It's interesting that historically, in France, the more prestigious a publisher is, the more bland the cover. Book covers with colors all over the place feel cheap over here.
16.
by infruset 3y ago
I've read it, and I warmly recommend it! And it is true and ironic that the only language I could read it in was.. English
17.
by infruset 3y ago
Random people from all these countries can name of the top of their head a bunch of any of the following: - US presidents - US pop artists - US filmmakers - US cities - US CEOs - US companies - US TV shows I stopped there but I could go on
18.
by infruset 3y ago
Thanks for the link! And I really appreciate any work about books, really, and yours is of great magnitude, thanks for sharing your project. If you ever look to expand it to French, I could be interested in helping.
19.
by infruset 3y ago
Well, I don't think anyone in particular is to blame; I'm guessing Danish publishers and booksellers cater to their public and have little economic leeway to risk translating risky books for a small linguistic group. That's t
20.
by infruset 3y ago
> You are fully welcome to go and look at these places as well; they are also global in the same sense that y combinator is. Allow me to respectfully disagree: they are not. The dominance of US culture around the world, for the best and
21.
by infruset 3y ago
Thanks for your answer. I will try to clarify a bit. Of course we all know the books are going to be written in English. I am not trying to ask for an idiot-proof label stating the obvious lest a reader might waste a click expecting German-
22.
by infruset 3y ago
There would never be a site/post "les cent meilleurs livres de 2023" on a global discussion board such as this because by definition it would not be in English. There might be a "the best french books of 2023" pos
23.
by infruset 3y ago
I get that HN is an english-language website from the US, and that I'm not entitled for this website to include me. Don't take this as personal criticism -- if anything I like your project --, I'm hating the game and not the
24.
Book Review: Seeing Like a State (SlateStarCodex)(slatestarcodexabridged.com)
2 points by infruset 3y ago|0 comments
25.
by infruset 3y ago
I've seen the same reaction from people learning to program. Why are there thousands of programming languages? Why not put everything under one standard? The main answer, as for many variations of this question (languages, laws, units
26.
Trine makes it easy for people to invest in solar energy in growing markets(trine.com)
2 points by infruset 3y ago|0 comments
27.
Autogen: Enable next-gen large language model applications(github.com)
163 points by infruset 3y ago|54 comments
28.
by infruset 3y ago
Do any commercial domestic solutions exist?
29.
by infruset 3y ago
I have the same question, and more generally: Any generic way of doing this for any of the open source or semi open source models, especially Mistral[0]? [0] https://news.ycombinator.com/item?id=37675496
30.
by infruset 3y ago
> Encompasses Replit's top 30 programming languages with a custom trained 32K vocabulary for high performance and coverage Any idea where the list can be found?

More ›