@philderbeast.bsky.social
Reposted
🎉 Unison 1.0 has landed!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
Announcing Unison 1.0
After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.
www.unison-lang.org
November 25, 2025 at 7:01 PM
🎉 Unison 1.0 has landed!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
Reposted
Haskell Brain Teasers is currently in beta. If you’re planning to read it I’d love you to get the beta and give feedback now!
pragprog.com/titles/haske...
pragprog.com/titles/haske...
Haskell Brain Teasers
Deepen your Haskell knowledge, sharpen your functional programming skills, and just have fun with 20 functional programming puzzles to tie your brain in knots.
pragprog.com
November 12, 2025 at 3:34 PM
Haskell Brain Teasers is currently in beta. If you’re planning to read it I’d love you to get the beta and give feedback now!
pragprog.com/titles/haske...
pragprog.com/titles/haske...
Reposted
What actually works when selling formal methods in industry?
What doesn't?
The way Galois Principal Scientist @m-dodds.bsky.social sees it, many FM projects don’t pencil out not because clients are irrational, but because the cost/benefit tradeoffs don’t make sense.
www.galois.com/articles/wha...
What doesn't?
The way Galois Principal Scientist @m-dodds.bsky.social sees it, many FM projects don’t pencil out not because clients are irrational, but because the cost/benefit tradeoffs don’t make sense.
www.galois.com/articles/wha...
May 8, 2025 at 4:32 PM
What actually works when selling formal methods in industry?
What doesn't?
The way Galois Principal Scientist @m-dodds.bsky.social sees it, many FM projects don’t pencil out not because clients are irrational, but because the cost/benefit tradeoffs don’t make sense.
www.galois.com/articles/wha...
What doesn't?
The way Galois Principal Scientist @m-dodds.bsky.social sees it, many FM projects don’t pencil out not because clients are irrational, but because the cost/benefit tradeoffs don’t make sense.
www.galois.com/articles/wha...
Reposted
A challenge we often hear from new Unison devs is around reading function signatures. Our syntax is common to ml-style languages (Haskell, Elm), but it can look intimidating when new to those langs. In this 🧵 I break down the syntax. First up, a function that is used to create an html div. 1/7
April 29, 2025 at 3:16 PM
A challenge we often hear from new Unison devs is around reading function signatures. Our syntax is common to ml-style languages (Haskell, Elm), but it can look intimidating when new to those langs. In this 🧵 I break down the syntax. First up, a function that is used to create an html div. 1/7
Reposted
My latest video on hang glider design, also a description of induced drag and what made the Spitfire so good, so hopefully of interest to non hangies too
https://youtu.be/gvhW9JgZ1JQ?si=RTX0LLaCu5HhT045
https://youtu.be/gvhW9JgZ1JQ?si=RTX0LLaCu5HhT045
April 5, 2025 at 2:03 PM
My latest video on hang glider design, also a description of induced drag and what made the Spitfire so good, so hopefully of interest to non hangies too
https://youtu.be/gvhW9JgZ1JQ?si=RTX0LLaCu5HhT045
https://youtu.be/gvhW9JgZ1JQ?si=RTX0LLaCu5HhT045
Reposted
what is dotnet Femto, and how it links package dependencies across transpiling universes in F# > github.com/Zaid-Ajaj/Fe... check it out #fsharp #dotnet #typescript #python #javascript
GitHub - Zaid-Ajaj/Femto: Femto is a CLI tool that automatically resolves npm packages used by Fable bindings
Femto is a CLI tool that automatically resolves npm packages used by Fable bindings - Zaid-Ajaj/Femto
github.com
December 9, 2024 at 11:03 AM
what is dotnet Femto, and how it links package dependencies across transpiling universes in F# > github.com/Zaid-Ajaj/Fe... check it out #fsharp #dotnet #typescript #python #javascript