Proposing a new intelligence metric to replace the IQ score:
LLM-equivalent
The size of an LLM that's about as smart as you. Measured in the number of weights, as per usual. Tens of billions, if you're lucky. 😏
LLM-equivalent
The size of an LLM that's about as smart as you. Measured in the number of weights, as per usual. Tens of billions, if you're lucky. 😏
💯2👎1
http://pl.ewi.tudelft.nl/seminar/2025/05/07/anuyts/
Andreas Nuyts invents something crazy in the best sense of the word! Unfortunately, he haven't published anything on this topic yet...
Extensible types as unknown bialgebras
Andreas Nuyts invents something crazy in the best sense of the word! Unfortunately, he haven't published anything on this topic yet...
❤1👏1
https://dl.acm.org/doi/10.1145/3694848.3694852
Peter Mosses mechanizes in Agda (sic!) the proofs from the seminal OOPSLA '89 paper by Jens Palsberg and William Cook on the (fixpoint) semantics of inheritance.
That's fucking awesome!!! 🔥
Towards Verification of a Denotational Semantics of Inheritance
Peter Mosses mechanizes in Agda (sic!) the proofs from the seminal OOPSLA '89 paper by Jens Palsberg and William Cook on the (fixpoint) semantics of inheritance.
That's fucking awesome!!! 🔥
ACM Conferences
Towards Verification of a Denotational Semantics of Inheritance | Proceedings of the Workshop Dedicated to Jens Palsberg on the…
In the crazy world of Web GIS systems, you download SAT images from a cloud and then remove clouds from the images... 😂
🔥1🤡1
/set parameter num_gpu 48 in ollama for gemma3:12b supposedly sends all the layers to a GPU, which occupies 7 GiB VRAM and bumps generation rate from about 5 tokens/sec to about 18 tokens/sec.👏2
NAME SIZE PROCESSOR EVAL RATE
deepseek-r1:8b 6.9 GB 100% GPU 50.70 tokens/s
gemma3_12b_opt 13 GB 46%/54% CPU/GPU 17.72 tokens/s
deepseek-r1:14b 11 GB 33%/67% CPU/GPU 6.35 tokens/s
Intel(R) Core(TM) i7-10870H CPU @ 2.20GHz
32 GiB RAM
NVIDIA GeForce RTX 3070 Laptop GPU
8 GiB VRAM
mistral-small3.1 does not run on Nvidia RTX 3070 even if you're explicitly trying to make it do so. Probably the dated GPU doesn't support some functions.🤣1
One undisputable advantage of "code copilots", they nudge developers into writing detailed understandable comments.
😁4
TIL: in Julia type names are written in capital (or camel) case, but that's simply the code style. The interpreter happily accept and work with low (or snake) case type names. I couldn't find it anywhere in the docs and had to test manually.
🤯2🐳1
Древнее зло пробудилось, но ещё не раскачалось. Никаких разрушений до первой кружки кофе!
😁2
https://www.youtube.com/watch?v=_A3TZNXNp_Y
This Thursday, Abramsky himself. The topic is next to incomprehensible, as expected. 😁
This Thursday, Abramsky himself. The topic is next to incomprehensible, as expected. 😁
YouTube
Samson Abramsky: "Duality for complete atomic partial Boolean algebras"
Topos Institute Colloquium, 15th of May 2025.
———
Partial Boolean algebras are an abstraction of projectors on Hilbert space ("quantum propositions") introduced by Kochen and Specker in their fundamental work on contextuality and the non-classicality of quantum…
———
Partial Boolean algebras are an abstraction of projectors on Hilbert space ("quantum propositions") introduced by Kochen and Specker in their fundamental work on contextuality and the non-classicality of quantum…
😁2
When they say "AI makes you more productive" they mean "AI makes more productive the people why can make the thing on their own". If you can't make it without AI you don't become more productive, you're as clueless as before.
👍1👏1
Если кто-то другой удалил сообщение пока ты пытался удалить это сообщение — Telegram виснет и падает. Шёл 2025й год. Разработчики по-прежнему не знали, что делать с concurrency. 🤦♀️
👍5😁4🐳3❤1
https://www.forester-notes.org/index/index.xml
Jon Sterling (and Kento Okura as one can see) released his "mathematical hypertext"/Zettelkasten thing as a full-blown standalone project. And migrated it to the Sourcehut.
Jon Sterling (and Kento Okura as one can see) released his "mathematical hypertext"/Zettelkasten thing as a full-blown standalone project. And migrated it to the Sourcehut.
Forwarded from std::chrono::steady_clock::now().time_since_epoch().count() 🏳️🌈🏳️⚧️ (yuki 🌸 malinova)
👏5🤯1