Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·1d·
Discuss: Hacker News
📊Type systems
Optimizing FizzBuzz in Rust
github.com·13h·
Discuss: Lobsters, Hacker News
🦀Programming languages
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·1d·
Discuss: Substack
🌐Web
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·11h·
Discuss: Lobsters, Hacker News
📊Type systems
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·1d·
Discuss: Hacker News
🦀Programming languages
Optimizing our way through Metroid
antithesis.com·1d·
Discuss: Lobsters, Hacker News
📊Type systems
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·7h·
Discuss: Hacker News
🌐Web
Signal Relays
pzuraq.com·1d·
Discuss: Hacker News
🦀Programming languages
Search-capable AI agents may cheat on benchmark tests
theregister.com·18h·
Discuss: Hacker News
📊Type systems
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·1d·
Discuss: Substack
📊Type systems
PeaceFounder: Simple centralized Evoting thats voter-verifiable and private
peacefounder.org·5h·
Discuss: Hacker News
👐Open source software
Rust for JavaScript Engineers – Intro
afloat.boats·3h·
Discuss: Hacker News
🦀Programming languages
The Comfortable Familiarity Dilemma
fedecarg.substack.com·17h·
Discuss: Substack
🌐Web
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·2d·
Discuss: Hacker News
📊Type systems
Android App End-to-End Testing with FusionAuth
fusionauth.io·3d·
Discuss: Hacker News
👐Open source software
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·1d·
Discuss: Hacker News
🦀Programming languages
Fuzzing Hardware Like Software (2021)
arxiv.org·4d·
Discuss: Hacker News
🌐Web
There's No Gold in Removing Signaling Costs
liorbd.me·4h·
Discuss: Hacker News
🌐Web
Sapir-Whorf does not apply to Programming Languages
buttondown.com·2d·
Discuss: Hacker News
📊Type systems
AGI Is an Engineering Problem
vincirufus.com·8h·
Discuss: Hacker News
📊Type systems