frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Right-Truncatable Prime Counter

https://github.com/EbodShojaei/Right-Truncatable-Primes
9•rainmans•1y ago

Comments

throwawaymaths•1y 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•1y ago
i dont think smaller radixes make the problem more interesting. the problem is interesting because base 10 has a large branching factor
throwawaymaths•1y 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•1y ago
There's a Project Euler problem for finding truncatable prime numbers, from both left and right: https://projecteuler.net/problem=37
thechao•1y 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.

Tailscale didn't stop the Hugging Face intrusion

https://tailscale.com/blog/hugging-face-intrusion
453•bluehatbrit•6h ago•169 comments

Elevators

https://john.fun/elevators
873•Jrh0203•10h ago•220 comments

qm – Multiplayer agent harness for work

https://github.com/yc-software/qm
457•tosh•7h ago•93 comments

Twenty-five years ago it was cryptography, today it's model weights

https://weeraman.com/because-we-can/
155•aweeraman•3d ago•60 comments

The Absurdity of Albert Camus

https://www.historytoday.com/archive/portrait-author-historian/absurdity-albert-camus
44•apollinaire•1d ago•29 comments

June in Servo: real world compat, media queries, SharedWorker, and more

https://servo.org/blog/2026/07/31/june-in-servo/
103•iamnothere•7h ago•32 comments

Big Food vs. the People

https://www.lighthousereports.com/investigation/big-food-vs-the-people/
190•jruohonen•9h ago•129 comments

Progressive Web Components

https://arielsalminen.com/2026/progressive-web-components/
83•hosteur•15h ago•12 comments

Demystifying DRAM Read Disturbance: RowHammer and RowPress Phenomena

https://arxiv.org/abs/2607.28233
30•Jimmc414•4h ago•17 comments

Getting 25 Gbps Thunderbolt Ethernet on My Mac Studio

https://www.jeffgeerling.com/blog/2026/getting-25g-ethernet-mac-thunderbolt/
136•speckx•9h ago•83 comments

Let's make the worst Htmx

https://zserge.com/posts/worst-htmx-ever/
64•RebelPotato•20h ago•20 comments

Run Kimi K3 using 29 GB of RAM at 0.50 tok/s

https://github.com/sqliteai/waste
151•marcobambini•11h ago•60 comments

A past and future of trade secrets

https://www.cabinetmagazine.org/issues/70/kofen.php
14•Hooke•1d ago•3 comments

How JPEG works: Interactively explore JPEG's lossy compression methods

https://cgjennings.ca/articles/jpeg-compression/
107•at1as•4d ago•13 comments

Loops (YC W22) Is Hiring a Product Educator

https://www.ycombinator.com/companies/loops/jobs/zqUnwqB-product-educator-technical-content-creator
1•chrisfrantz•4h ago

The most official water costs $120k a gallon

https://signoregalilei.com/2026/07/26/the-most-official-water-costs-120000-a-gallon/
136•surprisetalk•10h ago•116 comments

Golang proposal: container/: generic collection types

https://github.com/golang/go/issues/80590
121•jabits•7h ago•75 comments

The First Transatlantic Telegraph Cable Was a Bold, Beautiful Failure

https://spectrum.ieee.org/the-first-transatlantic-telegraph-cable-was-a-bold-beautiful-failure
17•sparsesignal•2d ago•3 comments

Termixer (TUI DJ Mixer)

https://github.com/l00sed/termixer
51•l00sed•7h ago•35 comments

Authorize, don't authenticate

https://blog.marcua.net/2026/07/31/authorize-dont-authenticate.html
53•marcua•11h ago•13 comments

Dubious research tied to Red Bull has shaped energy drink policy

https://www.theexamination.org/articles/red-bull-funded-research-energy-drinks-alcohol
116•Jimmc414•9h ago•177 comments

How to Exist

https://www.raptitude.com/2026/07/how-to-exist/
5•walterbell•1h ago•0 comments

Using the railway network as a flatbed scanner [video]

https://media.ccc.de/v/emf2026-74-1-using-the-railway-network-as-a-flatbed-scanner
51•Jimmc414•7h ago•25 comments

Is AI reasoning right for the wrong reasons?

https://www.quantamagazine.org/is-ai-reasoning-right-for-the-wrong-reasons-20260731/
119•retupmoc01•10h ago•150 comments

Algorithms on billion-scale graph using 10GB RAM: I love DataFusion

https://semyonsinchenko.github.io/ssinchenko/post/datafusion-graphs-cc-2/
100•speckx•9h ago•32 comments

Predictive Speculative KV Replication for Bursty LLM Inference

https://jwlabs.vercel.app/post/biting-the-bullet
26•shreybirmiwal•5h ago•2 comments

How far can you push the range of Wi-Fi connectivity in an ideal environment?

https://www.phidgets.com/?view=articles&article=LongRangeWifi
4•rzk•3d ago•1 comments

Everyone is building LLM routers, we deprecated ours

https://manifest.build/blog/why-we-deprecated-our-llm-router/
90•brunaxLorax•7h ago•49 comments

Severance

https://lcamtuf.substack.com/p/severance
204•surprisetalk•8h ago•66 comments

Clockwise/Spiral Rule (1994)

https://c-faq.com/decl/spiral.anderson.html
61•etrvic•11h ago•45 comments