Open-Sourcing the IDA SDK: Simpler, Sharable, Scriptable
hex-rays.com¡7h
🔓Open Source Software
Improve QML Quality with Seamless Linter for Gen AI - Qt AI Assistant v0.9.4 Released
qt.io¡6h
🎙ī¸Whisper
Minimal Scala Container Images Using Nix
blog.aiono.dev¡1d¡
Discuss: Hacker News
đŸ“ĻContainer Security
Ask HN: Does Claude AI run locally?
news.ycombinator.com¡3h¡
Discuss: Hacker News
🎙ī¸Whisper
When LLMs Autonomously Attack
engineering.cmu.edu¡14h¡
Discuss: Hacker News
đŸŽ¯Threat Hunting
We solved the "AI agent black box" problem with typed tasks
augmentcode.com¡22h¡
Discuss: Hacker News
⚡Proof Automation
Exploring LLM Autoscoring Reliability in Large-Scale Writing Assessments Using Generalizability Theory
arxiv.org¡10h
đŸ’ģProgramming languages
Solving the MIT Inverse Problem by Considering Skin and Proximity Effects in Coils
arxiv.org¡10h
⚙ī¸Tape Engineering
CoGrader: Transforming Instructors' Assessment of Project Reports through Collaborative LLM Integration
arxiv.org¡10h
đŸ—ēī¸Competency Maps
Prostate Cancer Classification Using Multimodal Feature Fusion and Explainable AI
arxiv.org¡10h
🧠Machine Learning
Rust Embedded Drivers (RED) - Open Source Book
reddit.com¡3d¡
Discuss: r/rust
đŸĻ€Embedded Rust
Linux 6.16 Released
lore.kernel.org¡1d¡
Discuss: Hacker News, r/linux
🔌Operating system internals
VAMPIRE: Uncovering Vessel Directional and Morphological Information from OCTA Images for Cardiovascular Disease Risk Factor Prediction
arxiv.org¡10h
🌀Differential Geometry
đŸŽ¯ Solved a complex problem with Claude Code:
dev.to¡2d¡
Discuss: DEV
đŸĻ€Rust Verification
LangGraph & LangChain: Building Agentic AI
dev.to¡1d¡
Discuss: DEV
⚡Proof Automation
Polar Coding and Linear Decoding
arxiv.org¡10h
ℹī¸Information Theory
Analyzing and Mitigating Repetitions in Trip Recommendation
arxiv.org¡10h
📊HyperLogLog
Are we building AI coding assistants wrong?
news.ycombinator.com¡20h¡
Discuss: Hacker News
⚡Proof Automation
AI is Eating QA's Lunch (And I'm Here for It!)
dev.to¡1h¡
Discuss: DEV
🔍Concolic Testing
Complementarity-driven Representation Learning for Multi-modal Knowledge Graph Completion
arxiv.org¡10h
🕸ī¸Graph Embeddings