📏 Linear Types

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

Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
💻Programming languages
GoMem is a high-performance memory allocator library for Go
github.com·21h
🧠Memory Allocators
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·19h
🧠LLM Inference
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
🔬RaBitQ
Effects in Rust (and Koka)
aloso.foo·23h·
Discuss: r/rust
🦀Rust
Zen of Python
webaligo.bearblog.dev·2h
💻Programming languages
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·37m·
Discuss: Hacker News
💻Programming languages
Three ways formally verified code can go wrong in practice
buttondown.com·6h
💻Programming languages
Learning Unity + C# game development — which local LLM model and settings should I use in LM Studio (CUDA)?
reddit.com·20h·
Discuss: r/LocalLLaMA
🏗️LLM Infrastructure
Maybe Use BioLMs To Mitigate Pre-ASI Biorisk?
lesswrong.com·6h
🏗️LLM Infrastructure
QUIC! Jump to User Space!
hackaday.com·7h
⚡QUIC Protocol
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·3h·
Discuss: r/programming
🔄Eventual Consistency
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·3h·
Discuss: Hacker News
🌐Distributed systems
Love C, Hate C: Web Framework Memory Problems
alew.is·19h·
Discuss: Hacker News
🌿Leptos
MultiPar 1.3.3.5 Beta / 1.3.2.9
majorgeeks.com·15h
📄File Formats
Multi-Core By Default
rfleury.com·22h·
Discuss: Lobsters, Hacker News
🧵Concurrency
Looking at my Arduino
boswell.bearblog.dev·6h
🖥️Hardware Architecture
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·7h·
Discuss: r/rust
🎭Rust Macros
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
🔧Developer tools
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🎭Rust Macros