DIAC ∞ 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.io·10h·
Discuss: Hacker News
🔐Cryptography
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧭SMT Solvers
Amazon Nova Models: Now Available on Heroku
heroku.com·13h
🎲Probabilistic Programming
[SUMMARY][EVENT] Two years in two minutes.
reddit.com·6h·
Discuss: r/GlobalPowers
🧫Cellular Automata
Delivering Agentic BI: How to Unify Infrastructure, Data and Semantics
databricks.com·12h
🔍Static Analysis
Developer Spotlight: Drivers of Innovation – The Chowmain Way
blogs.qsc.com·8h
📦WebAssembly
Do I not like Ruby anymore? (2024)
sgt.hootr.club·21h·
Discuss: Hacker News, r/programming
🧮Programming Language Theory
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧮Programming Language Theory
Why I'm All-In on Context Engineering
old.reddit.com·13h·
Discuss: r/ContextEngineering
🧩Theorem Proving
How to Benchmark Classical Machine Learning Workloads on Google Cloud
towardsdatascience.com·1d
🔗Parser Combinators
Deep Pre-trained Time Series Features for Tree Species Classification in the Dutch Forest Inventory
arxiv.org·19m
🎲Probabilistic Programming
Skeptik: A Hybrid Framework for Combating Potential Misinformation in Journalism
arxiv.org·19m
🎲Probabilistic Programming
End to End Autoencoder MLP Framework for Sepsis Prediction
arxiv.org·19m
🎲Probabilistic Programming
Show HN: Get insights from Hacker News on X
github.com·1d·
Discuss: Hacker News
🦀Rust
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·4d·
Discuss: DEV
🔍Static Analysis
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·10h
🔧Compiler Design
Noob help needed
reddit.com·5h·
Discuss: r/homelab
🐧Linux
Invisible Filters: Cultural Bias in Hiring Evaluations Using Large Language Models
arxiv.org·1d
🎲Probabilistic Programming
Vibe coding agents- good or bad?
dev.to·3h·
Discuss: DEV
🤖Sci-Fi
PGF-Net: A Progressive Gated-Fusion Framework for Efficient Multimodal Sentiment Analysis
arxiv.org·2d
🔗Parser Combinators