🔐 Ownership Types - abnv · Scour

Tip of the Week #140: Constants: Safe Idioms

abseil.io·2d

🔗Lexical Scoping

Tip of the Week #144: Heterogeneous Lookup in Associative Containers

abseil.io·2d

ziggit.dev·3d

📝Rope Editors

Language Server Protocol from Debug Symbols

forrestthewoods.com·2d

🌉Language Interop

G.Skill Trident Z5 Neo RGB DDR5-6000 C34 2x64GB Review: The Sweet Spot For 128GB

tomshardware.com

·2d

🧠Memory Hierarchy

How I Analyzed $107K Jupiter Lend Before Contest Starts

dev.to·1d·

Discuss: DEV

🔒Rust Borrowing

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·1d

📞Session Types

google/flatbuffers: FlatBuffers: Memory Efficient Serialization Library

github.com·3d

📡Protocol Buffers

Claude Opus 4.6: System Card Part 1: Mundane Alignment and Model Welfare

lesswrong.com·17h

🎮Language Ergonomics

I built a cryptographic memory layer for humans in Python tags: python, opensource, security, blockchain

dev.to·2d·

Discuss: DEV

🏷️Memory Tagging

Presentation: Expanding Swift from Apps to Services

infoq.com

·4d

🦉Swift Generics

Secrets management with SOPS Guix -- fishinthecalculator

fishinthecalculator.me·2d

🛡️Capability VMs

netbsd.fi·2d

🏗️Build Systems

llOOPy lOOPs (Dave Jarvis)

dave.autonoma.ca·4d

🤐Zipper Structures

microsoft/litebox: A security-focused library OS supporting kernel- and user-mode execution

github.com·3d·

Discuss: Hacker News, r/programming, r/rust

🛡️Capability VMs

Force32: persistent 32-bit addressing without a PRAM battery (updates thread)

68kmla.org·4d

🏷️Memory Tagging

CVA6-CFI: A First Glance at RISC-V Control-Flow Integrity Extensions

arxiv.org·4d

Trip Report: Ad-Hoc Meeting on Threads in C++

artima.com·2d

🧠Memory Models

I Built a 6 BIPS JIT in Five Months

unlikelyemphasis.substack.com·4d·

Discuss: Substack

📜Bytecode Interpreters

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·2d

🗂️Type Indexing

Loading more...