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.

OpenSSL 4.1.0

https://github.com/openssl/openssl/releases/tag/openssl-4.1.0
140•petecooper•3h ago•38 comments

Local Wikipedia: Wikipedia, but only for things a half hour walk from you

https://edjefferson.com/localwiki/
883•sohkamyung•17h ago•171 comments

eMudhra ignored Mozilla Root investigation deadline; blames social media

https://bugzilla.mozilla.org/show_bug.cgi?id=2083449
74•IcePenguin•1h ago•19 comments

Docker is weird

https://codeandcake.dev/posts/2026-10-22-docker-is-weird
719•psxuaw•16h ago•289 comments

Disney Raising Prices Days After Confirming Ads Will Now Show Up on Every Tier

https://www.tvfandomlounge.com/disney-plus-price-hike-ads-premium-tier-nielsen-emmys-2026/
311•robtherobber•7h ago•304 comments

Show HN: We had AI write a wiki from 45k Enron emails, every fact cited

https://www.thisandthat.chat/enron/
24•jreynar•4h ago•18 comments

Investor-owned utilities charge 23% more for electricity than public providers

https://www.kadoa.com/energy-prices/insights/investor-owned-utilities
410•hubraumhugo•2h ago•294 comments

Job Loss and Cortisone Mania

https://tilschuenemann.de/job-loss-cortisone-mania
86•speckx•5h ago•24 comments

The alien space of science: Coherent but cognitively unavailable directions

https://arxiv.org/abs/2603.01092
157•martincsweiss•1d ago•58 comments

The foolishness of "natural language programming" (1978)

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
302•xiaoyu2006•15h ago•197 comments

Every AI model has the same "controversial" take on humans

https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans
574•rakannimer•1d ago•546 comments

Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key

https://github.com/dsmurrell/onkey
135•dsmurrell•1d ago•62 comments

Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?

367•ex-aws-dude•19h ago•400 comments

How does Fable 5.1 hide messages in images?

https://www.lesswrong.com/posts/WHEQps5PK8LrrcTAb/how-does-fable-5-1-hide-messages-in-images
172•gmays•18h ago•54 comments

OpenShell – A safe, private runtime for fleets of autonomous AI agents

https://github.com/NVIDIA/OpenShell
467•niemandhier•22h ago•205 comments

Run full iOS 16.5 firmware on Android Devices

https://github.com/oosexgang/hackios-xnu-kernel
491•aghuang•1d ago•179 comments

The HTML-in-Canvas API origin trial

https://developer.chrome.com/blog/html-in-canvas-origin-trial
104•andrewstuart•20h ago•44 comments

This I Believe (1952)

https://www.awakin.org/v2/read/view.php?tid=468
132•ctoth•13h ago•58 comments

Shitter – A Nitter Fork

https://codeberg.org/shitter/shitter
129•eustoria•3h ago•81 comments

WorldTUI: I trained a 360M model to pretend to be a terminal

https://simedw.com/2026/10/21/world-model-terminal/
588•alphax314•1d ago•179 comments

Getting ready to operate GNU Taler in Germany

https://www.taler.net/en/news/2026-13.html
342•dewey•1d ago•155 comments

Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry

677•petecooper•1d ago•242 comments

Remove pgrust: the entry is cheating (per-query kernels and result caching)

https://github.com/ClickHouse/ClickBench/pull/2165
152•f311a•8h ago•89 comments

Is this the new cyber normal?

https://drew.silcock.dev/blog/is-this-the-new-cyber-normal/
126•drewsberry•5h ago•137 comments

Pentagon grants DHS permission to test heat ray weapon for use at border

https://www.cnn.com/2026/10/21/politics/heat-ray-weapon-dhs-pentagon
19•bushwart•1h ago•14 comments

Quad9 to exit France

https://quad9.net/news/blog/au-revoir-france/
1310•farrokhi•1d ago•454 comments

Jank – The native Clojure dialect with seamless C++ interop

https://jank-lang.org/
149•giancarlostoro•16h ago•26 comments

Xbox wants you to pay 24 to 40 cents per hour to stream games you bought

https://arstechnica.com/gaming/2026/10/xbox-wants-you-to-pay-24-to-40-cents-per-hour-to-stream-ga...
365•entryleveljobsc•1d ago•324 comments

LLMs are making formal software verification feasible at a much larger scale

https://www.anthropic.com/research/formal-verification
402•johnbender•17h ago•245 comments

I reverse engineered a board game

https://wuemeli.com/blog/reversing-hitster-game/
74•wuemeli•2d ago•33 comments