frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: AI agent forgets user preferences every session. This fixes it

https://www.pref0.com/
1•fliellerjulian•41s ago•0 comments

Introduce the Vouch/Denouncement Contribution Model

https://github.com/ghostty-org/ghostty/pull/10559
1•DustinEchoes•2m ago•0 comments

Show HN: SSHcode – Always-On Claude Code/OpenCode over Tailscale and Hetzner

https://github.com/sultanvaliyev/sshcode
1•sultanvaliyev•2m ago•0 comments

Microsoft appointed a quality czar. He has no direct reports and no budget

https://jpcaparas.medium.com/microsoft-appointed-a-quality-czar-he-has-no-direct-reports-and-no-b...
1•RickJWagner•4m ago•0 comments

Multi-agent coordination on Claude Code: 8 production pain points and patterns

https://gist.github.com/sigalovskinick/6cc1cef061f76b7edd198e0ebc863397
1•nikolasi•5m ago•0 comments

Washington Post CEO Will Lewis Steps Down After Stormy Tenure

https://www.nytimes.com/2026/02/07/technology/washington-post-will-lewis.html
1•jbegley•5m ago•0 comments

DevXT – Building the Future with AI That Acts

https://devxt.com
2•superpecmuscles•6m ago•4 comments

A Minimal OpenClaw Built with the OpenCode SDK

https://github.com/CefBoud/MonClaw
1•cefboud•6m ago•0 comments

The silent death of Good Code

https://amit.prasad.me/blog/rip-good-code
2•amitprasad•7m ago•0 comments

The Internal Negotiation You Have When Your Heart Rate Gets Uncomfortable

https://www.vo2maxpro.com/blog/internal-negotiation-heart-rate
1•GoodluckH•8m ago•0 comments

Show HN: Glance – Fast CSV inspection for the terminal (SIMD-accelerated)

https://github.com/AveryClapp/glance
2•AveryClapp•9m ago•0 comments

Busy for the Next Fifty to Sixty Bud

https://pestlemortar.substack.com/p/busy-for-the-next-fifty-to-sixty-had-all-my-money-in-bitcoin-...
1•mithradiumn•10m ago•0 comments

Imperative

https://pestlemortar.substack.com/p/imperative
1•mithradiumn•11m ago•0 comments

Show HN: I decomposed 87 tasks to find where AI agents structurally collapse

https://github.com/XxCotHGxX/Instruction_Entropy
1•XxCotHGxX•15m ago•1 comments

I went back to Linux and it was a mistake

https://www.theverge.com/report/875077/linux-was-a-mistake
2•timpera•16m ago•1 comments

Octrafic – open-source AI-assisted API testing from the CLI

https://github.com/Octrafic/octrafic-cli
1•mbadyl•17m ago•1 comments

US Accuses China of Secret Nuclear Testing

https://www.reuters.com/world/china/trump-has-been-clear-wanting-new-nuclear-arms-control-treaty-...
2•jandrewrogers•18m ago•1 comments

Peacock. A New Programming Language

1•hashhooshy•23m ago•1 comments

A postcard arrived: 'If you're reading this I'm dead, and I really liked you'

https://www.washingtonpost.com/lifestyle/2026/02/07/postcard-death-teacher-glickman/
2•bookofjoe•24m ago•1 comments

What to know about the software selloff

https://www.morningstar.com/markets/what-know-about-software-stock-selloff
2•RickJWagner•28m ago•0 comments

Show HN: Syntux – generative UI for websites, not agents

https://www.getsyntux.com/
3•Goose78•28m ago•0 comments

Microsoft appointed a quality czar. He has no direct reports and no budget

https://jpcaparas.medium.com/ab75cef97954
2•birdculture•29m ago•0 comments

AI overlay that reads anything on your screen (invisible to screen capture)

https://lowlighter.app/
1•andylytic•30m ago•1 comments

Show HN: Seafloor, be up and running with OpenClaw in 20 seconds

https://seafloor.bot/
1•k0mplex•30m ago•0 comments

Tesla turbine-inspired structure generates electricity using compressed air

https://techxplore.com/news/2026-01-tesla-turbine-generates-electricity-compressed.html
2•PaulHoule•32m ago•0 comments

State Department deleting 17 years of tweets (2009-2025); preservation needed

https://www.npr.org/2026/02/07/nx-s1-5704785/state-department-trump-posts-x
3•sleazylice•32m ago•1 comments

Learning to code, or building side projects with AI help, this one's for you

https://codeslick.dev/learn
1•vitorlourenco•32m ago•0 comments

Effulgence RPG Engine [video]

https://www.youtube.com/watch?v=xFQOUe9S7dU
1•msuniverse2026•34m ago•0 comments

Five disciplines discovered the same math independently – none of them knew

https://freethemath.org
4•energyscholar•34m ago•1 comments

We Scanned an AI Assistant for Security Issues: 12,465 Vulnerabilities

https://codeslick.dev/blog/openclaw-security-audit
1•vitorlourenco•35m ago•0 comments
Open in hackernews

Monsky's Theorem

https://mathmondays.com/monskys-theorem
49•hyperbrainer•9mo ago

Comments

prof-dr-ir•9mo ago
> no face of P, nor any face of one of the Ti, contains vertices of all three colors

That should be 'edge', not 'face', no? Otherwise I do not understand what is happening at all with the examples.

erooke•9mo ago
Pretty sure they meant the word face, that would be the generic term for edge. (An edge being a 1 dimensional face)
dmurray•9mo ago
Yes, this would more normally be called "edge". It's not incorrect to call it a face, by analogy with higher-dimensional solids, but confusing.
FabHK•9mo ago
Maybe they called it "face" and not "edge" because an edge is normally understood to be what's between two vertices (of a graph; so an edge has two vertices, beginning and end), while here "face" is what's between two corners of a given triangle (so a face can contain more than two vertices, and so multiple edges).

See the bottom "face" of the top centre triangle in the 4 examples.

hswanson•9mo ago
Yeah, that's exactly it! "Face" is the term used in the original paper, so that's what I was using. I've updated the page to make the distinction clearer. Thanks!
drewcoo•9mo ago
They're dealing with planar graphs, graphs embedded in planes. Faces are not edges.

https://en.wikipedia.org/wiki/Planar_graph#Euler's_formula

ogogmad•9mo ago
Haven't read the article. But something about this reminds me of Arnold's topological proof of the unsolvability of the quintic (YouTube form: https://www.youtube.com/watch?v=BSHv9Elk1MU ; PDF: https://web.williams.edu/Mathematics/lg5/394/ArnoldQuintic.p...).

It seems a lot of impossibility theorems - the type that the ancient Greeks would have understood - can be proven using algebraic topology. Perhaps Sperner's lemma can be seen as an algebraic topology theorem? I don't personally know.

PollardsRho•9mo ago
Thanks for sharing this proof! As someone who enjoys math but never got myself through enough Galois theory to finish the standard proof, it's fantastic to see a proof that's more elementary while still giving a sense of why the group structure is important.
xyzzyz•9mo ago
Sperner lemma is very much an algebraic topology theorem. The ideas involved in it form the basis for the theory of simplicial homology, which in turn will lead you to general homology and cohomology theories.
bobmcnamara•9mo ago
Taaaake it to the limit: N=∞, area=0, job done
akoboldfrying•9mo ago
> To show that detM is non-zero, we can show that its 2-adic valuation is nonzero.

I think the last word in that sentence should be "finite"?

Also do I understand correctly that "face" means "maximal line segment"? (I see some other comments discussing this and concluding that "face" means "edge", but to me, an "edge" doesn't permit "intermediate" vertices.)

erooke•9mo ago
> Also do I understand correctly that "face" means "maximal line segment"?

In the statement of Sperners lemma this seems to be how he means it. You have a triangle who's faces have been subdivided. The face he is referring to is the face before subdivision I think.

This lines up with the usual statement I'm familiar with for Sperners lemma which involves triangulating an n-simplex.

hswanson•9mo ago
Yep, you're right on both counts; I've updated the page with those corrections. Thanks!