frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

An OpenAI model has disproved a central conjecture in discrete geometry

https://openai.com/index/model-disproves-discrete-geometry-conjecture/
617•tedsanders•4h ago•423 comments

GitHub confirms breach of 3,800 repos via malicious VSCode extension

https://www.bleepingcomputer.com/news/security/github-confirms-breach-of-3-800-repos-via-maliciou...
437•Timofeibu•10h ago•139 comments

DOS Zone

https://dos.zone/
34•rglover•56m ago•7 comments

Flipper One Tech Specs

https://docs.flipper.net/one/general/tech-specs
206•gregsadetsky•5h ago•76 comments

How fast is N tokens per second really?

https://mikeveerman.github.io/tokenspeed/
269•hexagr•2d ago•68 comments

Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects

https://legiscan.com/CO/bill/SB051/2026
50•ki4jgt•3h ago•15 comments

Google Declaring War on the Web

https://tante.cc/2026/05/20/on-google-declaring-war-on-the-web/
235•cdrnsf•2h ago•132 comments

Qwen3.7-Max: The Agent Frontier

https://qwen.ai/blog?id=qwen3.7
587•kevinsimper•13h ago•235 comments

Qian Xuesen: The missile genius America lost and China gained (2025)

https://www.usni.org/magazines/naval-history/2025/december/missile-genius-america-lost-and-china-...
91•thnaks•6h ago•53 comments

Why is Inkwell stuck in review

https://www.manton.org/2026/05/19/why-is-inkwell-stuck-in.html
92•speckx•6h ago•25 comments

Archaeologists find Egyptian mummy buried with the 'Iliad'

https://www.openculture.com/2026/05/archaeologists-discover-ancient-egyptian-mummy-buried-with-pa...
32•diodorus•5d ago•7 comments

SpaceX S-1

https://www.sec.gov/Archives/edgar/data/1181412/000162828026036936/spaceexplorationtechnologi.htm
171•cachecow•3h ago•122 comments

Show HN: CPU-only transcription for YouTube, TikTok, X, Instagram videos

https://github.com/kouhxp/yapsnap
14•mrkn1•2h ago•1 comments

Saying goodbye to asm.js

https://spidermonkey.dev/blog/2026/05/20/saying-goodbye-to-asmjs.html
295•eqrion•11h ago•129 comments

PopuLoRA: Co-Evolving LLM Populations for Reasoning Self- Play

https://vmax.ai/team/populora-co-evolving-llm-populations-for-reasoning-self-play
30•AMavorParker•2h ago•6 comments

Starship's Twelfth Flight Test

https://www.spacex.com/launches/starship-flight-12
76•pantalaimon•2h ago•62 comments

Map of Metal

https://mapofmetal.com/
386•robin_reala•13h ago•139 comments

SBCL: the ultimate assembly code breadboard (2014)

https://pvk.ca/Blog/2014/03/15/sbcl-the-ultimate-assembly-code-breadboard/
118•yacin•8h ago•7 comments

Incident Report: May 19, 2026 – GCP Account Suspension

https://blog.railway.com/p/incident-report-may-19-2026-gcp-account-outage
367•0xedb•15h ago•219 comments

Google's AI is being manipulated. The search giant is quietly fighting back

https://www.bbc.com/future/article/20260519-google-tackles-attempts-to-hack-its-ai-results
243•tigerlily•12h ago•171 comments

Sharla Boehm, the programmer whose code underpins the Internet

https://www.scientificamerican.com/article/the-programmer-whose-code-underpins-the-internet/
83•dxs•2d ago•24 comments

The OEIS meta sequence and subway stations

https://www.jeremykun.com/shortform/2026-04-09-0556/
5•surprisetalk•2d ago•0 comments

Not alive, but not dead: disembodied human brains used for drug testing

https://www.science.org/content/article/not-alive-not-dead-disembodied-human-brains-used-drug-tes...
127•Timofeibu•4h ago•102 comments

GitHub's take on age assurance for developers

https://github.blog/news-insights/policy-news-and-insights/why-age-assurance-laws-matter-for-deve...
20•hanifbbz•2h ago•8 comments

Meta blocks human rights accounts from reaching audiences in Saudi Arabia, UAE

https://www.alqst.org/ar/posts/1190
899•giuliomagnifico•11h ago•384 comments

Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth

https://www.youtube.com/watch?v=1OIxzewWilc
51•tzury•2d ago•6 comments

Formal Verification Gates for AI Coding Loops

https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/
97•pyrex41•8h ago•22 comments

Long-term editing of brain circuits using an engineered electrical synapse

https://www.nature.com/articles/s41586-026-10501-y
10•bookofjoe•3d ago•1 comments

LoRA and Weight Decay (2023)

https://irhum.github.io/blog/lorawd/
29•jxmorris12•2d ago•0 comments

Show HN: Dari-docs – Optimize your docs using parallel coding agents

https://github.com/mupt-ai/dari-docs
14•byhong03•6h ago•4 comments
Open in hackernews

Right-Truncatable Prime Counter

https://github.com/EbodShojaei/Right-Truncatable-Primes
9•rainmans•12mo ago

Comments

throwawaymaths•11mo ago
Curious about base 2. Obviously if you hit a 0 it's immediately not prime, but maybe adjust the rules so:

- you drill through as many 0's on the right.

- you finish on 1.

3, 5, 7, 11, 13, 15, 17 are all right truncatable, 19 is the first non-truncatable prime in this scheme.

nh23423fefe•11mo ago
i dont think smaller radixes make the problem more interesting. the problem is interesting because base 10 has a large branching factor
throwawaymaths•11mo ago
I think in the base2 reformulation I propose we do not know for certain if the list of numbers terminates, as all Fermat primes are in the set and we don't know if there are infinitely many Fermat primes.

For base-10 and the original rules the set is provably closed.

"Drilling through zeros" makes the branching unbounded.

jinwoo68•11mo ago
There's a Project Euler problem for finding truncatable prime numbers, from both left and right: https://projecteuler.net/problem=37
thechao•11mo ago
Just in case any else is wondering: there are only 83 right-truncatable primes (RTP) and that is it. There's two constraints that let you see this "immediately":

1. An RTP must start with {2,3,5,7,9}; and,

2. An RTP must end with {1,3,7,9}.

So, let's take the largest RTP (73939133) and try to "extend" it: there are only four possible extensions: 73939133[1], 73939133[3], 73939133[7], 73939133[9]. None of these are prime. This holds for the other 8-digit RTPs. Therefore, there is no extension to a 9-or-longer RTP. Thus, the list is exhaustive.