⚙️ Zig Comptime

Compile-Time Computation, Generic Programming, Type-Level Programming, Zero-Cost

Secure Onion Encryption and the Case of Counter Galois Onion
eprint.iacr.org·2d
🔗Hash Functions
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·4h
🔄Loop Optimization
Flag this post
<p>**Abstract:** This paper introduces Automated Design Optimization via Meta-Analytical HyperScore (ADOMAH), a novel framework for accelerating and enhancing t...
freederia.com·11h
🎭Program Synthesis
Flag this post
Convex Optimization (or Mathematical Programming) in Go
github.com·5h·
Discuss: r/golang
🐹Minimal Go
Flag this post
Q&A #80 (2025-10-31)
computerenhance.com·18h
📚Stack Allocation
Flag this post
You can actually program FPGAs on a Mac now
sahasmunamala.substack.com·3h·
Discuss: r/embedded
📋Tablegen
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Flag this post
A portable picokernel for async I/O
ryansepassi.com·18h·
Discuss: Hacker News
🤖Embedded Go
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·23h
⚖️Inference Rules
Flag this post
Writing and testing business logic in F#
event-driven.io·4d
🔀Control Structures
Flag this post
Speedrunning an RL Environment
sidb.in·10h·
Discuss: Hacker News
✨Gleam
Flag this post
Stochastic computing
scottlocklin.wordpress.com·1d
🖥️Lisp Machines
Flag this post
Course Transistion from Javascrip to TypeScript
github.com·6h·
Discuss: r/typescript
🔧API Design
Flag this post
Borrow checker says “No”! An error that scares me every single time!
polymonster.co.uk·1d·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
A bestiary of single-file programming language implementations
github.com·5d·
Discuss: Hacker News
🌱Tiny Languages
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
🐛Interactive Debuggers
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
📡Protocol Stacks
Flag this post
Understanding Debt: AI Coding at Warp Speed Without Flying Blind
blog.namar0x0309.com·4h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Blog Post: Demystifying ZIO's Dependency Injection: A Practical Guide
dev.to·6h·
Discuss: DEV
🔧API Design
Flag this post