6 Design Principles for Edge Computing Systems
thenewstack.io·56m
🌐Edge Preservation
Canonical and ESWIN announces EBC77 RISC-V SBC with Ubuntu 24.04 support
cnx-software.com·1d
🔌Operating system internals
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·2h
🖥️Terminal Renaissance
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Undone Computer Science
undonecs.org·3h·
Discuss: Hacker News
🌍Cultural Algorithms
A Neural Net For a Graphing Calculator?
hackaday.com·6h
🤖Advanced OCR
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Turbocharged Storage: MinIO, KIOXIA, and AMD team up to take on AI
blog.min.io·16h
🧲RISC-V Preservation
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Advanced JIT Compilers for Ruby: TruffleRuby and JRuby
blog.appsignal.com·1d·
Discuss: Hacker News
💧Liquid Types
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Horus 64B: What does ALSA audio have to do with high altitude balloons???
sprocketfox.io·1d
⚙️Cassette Mechanics
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·1d·
Discuss: Hacker News
🌐WASI
cargo-auditable v0.7 is out with native SBOM support
reddit.com·20h·
Discuss: r/rust
⚡Dependent Rust
Zig Interface Revisited
williamw520.github.io·22h·
Discuss: Hacker News
🧩WASM Components
Multiplicative Modular Nim (MuM)
arxiv.org·2d
🎞️Tape Combinatorics
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·19h·
Discuss: Hacker News
✨Algebraic Effects
What people said about an OpenZFS bug
despairlabs.com·23h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·23h·
Discuss: Hacker News
⚡Performance Mythology
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1d·
Discuss: r/MachineLearning
🏗️Compiler Archaeology