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.

RipGrep musl binaries occasionally segfault during very-large searches

https://github.com/BurntSushi/ripgrep/issues/3494
77•throwaway2037•1h ago•29 comments

Elevators

https://john.fun/elevators
1427•Jrh0203•22h ago•346 comments

Manual: •.,:;?·

https://type.today/en/journal/dots
48•behnamoh•2d ago•4 comments

Flint: A Visualization Language for the AI Era

https://microsoft.github.io/flint-chart/
170•vinhnx•11h ago•57 comments

Solid Queue 1.6.0 now supports fiber workers

https://github.com/rails/solid_queue/releases/tag/v1.6.0
43•earcar•6h ago•9 comments

qm – Multiplayer agent harness for work

https://github.com/yc-software/qm
602•tosh•20h ago•130 comments

A tiny holdout building in the middle of Macy’s is back in view

https://ephemeralnewyork.wordpress.com/2026/07/27/hidden-by-billboards-for-over-100-years-the-tin...
91•donohoe•3d ago•19 comments

Kontigo (YC S24) Is Hiring

https://www.ycombinator.com/companies/kontigo/jobs/xAo6tMt-founding-engineer
1•jecastillof•2h ago

How to Exist

https://www.raptitude.com/2026/07/how-to-exist/
274•walterbell•13h ago•158 comments

The development pipeline is a production system

https://sundry.jerryorr.com/2026/07/31/development-pipeline-is-a-production-system
115•firefoxd•10h ago•52 comments

RamenHaus

https://ramen.haus/
133•oler•5h ago•74 comments

G'mic 4.0: Squaring the Pixel, Easier

https://gmic.eu/gmic40/
48•dtschump•3d ago•2 comments

How to Do Great Work (2023)

https://paulgraham.com/greatwork.html
62•tosh•5h ago•40 comments

Astro Loop

https://pubdeer.com/
4•BaseBaal•1h ago•0 comments

Software for One

https://www.ajwaxman.com/writing/software-for-one
156•awaxman11•3d ago•152 comments

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

https://github.com/sqliteai/waste
281•marcobambini•23h ago•126 comments

The First Idempotency Key

https://hatchet.run/blog/first-idempotency-key
12•abelanger•4d ago•2 comments

The Absurdity of Albert Camus

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

Ten advances in mathematics and theoretical computer science

https://openai.com/index/ten-advances-in-mathematics/
214•milkshakes•6h ago•156 comments

Attention Decode on AMD MI450 GPUs: A Gluon Kernel Optimization Guide

https://rocm.blogs.amd.com/software-tools-optimization/gluon-attention-decode-mi450/README.html
52•matt_d•4d ago•5 comments

Progressive Web Components

https://arielsalminen.com/2026/progressive-web-components/
169•hosteur•1d ago•39 comments

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

https://servo.org/blog/2026/07/31/june-in-servo/
171•iamnothere•19h ago•51 comments

Getting 25 Gbps Thunderbolt Ethernet on My Mac Studio

https://www.jeffgeerling.com/blog/2026/getting-25g-ethernet-mac-thunderbolt/
203•speckx•21h ago•103 comments

Big Food vs. the People

https://www.lighthousereports.com/investigation/big-food-vs-the-people/
246•jruohonen•22h ago•152 comments

Increasing the lifespan of a bulb makes it worse in every other way

https://maurycyz.com/misc/tungsten/
126•tonyg•1d ago•130 comments

Ten Ways NAS Is Getting Enshitified

https://nascompares.com/2026/07/31/the-10-ways-nas-is-getting-enshitified/
141•giuliomagnifico•8h ago•130 comments

Long Range Wi-Fi – Pushing 2.4 GHz Wi-Fi to the limits (2019)

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

The most official water costs $120k a gallon

https://signoregalilei.com/2026/07/26/the-most-official-water-costs-120000-a-gallon/
210•surprisetalk•23h ago•160 comments

Golang proposal: container/: generic collection types

https://github.com/golang/go/issues/80590
168•jabits•19h ago•144 comments

Morten Linderud resigning from Arch Linux development team

https://lists.archlinux.org/archives/list/arch-dev-public@lists.archlinux.org/thread/2AX2BCJ3EQX7...
18•datakan•2h ago•3 comments