A hundred pull requests for Liquid Haskell
An overview of the improvements in the latest Liquid Haskell release
A new version of Liquid Haskell is out, featuring the work of several contributors to improve the proof mechanisms, support for CVC5 and more. In his new blog post, @facundominguez.bsky.social takes you on a tour of the highlights!
21.03.2025 10:46 — 👍 0 🔁 1 💬 0 📌 0
Hello! Coming from x.com/FacundoDomng...
03.03.2025 15:11 — 👍 1 🔁 0 💬 0 📌 0
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy: digital rights & economy
📍 Utrecht 🇳🇱🇩🇪🇪🇺
• Twitter: @TacticalGrace
ACM SIGPLAN Workshop on Functional Software Architecture
https://functional-architecture.org/
Tweag is the home of specialized engineering and advisory for Modus Create, uniting engineers and researchers to solve complex challenges. With expertise in functional engineering, build systems like Nix, Bazel, and Buck2, and blockchain like Cardano.
Mamá, profe e investigadora.
Fotógrafa amateur 🌅
Instituto de Computación, FING, UdelaR
Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine.
computers can be understood • she/her, ⚢ • Chicago
Noticias relacionadas a DDHH, política, PodCast, entrevistas, reportajes, arte-cultura y algo de contingencia.
Not your kwisatz haderach. Father, software surgeon, code juggler, Scala fan and FP enthusiast. Full heap developer. The voices in my head tell me what to type
Loves programming, programming languages, and type/build/dist/db systems! 🇬🇧🇦🇺👨💻
The software industry is broken — let's reboot the industry instead of our programs!
