📚 Forth

Stack Programming, Concatenative Languages, RPN, Embedded Systems

Provable Cryptography for Bitcoin: An Introduction (Workbook)
delvingbitcoin.org·1d
📡Binary Protocols
Unlimited Message Retention with BufStream and Tigris
tigrisdata.com·15h
📮Message Queues
Evaluation of joint reliability of linear two-dimensional consecutive <math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si449.svg" display="inline" i...
sciencedirect.com·1h
🚂Error Propagation
If all the world were a monorepo
jtibs.substack.com·1d·
Discuss: Substack
📦Monorepos
Secure your AI-generated projects with these security practices
blog.logrocket.com·1d
🛡️Parser Security
Show HN: Building an open-source agentic terminal
davehudson.io·1d·
Discuss: Hacker News
💻Terminal UIs
Grok Code Fast 1: Why "good enough and fast" beats "perfect and slow"
blog.kilocode.ai·1d·
Discuss: Hacker News
⚡Live Coding
Prompt Builder Launches Platform to Craft Perfect AI Prompts in Seconds, Not Hours
openpr.com·1d
🔄Incremental Lexing
[NodeBook] Understanding Buffers in Node.js - Why they exist, where they live in memory, and how they handle binary data
thenodebook.com·2d·
Discuss: r/node
🔢Binary Formats
Hack to the Future — here's how you can write BASIC code on a modern-day PC
tomshardware.com·3h
🌱Tiny Languages
Strong Java LTS arrives with the release of 25
theregister.com·2h
🌳Tree Shaking
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org·1d
🪜Recursive Descent
Advice on embedded future scope...
reddit.com·5h·
Discuss: r/embedded
🔌Microcontrollers
AutoOEP -- A Multi-modal Framework for Online Exam Proctoring
arxiv.org·1d
🎯Finite Automata
Feedback on my first library
reddit.com·1d·
Discuss: r/rust
🚂Cranelift Backend
Advanced Dependency Injection Patterns Beyond Service Containers
dev.to·1h·
Discuss: DEV
🔧API Design
Agentic AI for Financial Crime Compliance
arxiv.org·11h
🎭Racket
Why is Protobuf’s C++ API so clunky? Would a nlohmann/json-style wrapper make sense?
github.com·1d·
Discuss: r/programming
🏠indieweb
A Software Engineer’s Guide to Observability (Intro + Logging)
reddit.com·3h·
Discuss: r/SoftwareEngineering
🛡️Error Ergonomics
Rust-style safety model for C++ 'rejected' as profiles take priority
theregister.com·1d·
Discuss: Hacker News
🌈Gradual Languages