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.

Ghostty is leaving GitHub

https://mitchellh.com/writing/ghostty-leaving-github
2629•WadeGrimridge•14h ago•770 comments

Soft launch of open-source code platform for government

https://www.nldigitalgovernment.nl/news/soft-launch-for-government-open-source-code-platform/
34•e12e•1h ago•11 comments

Show HN: Rip.so – a graveyard for dead internet things

https://rip.so
19•bozdemir•54m ago•11 comments

Bugs Rust won't catch

https://corrode.dev/blog/bugs-rust-wont-catch/
302•lwhsiao•7h ago•129 comments

HardenedBSD Is Now Officially on Radicle

https://hardenedbsd.org/article/shawn-webb/2026-04-26/hardenedbsd-officially-radicle
68•lftherios•3h ago•10 comments

Tell HN: An update from the new Tindie team

34•altairprime•1h ago•15 comments

How ChatGPT serves ads

https://www.buchodi.com/how-chatgpt-serves-ads-heres-the-full-attribution-loop/
346•lmbbuchodi•10h ago•235 comments

Before GitHub

https://lucumr.pocoo.org/2026/4/28/before-github/
475•mlex•12h ago•149 comments

Show HN: Rocky – Rust SQL engine with branches, replay, column lineage

https://github.com/rocky-data/rocky
58•hugocorreia90•19h ago•4 comments

Show HN: Auto-Architecture: Karpathy's Loop, pointed at a CPU

https://github.com/FeSens/auto-arch-tournament/blob/main/docs/auto-arch-tournament-blog-post.md
158•fesens•17h ago•32 comments

Withnail's Coat and I

https://ontherow.substack.com/p/withnails-coat-and-i
79•apollinaire•1d ago•4 comments

Low-Compilation-Cost Register Allocation in LLVM-Based Binary Translation

https://dl.acm.org/doi/abs/10.1145/3767295.3803591
30•matt_d•3h ago•0 comments

OpenAI models coming to Amazon Bedrock: Interview with OpenAI and AWS CEOs

https://stratechery.com/2026/an-interview-with-openai-ceo-sam-altman-and-aws-ceo-matt-garman-abou...
274•translocator•14h ago•89 comments

Why Law Is Law-Shaped

https://lawvm.org/why-law-is-law-shaped/
13•ekns•1h ago•0 comments

I won a championship that doesn't exist

https://ron.stoner.com/How_I_Won_a_Championship_That_Doesnt_Exist/
176•SEJeff•13h ago•89 comments

GitHub RCE Vulnerability: CVE-2026-3854 Breakdown

https://www.wiz.io/blog/github-rce-vulnerability-cve-2026-3854
363•bo0tzz•18h ago•76 comments

We still don't have a more precise value for "Big G"

https://arstechnica.com/science/2026/04/we-still-dont-have-a-more-precise-value-for-big-g/
69•rbanffy•1d ago•43 comments

Gallium oxide electronics withstand extreme cold

https://discovery.kaust.edu.sa/en/article/26858/gallium-oxide-electronics-withstand-extreme-cold/
46•giuliomagnifico•1d ago•1 comments

Who owns the code Claude Code wrote?

https://legallayer.substack.com/p/who-owns-the-claude-code-wrote
410•senaevren•22h ago•382 comments

Behavioral timescale synaptic plasticity rewires the brain after an experience

https://www.quantamagazine.org/a-new-type-of-neuroplasticity-rewires-the-brain-after-a-single-exp...
120•ibobev•1d ago•4 comments

Intel Arc Pro B70 Review

https://www.pugetsystems.com/labs/articles/intel-arc-pro-b70-review/
169•zdw•5d ago•102 comments

Talkie: a 13B vintage language model from 1930

https://talkie-lm.com/introducing-talkie
710•jekude•1d ago•282 comments

Your phone is about to stop being yours

https://keepandroidopen.org/en/
1386•doener•18h ago•629 comments

Regression: malware reminder on every read still causes subagent refusals

https://github.com/anthropics/claude-code/issues/49363
218•thomashobohm•10h ago•111 comments

Warp is now open-source

https://www.warp.dev/blog/warp-is-now-open-source
276•meetpateltech•18h ago•75 comments

Apple CMF (Color-Matching Functions) 2026

https://www.lttlabs.com/articles/2026/04/11/apple-studio-display-xdr-display-testing-results
68•HeyMeco•10h ago•2 comments

Show HN: Drive any macOS app in the background without stealing the cursor

https://github.com/trycua/cua
134•frabonacci•18h ago•32 comments

Localsend: An open-source cross-platform alternative to AirDrop

https://github.com/localsend/localsend
851•bilsbie•22h ago•251 comments

When the Internet Was a Place

https://www.frontporchrepublic.com/2025/09/when-the-internet-was-a-place/
58•herbertl•8h ago•17 comments

UAE to leave OPEC

https://www.ft.com/content/8c354f2d-3e66-47f1-aad4-9b4aa30e386d
432•bazzmt•21h ago•561 comments