📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·2d
🔨Incremental Compilation
Flag this post
Most DevSecOps Advice Is Useless without Context—Here’s What Actually Works
docker.com·4h
🔐Capability Systems
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·2d·
Discuss: Hacker News
📱Edge AI
Flag this post
What we learned running the industry’s first AI code review benchmark
devinterrupted.substack.com·6h·
Discuss: r/programming
📊Performance Tools
Flag this post
Scala vs. F#
alexn.org·4d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Building Real-Time ML Feature Pipelines with Streaming SQL
timeplus.com·2d·
Discuss: Hacker News
💰TigerBeetle
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·2d·
Discuss: Hacker News, r/programming
💎Refinement Types
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·2d·
Discuss: Lobsters, Hacker News
⚙️Systems Programming
Flag this post
My Hands-On Review of Kimi K2 Thinking: The Open-Source AI That's Changing the Game
reddit.com·16h·
Discuss: r/LocalLLaMA
⚡Hardware Acceleration
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·2d
🚀Performance
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Show HN: I Vibe-Coded a TUI for AWS Logs Insights in Rust
github.com·21h·
Discuss: Hacker News
🌐Axum
Flag this post
When deep thinking turns into deep hallucination
techkettle.blogspot.com·7h·
Discuss: Hacker News
🚀MLOps
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·3d·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Hemorica: A Comprehensive CT Scan Dataset for Automated Brain Hemorrhage Classification, Segmentation, and Detection
arxiv.org·13h
👁️Computer Vision
Flag this post
Consistent Hashing: The Unseen Engine
dev.to·4h·
Discuss: DEV
⚖️Consistent Hashing
Flag this post
AWS S3 Vectors at scale: Real performance numbers at 10 million Vectors
dev.to·1d·
Discuss: DEV
🧮Vector Databases
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
dev.to·3d·
Discuss: DEV
⚠️Rust Unsafe
Flag this post
Jsonpat - a go library for unmarshaling JSON with dynamic keys.
reddit.com·3h·
Discuss: r/golang
🐹golang
Flag this post
We Tested 6 AI Models on 3 Advanced Security Exploits: The Results
dev.to·1d·
Discuss: DEV
🛡️AI Security
Flag this post