runZero Hour, ep. 21 recap: highlights from hacker summer camp
runzero.com·10h
🔍eBPF
RubyGems Security Response to Socket.dev and How We Protect the Ruby Ecosystem
blog.rubygems.org·1d·
Discuss: Hacker News, r/programming
❄️Nix Flakes
R0AR Chain Launches Public Node Sale Following $1 Million Whitelist Success
hackernoon.com·4h
🔗Hash Chains
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·4d·
Discuss: Hacker News
⚡Proof Automation
Parlant - Renovation AI Open-Source framework
dev.to·16h·
Discuss: DEV
✨Effect Handlers
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·6h·
Discuss: DEV
🧠Intelligence Compression
SQLStorm: Taking Database Benchmarking into the LLM Era
github.com·19h·
Discuss: Hacker News
⛏️SQL Archaeology
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·6d
🌐Protocol Synthesis
Using AI to build an AI Security Product
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·2d·
Discuss: Lobsters, Hacker News, r/programming
⚡Cache Coherence
Show HN: SQLite Extensions Guide
github.com·11h·
Discuss: Hacker News
🧩SQLite Extensions
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·20h
🎙️Whisper
Being Kind Isn't Always Being Safe: Diagnosing Affective Hallucination in LLMs
arxiv.org·20h
⬌Bidirectional Typing
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·1d
🔍eBPF
Paradigms of Intelligence Team
github.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·1d
💾Binary Linguistics
Propose and Rectify: A Forensics-Driven MLLM Framework for Image Manipulation Localization
arxiv.org·20h
🖼️JPEG Forensics
Using Chrome Dev Tools AI Assitance to Automate UI from Javascript Console
dev.to·7h·
Discuss: DEV
⚡Proof Automation
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·20h
💻Local LLMs
M^3-GloDets: Multi-Region and Multi-Scale Analysis of Fine-Grained Diseased Glomerular Detection
arxiv.org·20h
🕳️Persistent Homology