frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Can you beat ensloppification? I made a quiz for Wikipedia's Signs of AI Writing

https://tryward.app/aiquiz
1•bennydog224•44s ago•1 comments

Spec-Driven Design with Kiro: Lessons from Seddle

https://medium.com/@dustin_44710/spec-driven-design-with-kiro-lessons-from-seddle-9320ef18a61f
1•nslog•50s ago•0 comments

Agents need good developer experience too

https://modal.com/blog/agents-devex
1•birdculture•2m ago•0 comments

The Dark Factory

https://twitter.com/i/status/2020161285376082326
1•Ozzie_osman•2m ago•0 comments

Free data transfer out to internet when moving out of AWS (2024)

https://aws.amazon.com/blogs/aws/free-data-transfer-out-to-internet-when-moving-out-of-aws/
1•tosh•3m ago•0 comments

Interop 2025: A Year of Convergence

https://webkit.org/blog/17808/interop-2025-review/
1•alwillis•4m ago•0 comments

Prejudice Against Leprosy

https://text.npr.org/g-s1-108321
1•hi41•5m ago•0 comments

Slint: Cross Platform UI Library

https://slint.dev/
1•Palmik•9m ago•0 comments

AI and Education: Generative AI and the Future of Critical Thinking

https://www.youtube.com/watch?v=k7PvscqGD24
1•nyc111•9m ago•0 comments

Maple Mono: Smooth your coding flow

https://font.subf.dev/en/
1•signa11•10m ago•0 comments

Moltbook isn't real but it can still hurt you

https://12gramsofcarbon.com/p/tech-things-moltbook-isnt-real-but
1•theahura•14m ago•0 comments

Take Back the Em Dash–and Your Voice

https://spin.atomicobject.com/take-back-em-dash/
1•ingve•14m ago•0 comments

Show HN: 289x speedup over MLP using Spectral Graphs

https://zenodo.org/login/?next=%2Fme%2Fuploads%3Fq%3D%26f%3Dshared_with_me%25253Afalse%26l%3Dlist...
1•andrespi•15m ago•0 comments

Teaching Mathematics

https://www.karlin.mff.cuni.cz/~spurny/doc/articles/arnold.htm
1•samuel246•18m ago•0 comments

3D Printed Microfluidic Multiplexing [video]

https://www.youtube.com/watch?v=VZ2ZcOzLnGg
2•downboots•18m ago•0 comments

Abstractions Are in the Eye of the Beholder

https://software.rajivprab.com/2019/08/29/abstractions-are-in-the-eye-of-the-beholder/
2•whack•18m ago•0 comments

Show HN: Routed Attention – 75-99% savings by routing between O(N) and O(N²)

https://zenodo.org/records/18518956
1•MikeBee•18m ago•0 comments

We didn't ask for this internet – Ezra Klein show [video]

https://www.youtube.com/shorts/ve02F0gyfjY
1•softwaredoug•19m ago•0 comments

The Real AI Talent War Is for Plumbers and Electricians

https://www.wired.com/story/why-there-arent-enough-electricians-and-plumbers-to-build-ai-data-cen...
2•geox•22m ago•0 comments

Show HN: MimiClaw, OpenClaw(Clawdbot)on $5 Chips

https://github.com/memovai/mimiclaw
1•ssslvky1•22m ago•0 comments

I Maintain My Blog in the Age of Agents

https://www.jerpint.io/blog/2026-02-07-how-i-maintain-my-blog-in-the-age-of-agents/
3•jerpint•23m ago•0 comments

The Fall of the Nerds

https://www.noahpinion.blog/p/the-fall-of-the-nerds
1•otoolep•24m ago•0 comments

I'm 15 and built a free tool for reading Greek/Latin texts. Would love feedback

https://the-lexicon-project.netlify.app/
2•breadwithjam•27m ago•1 comments

How close is AI to taking my job?

https://epoch.ai/gradient-updates/how-close-is-ai-to-taking-my-job
1•cjbarber•27m ago•0 comments

You are the reason I am not reviewing this PR

https://github.com/NixOS/nixpkgs/pull/479442
2•midzer•29m ago•1 comments

Show HN: FamilyMemories.video – Turn static old photos into 5s AI videos

https://familymemories.video
1•tareq_•31m ago•0 comments

How Meta Made Linux a Planet-Scale Load Balancer

https://softwarefrontier.substack.com/p/how-meta-turned-the-linux-kernel
1•CortexFlow•31m ago•0 comments

A Turing Test for AI Coding

https://t-cadet.github.io/programming-wisdom/#2026-02-06-a-turing-test-for-ai-coding
2•phi-system•31m ago•0 comments

How to Identify and Eliminate Unused AWS Resources

https://medium.com/@vkelk/how-to-identify-and-eliminate-unused-aws-resources-b0e2040b4de8
3•vkelk•32m ago•0 comments

A2CDVI – HDMI output from from the Apple IIc's digital video output connector

https://github.com/MrTechGadget/A2C_DVI_SMD
2•mmoogle•32m ago•0 comments
Open in hackernews

Open Problems in Computational geometry

https://topp.openproblem.net/
92•nill0•8mo ago

Comments

wrsh07•8mo ago
Does anyone know if this is still up-to-date?

All three authors are large contributors to the field (the book _discrete and computational geometry_ by O'Rourke & Devadoss is excellent), Demaine has some origami in the collection at MoMA NYC^, Mitchell found a ptas for euclidian tsp (Google it - the paper is readable and there is another good write up of his vs Arora's)

^ https://erikdemaine.org/curved/MoMA/

yorwba•8mo ago
Last update to mark a problem as solved was in December last year: https://github.com/edemaine/topp/pull/10
rurban•8mo ago
You just need to file a simple PR to mark a problem as solved though. I cannot get much simplier
jll29•8mo ago
Thanks for the pointer, I just saw the 2nd edition of Discrete and Computational Geometry will be coming out in July: https://www.amazon.com/-/en/Discrete-Computational-Geometry-... (I preordered a copy)
boxfire•8mo ago
Definitely out of date, e.g. the 3SUM subquadratic conjecture (probably 11) has been solved and improved on [1].

If it's not been already there's immediate application, e.g. problem 41.

[1]:https://link.springer.com/article/10.1007/s00453-015-0079-6

mazsa•8mo ago
Are there any solutions similar to those found at https://www.cs.ru.nl/~freek/100/ ?
ogogmad•8mo ago
Is any of the new machine learning tech promising here? I recall some new invariants of minimal surfaces were discovered only a few years ago by a DeepMind-made AI - and that's before LLMs. I'm wondering if AI can invent notions as powerful as homology groups: It could go about this by constructing lossy compressors whose outputs can still be used to accurately predict properties of geometric objects. That is what homology groups and the like are for.
jebarker•8mo ago
This does seem like one math domain where there's some potential for program synthesis approaches like the recent AlphaEvolve and others. I say that because some of these problems you could feasibly write automatic evaluation code and solve them by the LLM spitting out a constructor for solutions and then doing hill climbing. That's not true in many areas of math though. There's also problems here that require a proof and maybe would be approachable eventually using automated theorem proving. But there's also problems that don't obviously fit into either of those categories.
bubblyworld•8mo ago
A technicality is that those compressors need to provably predict properties of said geometric objects to be interesting to mathematicans (a statement which itself needs appropriate encoding in mathematical language - what exactly you want probably depends on the problem you hope to solve). Something that superficially looks good but works as a black box wouldn't cut it.

My understanding of ML interpretability research at the moment is that it's very early days - too early, perhaps, to hope for a general purpose compressor algorithm that produces proofs of it's own workings (that seems like the holy grail). But of course I would love to be wrong!

jll29•8mo ago
It's a great idea to collect open problems, to give them a name and unique number, to collect status updates, and to provide related literature references. It would be good to keep this open for submitting new problems also, and I'd like to see similar activities for all sub-areas of mathematics and computer science.

Mathematicians led by Terence Tao are keen to explore new ways for mathematicians to collaborate remotely and online to tackle all open problems together in an open and technology-supported way. I think problem inventories should be part of that, together with proof collections, existing datasets such as the great On-Line Encyclopedia of Integer Sequences (OEIS, at https://oeis.org), and perhaps Jupyter-type notebooks that utilize symbolic algebra systems, theorem provers etc.

lordfrito•8mo ago
Was hoping for some pretty pictures.... since there are none this article isn't for me I guess.
rurban•8mo ago
Indeed. With more pictures such as at https://topp.openproblem.net/p59 I foresee that there will be much more solutions. You don't need to be an expert to solve most, but they hide themselves behind expert language