Fast (catherinejue.com)

1532 points by gaplong 2d ago 425 comments

Do not download the app, use the website (idiallo.com)

1340 points by foxfired 7d ago 721 comments

Study mode (openai.com)

1102 points by meetpateltech 3d ago 798 comments

Copyparty – Turn almost any device into a file server (github.com)

1048 points by saint11 4d ago 165 comments

EU age verification app to ban any Android system not licensed by Google (reddit.com)

1033 points by cft 5d ago 684 comments

Dumb Pipe (dumbpipe.dev)

993 points by udev4096 5d ago 245 comments

‘I witnessed war crimes’ in Gaza – former worker at GHF aid site [video] (bbc.com)

984 points by nathanyz 4d ago 1248 comments

Enough AI copilots, we need AI HUDs (geoffreylitt.com)

964 points by walterbell 5d ago 267 comments

Performance and telemetry analysis of Trae IDE, ByteDance's VSCode fork (github.com)

949 points by segfault22 5d ago 366 comments

Slow (michaelnotebook.com)

930 points by calvinfo 1d ago 215 comments

M8.7 earthquake in Western Pacific, tsunami warning issued (earthquake.usgs.gov)

857 points by jandrewrogers 2d ago 241 comments

Show HN: Use Their ID – Use your local UK MP’s ID for the Online Safety Act (use-their-id.com)

848 points by timje1 4d ago 279 comments

Graphene OS: a security-enhanced Android build (lwn.net)

749 points by madars 8d ago 551 comments

It's time for modern CSS to kill the SPA (jonoalderson.com)

743 points by tambourine_man 7d ago 489 comments

Our $100M Series B (oxide.computer)

742 points by spatulon 2d ago 497 comments

Vibe code is legacy code (blog.val.town)

732 points by simonw 2d ago 446 comments

Show HN: Draw a fish and watch it swim with the others (drawafish.com)

731 points by hallak 3d ago 197 comments

‘No Other Land’ consultant Awdah Hathaleen killed by Israeli settler (latimes.com)

721 points by _shadi 2d ago 809 comments

Face it: you're a crazy person (experimental-history.com)

688 points by surprisetalk 4d ago 357 comments

VPN use surges in UK as new online safety rules kick in (ft.com)

680 points by mmarian 4d ago 1337 comments

Windsurf employee #2: I was given a payout of only 1% what my shares where worth (twitter.com)

671 points by rfurmani 8d ago 513 comments

Tom Lehrer has died (nytimes.com)

637 points by detaro 5d ago 114 comments

Steam, Itch.io are pulling ‘porn’ games. Critics say it's a slippery slope (wired.com)

623 points by 6d6b73 7d ago 888 comments

Sleep all comes down to the mitochondria (science.org)

620 points by A_D_E_P_T 2d ago 305 comments

Visa and Mastercard are getting overwhelmed by gamer fury over censorship (polygon.com)

608 points by mrzool 4d ago 584 comments

Rust running on every GPU (rust-gpu.github.io)

604 points by littlestymaar 6d ago 205 comments

Claude Code weekly rate limits

597 points by thebestmoshe 4d ago 702 comments

My 2.5 year old laptop can write Space Invaders in JavaScript now (GLM-4.5 Air) (simonwillison.net)

569 points by simonw 3d ago 395 comments

Women dating safety app 'Tea' breached, users' IDs posted to 4chan (404media.co)

565 points by gloxkiqcza 7d ago 777 comments

Sign in with Google in Chrome (underpassapp.com)

560 points by frizlab 4d ago 301 comments

Ollama's new app (ollama.com)

543 points by BUFU 2d ago 277 comments

Tao on “blue team” vs. “red team” LLMs (mathstodon.xyz)

534 points by qsort 4d ago 168 comments

4k NASA employees opt to leave agency through deferred resignation program (kcrw.com)

514 points by ProAm 5d ago 721 comments

Corporation for Public Broadcasting ceasing operations (cpb.org)

513 points by coloneltcb 6h ago 479 comments

How was the Universal Pictures 1936 opening logo created? (movies.stackexchange.com)

510 points by azeemba 1d ago 68 comments

iPhone 16 cameras vs. traditional digital cameras (candid9.com)

509 points by sergiotapia 3d ago 501 comments

The anti-abundance critique on housing is wrong (derekthompson.org)

487 points by rbanffy 1d ago 754 comments

MacBook Pro Insomnia (manuel.bernhardt.io)

486 points by speckx 1d ago 220 comments

Irrelevant facts about cats added to math problems increase LLM errors by 300% (science.org)

483 points by sxv 3d ago 257 comments

CCTV footage captures video of an earthquake fault in motion (smithsonianmag.com)

471 points by chrononaut 6d ago 87 comments

When we get Komooted (bikepacking.com)

461 points by atakan_gurkan 5d ago 268 comments

The future is not self-hosted (drewlyton.com)

461 points by drew_lytle 7d ago 448 comments

Many countries that said no to ChatControl in 2024 are now undecided (digitalcourage.social)

458 points by nickslaughter02 1d ago 329 comments

There is no memory safety without thread safety (ralfj.de)

453 points by tavianator 8d ago 502 comments

LLM Embeddings Explained: A Visual and Intuitive Guide (huggingface.co)

444 points by eric-burel 4d ago 90 comments

Live coding interviews measure stress, not coding skills (hadid.dev)

436 points by mustaphah 10h ago 455 comments

I designed my own fast game streaming video codec – PyroWave (themaister.net)

430 points by Bogdanp 4d ago 134 comments

It's a DE9, not a DB9 (but we know what you mean) (news.sparkfun.com)

425 points by jgrahamc 7d ago 297 comments

RIP Shunsaku Tamiya, the man who made plastic model kits a global obsession (japanesenostalgiccar.com)

421 points by fidotron 3d ago 88 comments

Try the Mosquito Bucket of Death (energyvanguard.com)

415 points by almuhalil 2d ago 310 comments

Gödel: The Limits of Logic and the Foundations of Modern Mathematics

2 bryanrasmussen 1 7/31/2025, 8:41:03 AM quantumzeitgeist.com ↗

Comments (1)

bryanrasmussen · 1d ago

original title was: Gödel’s Incompleteness Theorems: The Limits of Logic and the Foundations of Modern Mathematics.