fp.

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

https://abhamra.com/blog/randomized-maxcut/

1•todsacerdoti•34s ago•0 comments

Do mathematicians have an ethical role to play, regarding the AI bubble?

https://mathoverflow.net/questions/506141/do-mathematicians-have-an-ethical-role-to-play-regardin...

1•jjgreen•1m ago•0 comments

Stanford AI Experts Predict What Will Happen in 2026

https://hai.stanford.edu/news/stanford-ai-experts-predict-what-will-happen-in-2026

1•simonpure•5m ago•0 comments

Pompeii site reveals recipe for Roman concrete

https://www.cnn.com/2025/12/19/science/roman-concrete-recipe-process-pompeii

1•pseudolus•5m ago•0 comments

Motherboard flaws allows game cheats, Riot blocks players that don't update BIOS

https://www.tomshardware.com/video-games/pc-gaming/critical-motherboard-flaw-allows-game-cheats-r...

1•akyuu•6m ago•0 comments

AI content farm publishing 10K articles/day: An OSINT investigation

https://www.numerama.com/cyberguerre/2140051-qui-sont-ces-parasites-qui-pillent-les-articles-a-le...

1•innermost47•7m ago•1 comments

Best in Class Debugging Proxy for macOS

https://proxyman.com/

1•charlieirish•8m ago•0 comments

Why U.S. sports tickets have gotten so expensive

https://www.nytimes.com/athletic/6901912/2025/12/19/usa-ticket-prices-sporting-events-world-cup-2...

1•ilamont•12m ago•0 comments

Ask HN: How do you go from an idea to designing a prototype for back ends?

1•lalithaar•13m ago•0 comments

Regular expressions that cross lines

https://www.johndcook.com/blog/2025/12/19/regular-expressions-that-cross-lines/

1•ibobev•13m ago•0 comments

Show HN: Hat v0.2.0 – An Automatic Image Compressor (support for more formats)

https://github.com/bittere/hat/releases/tag/v0.2.0

1•_bittere•14m ago•0 comments

Kazuo Ishiguro – Nobel Prize Lecture

https://www.nobelprize.org/prizes/literature/2017/ishiguro/lecture/

1•pseudolus•14m ago•0 comments

The power to profit without producing

https://www.somo.nl/the-power-to-profit-without-producing/

1•robtherobber•15m ago•0 comments

For the Holidays: Epic Interactive Fiction of the Millennial Period

https://www.filfre.net/2025/12/huge-for-the-holidays-epic-interactive-fiction-of-the-millennial-p...

1•ibobev•17m ago•0 comments

Looking for technical co-founder for real estate marketplace in North Africa

1•mbkaj•19m ago•0 comments

An HTTP surface for Claude Code CLI

https://github.com/pattern-zones-co/koine

1•mathewpetty•21m ago•0 comments

A Supposedly Fun Thing I'll Never Do Again [pdf]

https://harpers.org/wp-content/uploads/2008/09/HarpersMagazine-1996-01-0007859.pdf

1•mosiuerbarso•22m ago•0 comments

TS Zip

https://www.bellard.org/ts_zip/

2•cyanf•23m ago•0 comments

How are coding assistants evaluated? SWE-Bench Pro Explorer

https://marginlab.ai/explorers/swe-bench-pro/

2•qwesr123•23m ago•0 comments

Show HN: Aligning AI with Entropy Instead of 'Human Values' ( Paper)

1•NyX_AI_ZERO_DAY•25m ago•1 comments

Olaf: Bringing an Animated Character to Life in the Physical World [video]

https://www.youtube.com/watch?v=-L8OFMTteOo

1•janpot•32m ago•0 comments

"Awesome Production Machine Learning" Github List

https://github.com/EthicalML/awesome-production-machine-learning

2•axsaucedo•34m ago•0 comments

International maps of cities coloured by street/road/ave/etc.

https://erdavis.com/2019/09/20/the-beautiful-hidden-logic-of-cities-worldwide/

2•fanf2•34m ago•1 comments

WANem – The Wide Area Network emulator (2014)

https://wanem.sourceforge.net/

1•basemi•37m ago•0 comments

Sewage can be used to heat and cool buildings

https://apnews.com/article/climate-wastewater-sewage-heating-sustainable-energy-2cbeb696ddff16d9a...

1•montroser•37m ago•0 comments

Tech Talk: Improving Window Resize Behavior

https://www.electronjs.org/blog/tech-talk-window-resize-behavior

3•nikwen•44m ago•0 comments

Agentic browsers: a note for my friends

https://www.dvsj.in/on-agentic-browsers

2•ctxc•45m ago•0 comments

I tricked GPT-4 into suggesting 112 non-existent packages

https://github.com/dariomonopoli-dev/codegate-cli/issues/1

1•mondra•47m ago•0 comments

Russias Next Space Station

https://arstechnica.com/space/2025/12/russia-is-about-to-do-the-most-russia-thing-ever-with-its-n...

1•Anon84•49m ago•0 comments

Help my website is too small

https://lukeplant.me.uk/blog/posts/help-my-website-is-too-small/

1•wofo•50m ago•2 comments