Implementing Forth in Go and C
eli.thegreenplace.net·4h·
Discuss: Hacker News
🔗Concatenative Programming
Revolutionize Your Workflow: Process Compose - The Docker-less Orchestrator You've Been Waiting For!
dev.to·18h·
Discuss: DEV
🏠Homelab Orchestration
Interesting Technique to Launch a Shellcode, (Wed, Aug 27th)
isc.sans.edu·2h
🛡️CLI Security
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·14h·
Discuss: Hacker News
🦀Rust Macros
Over-Engineering Sleep
matt.blwt.io·2d
🐚Bash FP
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·19h
🎯Gradual Typing
Dependent types I › Universes, or types of types
jonmsterling.com·1h·
Discuss: Hacker News
🔤Type Theory
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·18h
🦀Rust Macros
CLI Tools That Support Previews, Dry Runs or Non-Destructive Actions
nickjanetakis.com·1d
🛡️CLI Security
Trying to get error backtraces in rust libraries right
iroh.computer·15h·
Discuss: Lobsters, Hacker News, r/rust
🔒Linear Types
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros
BW21-CBV-Kit——Home Video Monitoring and Playback System
hackster.io·2h
🎬Video Codecs
OpenBSD-Based Home Network: Router, Self-Hosting & Mesh Setup
discoverbsd.com·20h
🔌Operating system internals
Developer Spotlight: Drivers of Innovation – The Chowmain Way
blogs.qsc.com·12h
🔌Interface Evolution
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
The TTY Demystified
linusakesson.net·21h·
Discuss: Hacker News, r/programming
📟Terminals
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus