Multi-Splitting Forking Based Modular Security of Signatures in Multivariate Quadratic Setting
eprint.iacr.org·2d
⚡Partial Evaluation
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·4d·
Discuss: Hacker News
📚Stack Allocation
Flag this post
Beyond LZ4 Limits, Logging at high speed with on-the-fly compression
medium.com·1d·
Discuss: DEV
📊Profilers
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·15h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
What are you doing this weekend?
lobste.rs·14h·
Discuss: Lobsters
💬Interactive REPLs
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·1d·
Discuss: Hacker News
🌱Forth Kernels
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔮Lisp Interpreters
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·1d
🎮Language Ergonomics
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·19h·
Discuss: Lobsters, Hacker News
🗂️Type Indexing
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·3d·
Discuss: Hacker News
📚Stack Data Structures
Flag this post
Probabilistic fault tree analysis and dynamic redundancy optimization for next-generation avionic flight control systems
sciencedirect.com·1d
🚂Error Propagation
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·1d·
Discuss: Hacker News
🧠Memory Models
Flag this post
Automated Testing: A Low-Code Platform's Perspective
dev.to·2d·
Discuss: DEV
🧪Compiler Testing
Flag this post
Your Guide to LLM Evaluation tools
pub.towardsai.net·1d
🎮Language Ergonomics
Flag this post
Andrew Shindyapin: AI’s Impact on Software Development
skmurphy.com·1d
🎭Program Synthesis
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.org·1d
🧠Memory Ordering
Flag this post
Durable execution workflow system based on Postgres
github.com·19h·
Discuss: Hacker News
📡Erlang BEAM
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🧩Constraint Solvers
Flag this post
How We Train Models at Clado
blog.ericmao.com·2d
📋Souffle Datalog
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·1d·
Discuss: Hacker News
🎯Ring Buffers
Flag this post