José A. Alonso
jalonso.eurosky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
👤 Joined on 15 October 2023
1850
Followers
695
Following
6904
Total Posts
📜 Kullanıcı Geçmişi
- 15 Eki 2023, 09:29
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@jalonso.bsky.social - 12 Kas 2023, 23:27
🔄 Profil bilgileri güncellendi
- 03 Mar 2026, 13:15
✏️ Kullanıcı adı değişti:
@jalonso.bsky.social→@jalonso.eurosky.social
🚫 Blokladığı Kullanıcılar
did:plc:m3cwwqih6qn5nfqh6dyf3ykb
Not Found
did:plc:3aet5cdg5o7lkyaiuzohlq3b
Not Found
did:plc:zkmcy4ihwu62foaidhrndmte
Not Found
did:plc:sxtpaynxwvnlw7kv5m6yd25z
Not Found
Xabibenputa
xabibenputa.bsky.social
Frederik Vos
inktvis75.bsky.social
int_ijk
tbrunner.bsky.social
did:plc:luyvn3h4qfw745xwszmalxjs
Not Found
Deborahrose
maria5646.bsky.social
❤️ Beğendiği Gönderiler
Lean 4.35.0 is now available, with 214 changes. It adds vcgen, the successor of mvcgen, and lake check, which checks a project with Lean's kernel and, with --paranoid, several external checkers. lean-lang.org/doc/referenc...
Show Post
"Committees could respond by relying even more on pedigree and recommendations. Better-funded groups could use more powerful AI systems to increase their advantage. Departments could raise publication expectations until everyone is running faster ... That would reproduce the trap."
Show Post
Very interesting. Two more links: -Mathematics Books online www.sciencebooksonline.info/mathematics.... -Freely downloadable mathematical works www.ams.org/open-math-no...
Show Post
Functional Programming in Lean David Thrane Christiansen This is a free book on using Lean as a programming language. All code samples are tested with Lean release 4.33.0. #LeanLang lean-lang.org/functional_p...
Show Post
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem Discussion | hackernews | Author: jsLavaGoat #FormalMethods
Show Post