frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Open Problems in Computational geometry

https://topp.openproblem.net/
59•nill0•8h ago

Comments

wrsh07•3h 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•1h ago
Last update to mark a problem as solved was in December last year: https://github.com/edemaine/topp/pull/10
jll29•1h 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•58m 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•3h ago
Are there any solutions similar to those found at https://www.cs.ru.nl/~freek/100/ ?
ogogmad•2h 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•1h 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•49m 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•1h 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.

Palette lighting tricks on the Nintendo 64

https://30fps.net/pages/palette-lighting-tricks-n64/
125•ibobev•3h ago•21 comments

Dead Stars Don't Radiate

https://johncarlosbaez.wordpress.com/2025/05/17/dead-stars-dont-radiate-and-shrink/
8•thechao•9m ago•0 comments

How to have the browser pick a contrasting color in CSS

https://webkit.org/blog/16929/contrast-color/
26•Kerrick•1h ago•1 comments

Push Ifs Up and Fors Down

https://matklad.github.io/2023/11/15/push-ifs-up-and-fors-down.html
210•goranmoomin•8h ago•93 comments

Show HN: I built a knife steel comparison tool

https://new.knife.day/blog/knife-steel-comparisons/all
6•p-s-v•50m ago•0 comments

If nothing is curated, how do we find things

https://tadaima.bearblog.dev/if-nothing-is-curated-how-do-we-find-things/
29•nivethan•2h ago•13 comments

How I fixed the infamous Basilisk II Windows "Black Screen" bug in 2013

https://www.downtowndougbrown.com/2025/05/how-i-fixed-the-infamous-basilisk-ii-windows-black-screen-bug-in-2013/
15•zdw•2d ago•0 comments

JavaScript's New Superpower: Explicit Resource Management

https://v8.dev/features/explicit-resource-management
235•olalonde•12h ago•154 comments

"We would be less confidential than Google" Proton threatens to quit Switzerland

https://www.techradar.com/vpn/vpn-privacy-security/we-would-be-less-confidential-than-google-proton-threatens-to-quit-switzerland-over-new-surveillance-law
100•taubek•3h ago•31 comments

The longest train journey is epic – but nobody's ever taken it

https://bigthink.com/strange-maps/portugal-to-singapore-train/
22•PaulHoule•49m ago•1 comments

OBNC – Oberon-07 Compiler

https://miasap.se/obnc/
40•AlexeyBrin•6h ago•12 comments

Steepest Descent Density Control for Compact 3D Gaussian Splatting

https://arxiv.org/abs/2505.05587
18•PaulHoule•4h ago•0 comments

Japan's IC cards are weird and wonderful

https://aruarian.dance/blog/japan-ic-cards/
218•aecsocket•2d ago•175 comments

Catalog of Novel Operating Systems

https://github.com/prathyvsh/os-catalog
112•prathyvsh•10h ago•36 comments

Insurance for AI: Easier Said Than Done

https://loeber.substack.com/p/24-insurance-for-ai-easier-said-than
15•sebg•3d ago•9 comments

A kernel developer plays with Home Assistant

https://lwn.net/SubscriberLink/1017720/7155ecb9602e9ef2/
127•pabs3•16h ago•137 comments

Implementing a RISC-V Hypervisor

https://seiya.me/blog/riscv-hypervisor
82•ingve•10h ago•4 comments

Open Problems in Computational geometry

https://topp.openproblem.net/
59•nill0•8h ago•9 comments

Wow@Home – Network of Amateur Radio Telescopes

https://phl.upr.edu/wow/outreach
166•visviva•16h ago•26 comments

Laser-Induced Graphene from Commercial Inks and Dyes

https://advanced.onlinelibrary.wiley.com/doi/10.1002/advs.202412167
26•PaulHoule•2d ago•3 comments

Popcorn: Run Elixir in WASM

https://popcorn.swmansion.com/
106•clessg•2d ago•19 comments

Getting AI to write good SQL

https://cloud.google.com/blog/products/databases/techniques-for-improving-text-to-sql
442•richards•20h ago•303 comments

New high-quality hash measures 71GB/s on M4

https://github.com/Nicoshev/rapidhash
118•nicoshev11•3d ago•43 comments

How Cory Arcangel Recovered Late Artist Michel Majerus's Digital Legacy

https://www.newyorker.com/culture/infinite-scroll/how-cory-arcangel-recovered-a-late-artists-digital-legacy
9•bookofjoe•2d ago•4 comments

XTool – Cross-platform Xcode replacement

https://github.com/xtool-org/xtool
167•TheWiggles•15h ago•48 comments

Chapter 2: Serializability Theory (1987 Concurrency Control Book)

http://muratbuffalo.blogspot.com/2025/05/chapter-2-serializability-theory.html
17•matt_d•2d ago•0 comments

Pyrefly: A new type checker and IDE experience for Python

https://engineering.fb.com/2025/05/15/developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/
114•homarp•5h ago•84 comments

MCP: An in-depth introduction

https://www.speakeasy.com/mcp/mcp-tutorial
164•ritzaco•4d ago•65 comments

Rustls Server-Side Performance

https://www.memorysafety.org/blog/rustls-server-perf/
158•jaas•4d ago•51 comments

Hwacha: Ancient Korea Invented a Rocket Launcher in the 15th Century

https://www.utubepublisher.in/2025/05/Hwacha-weapon.html
5•Utubepublisher•34m ago•0 comments