frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

A missing underscore sent innocent man to prison for 18 months

https://arstechnica.com/tech-policy/2026/07/police-missed-one-underscore-and-sent-the-wrong-man-t...
1•quantified•1m ago•0 comments

The War That Shall Not Be Named

https://www.theatlantic.com/newsletters/2026/07/iran-war-trump-hiding-american-soldiers-death/688...
2•Jtsummers•2m ago•0 comments

Terrence Tao – Mathematics in the age of AI [video]

https://www.youtube.com/watch?v=sxAe4HJceFQ
2•soupspaces•7m ago•1 comments

Our position on open-weights models

https://www.anthropic.com/news/position-open-weights-models
5•surprisetalk•7m ago•0 comments

First Teaser for Apple TV's 'Neuromancer' Debuts at SDCC

https://arstechnica.com/culture/2026/07/first-teaser-for-apple-tvs-neuromancer-debuts-at-sdcc/
1•bookofjoe•8m ago•0 comments

Tump's Avoidable Crisis: Looking Back at the Collapse of the Iran Nuclear Deal

https://bluepressjournal.substack.com/p/the-tumps-avoidable-crisis-looking
2•WinstonWendell•8m ago•0 comments

How I Made Self-Hosted Servers Recoverable from Hangs

https://blog.nassella.org/how-i-made-servers-invincible-to-hangs/
2•thecombjelly•11m ago•0 comments

Scriptc: Vercel's TypeScript-to-C Compiler

https://scriptc.dev/
1•kozika•12m ago•0 comments

Our toolchain assumes one human writer, AI agents break that illusion

https://christophermeiklejohn.com/ai/zabriskie/agents/reliability/testing/ci/distributed/2026/07/...
2•maille•14m ago•0 comments

No Snake Oil: Verifying Python Package Builds

https://arxiv.org/abs/2607.21888
2•yruzin•15m ago•0 comments

I built the most advanced pool training system (Ball tracking and Projection) [video]

https://www.youtube.com/watch?v=LgAklZe_70s
2•dreamache•16m ago•1 comments

South Korea unveils $950B in semiconductor partnerships

https://www.upi.com/Top_News/World-News/2026/07/26/ai-summit-semiconductor-partnerships/162178509...
5•devonnull•16m ago•0 comments

The GTM Co-Founder – open-source GTM skills for solo dev-tool/AI founders

https://github.com/AIDevGTM/gtm-cofounder
1•devtoolgtm•19m ago•0 comments

Moka v1

https://million.dev/moka
2•acmnrs•19m ago•0 comments

Pure Mathematical Conal Architecture (PMCA)

https://zenodo.org/records/21630656
1•hiddenarchitect•19m ago•0 comments

The Polynomial-Time Low-Degree Conjecture Is False

https://arxiv.org/abs/2607.20318
2•MarcoDewey•21m ago•0 comments

Beyond "Clean Code": Why Your Comments Matter

https://blog.moertel.com/posts/2026-07-27-beyond-clean-code-why-your-comments-matter.html
2•chmaynard•25m ago•1 comments

The TLA+ Video Course

https://lamport.azurewebsites.net/video/videos.htmlhttps://lamport.azurewebsites.net/video/videos...
4•woggy•26m ago•0 comments

Show HN: Fancontrol-rs rust windows fan controls specdrivendesigned open source

https://github.com/Leyukaka/fancontrol-rs
1•yukaka•27m ago•0 comments

BSX Markets

https://markets.basicswapdex.com/plain/
3•dRK-U•30m ago•0 comments

Double jeopardy law ushered out (2005)

http://news.bbc.co.uk/2/hi/uk_news/4406129.stm
1•Cider9986•31m ago•0 comments

TeXShop History

https://pages.uoregon.edu/koch/texshop/history.html
3•sharma-arjun•32m ago•0 comments

Show HN: A record the vendor doesnt hold

https://github.com/githubscum/lotor
1•hnscum•33m ago•1 comments

Lilian Weng (co-founder) leaving Thinking Machines

https://twitter.com/lilianweng/status/2081816923088814421
7•dpc10•33m ago•0 comments

What Building My Own Container Runtime Taught Me About Software Architecture

https://kaleab-ayenew.github.io/writings/what-building-my-own-container-runtime-taught-me-about-s...
3•kalishayish•34m ago•0 comments

Opus 5: Richard III

https://analog-antiquarian.net/2026/07/24/opus-5-richard-iii/
1•ibobev•35m ago•0 comments

FreeBSD Developing New Ntsync Driver for Accelerating Windows NT Sync Primitives

https://www.phoronix.com/news/FreeBSD-Q2-2026
1•Bender•35m ago•0 comments

I Recommend Old Russian Mathematics Books

https://valeman.medium.com/why-i-recommend-old-russian-mathematics-books-b9d36405dcf1
1•ibobev•35m ago•1 comments

Vapnik and Chervonenkis: The Founding Fathers of Machine Learning

https://valeman.medium.com/vapnik-and-chervonenkis-the-founding-fathers-of-machine-learning-96f17...
1•ibobev•38m ago•0 comments

I've Spent a Month with Nvidia's RTX Spark in Microsoft's Surface Laptop Ultra

https://www.techpowerup.com/forums/threads/i%E2%80%99ve-spent-a-month-with-nvidia%E2%80%99s-rtx-s...
3•_____k•38m ago•0 comments
Open in hackernews

I solved almost all of free problems on LeetCode using AI

https://old.reddit.com/r/leetcode/comments/1krg7by/i_solved_almost_all_of_free_problems_on_leetcode/
3•tevlon•1y ago

Comments

cratermoon•1y ago
I'm sure all the free problems from LeetCode are in the training sets, so I don't think this is much of a flex.
tevlon•1y ago
i was thinking the same. And i am sure it is in the training set, but i couldn't solve 10 hard problems. Also, most of the hard problems, the LLMs weren't able to solve in one shot. How do you explain this?
cratermoon•1y ago
There are many more correct answers to the easy problems than to the hard ones. Thus the LLM is more likely to hit upon the correct completion for them.
tevlon•1y ago
makes sense
whobre•1y ago
Alright, but how can this exercise help them pass an interview? The point of leetcode is to memorize the solutions so one can do well in an interview; yes, I agree it’s ridiculous.