⚙ Risc-v

Computing, news, progress, software support

prefix-dev/pixi
github.com·13h
🦋Tauri
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·2d·
Discuss: Hacker News
🧩Low-code
Forgejo v12.0 is available
forgejo.org·1d·
Discuss: Lobsters, Hacker News
☁️Serverless Rust
GitHub Availability Report: June 2025
github.blog·1d
🌟cool github projects
You're not a founder, you're a gig worker
news.ycombinator.com·23h·
Discuss: Hacker News
🧠AI
Three unrelated thoughts about working with LLMs
henrycourse.com·1d·
Discuss: Hacker News
🧩Low-code
Show HN: I Recently Built a Project
news.ycombinator.com·2d·
Discuss: Hacker News
🦋Tauri
A single chip 1.024 Tb/s silicon photonics PAM4 receiver
arxiv.org·1d
⚡Hardware Acceleration
Ex-OpenAI engineer pulls the curtain back on a chaotic hot mess
theregister.com·1d·
Discuss: Hacker News
🏗️AI Infrastructure
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·1d·
Discuss: Hacker News
⚖️Consensus Networks
Are we trading our hard-earned intelligence for convenience?
lmyslinski.com·1d·
Discuss: Hacker News
🧩Low-code
How I Started My Software Engineering Career (and Why)
hackernoon.com·3d
🧩Low-code
Proof-theoretic Semantics for First-order Logic
arxiv.org·11h
λFunctional Programming
I stopped wasting money on high-wattage PSUs — here's what actually matters
xda-developers.com·1d
🔥heat pumps
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·1d
⏳Time-travel Databases
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·1d
🔍Static Analysis
Unveiling 18 Transformative AI Applications Redefining 2025
dev.to·3h·
Discuss: DEV
🏗️AI Infrastructure
Bitnami containers community catalog has been deprecated
github.com·1d·
Discuss: Hacker News
🧩Nomad
Comparing Claude Code vs OpenCode (and testing different models)
andreagrandi.it·1d·
Discuss: Hacker News
🧩Low-code
Raspberry Pi Laptop causes mild Open Sauce procrastination
youtube.com·3d
🍓single board computers