IDA 9.2 Beta is Live!
hex-rays.com·1d
🔌Interface Evolution
Can You Meet Me at the Mall?
thefiddler.substack.com·1d·
Discuss: Substack
🎯Interactive Provers
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·5d·
Discuss: www.blogger.com
🔄Graph Rewriting
PCIe Gen7 is Here!
basicinputoutput.com·2d·
Discuss: www.basicinputoutput.com
🖥️Modern Terminals
Show HN: Made a CD interest for my family
cd-interest-calculator.com·3h·
Discuss: Hacker News
📐Document Calculus
The Current State of Browser Cookies
cyberark.com·14h·
Discuss: Hacker News
🛡️WASM Sandboxing
The New Surprising Number of Steam Games That Use GenAI
totallyhuman.io·1d·
Discuss: Hacker News, r/TwoBestFriendsPlay
📼Retro Games
I got tired of explaining my project to AI assistant so I gave it memory
codecontextpro.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Are We Cooked?
bonnycode.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Metis Agent Starter Kit – Build production AI agents in minutes, not weeks
news.ycombinator.com·5h·
Discuss: Hacker News
⚡Proof Automation
Ex-IDF cyber chief on Iran, Scattered Spider, and why social engineering worries him more than 0-days
theregister.com·22h·
Discuss: Hacker News
🔓Hacking
Generating Production-Ready MCP Servers
withcoherence.com·2d·
Discuss: Hacker News
🔌Interface Evolution
"What do you expect? You're part of the internet": Analyzing Celebrities' Experiences as Usees of Deepfake Technology
arxiv.org·2d
🏛Digital humanities
Compressed data structures for Heegaard splittings
arxiv.org·4d
🕳️Persistent Homology
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
🐛Fuzzing
I Tested 5 CLI Coding Agents & Here’s What Surprised Me!
dev.to·19h·
Discuss: DEV
⚡Proof Automation
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·2d·
Discuss: Hacker News
🦀Rust Macros
Wrote a tiny FSM library in Go for modeling stateful flows (bots, games, workflows)
reddit.com·2d·
Discuss: r/golang
💧Liquidhaskell
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·2d
🧠Intelligence Compression
Understanding Derivatives: The Slope of Change
dev.to·1d·
Discuss: DEV
🌀Differential Geometry