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.

Networking and the Internet, from First Principles

https://fazamhd.com/mental-models/networking/
60•faza•1h ago•29 comments

Your code is fast – if you're lucky

https://tiki.li/blog/lucky_code.html
43•chrka•2h ago•6 comments

Einstein's relativity rules chemical bonds in heavy elements, new research shows

https://www.brown.edu/news/2026-07-09/chemical-bonds-relativity
300•hhs•15h ago•120 comments

Semantic/Hybrid Search in the Browser

https://bart.degoe.de/semantic-search-in-your-browser/
3•bartdegoede•34m ago•0 comments

QuadRF can spot drones and see WiFi through my wall

https://www.jeffgeerling.com/blog/2026/quadrf-can-spot-drones-and-see-wifi-through-my-wall/
635•speckx•21h ago•208 comments

Google Search lets creators know more about their reach

https://www.theverge.com/tech/961955/google-search-console-reach-platform-properties
38•herbertl•3d ago•21 comments

Otary – Image and Geometry Python Library Now Has Tutorials

https://alexandrepoupeau.com/otary/learn/
48•poupeaua•3d ago•1 comments

Apple sues OpenAI, accuses ex-employees of stealing trade secrets

https://9to5mac.com/2026/07/10/apple-sues-openai-trade-secret-theft/
1236•stock_toaster•16h ago•658 comments

FCC Approves Test of Space Mirror to Light Night Sky Despite Outcry

https://www.nytimes.com/2026/07/10/climate/fcc-space-mirror.html
20•reaperducer•1h ago•11 comments

An iroh powered smart fan

https://www.iroh.computer/blog/an-iroh-powered-smart-fan
131•surprisetalk•4d ago•35 comments

An update on residential proxies and the scraper situation

https://lwn.net/SubscriberLink/1080822/990a8a5e2d379085/
240•chmaynard•18h ago•244 comments

The mask that compiles to nothing: how HotSpots JIT learned to reason about bits

https://questdb.com/blog/jvm-jit-known-bits/
41•rowbin•5d ago•0 comments

SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth

https://www.zdnet.com/home-and-office/networking/spacex-wants-to-launch-100000-more-starlink-sate...
225•CrankyBear•19h ago•735 comments

The vintage beauty of Soviet control rooms (2018)

https://designyoutrust.com/2018/01/vintage-beauty-soviet-control-rooms/
149•mvdtnz•8h ago•48 comments

Good Tools Are Invisible

https://www.gingerbill.org/article/2026/07/10/good-tools-are-invisible/
487•theanonymousone•1d ago•218 comments

AI 2040: Plan A

https://ai-2040.com/
311•kschaul•1d ago•333 comments

Late Bronze Age Collapse

https://acoup.blog/2026/01/30/collections-the-late-bronze-age-collapse-a-very-brief-introduction/
387•dmonay•1d ago•266 comments

Silent speech with ultrasound

https://alephneuro.com/blog/silent-speech
72•chrwn•3d ago•15 comments

The tech of 'Terminator 2' – an oral history (2017)

https://vfxblog.com/2017/08/23/the-tech-of-terminator-2-an-oral-history/
232•markus_zhang•20h ago•80 comments

Combustion engine web-based simulator

https://combustionlab.net
199•mytuny•5d ago•70 comments

After 7 years in production, Scarf has reluctantly moved away from Haskell

https://avi.press/posts/2026-07-10-after-7-years-in-production-scarf-has-reluctantly-moved-away-f...
174•aviaviavi•1d ago•210 comments

Alternate clock designs and time systems

https://serialc.github.io/altClocks/
170•ethanpil•4d ago•90 comments

Inference Optimization for MiMo v2.5: Pushing Hybrid SWA Efficiency to the Limit

https://mimo.xiaomi.com/blog/mimo-v2-5-inference
94•theanonymousone•4d ago•37 comments

Snails' teeth beats spider silk as nature's strongest material (2015)

https://www.smithsonianmag.com/smart-news/spider-silk-loses-top-spot-natures-strongest-material-s...
208•simonebrunozzi•21h ago•155 comments

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf
484•scrlk•19h ago•393 comments

Show HN: Sdlc factory built on pi.dev:intent->DDD->architecture->tested code

https://github.com/arman-jalili/guardian-framework
3•arman-w-jalili•4d ago•0 comments

Show HN: Getting GLM 5.2 running on my slow computer

https://github.com/JustVugg/colibri
871•vforno•2d ago•215 comments

New York City to ban deceptive subscription practices

https://www.theguardian.com/us-news/2026/jul/10/new-york-city-deceptive-subscriptions-ban
565•randycupertino•19h ago•276 comments

A love letter to flashcards

https://lesleylai.info/en/flashcards/
164•surprisetalk•22h ago•98 comments

Computation as a universal and fundamental concept

https://ergo.org/courses/computation-as-a-universal-and-fundamental-concept
145•simonpure•22h ago•113 comments