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.

Actively exploited sandbox RCE in all Chromium versions

https://nvd.nist.gov/vuln/detail/cve-2026-85046
381•negura•7h ago•213 comments

Formalizing Fermat's Last Theorem

https://www.anthropic.com/research/formalizing-fermats-last-theorem
561•jlebar•10h ago•347 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/
1584•moultano•17h ago•1250 comments

Statichost.eu – European static site hosting

https://www.statichost.eu/
208•p4bl0•8h ago•68 comments

GPT-6 Astra on OpenRouter

https://openrouter.ai/openai/gpt-6-astra
171•Topfi•7h ago•86 comments

Can AI design circuit boards yet?

https://eebench.org/blog/can-ai-design-circuit-boards-yet/
213•iopapa•9h ago•131 comments

Artificial Analysis Intelligence Index v4.2

https://artificialanalysis.ai/articles/artificial-analysis-intelligence-index-v4-2
90•nojs•5h ago•26 comments

Nitter has more working instances than before the takedowns

https://codeberg.org/mv12star/shitter/wiki/Instances
72•Cider9986•5h ago•18 comments

Git Submodules as a Package Manager

https://nesbitt.io/2026/09/01/git-submodules-as-a-package-manager.html
28•ErenayDev•3d ago•3 comments

Shutting down our public encrypted DNS

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-i...
301•mywacaday•10h ago•134 comments

Can guitar frets perform multiplication?

https://www.charlespetzold.com/blog/2026/09/Can-Guitar-Frets-Perform-Multiplication.html
53•wibbily•6h ago•15 comments

Portal by Spotify cut my Claude Code token usage by 90%

https://engineering.atspotify.com/2026/9/portal-by-spotify-cut-my-claude-code-token-usage-by-90
73•cebert•5h ago•37 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com
263•stingrae•12h ago•93 comments

RSA-260 Factorized

https://twitter.com/penlume/status/2095372672356212876
96•samyok•1d ago•43 comments

The Highest Point in the Netherlands

https://ipv6.hanazo.no/posts/anniversary-personal/
10•haasted•2d ago•4 comments

Ask HN: Resources to get good at soldering?

95•tosmatos•2d ago•61 comments

GPT-6 Astra in code review: Gains, privacy, and cost

https://www.coderabbit.ai/blog/gpt-6-astra-code-review-evaluation
4•cebert•1h ago•1 comments

Fermat's Last Theorem in Lean 4

https://github.com/anthropics/fermats-last-theorem
82•aaraujo002•10h ago•17 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/
77•mooreds•9h ago•19 comments

IBM Bob

https://bob.ibm.com/
248•artpar•16h ago•279 comments

The Rust React Compiler is now native in Vite

https://blog.master.dev/react-now-rusted-all-the-way-out/
127•acusti•11h ago•25 comments

Government Rails Site Hit Hours After CVE Patch

https://rietta.com/blog/ruby-on-rails-cve-exploited-hours-after-patch/
83•rietta•10h ago•25 comments

Decompiler Explorer

https://dogbolt.org
58•tripdout•3d ago•1 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

https://github.com/gioblu/NPC-Forge/blob/main/docs/development.md
107•gioscarab•20h ago•30 comments

Record-High 89% in U.S. Say Government Corruption Widespread

https://news.gallup.com/poll/713933/record-high-say-government-corruption-widespread.aspx
305•karakoram•7h ago•237 comments

Icons as a Service

https://nravic.com/blog/images/
34•nravic•7h ago•2 comments

ExactTex. A gradually-typed superset of LaTeX

https://github.com/camilochs/exacttex
24•camilochs•3d ago•9 comments

Connecting every app to every other app

https://blog.val.town/connectors
24•Chidiebere229•6h ago•2 comments

deSEC – Free Secure DNS

https://desec.io/
122•gurjeet•13h ago•42 comments

Bugs happen: The easy way to compare solo PQ to ECC+PQ

https://blog.cr.yp.to/20260704-bugs.html
15•zdw•3d ago•6 comments