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.

CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K

https://github.com/johnsonjh/cpm386
37•TMWNN•2h ago•9 comments

Show HN: Isopolis – Isometric pixel map of SF

https://sf.isopolis.city/
54•nuwandavek•2h ago•16 comments

Karpathy’s Pelican

https://twitter.com/karpathy/status/2083749667410727319
465•delichon•22h ago•351 comments

RFC 9851: TLS 1.2 is in Feature Freeze

https://www.rfc-editor.org/rfc/rfc9851.html
17•Jimmc414•1h ago•4 comments

Show HN: ssh ssh.place

https://ssh.place
34•jeninh•2h ago•19 comments

Autoregressive Language Model on the 6502 Processor

https://mattbeton.com/blog/bitnet-6502.html
67•nmstoker•2d ago•7 comments

Why Book Corners won't sync contributions back to OpenStreetMap

https://www.andreagrandi.it/posts/why-book-corners-wont-sync-contributions-back-to-openstreetmap/
48•pizzaiolo•2h ago•30 comments

Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM

https://github.com/wie-project/kakehashi
187•vlad_kalinkin•10h ago•40 comments

Note-Taking and Personal Knowledge Management

https://unattributed.cc/note-taking-and-personal-knowledge-management
143•surprisetalk•5d ago•42 comments

Developers are attached to tools because tools encode trust

https://stackoverflow.blog/2026/07/29/developers-are-attached-to-tools-because-tools-encode-trust/
165•HieronymusBosch•4d ago•86 comments

SwiftUI After 7 Years

https://ykvm.com/2026/07/swiftui-a-story-of-mediocrity/
120•mpweiher•8h ago•103 comments

Read the novels and forget everything else

https://hedgehogreview.com/web-features/thr/posts/read-the-novels-and-forget-everything-else
61•samclemens•2d ago•30 comments

Qwen3.8-Max: A New Bar for Coding and Cowork

https://qwen.ai/blog?id=qwen3.8
11•ai2027•46m ago•0 comments

The Computational Theory of Mind (2015)

https://plato.stanford.edu/entries/computational-mind/
37•cyanregiment•4h ago•13 comments

Show HN: A Handwritten Blogging Platform

https://handwritten.blog/
11•emilesilvis•2d ago•5 comments

How the words we teach English language learners changed

https://pudding.cool/2026/07/essential-words/
193•c-oreills•11h ago•133 comments

Show HN: Mu – Tools for Agents

https://github.com/micro/mu
39•asim•4h ago•11 comments

Show HN: Make your Framework 12 sound like a creaky door

https://github.com/ArcaEge/creakwork12
59•arcaege•6h ago•7 comments

Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark

https://github.com/graham33/nixos-dgx-spark
99•graham33•9h ago•29 comments

TinyNES Review – A Super Niche NES Console

https://blog.lon.tv/2023/02/05/tinynes-review-a-super-niche-nes-console/
36•throwoutway•7h ago•10 comments

Californians' data deletion requests, DROP, become enforceable Aug. 1

https://www.nbcsandiego.com/nbc-7-responds-2/californians-data-deletion-requests-drop-become-enfo...
101•MilnerRoute•4h ago•42 comments

Twenty Years of RISC OS Open

https://www.riscosopen.org/news/articles/2026/06/20/twenty-years-of-risc-os-open
153•AlexeyBrin•14h ago•29 comments

F*: A general-purpose proof-oriented programming language

https://fstar-lang.org/
162•ducktective•14h ago•71 comments

Show HN: Shitty – fast terminal. Memory-unsafe and faster than yours

https://github.com/pg83/shitty
92•pshirshov•3h ago•92 comments

When transit passes were designed by hand (2022)

https://letterformarchive.org/news/milwaukee-transit-passes/
109•nate•2d ago•28 comments

A tool for finding the causes of unstable Python tests

https://github.com/mgaitan/pytest-leak-finder
16•pomponchik•3d ago•0 comments

The Myth of Snow Leopard

https://www.rubenerd.au/the-myth-of-snow-leopard/
48•speckx•8h ago•43 comments

My personal AI benchmark: “Generate an SVG of a frog with a Habsburg jaw”

https://frogs.vaguespac.es/
113•thebigship•7h ago•52 comments

Folding Paper Globes

https://foldingglobes.com/globes
153•dango2506•4d ago•31 comments

'Crush this lady': how eBay harassment campaign led to $56M payout

https://www.ft.com/content/06ec1b03-d4af-40cf-b12a-4ba5a410f6d2
201•JumpCrisscross•7h ago•96 comments