Reflections on the design, applications and implementations of the normative specification language eFLINT
arxiv.orgยท51m
๐ABNF Extensions
Flag this post
C23: A Slightly Better C
๐Concrete Syntax
Flag this post
Whipping up a new Shell โ Lash#Cat9 | Arcan
arcan-fe.comยท2d
๐Nordic Shell
Flag this post
Fractional Leadership in Practice
playfulprogramming.comยท7h
โ๏ธLean Tactics
Flag this post
The Complete AI Agent Decision Framework
machinelearningmastery.comยท18h
โกProof Automation
Flag this post
Parsl
danmackinlay.nameยท1d
โ๏ธPL Implementation
Flag this post
Writing Type-Safe Generics in C
hackaday.comยท2h
๐งLiquid Types
Flag this post
Building a new libc from scratch as part of a Linux-from-scratch distribution (openlinux)
๐Operating system internals
Flag this post
Power up with Rails scripts Part 2: Docker
testdouble.comยท1d
๐Shell Automation
Flag this post
Introducing F# 10
๐ฆRust Macros
Flag this post
AI Code Alchemy: Turning Natural Language into Robot Actions by Arvind Sundararajan
โ๏ธLean Tactics
Flag this post
Loading...Loading more...