International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·1d
🕸️Graph Theory
“Day 9: Cloud Heist Unlocked — How I Discovered a $100 AWS Vulnerability (Ethically)”
infosecwriteups.com·16h
🔐Cryptography
Evo-Devo Series, Part 5: Ecosystem Dynamics — Balance, Flow, and Collapse
agentnet.bearblog.dev·2d
🧮Programming Language Theory
Numa Incident Analysis
blog.verichains.io·18h
🔐Cryptography
FFmpeg 8.0 Released
ffmpeg.org·2d·
Discuss: Hacker News
👐Open Source Software
Without the Futex, It's Futile
h4x0r.org·6d·
Discuss: Lobsters, Hacker News, r/programming
📝Lisp
Home network upgrade
blog.nootch.net·2d·
Discuss: r/selfhosted
🌍Distributed Systems
RTL generation for custom CPU Mrav
popovicu.com·2d
🏗Computer Architecture
I'm running out of option: how can I create a task-friendly table in Obsidian?
reddit.com·8h·
Discuss: r/ObsidianMD
🔧Compiler Design
Major Rever Update: From MVP to Production-Ready Finance Operations
reddit.com·2d·
Discuss: r/selfhosted
👐Open Source Software
yolo-cls - A C++ CLI tool for batch image classification with ONNX Runtime
reddit.com·18h·
Discuss: r/commandline
🔧Compiler Design
How Hackers Trick AI: The Hidden World of Prompt Injections and Jailbreaks
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
Codanna now supports Go! Instant call graphs, code-aware lookup, zero servers
reddit.com·2d·
Discuss: r/golang
🦀Rust
I Taught My JavaScript AI to Rewrite Its Own Code
github.com·2d·
Discuss: DEV
🧩Theorem Proving
Story of Seasons: Grand Bazaar Review
ladiesgamers.com·8h
🧫Cellular Automata
AI Dev: Testing Kiro
dev.to·9h·
Discuss: DEV
🔍Static Analysis
A guide on Layered Reward Architecture (LRA) to fix the "single-reward fallacy" in production RLHF/RLVR.
reddit.com·2d·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
Naming a new open-source roguelike, I need your input!
reddit.com·1d·
Discuss: r/roguelikedev
👐Open Source Software
how to resolve a halting paradox
academia.edu·5d·
Discuss: r/programming
⚖️Logic Programming
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.org·4d
🧩Theorem Proving