frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Making Sense of Proof by Contradiction [pdf]

https://www.foster77.co.uk/Foster,%20Scottish%20Mathematical%20Council%20Journal,%20Making%20sense%20of%20proof%20by%20contradiction.pdf
11•surprisetalk•3d ago

Comments

luisgvv•1h ago
This reminds me of the first time I was shown this in college.

I loved this method so much that in my first formal logic test I tried to solve all of the problems via this method. It was a fun experience lol

US allows Anthropic to release Mythos to 'trusted partners'

https://www.reuters.com/technology/us-releases-anthropic-model-mythos-some-us-companies-semafor-r...
241•bobrenjc93•4h ago•233 comments

Previewing GPT‑5.6 Sol: a next-generation model

https://openai.com/index/previewing-gpt-5-6-sol/
873•minimaxir•10h ago•529 comments

Why does kinetic energy increase quadratically, not linearly, with speed? (2011)

https://physics.stackexchange.com/questions/535/why-does-kinetic-energy-increase-quadratically-no...
115•ProxyTracer•4h ago•49 comments

Show HN: Hacker News on a Train Station Style Flip Board

https://popflame.quickish.space/hn-flipboard/
20•PaybackTony•2h ago•2 comments

AI in mathematics is forcing big questions

https://spectrum.ieee.org/ai-in-mathematics
62•rbanffy•4h ago•25 comments

A C++ implementation of a fast hash map and hash set using hopscotch hashing

https://github.com/Tessil/hopscotch-map
70•gjvc•5h ago•11 comments

MicroVMs: Run isolated sandboxes with full lifecycle control

https://aws.amazon.com/blogs/aws/run-isolated-sandboxes-with-full-lifecycle-control-aws-lambda-in...
278•justincormack•3d ago•158 comments

U.S. government will decide who gets to use GPT-5.6

https://www.washingtonpost.com/technology/2026/06/26/openai-says-us-government-will-vet-users-its...
866•alain94040•8h ago•956 comments

The gap between open weights LLMs and closed source LLMs

https://blog.doubleword.ai/frontier-os-llm
134•kkm•5h ago•109 comments

Show HN: DBOSify – Drop-in Temporal replacement built on Postgres

https://github.com/dbos-inc/dbosify-py
30•KraftyOne•2d ago•6 comments

We can still stop California's 3D printer surveillance scheme

https://www.eff.org/deeplinks/2026/06/we-can-still-stop-californias-3d-printer-surveillance-scheme
258•hn_acker•5h ago•84 comments

Making Sense of Proof by Contradiction [pdf]

https://www.foster77.co.uk/Foster,%20Scottish%20Mathematical%20Council%20Journal,%20Making%20sens...
11•surprisetalk•3d ago•1 comments

Om

https://daringfireball.net/2026/06/om
146•throw0101a•3h ago•10 comments

A Tiny Compiler for Data-Parallel Kernels

https://healeycodes.com/a-tiny-compiler-for-data-parallel-kernels
31•healeycodes•1d ago•3 comments

Ultrasound imaging of the brain

https://alephneuro.com/blog/ultrasound-brain
245•rossant•15h ago•100 comments

Hellishly Slow Level 13 Deflate Compression

https://kirill.korins.ky/articles/hellishly-slow-level-13-deflate-compression/
6•zX41ZdbW•4d ago•0 comments

Show HN: Smart model routing directly in Claude, Codex and Cursor

https://github.com/workweave/router
152•adchurch•10h ago•90 comments

Hightouch (YC S19) Is Hiring

https://hightouch.com/careers#open-positions
1•joshwget•6h ago

The "Bizarre Headgear" exhibit at the Sam Noble museum

https://svpow.com/2026/05/15/the-bizarre-headgear-exhibit-at-the-sam-noble-museum-is-incredible/
72•surprisetalk•3d ago•7 comments

What Is a Nomogram and Why Would It Interest Me?

https://lefakkomies.github.io/pynomo-doc/introduction/introduction.html#what-is-a-nomogram-and-wh...
93•Eridanus2•9h ago•18 comments

Long Wave radio era set to end with Droitwich switch-off

https://www.bbc.com/news/articles/c74yn7v7k4qo
63•speckx•8h ago•25 comments

Pre-Modern Armies for Worldbuilders, Part III: Paying for It

https://acoup.blog/2026/06/26/collections-pre-modern-armies-for-worldbuilders-part-iii-paying-for...
64•jfoucher•9h ago•7 comments

A human postmortem of the 1996 AOL outage

https://ngrok.com/blog/aol-was-down-1996
43•EndEntire•2d ago•9 comments

PlayStation Is Deleting 551 Movies from Customers' Accounts

https://kotaku.com/playstation-store-movies-digital-studio-canal-terminator-2000711013
181•ortusdux•7h ago•107 comments

The open source DOCX editor submitted to HN a few weeks ago has been deleted

66•gcanyon•5h ago•36 comments

Modern GPU Programming for MLSys

https://mlc.ai/modern-gpu-programming-for-mlsys/
66•crowwork•3d ago•11 comments

Gossamer: a Rust-flavoured language with real goroutines and pause-free memory

https://gossamer-lang.org/
70•mwheeler•8h ago•63 comments

LaTeX.wasm: LaTeX Engines in Browsers

https://www.swiftlatex.com/
92•theanonymousone•3d ago•31 comments

Show HN: Autofit2 – End-to-end pipeline for multilingual text classification

https://github.com/neospe/autofit2
17•leschak•1d ago•1 comments

My Steam Machine is a 50ft HDMI cable

https://blog.matthewbrunelle.com/my-steam-machine-is-a-50ft-hdmi-cable/
176•speckx•3d ago•162 comments