Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
1.Diode – Build, program, and simulate hardware (withdiode.com)
168 points by rossant 6 hours ago | hide | 32 comments
2.λProlog: Logic programming in higher-order logic (polytechnique.fr)
41 points by ux266478 3 hours ago | hide | 3 comments
3.Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
330 points by gurjeet 10 hours ago | hide | 177 comments
4.A distributed queue in a single JSON file on object storage (turbopuffer.com)
40 points by Sirupsen 4 hours ago | hide | 14 comments
5.Show HN: enveil – hide your .env secrets from prAIng eyes (github.com/greatscott)
113 points by parkaboy 7 hours ago | hide | 65 comments
6.I Ported Coreboot to the ThinkPad X270 (dork.dev)
222 points by todsacerdoti 12 hours ago | hide | 40 comments
7.Show HN: X86CSS – An x86 CPU emulator written in CSS (lyra.horse)
168 points by rebane2001 10 hours ago | hide | 60 comments
8.Firefox 148 Launches with AI Kill Switch Feature and More Enhancements (serverhost.com)
318 points by shaunpud 7 hours ago | hide | 266 comments
9.The Missing Semester of Your CS Education – Revised for 2026 (csail.mit.edu)
83 points by anishathalye 8 hours ago | hide | 15 comments
10.Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows (medicalxpress.com)
308 points by wglb 9 hours ago | hide | 115 comments
11.The Age Verification Trap: Verifying age undermines everyone's data protection (ieee.org)
1506 points by oldnetguy 22 hours ago | hide | 1164 comments
12.Show HN: Steerling-8B, a language model that can explain any token it generates (guidelabs.ai)
205 points by adebayoj 12 hours ago | hide | 57 comments
13.Making Wolfram tech available as a foundation tool for LLM systems (stephenwolfram.com)
204 points by surprisetalk 14 hours ago | hide | 111 comments
14.Unsung heroes: Flickr's URLs scheme (aresluna.org)
116 points by onli 10 hours ago | hide | 43 comments
15.Intel XeSS 3: expanded support for Core Ultra/Core Ultra 2 and Arc A, B series (intel.com)
45 points by nateb2022 8 hours ago | hide | 33 comments
16.UNIX99, a UNIX-like OS for the TI-99/4A (2025) (atariage.com)
187 points by marcodiego 16 hours ago | hide | 56 comments
17.“Car Wash” test with 53 models (opper.ai)
263 points by felix089 16 hours ago | hide | 336 comments
18.ATAboy is a USB adapter for legacy CHS only style IDE (PATA) drives (github.com/redrum0381)
23 points by zdw 6 hours ago | hide | 27 comments
19.Genetic underpinnings of chills from art and music (plos.org)
44 points by coloneltcb 8 hours ago | hide | 16 comments
20.Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r (github.com/firebirdsql)
7 points by mariuz 3 hours ago | hide | 2 comments
21.A simple web we own (rsdoiel.github.io)
264 points by speckx 20 hours ago | hide | 183 comments
22.Show HN: PgDog – Scale Postgres without changing the app (github.com/pgdogdev)
280 points by levkk 20 hours ago | hide | 53 comments
23.Ladybird adopts Rust, with help from AI (ladybird.org)
1195 points by adius 1 day ago | hide | 665 comments
24.Writing code is cheap now (simonwillison.net)
232 points by swolpers 19 hours ago | hide | 298 comments
25.What it means that Ubuntu is using Rust (smallcultfollowing.com)
157 points by zdw 19 hours ago | hide | 203 comments
26.Show HN: Cellarium: A Playground for Cellular Automata (github.com/andrewosh)
25 points by andrewosh 6 hours ago | hide | discuss
27.Graph Topology and Battle Royale Mechanics (lukesalamone.com)
20 points by salamo 5 hours ago | hide | 1 comment
28.Hetzner Prices increase 30-40% (hetzner.com)
252 points by williausrohr 1 day ago | hide | 534 comments
29.Typed Assembly Language (2000) (cornell.edu)
43 points by luu 10 hours ago | hide | 17 comments
30.Show HN: Babyshark – Wireshark made easy (terminal UI for PCAPs) (github.com/vignesh07)
127 points by eigen-vector 16 hours ago | hide | 43 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: