Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

A new SQL-powered permissions system in Datasette 1.0a20
simonwillison.net·8h
📋Souffle Datalog
Flag this post
New comment by lawnchair in "Ask HN: Who is hiring? (November 2025)"
terrateam.io·15h·
Discuss: Hacker News
📡Erlang BEAM
Flag this post
Labs for Broke – EKS for Pennies
georgedeblog.com·1d·
Discuss: Hacker News
🖥️Minimal VMs
Flag this post
Attention ISN'T all you need?! New Qwen3 variant Brumby-14B-Base leverages Power Retention technique
venturebeat.com·10h
🏰Capability Machines
Flag this post
I love my NAS, but I’m tired of maintaining it
xda-developers.com·6h
🛡️Capability VMs
Flag this post
Information Gain-based Policy Optimization: A Simple and Effective Approach forMulti-Turn LLM Agents
paperium.net·1d·
Discuss: DEV
🪜Recursive Descent
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·11h·
Discuss: Hacker News
🔗Lexical Scoping
Flag this post
A Friendly Tour of Process Memory on Linux
0xkato.xyz·1d·
Discuss: Hacker News
🗺️Memory Mapping
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·1d
🗺️Region Inference
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·1h
🛡️Taint Analysis
Flag this post
Building Scalable Online Gaming Platforms: A Developer’s Look into Turnkey Tech Stacks
dev.to·18h·
Discuss: DEV
Configuration Validation
Flag this post
Parsing Validation
lesswrong.com·9h
🧪Parser Testing
Flag this post
Not Over Or Under Indexed
lesswrong.com·7h
🗂️Type Indexing
Flag this post
A Quick Guide to Uniface's `lineartime` Data Type ⏱️
dev.to·2d·
Discuss: DEV
📏Linear Types
Flag this post
How I Built "Backend Mentor" My First Hands-On Integration with Mastra
dev.to·1d·
Discuss: DEV
🔮Metacircular Evaluators
Flag this post
I've built a large app and PWA using HTMX. Here are my thoughts!
reddit.com·15h·
Discuss: r/htmx
🌐Browser REPLs
Flag this post
Understanding Delegates in C#: The Complete Beginner’s Guide
dev.to·1d·
Discuss: DEV
📦Closure Conversion
Flag this post
Networking in the Standard Library is a terrible idea
reddit.com·1d·
Discuss: r/cpp
🌉Cross-Platform FFI
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·1d
🎲Parser Fuzzing
Flag this post
Agentic World Modeling for 6G: Near-Real-Time Generative State-Space Reasoning
arxiv.org·1h
📡Async Channels
Flag this post