are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Tea-Fi Redefines DeFi: One SuperApp. Infinite Yield. Powered by $TEA
hackernoon.com·13h
🤖AI
Flag this post
Rust Hobby OS projects worth exploring
oshub.org·4d·
Discuss: Hacker News, r/rust
🤖AI
Flag this post
DevTrends MCP – Real-Time Developer Intelligence for AI Coding Assistants
apify.com·9h·
Discuss: DEV, Hacker News
🤖AI
Flag this post
Do I want Coders to Code?
yeikoff.xyz·1d·
Discuss: Hacker News
🤖AI
Flag this post
Intervaltree with Rust Back End
github.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·17h·
Discuss: Hacker News
🤖AI
Flag this post
Scala vs. F#
alexn.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·21h·
Discuss: Hacker News
🤖AI
Flag this post
build system tradeoffs
jyn.dev·3d·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·7h·
Discuss: Hacker News
🤖AI
Flag this post
The Devil Is in the Defaults
holzer.online·6h·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: a Rust ray tracer that runs on any GPU – even in the browser
github.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
On Async Mutexes
matklad.github.io·1d·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·5d·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
Patching 68K Software – SimpleText
tinkerdifferent.com·2h·
Discuss: Hacker News
🤖AI
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
Debian's APT Will Soon Begin Requiring Rust: Debian Ports Need To Adapt Or Be Sunset
phoronix.com·3d·
Discuss: Hacker News
🤖AI
Flag this post