📏 Linear Types

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

Radar Trends to Watch: November 2025
oreilly.com·1d
🎭Program Synthesis
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·13h·
Discuss: Hacker News
📱Edge AI
Flag this post
Building a P2P Rental Marketplace - Full-Stack Architecture with Flutter & Express.js
revolvo.tech·1h·
Discuss: DEV
🌐Axum
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
🖥️Emulation
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·4h·
Discuss: Lobsters, Hacker News
🔨Compilers
Flag this post
When numbers lie: the Java equality bug every dev hits at least once
dev.to·14h·
Discuss: DEV
🏷️Memory Tagging
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·3h
💬Prompt Engineering
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post
Scala vs. F#
alexn.org·2d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·14h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·23h·
Discuss: Hacker News
🎴TAO
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·15h·
Discuss: Lobsters, Hacker News
⚙️Systems Programming
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·6h·
Discuss: Hacker News, r/programming
🔓Binary Exploitation
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
📊Profile-Guided Optimization
Flag this post
Building our geospatial database in production
radar.com·35m·
Discuss: Hacker News
📋Columnar Storage
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·5d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
⏭️Skip Lists
Flag this post
Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Creating Lisp Systems
renato.athaydes.com·8h·
Discuss: Hacker News
🏭Code Generation
Flag this post
Voxel Grid Visibility
cod.ifies.com·23h·
Discuss: Hacker News, r/programming
📐Computational Geometry
Flag this post