Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🔀Category Theory
Flag this post
C++ move semantics from scratch (2022)
🦀Rust Borrowing
Flag this post
Scala vs. F#
💧Liquid Types
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
💎Information Crystallography
Flag this post
What Artifacts Teach Us
systemsapproach.org·8h
📡Network Archaeology
Flag this post
[$] Namespace reference counting and listns()
lwn.net·24m
🕵️Domain Enumeration
Flag this post
Can-t stop till you get enough
🦀Rust Macros
Flag this post
Beating XLoader at Speed: Generative AI as a Force Multiplier for Reverse Engineering
research.checkpoint.com·1h
🦠Malware Analysis
Flag this post
Weekly Bookmarks
inkdroid.org·1d
🏠Homelab Archaeology
Flag this post
Why Multimodal AI Broke the Data Pipeline — And How Daft Is Beating Ray and Spark to Fix It
hackernoon.com·10h
🌊Streaming Algorithms
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·4d
λLambda Formalization
Flag this post
Jordan triple system
ncatlab.org·2d
📐Linear Algebra
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·3d
🔓Decompilation
Flag this post
Status update, October 2025
bisco.org·10h
❄️Nix Flakes
Flag this post
From searching to solving: how Vector Databases transform product discovery
🔍Semantic Search
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·12h
🐚Nordic Shell
Flag this post
Loading...Loading more...