Show HN: We used LZMA to encode data into a URL
standardsapplied.com·8h·
Discuss: Hacker News
🌀Differential Geometry
Vibing a Non-Trivial Ghostty Feature
simonwillison.net·9h
🧪Binary Fuzzing
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·18h·
Discuss: r/programming
🌊Stream Processing
Hardware Vulnerability Allows Attackers to Hack AI Training Data – NC State News
news.ncsu.edu·1d·
Discuss: Hacker News
🔐RISC-V Cryptography
The Linus Method: How we simiplifed RFC reviews
devashish.me·1d·
Discuss: Hacker News
⚙️Proof Engineering
GPT-5 for AI-assisted discovery
johndcook.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.com·1d·
Discuss: Substack
🧠Intelligence Compression
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·2d
🕸️Graph Algorithms
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·1d
💻Local LLMs
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
💻Programming languages
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔲Cellular Automata
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·1d
⚡Proof Automation
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.org·1d
🔲Cellular Automata
Recurrent Natural Policy Gradient for POMDPs
arxiv.org·1d
🔲Cellular Automata
The 9 Best CLIs with Artificial Intelligence
dev.to·1h·
Discuss: DEV
📟CLI Design
Quantifying the Accuracy-Interpretability Trade-Off in Concept-Based Sidechannel Models
arxiv.org·3d
🧠Machine Learning
Gravitational Wave Anomaly Detection via Optimized Fourier-Phase Analysis
dev.to·1d·
Discuss: DEV
📡Frequency Archaeology
Guide to OCI AI Certification: From Machine Learning Basics to Advanced Neural Networks
dev.to·3d·
Discuss: DEV
🤖Advanced OCR
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.org·1d
💻Local LLMs