Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code (philipzucker.com)

1 points by todsacerdoti 36s ago 0 comments

Castelo Rá-Tim-Bum (en.wikipedia.org)

1 points by kaycebasques 2m ago 0 comments

The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog) (sigops.org)

1 points by devooops 2m ago 0 comments

The Hole in the Sky That We Fixed (every.to)

1 points by pbardea 2m ago 0 comments

The Surprising Durability of Africa's Colonial Borders (noemamag.com)

1 points by bookofjoe 3m ago 0 comments

Silicon Valley Is Wrong about Federal University Funding (theahura.substack.com)

1 points by theahura 3m ago 0 comments

Asked my AI to reflect on writing clinical notes vs. coding. Here's what it said

1 points by echoprimeai 5m ago 0 comments

Show HN: A boilerplate to launch your SaaS in a weekend (saaskitt.com)

1 points by westche2222 5m ago 0 comments

Dark Matter Search via the 229Th Nuclear Lineshape from Laser Spectroscopy (journals.aps.org)

1 points by PaulHoule 6m ago 0 comments

HTML Day 2025 – Saturday, August 2nd (html.energy)

1 points by azdle 7m ago 0 comments

Show HN: Term – Rust-based data validation with OpenTelemetry (github.com)

2 points by ericpsimon 7m ago 0 comments

Berkson's Paradox (en.wikipedia.org)

2 points by kaonwarb 8m ago 0 comments

A free AI starter kit – made to reduce noise, not add to it

2 points by SmartAITools 8m ago 1 comments

A cycle-accurate simulation of the MOS 6502 CPU (github.com)

2 points by AdmiralBrainlag 9m ago 0 comments

Troubling scenes from an Arctic in full-tilt crisis (grist.org)

5 points by Brajeshwar 12m ago 0 comments

Why plane turbulence is becoming more frequent – and more severe (bbc.com)

3 points by Brajeshwar 12m ago 0 comments

Google says it will sign EU's AI code of practice (techcrunch.com)

1 points by Brajeshwar 12m ago 0 comments

Selling open source technology to the government (openthc.com)

2 points by openthc 13m ago 0 comments

Qwen3-30B-A3B-Thinking-2507 (twitter.com)

1 points by tosh 13m ago 0 comments

Show HN: A free no signup App Store Asset tool (app-store-image-gen.vercel.app)

1 points by boxedsound 14m ago 0 comments

The tradeoff between human and AI context (softwaredoug.com)

1 points by softwaredoug 14m ago 0 comments

First passenger jet was a luxurious death trap. It's been brought back to life (cnn.com)

1 points by pseudolus 15m ago 0 comments

Upstream target support for CHERI-enabled architectures (discourse.llvm.org)

1 points by todsacerdoti 16m ago 0 comments

Lume: The Robotic Lamp (twitter.com)

4 points by pbardea 18m ago 0 comments

Off-CPU Profiling (polarsignals.com)

2 points by heinrichhartman 19m ago 0 comments

Context engineering for production-grade web agents (simplex.sh)

2 points by marcon680 19m ago 0 comments

Claude.ai do not deliver what I payed for

2 points by theGeatZhopa 20m ago 3 comments

I tricked study mode by saying that generating the full HW is the HW (twitter.com)

1 points by ieuanking 22m ago 1 comments

YouTube rolls out age estimation model in US to detect people under 18 (support.google.com)

3 points by theamk 23m ago 0 comments

Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise (mistral.ai)

2 points by meetpateltech 24m ago 0 comments

Building a Mental Model AI (johnoct.github.io)

1 points by tsaifu 24m ago 1 comments

Foundational Data Structures (and Their Weird Cousins) Explained (blog.mohitnagaraj.in)

1 points by pbardea 24m ago 0 comments

Agentic Coding Things That Didn't Work (lucumr.pocoo.org)

1 points by todsacerdoti 26m ago 0 comments

Show HN: Treasure Guessr – A map-based web game (play.treasureguessr.com)

1 points by teuteuf 26m ago 0 comments

Show HN: I built a calorie tracking app that grows a garden (aja.club)

1 points by nithint7 27m ago 0 comments

Russia's Klyuchevskoy Volcano Starts Erupting After Earthquake (newsweek.com)

4 points by snapetom 28m ago 0 comments

Leaver Experience (natkr.com)

2 points by Nullabillity 28m ago 0 comments

Ask HN: B2B, Our idea is nothing unless we find our first pilot

2 points by samehsbs 28m ago 2 comments

Popping the AGI Bubble (seanpedersen.github.io)

3 points by sean_pedersen 29m ago 0 comments

Ask HN: Should they call it the 'America party'?

1 points by westurner 30m ago 3 comments

Flag football to make prime-time Olympic debut in Los Angeles (japantimes.co.jp)

1 points by PaulHoule 30m ago 0 comments

Helion Begins Building First Fusion Power Plant (helionenergy.com)

1 points by tim333 31m ago 1 comments

macOS Window Manager app, MacsyZones 1.7.1 is released (FancyZones for macOS) (macsyzones.com)

1 points by rohanrhu 31m ago 0 comments

Ask HN: Why not give passengers credit for even mild turbulence on flights?

1 points by amichail 31m ago 1 comments

Fintech Ramp secures $22.5B valuation in late-stage funding round (reuters.com)

2 points by doppp 33m ago 0 comments

iPhone maker Foxconn joins $1T AI data center market with new alliance (cnbc.com)

1 points by rntn 33m ago 0 comments

The Burdens of Ownership (josvisser.substack.com)

3 points by senkora 35m ago 0 comments

Indexing Faces for Scalable Visual Search – Build Google Photo Search (cocoindex.io)

1 points by badmonster 36m ago 0 comments

Words about Arrays and Tables (buttondown.com)

9 points by todsacerdoti 36m ago 0 comments

NYC's Urban Textscape (pudding.cool)

2 points by ChrisArchitect 37m ago 0 comments

tcmalloc's Temeraire: A Hugepage-Aware Allocator

2 matt_d 0 7/29/2025, 11:18:28 PM paulcavallaro.com ↗

Comments (0)

No comments yet