Lean: a theorem prover and programming language that enables correct, maintainable, and formally verified code. https://lean-lang.org #ITP #LeanProver #FunctionalProgramming
#FunctionalProgramming
The lovely thing about Clojure (or any LISP for that matter) is that you start with
step 1: learning its data structures,
then you proceed to
step 2: learning the syntax, which you've already done in step 1
Oh là là just dropped:
2.5 hour "Introduction To Category Theory"
by Richard Southwell
https://youtu.be/H32kyA4BMz4
#categorytheory #haskell #ZuriHac #ZuriHac2025 #functionalprogramming
HT @zurihac
A diagrammatic calculus for a functional model of natural language semantics. ~ Matthieu Pierre Boyer. https://arxiv.org/abs/2507.00782v1 #Haskell #FunctionalProgramming
Implementing a type theory with observational equality, using normalisation by evaluation. ~ Matthew Sirman, Meven Lennon-Bertrand, Neel Krishnaswami. https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2024.5 #Haskell #FunctionalProgramming
Reflections on Haskell and Rust. ~ Sibi Prabakaran. https://academy.fpblock.com/blog/rust-haskell-reflections #Haskell #FunctionalProgramming #Rust
🎩✨ Look, another riveting journey into the magical world of #Haskell #lenses, folds, and traversals, because who doesn't want to spend their weekend contemplating the depths of Control.Lens? 📚🔥 The package claims to come "Batteries Included," but all you get is a PDF-sized manual on how to assemble them yourself. 🛠️🔍
https://hackage.haskell.org/package/lens #ControlLens #FunctionalProgramming #WeekendReading #HackerNews #ngated
New opening that just appeared in the new place I started working at last month:
Scala Engineering Team lead.
It's for a team different from the one I joined.
Here's the linkedin post which has details in another link.
Ah, yes, because if there's one thing the world desperately needs, it's a 5,872-word thesis on reinventing the Game Boy with an obscure functional programming language. 😂 Apparently, nothing screams cutting-edge technology like retro gaming consoles and OCaml's bewildering syntax. 🕹️🚀
https://linoscope.github.io/writing-a-game-boy-emulator-in-ocaml/ #retroGaming #OCaml #functionalProgramming #techHumor #GameBoy #innovation #HackerNews #ngated
The increasing adoption of #functionalprogramming in the #softwareindustry creates new career opportunities for those who use it. Join me and gain functional programming skills to seize opportunities in the evolving world of #distributedcomputing and #BigData
Course starts Sept 24. Enroll here: https://online-learning.tudelft.nl/courses/functional-programming-for-big-data-processing/ Early-bird registration discount available until July 21.
“Hume remarked once and for all that the arguments of Berkeley were not only thoroughly unanswerable but thoroughly unconvincing. This dictum is emphatically true as it applies to our world; but it falls down completely in Tlön. The nations of that planet are congenitally idealist. Their language, with its derivatives—religion, literature, and metaphysics—presupposes idealism. For them, the world is not a concurrence of objects in space, but a heterogeneous series of independent acts. It is serial and temporal, but not spatial. There are no nouns in the hypothetical Ursprache of Tlön, which is the source of the living language and the dialects; there are impersonal verbs qualified by monosyllabic suffixes or prefixes which have the force of adverbs. For example, there is no word corresponding to the noun moon, but there is a verb to moon or to moondle. The moon rose over the sea would be written hlör u fang axaxaxas mlö, or, to put it in order: upward beyond the constant flow there was moondling. (Xul Solar translates it succinctly: upward, behind the onstreaming it mooned.)”
#Borges, Ficciones, TLÖN, UQBAR, ORBIS TERTIUS
God this is beautiful. And then... it kind of is like radical #FunctionalProgramming, where you don't have nouns/variables, only compositions of actions applied to inputs. If you're successful in that, there's not a single name mentioned. But I digress, my being a programmer makes it an extremely shallow commentary to a captivating idea.
Me and my sister when we were kids.
Slice categories and continuations are very similar concepts, with a lot of overlap between the two. Yet I'm somewhat confident that there are differences as well. Anybody have insight?
Matthew Watt, David Kerber, Lorenzo Gallegos, and Mitchel Sellers present on Software Craftsmanship at Nebraska.Code().
https://nebraskacode.amegala.com/
#SoftwareCraftsmanship #FunctionalProgramming #TechStack #Secure #Coding #Code #TechConf #Nebraska #Software #Programming #Heartland #lincolnnebraska #DeveloperConference #midwesttech #softwareengineering #softwaredevelopment
Readings shared June 30, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/01-readings_shared_07-01-25 #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #Maxima #Teaching
#programming #softwareEngineering article https://screwlisp.small-web.org/programming/tangle/ #commonLisp #asdf #systemsProgramming #series #pathnames #packaging
Really simple... Sort of... But so intricate to write. I deal with (writing a smidge of #interactive #lazyEvaluation #functionalProgramming ) :
- Tangling markdown into an asdf :class :package-inferred-system lisp system
- Doing so with scan-file and collect-file from series
- Working with lisp’s make-pathname directories.
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst