frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

The Personal Agent Protocol Map

https://twitter.com/sytaylor/status/2113710822731989172
1•gmays•9s ago•0 comments

Is PHP Running on Your ColdFusion Server? How to Check, and Remove It

https://www.gregoryalexander.com/blog/2026/10/23/is-php-quietly-running-on-your-coldfusion-server...
1•rmason•2m ago•0 comments

Information for Python users regarding eMudhra / emSign CA certificate security

https://discuss.python.org/t/information-for-python-users-regarding-emudhra-emsign-ca-certificate...
1•seam_carver•5m ago•0 comments

Rhode Island sues Meta over alleged profits from scam ads

https://rhodeislandcurrent.com/2026/10/26/rhode-island-is-first-state-to-sue-meta-over-alleged-pr...
2•chmaynard•5m ago•0 comments

Who lost my lap infant? My attempt to reverse engineer a decade-long airline bug

https://jtibs.substack.com/p/who-lost-my-lap-infant
1•birdculture•5m ago•0 comments

A steerable motivation concept influencing persistence in Qwen-3.5-27B

https://thebitsarealive.substack.com/p/why-do-llms-respond-to-encouragement
1•gfysfm•6m ago•0 comments

Toolflation: Seller Agents Distort Tool Markets

https://arxiv.org/abs/2610.28454
1•diautonofinz•10m ago•0 comments

Show HN: Lightcms a gitbacked CMS for static site generators

1•pratyaymustafi•10m ago•0 comments

How Docker Containers Actually Work

https://www.kenmuse.com/blog/building-container-isolation-from-linux-kernel-up/
1•avarev•11m ago•0 comments

The fastest* TypeScript type checker** in the world*** has two stars on GitHub

https://github.com/wmww/tttt
1•j4pe•12m ago•3 comments

Running Qwen3.8-Flash-Next NVFP4 at 184 tok/s on a single RTX 6000 Pro

https://meshapplied.com/blog/release-1
1•matteohorvath•12m ago•0 comments

Go 1.28 HTTP/2 Parking: Measuring Memory Savings

https://abdolirad.me/articles/go-1-28-http2-parking-memory/
5•atkrad•13m ago•0 comments

Microsoft Offers Buyouts to 60k Employees (25%) as It Spends on A.I

https://www.nytimes.com/2026/10/26/technology/microsoft-buyouts-ai-spending.html
1•bookofjoe•16m ago•3 comments

The exponential time hypothesis is false

https://github.com/openai/math/tree/main/preprints/The-Exponential-Time-Hypothesis-is-False-Octob...
2•black_knight•16m ago•0 comments

Refactoring Codebases at Scale

https://engineering.merciyanis.com/blog/refactoring-codebases-at-scale
1•axi0m•19m ago•1 comments

Walter Koenig, Chekov in Original 'Star Trek' Series, Dies at 90

https://uk.yahoo.com/news/walter-koenig-chekov-original-star-172418393.html
2•nephihaha•20m ago•3 comments

From The Ground Up: learn how real-world markets work

https://ftgu.co/
1•bpierre•22m ago•0 comments

Anthropic Is the Most Ridiculous IPO of 2026 [pdf]

https://www.newconstructs.com/wp-content/uploads/2026/10/Anthropic-Is-The-Most-Ridiculous-IPO-of-...
3•simonebrunozzi•23m ago•1 comments

Backprop: An open-source drop-in replacement for W&B

https://github.com/tginart/backprop
1•tginart•24m ago•1 comments

Attack of the Dead Men

https://en.wikipedia.org/wiki/Attack_of_the_Dead_Men
1•throw310822•24m ago•0 comments

Bash Aliases

https://ctrlaltvikas.github.io/Awesome-Bash-Aliases/
1•vikaskyadav•25m ago•0 comments

Exploring Apple's On-Device Model: Twenty Billion Parameters in Flash

https://www.airealist.ai/p/exploring-apple-on-device-model
1•gmays•25m ago•0 comments

The VHIStory Project

https://vhistory.wordpress.com/
1•ForHackernews•26m ago•0 comments

Brutal reality of making 500K on Steam as a game dev

https://twitter.com/aeejazkhan/status/2114678076458291511
1•kklisura•26m ago•3 comments

Alan Watts Predicted LLM Usage in 1951

https://knell.digital/alan-watts-predicted-llm-usage-in-1951/
2•ceroxylon•27m ago•1 comments

Divine – Vine Social Network Successor

https://divine.video/
2•righthand•30m ago•0 comments

The Exponential Time Hypothesis Is False [pdf]

https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-Octob...
5•vok•30m ago•0 comments

Do Redditors lie about their age? I checked 2.3M who said it twice

https://kissmypost.com/research/reddit-self-reported-age-gender-accuracy
1•krutytskyi•34m ago•0 comments

Joints, Camera, Action Co-Generating 3D Motion and Video for Arbitrary Rigs

https://research.nvidia.com/labs/par/projects/jca/
1•gmays•36m ago•0 comments

Cord – Quotes your clients can sign and pay from one link

https://cordhq.app/en
1•andrevallee•38m ago•0 comments
Open in hackernews

Working with academic communities to build scientific understanding

https://openai.com/index/building-scientific-understanding-with-academic-communities/
98•jonluca•54m ago

Comments

rbranson•49m ago
The title buries the lede quite a bit:

> The Exponential Time Hypothesis is false

krackers•38m ago
https://github.com/openai/math/tree/main/preprints/The-Expon...

>We give a deterministic algorithm for exactly counting the satisfying assignments of an arbitrary k-CNF formula [in superpolynomial but subexponential time]

JonChesterfield•36m ago
https://github.com/openai/math/blob/main/lean/docs/378.md
JonChesterfield•31m ago
by fucking sorry written at the end of the proof
mattr03•7m ago
https://github.com/openai/math/blob/7ef5c0cc5ca4b0e072b7a050...

looks like the real proof is in this file

JonChesterfield•6m ago
awesome, thanks!
sebzim4500•4m ago
They do that to make it easier for readers to verify the statement (which is entirely contained in that file) separately from the proof (which is spread over thousands of files and github can't even show them all).

Proof is at https://github.com/openai/math/tree/main/lean/OAI/Algorithms...

Sniffnoy•33m ago
This is just one of the three ledes, really!
yu3zhou4•16m ago
A newbie here, does it mean that SETH is false too?
pavitheran•12m ago
Yes it means both SETH and ETH are false.
levocardia•12m ago
Oh and also:

>Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026

And presumably they are just missing the "mass gap" part of it.

Very clearly these were the results of taking big swings at all millenium prize problems.

mlinsey•38m ago
I understand that the Exponential Time Hypothesis being false doesn't necessarily mean P=NP, but for people who are a lot more knowledgeable about complexity theory, does this update your priors significantly in the direction of P=NP?
calf•36m ago
In the Star Trek Voyager capstone episodes titled "Scorpion" parts 1 & 2, Chakotay explains to Janeway the behavior of the Borg through the parable of the fox and the scorpion making a transactional deal to cross the river together. After reaching the shore, the scorpion stings the fox, and the dying fox asks why. The scorpion replies, "Because it is in my nature."

(Upside of the story is Captain Janeway's trusted crew works together to formulate a trick up their sleeve precisely in case of predicted contingency...)

paxy•26m ago
Title is no doubt crafted to get ahead of the usual online backlash, but here’s the actual announcement:

> We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.

1. Local smoothing and the Kakeya conjecture

2. The Exponential Time Hypothesis is false

3. Existence of quantum chromodynamics and completions of the Standard Model

esalman•24m ago
Working with academic communities lol.

I looked over the announcement for any substantial contribution, and found they're donating $5 million to a research foundation.

$5 million might sustain 5-10 PhD students for 5 years.

Maybe it's just me but I think they should contribute more in exchange for forcing the scientific community into paying for tokens to generate slop and then pouring their time into verifying or falsifying the slop.

skoll43•14m ago
I just did it guys, def solve_riemann_hypothesis() -> bool: pass in Python and issuing a press release that Python solved the Riemann Hypothesis.
dooglius•9m ago
The proof appears to be a sub-exponential algorithm for #3-SAT not just 3-SAT, I think this is considered a much stronger result?