Checkpointing CUDA Applications with CRIU (2024)
developer.nvidia.com·1d·
Discuss: Hacker News
🔌Embedded
Ask HN: What do do with inherited WW2 material
news.ycombinator.com·13h·
Discuss: Hacker News
🔌Embedded
Steve Wozniak's Perforated Pads of $2 Bills
coinbooks.org·7h·
Discuss: Hacker News
🤝Using AI for programming
Show HN: Tasklyst – A minimalist offline-first multiplatform productivity app
tasklyst.app·2d·
Discuss: Hacker News
🔌Embedded
Mozilla under fire for Firefox AI "bloat" that blows up CPU and drains battery
neowin.net·20h·
Discuss: Hacker News, r/technews
🤝Using AI for programming
Emulator Bugs: Fatal Rewind
jsgroth.dev·2d·
Discuss: Hacker News
🔌Embedded
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·1d·
Discuss: Hacker News
✓Formal verification
The Pink Elephant Problem: Why "Don't Do That" Fails with LLMs
eval.16x.engineer·1d·
Discuss: Hacker News
🤝Using AI for programming
Small LLMs can outperform GPT-4 at detecting jailbreaks
romaingrx.com·1d·
Discuss: Hacker News
✓Formal verification
AI is impressive because we’ve failed at semantic web and personal computing
rakhim.exotext.com·2d·
Discuss: Hacker News
🤖AI
AI Art Resources
jonathandinu.com·2d·
Discuss: Hacker News
🤖AI
Top Power Moves in AI Governance This Week
aigovernancelead.substack.com·1d·
Discuss: Substack
🤖AI
Invoking Gemini for Workspace Agents with a Simple Google Calendar Invite
safebreach.com·1d·
Discuss: Hacker News
🤖AI
Show HN: Dvcdbg – Lightweight no_std logger and I2C scanner for embedded Rust
github.com·11h·
Discuss: Hacker News
🔌Embedded
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
✓Formal verification
Show HN: Streamed JSON Lines (A big JSON can't be streamed)
medium.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·3d·
Discuss: Hacker News
🔌Embedded
Optimized Autonomous Inference
outerbounds.com·1d·
Discuss: Hacker News
🤖AI
First Ethernet-Based AI Memory Fabric System to Increase LLM Efficiency – News
allaboutcircuits.com·1d·
Discuss: Hacker News
🔌Embedded
Dropping an SQLite index for a 300x speedup (2019)
nickb.dev·4d·
Discuss: Hacker News
✓Formal verification