gf256's Top FindsLoading...
The Amaranth hardware description language
amaranth-lang.org·10h·
Discuss: Hacker News
✅Formal Methods
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
✅Formal Methods
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·21h·
Discuss: Hacker News
✅Formal Methods
UK's Ministry of Defence pins hopes on AI to stop the next massive email blunder
theregister.com·2h·
Discuss: Hacker News
🔒Cryptography
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Legendary GPU architect Raja Koduri's new startup leverages RISC-V and targets CUDA workloads — Oxmiq Labs supports running Python-based CUDA applications unmod...
tomshardware.com·22h·
Discuss: Hacker News
⚡CUDA
Claude Code IDE Integration for Emacs
github.com·1h·
Discuss: Hacker News
🦀Rust
The hiring test that defeated AI
bitecode.dev·23h·
Discuss: Hacker News
🦀Rust
I Built a Ballistic Missile Defense Simulator in a Browser
medium.com·2h·
Discuss: Hacker News
How far can we push AI autonomy in code generation?
martinfowler.com·1d·
Discuss: Hacker News
✅Formal Methods
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·6h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·1d·
Discuss: Hacker News
✅Formal Methods
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·23h·
Discuss: Hacker News
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·17h·
Discuss: Hacker News
🦀Rust
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
✅Formal Methods
Automated Browser Testing with Claude Code Agents and Browserbase
ritza.co·1h·
Discuss: Hacker News
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·23h·
Discuss: Hacker News
✅Formal Methods
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·1d·
Discuss: Hacker News
🦀Rust
3D Line Drawings
amritkwatra.com·1d·
Discuss: Hacker News
🎨Rendering
How to build the #1 open source terminal-use agent
letta.com·19h·
Discuss: Hacker News
🦀Rust