📏 Linear Types

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

Defining Types for a Simple HTTP Server
mmhaskell.com·2d
📐Type Theory
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·1h·
Discuss: r/C_Programming
🦀Rust
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·8h
💬Prompt Engineering
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·1d·
Discuss: DEV
📱Edge AI
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·19h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·22h·
Discuss: Substack
💬Prompt Engineering
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·1d·
Discuss: Hacker News
🏭Code Generation
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
⚡FastAPI
Flag this post
Building a highly-available web service without a database
screenshotbot.io·4h·
Discuss: r/programming
🦀Rust
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
📋Protocol Design
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Mergeable Trees
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·1d
🎭Program Synthesis
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·1d·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
🧱Slab Allocation
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.io·1d
🔢NumPy
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1h·
Discuss: Lobsters, Hacker News
🔨Compilers
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·10h·
Discuss: Hacker News
📱Edge AI
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
🖥️Emulation
Flag this post
When numbers lie: the Java equality bug every dev hits at least once
dev.to·11h·
Discuss: DEV
🏷️Memory Tagging
Flag this post