frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Right-Truncatable Prime Counter

https://github.com/EbodShojaei/Right-Truncatable-Primes
9•rainmans•4d ago

Comments

throwawaymaths•1d 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•1d ago
i dont think smaller radixes make the problem more interesting. the problem is interesting because base 10 has a large branching factor
throwawaymaths•23h 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•1d ago
There's a Project Euler problem for finding truncatable prime numbers, from both left and right: https://projecteuler.net/problem=37
thechao•1d 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.

Show HN: I rewrote my Mac Electron app in Rust

https://desktopdocs.com/?v=2025
279•katrinarodri•4h ago•206 comments

Compiler Explorer and the promise of URLs that last forever

https://xania.org/202505/compiler-explorer-urls-forever
155•anarazel•4h ago•68 comments

A toy RTOS inside Super Mario Bros. using emulator save states

https://prettygoodblog.com/p/what-threads-are-part-2
13•notorious_pgb•44m ago•3 comments

What does "Undecidable" mean, anyway

https://buttondown.com/hillelwayne/archive/what-does-undecidable-mean-anyway/
27•BerislavLopac•1h ago•12 comments

Compiling a Neural Net to C for a 1,744× speedup

https://slightknack.dev/blog/difflogic/
119•todsacerdoti•3h ago•31 comments

Ice Cream Replaced Booze in the US Navy

https://www.oldsaltblog.com/2025/05/how-ice-cream-replaced-booze-in-the-us-navy-2/
41•speckx•2h ago•33 comments

Visualize and debug Rust programs with a new lens

https://firedbg.sea-ql.org/
60•alex_hirner•3d ago•3 comments

Deepseek R1-0528

https://huggingface.co/deepseek-ai/DeepSeek-R1-0528
165•error404x•3h ago•49 comments

Show HN: Tesseral – Open-Source Auth

https://github.com/tesseral-labs/tesseral
101•ucarion•5h ago•42 comments

LLM Codegen go Brrr – Parallelization with Git Worktrees and Tmux

https://www.skeptrune.com/posts/git-worktrees-agents-and-tmux/
55•skeptrune•5h ago•37 comments

The Blowtorch Theory: A new model for structure formation in the universe

https://theeggandtherock.com/p/the-blowtorch-theory-a-new-model
101•surprisetalk•7h ago•78 comments

Collatz's Ant and Similarity of Landscapes

https://gbragafibra.github.io/2025/05/18/collatz_ant3.html
6•Fibra•3d ago•0 comments

As a developer, my most important tools are a pen and a notebook

https://hamatti.org/posts/as-a-developer-my-most-important-tools-are-a-pen-and-a-notebook/
306•ingve•14h ago•213 comments

GoGoGrandparent (YC S16) is hiring Back end Engineers

1•davidchl•3h ago

Mathematical Fiction

https://kasmana.people.charleston.edu/MATHFICT/default.html
49•the-mitr•3d ago•11 comments

Launch HN: MindFort (YC X25) – AI agents for continuous pentesting

29•bveiseh•4h ago•11 comments

Getting a Cease and Desist from Waffle House

https://www.jack.bio/blog/wafflehouse
191•lafond•5h ago•124 comments

What If We Had Bigger Brains? Imagining Minds Beyond Ours

https://writings.stephenwolfram.com/2025/05/what-if-we-had-bigger-brains-imagining-minds-beyond-ours/
9•nsoonhui•3d ago•0 comments

xAI to pay telegram $300M to integrate Grok into the chat app

https://techcrunch.com/2025/05/28/xai-to-invest-300m-in-telegram-integrate-grok-into-app/
209•freetonik•5h ago•270 comments

The mysterious Gobi wall uncovered

https://phys.org/news/2025-05-secrets-mysterious-gobi-wall-uncovered.html
62•bikenaga•5h ago•14 comments

De-anonymization attacks against the privacy coin XMR

https://monero.forex/is-monero-totally-private-a-comprehensive-analysis-of-de-anonymization-attacks-against-the-privacy-coin/
137•DbigCOX•6h ago•71 comments

Show HN: Loodio 2 – A Simple Rechargable Bathroom Privacy Device

https://loodio.com/
52•testmasterflex•6h ago•54 comments

Building interactive web pages with Guile Hoot

https://spritely.institute/news/building-interactive-web-pages-with-guile-hoot.html
39•e12e•3d ago•5 comments

Show HN: My LLM CLI tool can run tools now, from Python code or plugins

https://simonwillison.net/2025/May/27/llm-tools/
474•simonw•1d ago•154 comments

Square Theory

https://aaronson.org/blog/square-theory
679•aaaronson•1d ago•127 comments

Implementing complex numbers and FFT with just datatypes (2023)

https://gist.github.com/VictorTaelin/5776ede998d0039ad1cc9b12fd96811c
22•surprisetalk•3d ago•2 comments

Show HN: AutoThink – Boosts local LLM performance with adaptive reasoning

374•codelion•18h ago•58 comments

Show HN: Wetlands – a lightweight Python library for managing Conda environments

https://arthursw.github.io/wetlands/0.2.0/
25•arthursw•6h ago•36 comments

A thought on JavaScript "proof of work" anti-scraper systems

https://utcc.utoronto.ca/~cks/space/blog/web/JavaScriptScraperObstacles
147•zdw•2d ago•176 comments

Homo erectus from the seabed, new archaeological discoveries in Indonesia

https://www.universiteitleiden.nl/en/news/2025/05/homo-erectus-from-the-seabed-new-archaeological-discoveries-in-indonesia
32•palmfacehn•2d ago•6 comments