Viewing profile — infruset

"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…

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.

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 …

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 …

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 l…

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…

Very nice ! How might one go about adapting this to other languages ? Does a version of the model downloaded exist somewhere ?

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!

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

Can it be pointed to a remote ollama server ?

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.

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

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 - U…

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…

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…

> 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 do…

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…

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 "t…

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…

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 ma…