frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Right-Truncatable Prime Counter

https://github.com/EbodShojaei/Right-Truncatable-Primes
9•rainmans•11mo ago

Comments

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

"Why not just use Lean?"

https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html
46•ibobev•59m ago•4 comments

Show HN: OSS Agent I built topped the TerminalBench on Gemini-3-flash-preview

https://github.com/dirac-run/dirac
128•GodelNumbering•2h ago•44 comments

Pgbackrest is no longer being maintained

https://github.com/pgbackrest/pgbackrest
277•c0l0•4h ago•132 comments

4TB of voice samples just stolen from 40k AI contractors at Mercor

https://app.oravys.com/blog/mercor-breach-2026
150•Oravys•5h ago•61 comments

Tendril – a self-extending agent that builds and registers its own tools

https://github.com/serverless-dna/tendril
20•walmsles•1h ago•4 comments

Fully Featured Audio DSP Firmware for the Raspberry Pi Pico

https://github.com/WeebLabs/DSPi
164•BoingBoomTschak•2d ago•33 comments

Men Who Stare at Walls

https://www.alexselimov.com/posts/men_who_stare_at_walls/
142•aselimov3•4h ago•72 comments

Running Local LLMs Offline on a Ten-Hour Flight

https://deploy.live/blog/running-local-llms-offline-on-a-ten-hour-flight/
34•darccio•2h ago•19 comments

FDA Approves First-Ever Gene Therapy for Treatment of Genetic Hearing Loss

https://www.fda.gov/news-events/press-announcements/fda-approves-first-ever-gene-therapy-treatmen...
80•JeanKage•5h ago•28 comments

Flipdiscs

https://flipdisc.io
429•skogstokig•4d ago•70 comments

I bought Friendster for $30k – Here's what I'm doing with it

https://ca98am79.medium.com/i-bought-friendster-for-30k-heres-what-i-m-doing-with-it-d5e8ddb3991d
975•ca98am79•18h ago•502 comments

Microsoft to Stop Sharing Revenue with Main AI Partner OpenAI

https://www.bloomberg.com/news/articles/2026-04-27/microsoft-to-stop-sharing-revenue-with-main-ai...
98•helsinkiandrew•2h ago•28 comments

Understanding the short circuit in solid-state batteries

https://www.mpie.de/5151287/short-circuit-solid-state-batteries
15•hhs•1d ago•2 comments

Quarkdown – Markdown with Superpowers

https://quarkdown.com/
96•amai•6h ago•15 comments

AI should elevate your thinking, not replace it

https://www.koshyjohn.com/blog/ai-should-elevate-your-thinking-not-replace-it/
703•koshyjohn•19h ago•501 comments

Show HN: A terminal spreadsheet editor with Vim keybindings

https://github.com/garritfra/cell
40•garritfra•3h ago•18 comments

Getting my daily news from a dot matrix printer 2024

https://aschmelyun.com/blog/getting-my-daily-news-from-a-dot-matrix-printer/
49•xupybd•2d ago•7 comments

Managing the Unmanaged Switch

https://watchmysys.com/blog/2026/03/managing-the-unmanaged-switch/
8•luu•2d ago•2 comments

TurboQuant: A first-principles walkthrough

https://arkaung.github.io/interactive-turboquant/
238•kweezar•13h ago•54 comments

Self-updating screenshots

https://interblah.net/self-updating-screenshots
392•bjhess•1d ago•65 comments

The Prompt API

https://developer.chrome.com/docs/ai/prompt-api
212•gslin•13h ago•115 comments

Branimir Lambov from IBM on Cassandra

https://theconsensus.dev/p/2026/04/26/branimir-lambov-from-ibm-on-cassandra.html
38•eatonphil•1d ago•4 comments

It's OK to abandon your side-project (2024)

https://robbowen.digital/wrote-about/abandoned-side-projects/
148•hisamafahri•7h ago•72 comments

Fast16: High-precision software sabotage 5 years before Stuxnet

https://www.sentinelone.com/labs/fast16-mystery-shadowbrokers-reference-reveals-high-precision-so...
303•dd23•19h ago•75 comments

Electrostatics and High Voltage Links

http://amasci.com/static/electrostatic1.html
28•ludicrousdispla•3d ago•3 comments

Three constraints before I build anything

https://jordanlord.co.uk/blog/3-constraints/
295•nervous_north•1d ago•45 comments

A Guide to CubeSat Mission and Bus Design

https://pressbooks-dev.oer.hawaii.edu/epet302/
63•o4c•1d ago•4 comments

Box to save memory in Rust

https://dystroy.org/blog/box-to-save-memory/
162•emschwartz•3d ago•48 comments

Sawe becomes first athlete to run a sub-two-hour marathon in a competitive race

https://www.bbc.com/sport/athletics/articles/crm1m7e0zwzo
460•berkeleyjunk•18h ago•301 comments

FreeBSD Device Drivers Book

https://github.com/ebrandi/FDD-book
115•myth_drannon•16h ago•27 comments