Feed aggregator

Ovi

Hacker News - Wed, 2025-10-22 21:42
Comments
Categories: Software

Show HN: Cuq – Formal Verification of Rust GPU Kernels

Hacker News - Wed, 2025-10-22 21:38
Comments
Categories: Software

Public Montessori programs strengthen learning outcomes at lower costs: study

Hacker News - Wed, 2025-10-22 21:29
Comments
Categories: Software

ROG Xbox Ally runs better on Linux than Windows it ships with – up to 32% faster

Hacker News - Wed, 2025-10-22 20:53
Comments
Categories: Software

The Body Keeps the Score Is Bullshit

Hacker News - Wed, 2025-10-22 20:49
Comments
Categories: Software

Mass Assignment Vulnerability Exposes Max Verstappen Passport and F1 Drivers PII

Hacker News - Wed, 2025-10-22 20:21
Comments
Categories: Software

Rivian's Also E-bike is like nothing you've ever seen

Hacker News - Wed, 2025-10-22 20:00
Comments
Categories: Software

Dust samples from moon's far side show debris from rare, water-rich meteorites

Hacker News - Wed, 2025-10-22 19:57
Comments
Categories: Software

42,600 ton ship to break the world record for the deepest drill at 7 miles

Hacker News - Wed, 2025-10-22 19:56
Comments
Categories: Software

Sandhill Cranes Have Adopted a Canada Gosling

Hacker News - Wed, 2025-10-22 19:45
Comments
Categories: Software

Jacqueline – A minimal i386 kernel written in Pascal

Hacker News - Wed, 2025-10-22 19:37
Comments
Categories: Software

How do LLM's trade off lives between different categories?

Hacker News - Wed, 2025-10-22 19:30
Comments
Categories: Software

JMAP for Calendars, Contacts and Files Now in Stalwart

Hacker News - Wed, 2025-10-22 19:26
Comments
Categories: Software

I See a Future in Jj

Hacker News - Wed, 2025-10-22 19:21
Comments
Categories: Software

HP SitePrint

Hacker News - Wed, 2025-10-22 19:18
Comments
Categories: Software

Look, Another AI Browser

Hacker News - Wed, 2025-10-22 19:15
Comments
Categories: Software

I built MindMaps for Linux and Git cmdz with quiz, typing game and cheatsheet

Hacker News - Wed, 2025-10-22 19:14
Comments
Categories: Software

Team claims to have Lean 4 proof that P≠NP

Hacker News - Wed, 2025-10-22 19:07
Comments
Categories: Software

Cubical Quad Antennas and Margaret's Letter

Hacker News - Wed, 2025-10-22 19:05
Comments
Categories: Software

Show HN: Semantic Art – Uses natural language prompts to find real artwork

Hacker News - Wed, 2025-10-22 18:55
Comments
Categories: Software

Pages