Mastodawn

Readings shared May 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/20-readings_shared_05-19-26 #AI4Math #FunctionalProgramming #ITP #LeanProver #Math #RocqProver

Readings shared May 19, 2026

The readings shared in Bluesky on 19 May 2026 are: A shallow dive into formal verification. ~ Vitalik Buterin. #LeanProver #ITP Decidable (Logic in Lean). #LeanProver #ITP #FunctionalProgramming Lean

Vestigium

IBBoard 21h ago

There's an "Ultimate Functional Programming Bundle" on Humble Bundle right now. And…

… if only I had more time (and a need (and fewer constraints on colleagues _also_ needing to know it))…

The "Seven Obscure Languages in Seven Weeks" book particularly caught my eye 😁

https://www.humblebundle.com/books/ultimate-functional-programming-pragmatic-programmers-books

#FunctionalProgramming #HumbleBundle #PayWhatYouWant #Charity

Humble Tech Book Bundle: The Ultimate Functional Programming by Pragmatic Programmers

Pay what you want for a curated collection of functional programming courses by Pragmatic Programmers and help support Save the Children with your purchase!

Humble Bundle

Racket 1d ago

UK Racket meet-up: London 7:30pm Tuesday 19 May 2026

at The City Pride 🍕28 Farringdon Ln, London EC1R 3AU

Join us for discussion and pizza. All welcome.

https://racket.discourse.group/t/uk-racket-meet-up-7-30pm-tuesday-19-may-2026/4215
https://luma.com/2efru5cn
https://www.eventbrite.co.uk/e/uk-racket-meet-up-tickets-1989775291460
#racket #lisp #scheme #functionalprogramming

UK Racket meet-up 7:30pm Tuesday 19 May 2026

UK Racket meet-up Tuesday 19 May 2026 7:30pm The City Pride 🍕 28 Farringdon Ln, London EC1R 3AU Join us for discussion and pizza. All welcome. https://luma.com/2efru5cn https://www.eventbrite.co.uk/e/uk-racket-meet-up-tickets-1989775291460 # UK Racket meet-up: London 7:30pm Tuesday 19 May 2026 at The City Pride 🍕 28 Farringdon Ln, London EC1R 3AU Join us for discussion and pizza. All welcome. https://racket.discourse.group/tag/event/9 https://luma.com/2efru5cn https://www.eventbrit...

Racket Discourse

N-gated Hacker News 2d ago

🚀 Wow, Bartosz, you've managed to make #Haskell even less comprehensible by introducing "Profunctor Equipment"—because we all needed another reason to avoid functional programming! 🙃 Trust the compiler more than AI? Sure, because when my code breaks, it's way more fun to blame an inanimate syntax stickler than a sentient one. 🤖🔧
https://bartoszmilewski.com/2026/05/16/profunctor-equipment-in-haskell/ #Profunctor #FunctionalProgramming #CodeHumor #TrustTheCompiler #HackerNews #ngated

Profunctor Equipment in Haskell

Previously: Profunctor Equipment. To make things more palatable for programmers, I decided to provide a toy implementation of some of the equipments in Haskell. The advantage of this encoding is th…

Bartosz Milewski's Programming Cafe

Hacker News 2d ago

Profunctor Equipment in Haskell

https://bartoszmilewski.com/2026/05/16/profunctor-equipment-in-haskell/

#HackerNews #Profunctor #Haskell #FunctionalProgramming #TypeTheory #Programming #Concepts

Profunctor Equipment in Haskell

Bartosz Milewski's Programming Cafe

sayzard 4d ago

HackerNewsTop5 (@hackernewstop5)

Futhark 언어의 예제 모음 페이지가 소개됐다. Futhark는 고성능 수치 계산과 GPU/병렬 계산에 적합한 함수형 데이터패러렐 언어로, 예제를 통해 기본 문법과 활용 패턴을 빠르게 익힐 수 있다. GPU 연산이나 성능 중심 컴퓨팅에 관심 있는 개발자에게 유용하다.

https://x.com/hackernewstop5/status/2055607906486325523

#futhark #gpu #parallelcomputing #functionalprogramming

HackerNewsTop5 (@hackernewstop5) on X

Futhark by Example #HackerNews https://t.co/pLapPhk0eT

X (formerly Twitter)

ultramagnetic 4d ago

🚀 Higher-Kinded-J v0.4.4 is out — functional programming for Java 25.

🧪 NEW hkj-test module: fluent AssertJ assertions for every HKJ type — Either, Maybe, Try, IO, VTask, every transformer — behind a single import.
🔗 PCollections integration: HKT compatibility + 7 new optics generators (30 across 7 families).
➕ Alternative.orElseAll(Iterable) & MonadZero.filter.
🔭 Optic-polymorphic ForState.zoom & ReaderPath.magnify.

No breaking changes.

📦 https://github.com/higher-kinded-j/higher-kinded-j/releases/tag/v0.4.4
📚 https://higher-kinded-j.github.io

#Java #FunctionalProgramming #FP #JVM

Release The hkj-test Module, PCollections Integration, and Type Class Enrichments · higher-kinded-j/higher-kinded-j

Overview This release ships hkj-test, a new publishable module of fluent AssertJ assertion helpers for every public Higher-Kinded-J type, so tests read in the same vocabulary as the code under test...

GitHub

Hacker News 4d ago

Futhark by Example

https://futhark-lang.org/examples.html

#HackerNews #Futhark #FunctionalProgramming #Programming #Language #Examples #FutharkLang