The method I'm using to learn Class Field Theory from Artin & Tate

FangCheng v0.1 is released! Pure-CairoLang solver of systems of linear equations in fixed-point arithmetic. It uses naive methods such as Gauss-Jordan, and provides a set of primitives for elementary matrix operations. github.com/beautyisourbus…

Cairo-Goldmine got updated today!! @Cairolang/ Buidlers expanding the #Starknet universe 🚀🚀🚀 github.com/beautyisourbus…

Wake me up in five years when the AI community finally learns that relying on unit tests to check the correctness of automation-produced code is a bad idea

Tired of GPT nonsense and people who marvels at it.

Dice Cioran que la única diferencia entre paraíso e infierno es que en el primero se puede dormir todo lo que uno quiera, mientras que en el segundo no se duerme nunca. No puedo estar más de acuerdo.

Logic is everything when it comes to reasoning, or at least it is the glue of our different ways of thinking. Today's so-called AI is absolutely deficient in this matter. Bring back the ideas of the 70's and 80's and this time pursue them Festina Lente.

Revealed: Japan 🇯🇵 unveils the design of its pavilion at #Expo2025 Osaka Kansai. The host country pavilion, whose design was overseen by Oki Sato, will be made of cross-laminated timber that will be reused after the World Expo.

Shibuya.lisp定例のmeetupイベントを5/25(木) 19:30より開催します(Zoom開催)。 今のところLem 2.0についての発表が予定されています。 参加者発表者ともに募集中ですので、ご気軽に参加ください！ Shibuya.lisp lispmeetup #109 lisp.connpass.com/event/284261/

'These so-called governments are in reality only great bands of robbers and murderers, organized, disciplined, and constantly on the alert' -Lysander Spooner

My chosen path:

Language I dislike: Python Language I begrudgingly respect: Idris Language I think is overrated: Rust Language I think is underrated: Prolog Language I like: Smalltalk Language I love: Common Lisp Language I dream of writing in: Austral x.com/WarrenInTheBuf…

When Claude or Grok or whatever will apply correctly formal methods I'm in. If you know a bit of mathematical logic and ml... Well... You also know that it can't happen anytime soon...

Really interested in going back to @starknet for our gaming vision finally instanced, most other Blockchain projects seem doomed...

I'll try for the nth time to create my crystal clear multilinear algebra library in Common Lisp. Last 3 times i've failed miserably

Finally a Pope who knows mathematics!!

Multilinear projections now working on my common lisp library, still not ready for human consumption...

After looking Common Lisp packages for computing Gröbner basis, i'll do my own...

DISCULPEN LAS MOLESTIAS, PERO HAY 3 PIBAS DESAPARECIDAS EN LA MATANZA. Estudiaron en la EES58. Familias y amigos mantienen cortes en Camino de Cintura y Crovara. Hoy se acercaron al Municipio y recibieron hostigamiento policial. Que aparezcan ya Morena, Brenda y Lara!!

As security flaws emerge in deployed ZK systems, one suspects that few ZK teams grasp what apodictic certainty truly means. Logic and probability have been uneasy companions ever since Carnap.