Tell HN: Help restore the tax deduction for software dev in the US (Section 174)

634 points by dang 2h ago 271 comments

Apple Announces Foundation Models Framework for Developers to Leverage AI (apple.com)

145 points by thm 1h ago 91 comments

A bit more on Twitter/X's new encrypted messaging (blog.cryptographyengineering.com)

27 points by vishnuharidas 32m ago 10 comments

Show HN: Munal OS: a graphical experimental OS with WASM sandboxing (github.com)

42 points by Gazoche 1h ago 5 comments

Apple introduces a universal design across platforms (apple.com)

117 points by meetpateltech 2h ago 155 comments

Launch HN: Chonkie (YC X25) – Open-Source Library for Advanced Chunking

64 points by snyy 3h ago 21 comments

Show HN: Somo – a human friendly alternative to netstat (github.com)

17 points by hollow64 1h ago 3 comments

Doctors could hack the nervous system with ultrasound (spectrum.ieee.org)

78 points by purpleko 4h ago 9 comments

Hokusai Moyo Gafu: an album of dyeing patterns (ndlsearch.ndl.go.jp)

91 points by fanf2 4h ago 11 comments

The new Gödel Prize winner tastes great and is less filling (blog.computationalcomplexity.org)

72 points by baruchel 4h ago 14 comments

Bruteforcing the phone number of any Google user (brutecat.com)

319 points by brutecat 5h ago 117 comments

Algovivo an energy-based formulation for soft-bodied virtual creatures (juniorrojas.com)

33 points by tzury 3h ago 2 comments

Why quadratic funding is not optimal (jonathanwarden.com)

66 points by jwarden 4h ago 52 comments

Show HN: Glowstick – type level tensor shapes in stable rust (github.com)

23 points by bietroi 3h ago 0 comments

Maypole Dance of Braid Like Groups (2009) (divisbyzero.com)

26 points by srean 3h ago 3 comments

A man rebuilding the last Inca rope bridge (atlasobscura.com)

38 points by kaonwarb 2d ago 7 comments

Finding Shawn Mendes (2019) (ericneyman.wordpress.com)

305 points by jzwinck 11h ago 48 comments

Pi in Pascal's Triangle (cut-the-knot.org)

8 points by senfiaj 3d ago 0 comments

LLMs are cheap (snellman.net)

239 points by Bogdanp 7h ago 224 comments

Potential and Limitation of High-Frequency Cores and Caches (2024) (arch.cs.ucdavis.edu)

11 points by matt_d 3d ago 4 comments

Frederick Forsyth has died (theguardian.com)

27 points by Tomte 1h ago 7 comments

The Legend of Prince's Special Custom-Font Symbol Floppy Disks (2016) (nymag.com)

31 points by arbesman 4d ago 12 comments

Why Android can't use CDC Ethernet (2023) (jordemort.dev)

317 points by goodburb 22h ago 128 comments

Riding high in Germany on the world's oldest suspended railway (theguardian.com)

176 points by pseudolus 19h ago 93 comments

Why Go is a good fit for agents (docs.hatchet.run)

47 points by abelanger 5d ago 46 comments

CoverDrop: A secure messaging system for newsreader apps (github.com)

54 points by andyjohnson0 11h ago 8 comments

Endangered classic Mac plastic color returns as 3D-printer filament (arstechnica.com)

229 points by CobaltFire 4d ago 73 comments

What happens when people don't understand how AI works (theatlantic.com)

220 points by rmason 22h ago 258 comments

Administering immunotherapy in the morning seems to matter. Why? (owlposting.com)

218 points by abhishaike 1d ago 170 comments

Omnimax (computer.rip)

184 points by aberoham 22h ago 47 comments

FSE meets the FBI (blog.freespeechextremist.com)

370 points by 1337p337 17h ago 121 comments

Anthropic's AI-generated blog dies an early death (techcrunch.com)

61 points by Sourabhsss1 3h ago 44 comments

Software is about promises (bramadams.dev)

75 points by _bramses 19h ago 19 comments

AI Angst (tbray.org)

141 points by AndrewDucker 8h ago 161 comments

Apple's AI-driven Stem Splitter audio separation tech has improved (arstechnica.com)

7 points by mpweiher 2h ago 1 comments

Makefile.md – Possibly Use(Ful|Less) Polyglot Synthesis of Makefile and Markdown (zoo.dev)

6 points by fallat 6h ago 0 comments

Trusting your own judgement on 'AI' is a risk (baldurbjarnason.com)

74 points by todsacerdoti 2h ago 30 comments

I used AI-powered calorie counting apps, and they were even worse than expected (lifehacker.com)

210 points by gnabgib 19h ago 225 comments

My first attempt at iOS app development (mgx.me)

211 points by surprisetalk 4d ago 135 comments

Killing X11 (flak.tedunangst.com)

6 points by goranmoomin 17m ago 1 comments

Panjandrum: The ‘giant firework’ built to break Hitler's Atlantic Wall (bbc.com)

133 points by rmason 4d ago 156 comments

Mushrooms communicate with each other using up to 50 'words', scientist claims (2022) (theguardian.com)

81 points by Anon84 4h ago 47 comments

Gaussian integration is cool (rohangautam.github.io)

193 points by beansbeansbeans 1d ago 43 comments

How Sony's Forgotten Computers Helped Shape the Playstation (obsoletesony.substack.com)

4 points by pjmlp 1h ago 0 comments

Analyzing IPv4 Trades with Gnuplot (ipv4a-5539ad.gitlab.io)

67 points by todsacerdoti 18h ago 14 comments

How Compiler Explorer Works in 2025 (xania.org)

197 points by vitaut 5d ago 34 comments

Show HN: Let’s Bend – Open-Source Harmonica Bending Trainer (letsbend.de)

120 points by egdels 1d ago 34 comments

Building an AI server on a budget (informationga.in)

160 points by mful 3d ago 95 comments

Generating Pixels One by One (tunahansalih.github.io)

66 points by cyruseption 4d ago 2 comments

Cheap yet ultrapure titanium might enable widespread use in industry (2024) (phys.org)

115 points by westurner 4d ago 100 comments

Platform for Formalizing Sequences from Online Encyclopedia of Integer Sequences

1 baruchel 0 6/9/2025, 11:45:48 AM provables.github.io ↗

Comments (0)

No comments yet