📏 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
Continuous Autoregressive Language Models
shaochenze.github.io·2d·
Discuss: Hacker News
📱Edge AI
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·1d·
Discuss: Hacker News
💰TigerBeetle
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
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·11h·
Discuss: r/LocalLLaMA
⚡Hardware Acceleration
Flag this post
AI News: Fri, Nov 07, 2025
dev.to·2h·
Discuss: DEV
📱Edge AI
Flag this post
You Should Write An Agent
fly.io·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Flag this post
Normalized tensor train decomposition
arxiv.org·8h
🧮Embeddings
Flag this post
Workload Identity in a Multi System Environment (Wimse) Architecture
datatracker.ietf.org·17h·
Discuss: Hacker News
📋Protocol Design
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·3d·
Discuss: DEV
📱Edge AI
Flag this post
On the relationship between MESP and 0/1 D-Opt and their upper bounds
arxiv.org·8h
📊Dynamic Programming
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·2d
🚀Performance
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·2d·
Discuss: DEV
⚛️Quantum Computing
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·16h·
Discuss: Hacker News
🌐Axum
Flag this post
When deep thinking turns into deep hallucination
techkettle.blogspot.com·2h·
Discuss: Hacker News
🚀MLOps
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
We Tested 6 AI Models on 3 Advanced Security Exploits: The Results
dev.to·1d·
Discuss: DEV
🛡️AI Security
Flag this post