Fil-C: A memory-safe C implementation
lwn.net·2d·
Discuss: Hacker News
🦀Rust Borrowing
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·19h
λLambda Formalization
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·10h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·7h·
Discuss: Hacker News
Cache Coherence
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·14h
🔗Combinatory Logic
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·16h·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4h
🧮Algebraic Archives
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post
🚀 Go Faster: Cutting the Slack in GC with Smart Memory Allocation
dev.to·2d·
Discuss: DEV
🧠Memory Allocators
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·14h
🔧RISC-V Assembler
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·7h·
💧Liquid Types
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·14h·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
🦀Rust Borrowing
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·2d·
Discuss: Hacker News
🦀Rust Borrowing
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
A prvalue is not a temporary
blog.knatten.org·34m
🔒Type Safety
Flag this post
SpiderMonkey Garbage Collector
firefox-source-docs.mozilla.org·1d·
Discuss: Hacker News
🧠Memory Allocators
Flag this post
No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
danglingpointers.substack.com·16h·
Discuss: Substack
Hardware Transactional Memory
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·1d·
🦀Rust Borrowing
Flag this post
Notes from RIPE 91
blog.apnic.net·9h
🌐DNS over QUIC
Flag this post