Stackful Coroutine Made Fast | PhotonLibOS
Download pdf| photonlibos.github.io
The Impossible Optimization, and the Metaprogramming To Achieve It| verdagon.dev
JSON Query - a small, flexible, and expandable JSON query language| jsonquerylang.org
Typst as a Language| justinpombrio.net
I saw a post by qntm and remembered I had a playground with a similar idea. I then expanded that playground into a (probably non-exhausti...| wolfgirl.dev
Why formalize mathematics - more than catching errors I read a good post by one of the authors of the Isabelle theorem prover, that got me thinking. The author, Lawrence Paulson, observed that most math proofs are trivial, but writing them (preferably with a proof assistant) is a worthwhile activity, for reasons similar to safety checklists - “Not every obvious statement is true.” As I have been a bit obsessed with doing formalized mathematics, this got me thinking about why I am excited ...| Rado's Radical Reflections
what does this mean and does it matter| ryelang.org
Esoteric programming languages are challenging to learn, but their unusual features and constraints may serve to improve programming ability. From languages designed to be intentionally obtuse (e.g. INTERCAL) to others targeting artistic expression (e.g. Piet) or exploring the nature of computation (e.g. Fractan), there is rich variety in the realm of esoteric programming languages. This essay examines the counterintuitive appeal of esoteric languages and seeks to analyse reasons for this pop...| arXiv.org
Exploring Odin Through a Tiny Key-Value Store with Pub/Sub| dayvster.com
The Mondrian introduction to functional optics| Marcoshplace
The lone lisp delimited continuations implementation journey.| www.matheusmoreira.com
Clojure, LLVM, and C++ walk into a bar. jank is born. Don't think about it too much.| jank-lang.org
Dave's Paper Notes: A Tutorial for the Sam Command Language| ratfactor.com
Subtext Retrospective, Sep 2025| www.subtext-lang.org
Been quiet around here! I’ve been putting almost all of my writing time into Logic for Programmers and my whole brain is book-shaped. Trust me, you do not want to read my 2000-word rant on Sphinx post-build LaTeX customization. But I spent the past week in a historical rabbit hole and had to share what I found. It started with Algebraic [Data] Types are not Scary, Actually. The post covers AlgDTs1 in more detail, but a quick overview is:| Hillel Wayne
Imagining a Language without Booleans| justinpombrio.net
第四 (Daiyon) — a Japanese & Forth inspired postfix language - daiyon.c| Gist
The Initial DiscoveryThe other day, while exploring the Zod documentation for some type schema validators for one of my side projects, I stumbled upon something intriguing that didn’t immediately clic| AzraelSec
Haskell is the world’s best programming language, but let’s face the harsh reality that a lot of times in life you’ll have to write in other programming languages. But alas you have been fully Haskell-brained and lost all ability to program unless it is type-directed, you don’t even know how to start writing a program without imagining its shape as a type first. Well, fear not. The foundational theory behind Algebraic Data Types and Generalized Algebraic Data Types (ADTs and GADTs) ar...| in Code
Exploring the world of constraint solvers with very simple examples.| asibahi.github.io
Combinatory Programming : If you've never read [Parsing with Derivatives][derivatives], I recommend it enthusiastically. It's a brief, readable introduction to *Brzozowski Derivatives*---an exceptionally simple method for evaluating regular| blog.zdsmith.com
The pirate-based logic of Rust shared references| ais523.me.uk
Algebraic Types are not Scary, Actually| blog.aiono.dev
In Smalltalk, everything is an| blog.ielliott.io
The Raku® programming language.| raku.org
Effects as Capabilities| nrinaudo.github.io
A curated collection of answers that Rich gave throughout the history of Clojure - rich-already-answered-that.md| Gist
Benchmarks and theoretical explanation of why and when hashed radix sort beats hash tables.| Reiner’s webpage and articles.
Algebraic effects are not just a research concept anymore. You can use them in real software, today. Here's why you'd want to do that, in order of importance.| www.relax.software
If you pick a random talk at a C++ conference these days, there is a fair chance that the speaker will mention safety at least a couple of times. It’s probably fine like that. The committee and the community must think about improving both the safety situation and the reputation of C++. If you follow what’s going on in this space, you are probably aware that people have different perspectives on safety. I think almost everybody finds it important, but they would solve the problem in their...| Sandor Dargo’s Blog
Nimony: Design principles| Nim Programming Language Personal Blog
Let's build a Python type checker in 300 lines of code.| austinhenley.com
a personal blog| www.stylewarning.com
---| www.canicula.com
Statically typed programming languages can help catch mismatches between the kinds of values a [...]| LWN.net
This week I reached a milestone in my most useless side project so far. I finished writing a tic-tac-toe game in Lean 4, along with proofs to guarantee that the game behaves correctly! It “only” took me 20 hours, 1000 lines of code and endless suffering… Totally worth it, as you might expect. Chances are you haven’t heard about Lean before, so I’ll share more details below. But first, let’s have an overview of this article’s contents, since it ended up quite long:| Adolfo Ochagavía
| riki's house
| riki's house
| riki's house
| riki's house
| riki's house
I spent some time before making Datalogs that translated into SQL. https://www.philipzucker.com/tiny-sqlite-datalog/| Hey There Buddo!
This post is an exploration on some additional possible semantics for mutability (and immutability).| Ante
The APL Farm has recently hosted discussions about the proposed under operator, asking “why Dyalog hasn’t implemented it a long time ago”. I claimed that an important reason was that Roger Hui wasn’t a big fan of the proposed extension known as “structural under”. Stefan Kruger then asked me why that was so. Since Roger isn’t able to respond himself, I’ll do my best to explain my own understanding of the issues.| www.dyalog.com
what led us down this path| dbeef.dev
[fogus.me| blog.fogus.me
AsciiDots is an esoteric programming language based on ascii art. In this language, dots, represented by periods (.), travel down ascii art paths and undergo operations.| ajanse.me
Overview| cprimozic.net
Dyna | dyna.org
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future| Stephen Diehl
Typecheckers built for fun| sdiehl.github.io
Anaphoric Macros| letoverlambda.com
An important aspect of OCaml that newcomers might want to| kirancodes.me
Placing Arguments| blog.yoshuawuyts.com
A candid discussion between Siddhant and AmitU about building fastn, the challenges of open source sustainability, and launching our Rust Consultancy| fastn.com
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.| xvw.lol
Type inference for plain data using Monoids The context behind this post is that my partner asked me how to ...| www.haskellforall.com
I wanted to share a side project I’ve been tinkering with for a while and finally got around to shipping: Coalton Playground – basically a web-based REPL for Coalton, which is this inte…| Abacus Noir
A linear scan through the history of… linear scan register allocation.| Max Bernstein
TLDR: I made Filli (this is a link), a Lua/python-like embeddable language written in C23 (or C99 with GNUisms; compiles as C++ too!). The license is permissive. It’s sandboxable, like Lua. I…| Abandonculture
Forsp: A Forth+Lisp Hybrid Lambda Calculus Language| xorvoid.com
Out-Fibbing CPython with the Plush Interpreter| pointersgonewild.com
🌱 A minimal programming language and compiler.| Git
On his blog, Bob Harper asks what, if anything, a declarative language is . He notes that "declarative" is often used to mean "logic or func...| semantic-domain.blogspot.com
This is the third in a series of posts about a virtual machine I’m developing as a hobby project called Bismuth. I’ve talked a lot about Bismuth, mostly on social media, but I don’t think I’ve done a good job at communicating how you go from some code to a program in this VM. In this post I aim to rectify that by walking you through the entire life cycle of a hello world Bismuth program, from the highest level to the lowest.let hello = data_utf8("Hello world!\n");func main() i32 { // ...| Eniko does bad things to code
I sometimes get asked if Odin has any plans to add hygienic macros or some other similar construct. My general, and now (in)famous, answer is to many such questions is: No. I am not against macros nor metaprogramming in general, and in fact I do make metaprograms quite often (i.e. programs that make/analyse a program). However my approach with the design of Odin has been extremely pragmatic. I commonly ask people who ask for such things what are they specifically trying to solve? Usually they...| www.gingerbill.org
A couple of people have asked me for my thoughts on part of an article from Tiark Rompf| tratt.net
In Object Oriented programming, identity and behaviour are often conflated. But it can be usefuk to think of them as different concepts.| ismaelcelis.com
Memory safety is all the rage these days. But what does the term even mean? That turns out to be harder to nail down than you may think. Typically, people use this term to refer to language...| www.ralfj.de
Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell! - oils-for-unix/oils| GitHub
Yes I know about that one talk from Rob Pike.| kristoff.it
The short version of this shower thought: storing the tags for sum types after the payload rather than before can save a surprising amount of space.| www.scattered-thoughts.net
exposing raw pointers make the optimizer’s job horribly hard. high level languages can constrain your program, making more optimizations sound.| jyn.dev
A long-running interest of mine is how we could add variadic generics to the Rust programming language.| PoignardAzur
A discussion of some of the downsides of Zig| typesanitizer.com
To assist with job interviews at the NRAO we recently wrote a small “contest” program. Without giving away the details, the crux of the problem is| storytotell.org
I’m working on a Java decompiler because I’m not satisfied with the performance of other solutions. I’ve always heard that decompiling JVM bytecode is a solved problem, but I’ve concluded that the decompilation methods used by CFR and Vineflower are hacky, inefficient, and sometimes don’t even work. The existing solutions are haphazard and inadequate compared to alternative approaches. Specifically, I have beef with the control flow extraction strategies employed by most decompilers...| purplesyringa's blog
Linearity and uniqueness| kcsrk.info
A deep dive into implementing the ’tagless initial’ pattern in Rust using enums and the never type to achieve zero-cost abstractions, demonstrated with optimized assembly output.| Inferara
A reviewer, in one of those off-hand little low-level comments they leave, which one is sometimes tempted to ignore as one works on a revision because they're not _strictly_ actionable, has absolutely nerd-sniped me. What does "higher-order" in "higher-o...| www.williamjbowman.com
A break from programming languages| lexi-lambda.github.io
wingolog: article: whippet lab notebook: guile, heuristics, and heap growth| wingolog.org
Many Ruby applications allocate objects. What if we could make allocating objects six times faster? We can! Read on to learn more!| Rails at Scale
Functional hash tables explained| spritely.institute
TLDR. Types are basically sets. Why not python sets?| Hey There Buddo!
Mystical| suberic.net
When I switched over the C# compiler team, I had hoped that I would be able to give some insight into how the design team works, what decisions we make, etc. Language design is a very esoteric field, and there's not a lot written about it (though “Design and evolution of C++“ is a pretty good read). I had hoped that I would be able to do this with concrete examples, as that makes it much easier.| learn.microsoft.com
About half a year ago I encountered a paper bombastically| dotat.at
Every so often I come across a paper, blog post, or (occasionally) video that completely changes how I think about a topic in programming languages and compilers. For some of these posts, I can’t even remember how I thought about the idea before reading it—it was that impactful.| Max Bernstein
Syntactic musings on match expressions| blog.yoshuawuyts.com
A discussion of how Sorbet's type syntax came to be, the problems it solves, and how it could improve.| blog.jez.io
The Y combinator is a central concept in lambda calculus, which is the formal foundation of functional languages. Y allows one to define recursive functions without using self-referential definitions.| lptk.github.io
The problem with OOL is not the OO.| www.rebol.com
Evaluate a 7866-clause math expression for fame and glory| www.mattkeeter.com
There is a growing industry-wide push away from writing code in unsafe languages like C/C++ in favor of modern, safer languages like Rust. This, of course, is a big opportunity for Rust – and one it took part in creating.| HackMD
Types in coding projects are good. Don’t be afraid to …| lmika.org
