InferenceMax AI benchmark tests software stacks, efficiency, and TCO — vendor-neutral suite runs nightly and tracks performance changes over time
tomshardware.com·2h
⚡Performance Mythology
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp
ChatGPT Pretends to Run Code
eriklonnroth.com·1d·
Discuss: Hacker News
⚡Proof Automation
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·13h·
Discuss: Hacker News
⚙️Proof Engineering
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·17h
🔲Cellular Automata
Building Repo Bench
repoprompt.com·1d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·1d
💻Programming languages
Intent Weaving for AI Coding Agents
autohand.ai·19h·
Discuss: Hacker News
⚡Proof Automation
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·18h·
Discuss: DEV
🧩RISC-V
In-Depth Analysis: "Attention Is All You Need"
dev.to·6h·
Discuss: DEV
🧠Intelligence Compression
Multi-Core By Default
rfleury.com·20h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
What's the Role of Trust in AI?
algorithmictradeoff.substack.com·6h·
Discuss: Substack
🔲Cellular Automata
Picking an AI Code Reviewer
markmarkoh.com·2h·
Discuss: Hacker News
📏Code Metrics
Let's Write a Macro in Rust
hackeryarn.com·5h·
Discuss: Hacker News
🦀Rust Macros
Intro to RL: Off-Policy Methods
neelsomaniblog.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Autonomous AI Hacking and the Future of Cybersecurity
schneier.com·10h·
Discuss: Hacker News
🎯Threat Hunting
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·17h
📋Document Grammar
Property-based testing of batch-invariant operations
mmaaz.ca·4d·
Discuss: Hacker News
🧪Property-Based Testing
OpenAI's inflated valuation, as I understand it
taloranderson.com·5h·
Discuss: Hacker News
💻Local LLMs
The Programmer Identity Crisis
hojberg.xyz·2d·
Discuss: Lobsters, Hacker News
🔩Systems Programming