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.

John Deere owners will get the right to repair equipment under FTC settlement

https://apnews.com/article/john-deere-right-to-repair-agriculture-equipment-cb7514ffedb95c130a976...
840•djoldman•10h ago•157 comments

Spider venom kills varroa mites without harming honeybees

https://connectsci.au/news/news-parent/9703/Spider-venom-kills-varroa-mites-without-harming
122•Jedd•4h ago•51 comments

Why developers are ditching GitHub for Codeberg and self-hosting alternatives

https://www.howtogeek.com/why-developers-are-ditching-github-for-codeberg-and-self-hosting-altern...
87•Gedxx•1h ago•53 comments

Meta reuses old RAM in new servers with custom bridge chip

https://www.networkworld.com/article/4192827/meta-reuses-old-ram-in-new-servers-with-custom-bridg...
24•ihsw•5d ago•3 comments

Cargo-nextest: 3x faster than cargo test, per-test isolation, first-class CI

https://nexte.st/
99•nateb2022•3d ago•28 comments

I Built the Only 2026 WWII Jeep

https://www.theautopian.com/i-bet-my-company-on-an-impossible-jeep-build-then-a-miracle-happened/
43•martey•2d ago•10 comments

Cloudflare Drop

https://www.cloudflare.com/drop/
436•coloneltcb•14h ago•230 comments

Benchmarking coding agents on Databricks' multi-million line codebase

https://www.databricks.com/blog/benchmarking-coding-agents-databricks-multi-million-line-codebase
88•tanelpoder•12h ago•33 comments

How Donkey Kong Toppled Atari

https://dfarq.homeip.net/how-donkey-kong-toppled-atari/
20•giuliomagnifico•4h ago•4 comments

Separating signal from noise in coding evaluations

https://openai.com/index/separating-signal-from-noise-coding-evaluations/
217•sk4rekr0w•13h ago•76 comments

Show HN: Yamanote.fun – A complete soundscape for Tokyo's Yamanote line

https://www.yamanote.fun/
175•madebymagnolia•1d ago•35 comments

CollectWise (YC F24) Is Hiring

https://www.ycombinator.com/companies/collectwise/jobs/P646Yw6-founding-account-executive
1•OBrien_1107•3h ago

Rewriting Bun in Rust

https://bun.com/blog/bun-in-rust
597•afturner•12h ago•334 comments

Unicode's transliteration rules are Turing-complete

https://seriot.ch/computation/uts35/
105•beefburger•1d ago•28 comments

Grok 4.5

https://x.ai/news/grok-4-5
635•BoumTAC•16h ago•958 comments

Show HN: Microsoft releases Flint, a visualization language for AI agents

https://microsoft.github.io/flint-chart/#/
284•chenglong-hn•16h ago•110 comments

In-browser programmable robot simulator

https://bittlex-sim.petoi.com/
11•lijay•5d ago•0 comments

Remote Attestation

https://www.liamcvw.com/p/remote-attestation
98•lcvw•9h ago•82 comments

Turning a pile of documents into a searchable useable knowledge base

https://github.com/linuxrebel/DocuBrowser
141•linuxrebe1•13h ago•31 comments

3D Airplane tracker on Mercator map

https://github.com/jamalrfordii-arch/Vanguard-Map
18•Lawyer24•4d ago•3 comments

Patching MechCommander's "left arm bug" for fun and profit

https://mhloppy.com/2026/05/mechcommander-weapons-left-arm-bug-fix/
70•Narann•3d ago•19 comments

Apache Shiro security framework releases 3.0.0

https://shiro.apache.org/blog/2026/06/apache-shiro-300-released.html
33•lprimak•2d ago•4 comments

Chatto is now open source

https://www.hmans.dev/blog/chatto-is-open-source
970•speckx•18h ago•268 comments

Postgres rewritten in Rust, now passing 100% of the Postgres regression tests

https://github.com/malisper/pgrust
136•SweetSoftPillow•3h ago•172 comments

Decoding the obfuscated bash script on a Uniqlo t-shirt

https://tris.sherliker.net/blog/obfuscated-self-evaluating-bash-script-by-cdn-akamai-being-suppli...
1378•speerer•1d ago•216 comments

TypeScript 7

https://devblogs.microsoft.com/typescript/announcing-typescript-7-0/
624•DanRosenwasser•17h ago•244 comments

GPT‑Live

https://openai.com/index/introducing-gpt-live/
706•logickkk1•17h ago•464 comments

New Sweden: the US's long-lost 'secret' colony

https://www.bbc.com/travel/article/20260629-new-sweden-the-uss-long-lost-secret-colony
114•bookofjoe•14h ago•43 comments

MIRA: Multiplayer Interactive World Models Trained on Rocket League

https://mira-wm.com/
79•ethanlipson•9h ago•14 comments

FAANG Simulator

https://www.abeyk.com/escape-the-rat-race/
420•nerdbiscuits•13h ago•160 comments