See this post on Semble to find connections and similar articles.
Why Futhark?
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Functional programming with bananas, lenses, envelopes and barbed wire
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example functions in Bird and Wadler's “Introduction to Functional Programming” can be expressed using these operators.
Integrating functional and imperative programming | Proceedings of the 1986 ACM conference on LISP and functional programming
We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language ...
OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful
A textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is the textbook for CS 3110 Data Structures and Functional Programming at Cornell University. A past title of this book was “Functional Programming in OCaml”.
Aaron Steven White
computational semanticist. into modular synths and tiki. https://aaronstevenwhite.io
Turing: Probabalistic Programming in Julia | Cameron Pfiffer | JuliaCon 2019
Category theory for computing science
Category theory for computing science by Michael Barr, 1990, Prentice Hall edition, in English
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
An Introduction To Robust-First Computation
Did you know there's an entire field of computer science barely yet explored? Join me at the entrance to a deep rabbit hole as we take a look at Robust-First Computation.
Radial — Science needs a new operating system.
We design, fund, and operate high-impact programs that prototype a new model for how science is done, shared, and scaled for real-world utility.
037 HEIR: A foundation for FHE compilers
pldb: programming languages papers
Search 22,324 papers from POPL, PLDI, ICFP, OOPSLA and other programming languages venues, from 1973 to today.
The future of programming and computing
Trends and adjacent possibles for the future of how computers are used and programmed
MOSAIC
Modular Open Science, AI & Collective Intelligence (mosaic-program.org)
ci.acm.org
Reinventing Discovery
Human learning is an understudied but promising lever for boosting human–AI synergy
AI for science needs reasoning, not just data
MOSAIC — Modular Open Science, AI & Collective Intelligence
Reimagining research papers as interactive and reliable AI agents
vit — open source is social
Humans approve intent, machines prove conformance
Introducing System One Models and Jev - TypeSafe AI Blog
Message from our CEO: After co-inventing ChatGPT, I kept asking myself: why have superhuman chat models not led to AGI? I’ve spent the last…
On-device intelligence for every product
SaaS Isn’t Dead. Sameness Is. - The Phoenix Architecture