#haskell — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #haskell, aggregated by home.social.
-
"linear-locks: locking primitives free of deadlocks"
If you encounter STM's limitations when it comes to lock-free synchronisation, then Linear Haskell-backed locks maybe the solution you want!
https://discourse.haskell.org/t/ann-linear-locks-locking-primitives-free-of-deadlocks/14112
-
Despite not having particularly strong feelings about either #docker or #k8s, I designed and 3d-printed their logos (using #haskell code)
-
Despite not having particularly strong feelings about either #docker or #k8s, I designed and 3d-printed their logos (using #haskell code)
-
Despite not having particularly strong feelings about either #docker or #k8s, I designed and 3d-printed their logos (using #haskell code)
-
Despite not having particularly strong feelings about either #docker or #k8s, I designed and 3d-printed their logos (using #haskell code)
-
Despite not having particularly strong feelings about either #docker or #k8s, I designed and 3d-printed their logos (using #haskell code)
-
Why I Still Reach for Scheme and Lisp Instead of Haskell - jointhefreeworld
-
🦾 Functional Programmers need to take a look at Zig.
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html
-
#whisperradio is now reachable via #Gopher, served by my #venusia, relayed by a Literate #Haskell script (Markdown):
* runghc is too slow, can't pin deps/GHC
* So I built a launcher that compiles/fetches cache
* Each literate script declares its own deps + resolverTry it:
nc gopher.someodd.zip 70 <<< /applets/icecast.lhs | mpv --no-cache -Messy writeup (cataloged with my #bartleby):
gopher://gopher.someodd.zip/1/library/regarding_someodd/opensource/gopher_applet_spec -
Brisbane Functional Programming Group #BFPG May 12: Tim Lamberton will teach us about data type derivatives and zippers, and Carlo will introduce Datastar, his new #Haskell framework for interactive web apps. Be there or a be a lambda cube! https://luma.com/72tqx0nh
-
🎩✨ "A couple million lines of Haskell" - because apparently, that's just what #Mercury needed to reach peak #complexity. This series hilariously promises to combine #engineering rigor with creativity, which is code for "we're making it up as we go along." 😂💻
https://blog.haskell.org/a-couple-million-lines-of-haskell/ #Haskell #Humor #HackerNews #ngated -
🎩✨ "A couple million lines of Haskell" - because apparently, that's just what #Mercury needed to reach peak #complexity. This series hilariously promises to combine #engineering rigor with creativity, which is code for "we're making it up as we go along." 😂💻
https://blog.haskell.org/a-couple-million-lines-of-haskell/ #Haskell #Humor #HackerNews #ngated -
🎩✨ "A couple million lines of Haskell" - because apparently, that's just what #Mercury needed to reach peak #complexity. This series hilariously promises to combine #engineering rigor with creativity, which is code for "we're making it up as we go along." 😂💻
https://blog.haskell.org/a-couple-million-lines-of-haskell/ #Haskell #Humor #HackerNews #ngated -
🎩✨ "A couple million lines of Haskell" - because apparently, that's just what #Mercury needed to reach peak #complexity. This series hilariously promises to combine #engineering rigor with creativity, which is code for "we're making it up as we go along." 😂💻
https://blog.haskell.org/a-couple-million-lines-of-haskell/ #Haskell #Humor #HackerNews #ngated -
🎩✨ "A couple million lines of Haskell" - because apparently, that's just what #Mercury needed to reach peak #complexity. This series hilariously promises to combine #engineering rigor with creativity, which is code for "we're making it up as we go along." 😂💻
https://blog.haskell.org/a-couple-million-lines-of-haskell/ #Haskell #Humor #HackerNews #ngated -
A Couple Million Lines of Haskell: Production Engineering at Mercury
https://blog.haskell.org/a-couple-million-lines-of-haskell/
#HackerNews #Haskell #ProductionEngineering #Mercury #SoftwareDevelopment #FunctionalProgramming
-
🚀📚 Oh, look! Yet another language! Functional programmers, put down your #Haskell bibles and embrace Zig! 😂 Because clearly, what we needed was more *comptime* in our lives. 🙄✨
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html #functionalprogramming #Zig #comptime #programminglanguages #techhumor #HackerNews #ngated -
Is anyone going here this weekend? Agda is one of the most innovative game changers in functional programming and theorem proving, given its unique implementation architecture and capabilities. I'd like to meet you there! π🐫λ #CubicalAgda #Rocq #OCaml #Haskell types2026.cse.chalmers.se
TYPES 2026: TYPES 2026 -
"Immutability changes everything: We need it, we can afford it, and the time is now." -- Pat Helland
https://www.youtube.com/watch?v=xv-WApd-pSY
#simonpeytonjones #spj #interview #haskell #ghc #verse #gamedev #unreal #fortnight #functionalprogramming -
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
i no longer have a phlog. too webby.
gopher started like a library software. menus as shelves, card
catalog at the door. that's the ideawrote bartleby to use it that way. drop .bcard files next to your
stuff, it walks the directory and builds a catalog for gopher.no markdown, no templates, doesn't mess with your text
gopher://gopher.someodd.zip/1/library/
-
corpus: self-hosted listenbrainz and last.fm frontend https://lobste.rs/s/qxhzxh #elm #haskell #vibecoding
https://github.com/mtmn/corpus -
corpus: self-hosted listenbrainz and last.fm frontend https://lobste.rs/s/qxhzxh #elm #haskell #vibecoding
https://github.com/mtmn/corpus -
corpus: self-hosted listenbrainz and last.fm frontend https://lobste.rs/s/qxhzxh #elm #haskell #vibecoding
https://github.com/mtmn/corpus -
corpus: self-hosted listenbrainz and last.fm frontend https://lobste.rs/s/qxhzxh #elm #haskell #vibecoding
https://github.com/mtmn/corpus -
corpus: self-hosted listenbrainz and last.fm frontend https://lobste.rs/s/qxhzxh #elm #haskell #vibecoding
https://github.com/mtmn/corpus -
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
New release of trident and xerxes: v2.0.0.0! Please see the changelog here: https://github.com/poseidon-framework/poseidon-hs/releases/tag/v2.0.0.0 #aDNA #OpenData #Haskell
-
[Перевод] Мой 14-летний путь отказа от ORM: череда инсайтов, приведшая к созданию SQL-First кодогенератора для PostgreSQL
История о том, как я выпустил популярный ORM в 2012 году… потом похоронил его… потом осознал, что база данных должна быть единственным источником правды. И к чему это привело.
-
[Перевод] Мой 14-летний путь отказа от ORM: череда инсайтов, приведшая к созданию SQL-First кодогенератора для PostgreSQL
История о том, как я выпустил популярный ORM в 2012 году… потом похоронил его… потом осознал, что база данных должна быть единственным источником правды. И к чему это привело.
-
[Перевод] Мой 14-летний путь отказа от ORM: череда инсайтов, приведшая к созданию SQL-First кодогенератора для PostgreSQL
История о том, как я выпустил популярный ORM в 2012 году… потом похоронил его… потом осознал, что база данных должна быть единственным источником правды. И к чему это привело.
-
[Перевод] Мой 14-летний путь отказа от ORM: череда инсайтов, приведшая к созданию SQL-First кодогенератора для PostgreSQL
История о том, как я выпустил популярный ORM в 2012 году… потом похоронил его… потом осознал, что база данных должна быть единственным источником правды. И к чему это привело.
