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

ChatGPT Images 2.0

https://openai.com/index/introducing-chatgpt-images-2-0/
523•wahnfrieden•8h ago•461 comments

SpaceX says it has agreement to acquire Cursor for $60B

https://twitter.com/spacex/status/2046713419978453374
339•dmarcos•5h ago•466 comments

The Vercel breach: OAuth attack exposes risk in platform environment variables

https://www.trendmicro.com/en_us/research/26/d/vercel-breach-oauth-supply-chain.html
278•queenelvis•10h ago•104 comments

San Diego rents declined more than 19 of 20 top US markets after surge in supply

https://www.kpbs.org/news/economy/2026/03/27/san-diego-rents-declined-more-than-19-of-nations-top...
108•littlexsparkee•1h ago•67 comments

CrabTrap: An LLM-as-a-judge HTTP proxy to secure agents in production

https://www.brex.com/crabtrap
90•pedrofranceschi•11h ago•25 comments

Laws of Software Engineering

https://lawsofsoftwareengineering.com
861•milanm081•16h ago•430 comments

Windows Server 2025 Runs Better on ARM

https://jasoneckert.github.io/myblog/server-2025-arm64/
70•jasoneckert•2d ago•55 comments

Britannica11.org – a structured edition of the 1911 Encyclopædia Britannica

https://britannica11.org/
238•ahaspel•9h ago•91 comments

Stephen's Sausage Roll remains one of the most influential puzzle games

https://thinkygames.com/features/10-years-of-grilling-stephens-sausage-roll-remains-one-of-the-mo...
145•tobr•3d ago•71 comments

The Mystery in the Medicine Cabinet: Acetaminophen, ibuprofen, and what to know

https://asteriskmag.com/issues/14/the-mystery-in-the-medicine-cabinet
44•nkurz•1d ago•6 comments

Drunk Post: Things I've Learned as a Senior Engineer

https://luminousmen.substack.com/p/drunk-post-things-ive-learned-as
37•zdw•3h ago•10 comments

Framework Laptop 13 Pro

https://frame.work/laptop13pro
994•Trollmann•9h ago•535 comments

Cal.diy: open-source community edition of cal.com

https://github.com/calcom/cal.diy
163•petecooper•9h ago•41 comments

Meta to start capturing employee mouse movements, keystrokes for AI training

https://www.reuters.com/sustainability/boards-policy-regulation/meta-start-capturing-employee-mou...
370•dlx•9h ago•314 comments

Changes to GitHub Copilot individual plans

https://github.blog/news-insights/company-news/changes-to-github-copilot-individual-plans/
350•zorrn•1d ago•121 comments

Edit store price tags using Flipper Zero

https://github.com/i12bp8/TagTinker
294•trueduke•2d ago•286 comments

FBI looks into dead or missing scientists tied to NASA, Blue Origin, SpaceX

https://fortune.com/2026/04/21/scientists-disappear-die-nasa-space-blue-origin-spacex/
17•ineedasername•30m ago•1 comments

Global growth in solar "the largest ever observed for any source"

https://arstechnica.com/science/2026/04/global-growth-in-solar-the-largest-ever-observed-for-any-...
28•tambourine_man•1h ago•3 comments

I'm Sick of AI Everything

138•jonthepirate•2h ago•62 comments

Optimizing Tail Sampling in OpenTelemetry with Retroactive Sampling

https://victoriametrics.com/blog/kubecon-eu-2026-sampling/index.html
5•valyala•3d ago•0 comments

Running a Minecraft Server and More on a 1960s Univac Computer

https://farlow.dev/2026/04/17/running-a-minecraft-server-and-more-on-a-1960s-univac-computer
203•brilee•3d ago•33 comments

Theseus, a Static Windows Emulator

https://neugierig.org/software/blog/2026/04/theseus.html
84•zdw•1d ago•11 comments

Fields Medal Video: Maryna Viazovska (2022)

https://www.simonsfoundation.org/2022/07/05/fields-medal-video-maryna-viazovska/
21•ganitam•1d ago•7 comments

Zindex – Diagram Infrastructure for Agents

https://zindex.ai/
39•_ben_•6h ago•15 comments

Show HN: GoModel – an open-source AI gateway in Go

https://github.com/ENTERPILOT/GOModel/
167•santiago-pl•13h ago•61 comments

Show HN: VidStudio, a browser based video editor that doesn't upload your files

https://vidstudio.app/video-editor
252•kolx•15h ago•80 comments

Trellis AI (YC W24) Is hiring engineers to build self-improving agents

https://www.ycombinator.com/companies/trellis-ai/jobs/SvzJaTH-member-of-technical-staff-product-e...
1•macklinkachorn•10h ago

My practitioner view of program analysis

https://sawyer.dev/posts/practitioner-program-analysis/
39•evakhoury•1d ago•4 comments

Show HN: Backlit Keyboard API for Python

https://github.com/itsmeadarsh2008/backlit-kbd
22•itsmeadarsh•2d ago•3 comments

In the UK, EVs are cheaper than petrol cars, thanks to Chinese competition

https://electrek.co/2026/04/18/in-the-uk-evs-are-cheaper-than-petrol-cars-thanks-to-chinese-compe...
156•breve•2d ago•139 comments