Parallelization of cryptographic protocol analyzer Maude-NPA reduces analysis time, makes internet safer
techxplore.com·1d
🤝Protocol Design
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·1d·
Discuss: Hacker News
🤝Protocol Design
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·3d·
Discuss: Substack, r/programming
🧭SMT Solvers
A Library Approach to Constant Template Parameters
brevzin.github.io·4d·
Discuss: Hacker News, r/cpp
🧮Programming Language Theory
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·15h·
Discuss: Hacker News
🧩Theorem Proving
A Fast, Growable Array With Stable Pointers in C
danielchasehooper.com·2d·
Discuss: Lobsters, Hacker News, r/C_Programming
🧠Memory Management
Scaling Down and Back Up Again
science.org·1d
🎲Probabilistic Programming
🔐 Building Quantum-Resistant ZKP: A Developer's Journey into Post-Quantum Cryptography
dev.to·2d·
Discuss: DEV
🔐Cryptography
Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
🧭SMT Solvers
AI-Driven Artifact Deconstruction & Reconstruction via Multi-Modal Knowledge Graph Harmonization
dev.to·3h·
Discuss: DEV
🏗️Software Architecture
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
arxiv.org·1d
🔄Category Theory
Causality-Driven Audits of Model Robustness
arxiv.org·3h
🎲Probabilistic Programming
Refine-n-Judge: Curating High-Quality Preference Chains for LLM-Fine-Tuning
arxiv.org·2d
🔢Mathematical Logic
Dart Lesson 6: Advanced Functions - Higher-Order Functions and Closures
dev.to·4d·
Discuss: DEV
📝Lisp
[D] Do you think LLM memory will ever be solved without fine‑tuning?
reddit.com·19h·
Discuss: r/MachineLearning
🔧Compiler Design
Multithreading in Java Explained: A Washing Machine Analogy
dev.to·2h·
Discuss: DEV
🧠Memory Management
LLMs - Embeddings 01
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
AlignGuard-LoRA: Alignment-Preserving Fine-Tuning via Fisher-Guided Decomposition and Riemannian-Geodesic Collision Regularization
arxiv.org·2d
🔗Parser Combinators
7 Upcoming JavaScript Features to Watch in 2025 🚀
dev.to·3d·
Discuss: DEV
🧮Programming Language Theory
Kimi K2 vs Grok 4: Which AI Model Codes Better?
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory