Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·3d
🦀Rust Macros
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·3d
🎯Proof Tactics
CLI tool that translates plain English into Linux commands
reddit.com·13h·
Discuss: r/linux
📝Shell Parsing
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·2d·
Discuss: Hacker News
🔒Language-based security
My Claude Code Setup
justindfuller.com·2d·
Discuss: Hacker News
⚔️Lean Tactics
A Manifesto for the Programming Desperado
github.com·13h·
Discuss: Hacker News
💻Programming languages
The A.I. Prompt That Could End the World
nytimes.com·20h·
Discuss: Hacker News
🧠Intelligence Compression
We built AI that auto-checks building plans
planchecksolver.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
Paper2Agent: Research Papers as Interactive AI Agents
huggingface.co·13h·
Discuss: Hacker News
🤖AI Curation
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to·1d·
Discuss: DEV
💻Local LLMs
AI can help your DevSecOps pipeline
spiceworks.com·16h·
Discuss: Hacker News
🏠Homelab Pentesting
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.com·17h·
Discuss: Hacker News
⚡Incremental Computation
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10h·
Discuss: Hacker News
🔗Concatenative Programming
VLLM Predicted Outputs
cascadetech.ai·8h·
Discuss: Hacker News
💻Local LLMs
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
🧮Theorem Proving
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Building on vibes: Lessons from three years with LLMs
world.hey.com·1d·
Discuss: Hacker News
🌀Brotli Internals