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
lemire.me·2h·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Whipping up a new Shell – Lash#Cat9 | Arcan
arcan-fe.com·2d
🐚Nordic Shell
Flag this post
Oblique Strategies: Prompts for Programmers
kevinlawler.com·1d·
Discuss: Lobsters
⚔️Lean Tactics
Flag this post
Edition 3 – Journalism from the command line, part 1
buttondown.com·8h·
Discuss: Hacker News
📟Terminal Forensics
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
I took the “Crusty Interpreter” class!
decomposition.al·14h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Parsl
danmackinlay.name·1d
⚙️PL Implementation
Flag this post
Write once, run anywhere: The promise C couldn't keep
ryansepassi.com·10h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
The C# Developer’s CURL Copy-Paste Conundrum
dev.to·5h·
Discuss: DEV
🐚Nordic Shell
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)
github.com·18h·
Discuss: r/C_Programming, r/embedded, r/linux, r/opensource
🔌Operating system internals
Flag this post
Run ancient Unix on modern hardware
github.com·8h·
Discuss: Hacker News
🧙‍♂️Unix Operating Systems
Flag this post
The Pragmatic Programmer: 20th Anniversary Edition
ahalbert.com·1d·
Discuss: Hacker News
📏Code Metrics
Flag this post
Power up with Rails scripts Part 2: Docker
testdouble.com·1d
🐚Shell Automation
Flag this post
Introducing F# 10
devblogs.microsoft.com·11h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
OOP: The worst thing that happened to programming
alexanderdanilov.dev·7h·
Discuss: Hacker News
💻Programming languages
Flag this post
AI Code Alchemy: Turning Natural Language into Robot Actions by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Archimedes – A Python toolkit for hardware engineering
pinetreelabs.github.io·2d·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post