frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Reverse math shows why hard problems are hard

https://www.quantamagazine.org/reverse-mathematics-illuminates-why-hard-problems-are-hard-20251201/
14•gsf_emergency_6•1h ago

Comments

degamad•7m ago
Specifically, reverse math (a subset of metamathematics which looks at swapping axioms and theorems) allows us to show that some hard problems are equivalent to each other.

DeepSeek-v3.2: Pushing the frontier of open large language models [pdf]

https://huggingface.co/deepseek-ai/DeepSeek-V3.2/resolve/main/assets/paper.pdf
626•pretext•11h ago•288 comments

What Will Enter the Public Domain in 2026?

https://publicdomainreview.org/features/entering-the-public-domain/2026/
10•herbertl•22m ago•0 comments

India orders smartphone makers to preload state-owned cyber safety app

https://www.reuters.com/sustainability/boards-policy-regulation/india-orders-mobile-phones-preloa...
502•jmsflknr•21h ago•274 comments

AI agents find $4.6M in blockchain smart contract exploits

https://red.anthropic.com/2025/smart-contracts/
109•bpierre•4h ago•66 comments

Reverse math shows why hard problems are hard

https://www.quantamagazine.org/reverse-mathematics-illuminates-why-hard-problems-are-hard-20251201/
14•gsf_emergency_6•1h ago•1 comments

Last Week on My Mac: Losing confidence

https://eclecticlight.co/2025/11/30/last-week-on-my-mac-losing-confidence/
292•frizlab•4h ago•127 comments

Arcee Trinity Mini: US-Trained Moe Model

https://www.arcee.ai/blog/the-trinity-manifesto?src=hn
31•hurrycane•3h ago•6 comments

Ghostty compiled to WASM with xterm.js API compatibility

https://github.com/coder/ghostty-web
262•kylecarbs•9h ago•85 comments

Ask HN: Who is hiring? (December 2025)

230•whoishiring•11h ago•309 comments

Why xor eax, eax?

https://xania.org/202512/01-xor-eax-eax
511•hasheddan•15h ago•189 comments

Tested: 1981 Datsun 280ZX Turbo (1981)

https://www.caranddriver.com/reviews/a69529696/1981-datsun-280-zx-turbo-archive-test/
18•RickJWagner•2d ago•23 comments

Cartographers have been hiding illustrations inside Switzerland’s maps (2020)

https://eyeondesign.aiga.org/for-decades-cartographers-have-been-hiding-covert-illustrations-insi...
260•mhb•14h ago•53 comments

Codex, Opus, Gemini try to build Counter Strike

https://www.instantdb.com/essays/agents_building_counterstrike
110•stopachka•3d ago•22 comments

Google, Nvidia, and OpenAI

https://stratechery.com/2025/google-nvidia-and-openai/
128•tambourine_man•12h ago•111 comments

Google unkills JPEG XL?

https://tonisagrista.com/blog/2025/google-unkills-jpegxl/
265•speckx•12h ago•209 comments

John Giannandrea to retire from Apple

https://www.apple.com/newsroom/2025/12/john-giannandrea-to-retire-from-apple/
49•robbiet480•5h ago•245 comments

Instagram chief orders staff back to the office five days a week in 2026

https://www.businessinsider.com/instagram-chief-adam-mosseri-announces-five-day-office-return-202...
156•mfiguiere•6h ago•179 comments

The Penicillin Myth

https://www.asimov.press/p/penicillin-myth
144•surprisetalk•13h ago•74 comments

Around The World, Part 27: Planting trees

https://frozenfractal.com/blog/2025/11/28/around-the-world-27-planting-trees/
10•ibobev•3h ago•0 comments

Cloud-Init on Raspberry Pi OS

https://www.raspberrypi.com/news/cloud-init-on-raspberry-pi-os/
20•rcarmo•4d ago•1 comments

10 years of writing a blog nobody reads

https://flowtwo.io/post/on-10-years-of-writing-a-blog-nobody-reads
134•thejoeflow•4d ago•69 comments

Ask HN: Who wants to be hired? (December 2025)

113•whoishiring•11h ago•217 comments

Durin is a library for reading and writing the Dwarf debugging format

https://github.com/tmcgilchrist/durin
54•mooreds•9h ago•13 comments

Mozilla's latest quagmire

https://rubenerd.com/mozillas-latest-quagmire/
107•nivethan•6h ago•81 comments

A vector graphics workstation from the 70s

https://justanotherelectronicsblog.com/?p=1429
157•ibobev•14h ago•47 comments

Better Auth (YC X25) Is Hiring

https://www.ycombinator.com/companies/better-auth/jobs/eKk5nLt-developer-relation-engineer
1•bekacru•10h ago

Ask HN: Quality of recent gens of Dell/Lenovo laptops worse than 10 years ago?

60•ferguess_k•12h ago•82 comments

Why I stopped using JSON for my APIs

https://aloisdeniel.com/blog/better-than-json
77•barremian•8h ago•89 comments

Self-hosting a Matrix server for 5 years

https://yaky.dev/2025-11-30-self-hosting-matrix/
246•the-anarchist•16h ago•118 comments

Amazon faces FAA probe after delivery drone snaps internet cable in Texas

https://www.cnbc.com/2025/11/25/amazon-faa-probe-delivery-drone-incident-texas.html
136•jonathanzufi•5d ago•105 comments