[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔬Reverse Engineering
Flag this post
Playing Around with ARM Assembly
🐫Embedded OCaml
Flag this post
Subgame Credible Nash Equilibrium
arxiv.org·1d
🎮Verification Games
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
🤖Program Synthesis
Flag this post
Being "Usefully Concrete"
lesswrong.com·23h
➡️Category Theory
Flag this post
Between Myths and Metaphors: Rethinking LLMs for SRH in Conservative Contexts
arxiv.org·16h
❓Existential Types
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·1d
❓Existential Types
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·1d
🧩Parser Combinators
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·1d
🔲Cellular Automata
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·1d
🔄Reproducible Builds
Flag this post
Loading...Loading more...