Introducing Relay-BP
ibm.com·1d
🔐Cryptography
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·7h·
Discuss: Hacker News
🔐Cryptography
Radar Trends to Watch: August 2025
oreilly.com·2h
🧭SMT Solvers
The Faces of Turso: Meet Alperen Keleş
turso.tech·1d
🧭SMT Solvers
LinkQA: Synthesizing Diverse QA from Multiple Seeds Strongly Linked by Knowledge Points
arxiv.org·14h
🔗Parser Combinators
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
arxiv.org·14h
🧭SMT Solvers
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·14h
🧭SMT Solvers
Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data
arxiv.org·14h
🛡️IoT Security
LLMs won't save you from bad software engineering culture
atelfo.github.io·1d·
Discuss: Hacker News
🔧Compiler Design
UrBLiMP: A Benchmark for Evaluating the Linguistic Competence of Large Language Models in Urdu
arxiv.org·14h
🔗Parser Combinators
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·14h
🔗Parser Combinators
Prefect Pipeline Tutorial: Complete Breakdown
dev.to·20h·
Discuss: DEV
🦀Rust
Qwen3 Coder vs. Kimi K2 vs. Sonnet 4 Coding Comparison (Tested on Qwen CLI)
composio.dev·5h·
Discuss: r/LocalLLaMA
🤝Protocol Design
Dynamically Update C++ syntax using Next Edit Suggestions
devblogs.microsoft.com·1d
🔧Compiler Design
Taming Eventual Consistency—Applying Principles of Structured Concurrency to Distributed Systems + Kotlin POC
reddit.com·1d·
Discuss: r/compsci
⚡Concurrency
I made Doddle, a tiny yet feature-packed (async) iteration toolkit!
github.com·1d·
Discuss: r/javascript
⚙Functional Programming
Attractive Metadata Attack: Inducing LLM Agents to Invoke Malicious Tools
arxiv.org·14h
⚙Functional Programming
Hessian analysis with JAX: a platform-agnostic, high-performance approach
lesswrong.com·13h
🎲Probabilistic Programming
Kernel-Based Sparse Additive Nonlinear Model Structure Detection through a Linearization Approach
arxiv.org·14h
🎲Probabilistic Programming
🐥 Elixir Anti-Patterns
yellowduck.be·4d
⚙Functional Programming