The Rosetta Code of Being – When Philosophy Compiles Itself
🧮Programming Language Theory
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·6h
🔍Static Analysis
Flag this post
Building Resilient Event-Driven Systems: Lessons from the Distributed Trenches
🌍Distributed Systems
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·15h
🕸️Graph Theory
Flag this post
Rare to read a post arguing about the importance of software architecture BUT doing it without software architects than this one.
🏗️Software Architecture
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.org·15h
🔐Cryptography
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
🔗Parser Combinators
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4d
🧮Programming Language Theory
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
⚖️Logic Programming
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·15h
🔗Parser Combinators
Flag this post
OPNsense on Proxmox is the best way to run your network, and I will die on this hill
xda-developers.com·3h
🌍Distributed Systems
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
🔗Parser Combinators
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·15h
🧫Cellular Automata
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·15h
✅Formal Verification
Flag this post
Loading...Loading more...