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.

Explore Wikipedia Like a Windows XP Desktop

https://explorer.samismith.com/
126•smusamashah•2h ago•32 comments

Show HN: Find the best local LLM for your hardware, ranked by benchmarks

https://github.com/Andyyyy64/whichllm
64•andyyyy64•2h ago•10 comments

O(x)Caml in Space

https://gazagnaire.org/blog/2026-05-14-borealis.html
7•yminsky•24m ago•0 comments

Removing the modem and GPS from my 2024 RAV4 hybrid

https://arkadiyt.com/2026/05/13/removing-the-modem-and-gps-from-my-rav4/
900•arkadiyt•18h ago•464 comments

UK sovereign LLM inference

https://relax.ai/docs
72•benjamintnorris•1h ago•57 comments

UK government replaces Palantir software with internally-built refugee system

https://www.bbc.com/news/articles/c2l2j1lxdk5o
270•cdrnsf•12h ago•89 comments

Show HN: GlycemicGPT – Open-source AI-powered diabetes management

https://github.com/GlycemicGPT/GlycemicGPT
38•jlengelbrecht•6h ago•20 comments

Building ML framework with Rust and Category Theory

https://hghalebi.github.io/category_theory_transformer_rs/
46•adamnemecek•18h ago•12 comments

A few words on DS4

https://antirez.com/news/165
335•caust1c•12h ago•136 comments

Details of the Daring Airdrop at Tristan Da Cunha

https://www.tristandc.com/government/news-2026-05-11-airdrop.php
163•kspacewalk2•7h ago•46 comments

RTX 5090 and M4 MacBook Air: Can It Game?

https://scottjg.com/posts/2026-05-05-egpu-mac-gaming/
609•allenleee•19h ago•145 comments

Steve Jobs Next Computer: His Forgotten Exile Years

https://spectrum.ieee.org/steve-jobs-next-computer
3•rbanffy•45m ago•0 comments

First public macOS kernel memory corruption exploit on Apple M5

https://blog.calif.io/p/first-public-kernel-memory-corruption
378•quadrige•16h ago•90 comments

Gyroflow: Video stabilization using gyroscope data

https://github.com/gyroflow/gyroflow
100•nateb2022•2d ago•18 comments

New Nginx Exploit

https://github.com/DepthFirstDisclosures/Nginx-Rift
389•hetsaraiya•18h ago•88 comments

Codex is now in the ChatGPT mobile app

https://openai.com/index/work-with-codex-from-anywhere/
347•mikeevans•15h ago•173 comments

Solar-based sleep patterns compared to modern norms

https://dylan.gr/1775146616
77•James72689•7h ago•66 comments

Mullvad exit IPs are surprisingly identifying

https://tmctmt.com/posts/mullvad-exit-ips-as-a-fingerprinting-vector/
410•RGBCube•8h ago•247 comments

Where's Ed: Anthropic Told Court $5B but Public $19B

https://www.flyingpenguin.com/wheres-ed-anthropic-told-court-5-billion-but-public-19-billion/
6•jorisw•3h ago•0 comments

Overseas fakers using AI videos to push a narrative of UK decline, BBC finds

https://www.bbc.co.uk/news/articles/ckgpyn30dp3o
21•dijksterhuis•1h ago•10 comments

Tesla Wall Connector bootloader bypasses the firmware downgrade ratchet

https://www.synacktiv.com/en/publications/exploiting-the-tesla-wall-connector-from-its-charge-por...
104•p_stuart82•14h ago•45 comments

Claude for Legal

https://github.com/anthropics/claude-for-legal
106•Einenlum•14h ago•94 comments

HDD Firmware Hacking

https://icode4.coffee/?p=1465
194•jsploit•19h ago•26 comments

Access to frontier AI will soon be limited by economic and security constraints

https://writing.antonleicht.me/p/cut-off
169•thoughtpeddler•10h ago•162 comments

RISC-V Router

https://router.start9.com/
126•janandonly•15h ago•69 comments

Porting 3D Movie Maker to Linux

https://benstoneonline.com/posts/porting-3d-movie-maker-to-linux/
133•speckx•3d ago•27 comments

What's in a GGUF, besides the weights – and what's still missing?

https://nobodywho.ooo/posts/whats-in-a-gguf/
153•bashbjorn•17h ago•46 comments

New arXiv policy: 1-year ban for hallucinated references

https://twitter.com/tdietterich/status/2055000956144935055
521•gjuggler•14h ago•181 comments

Geography is four-dimensional

https://sive.rs/4d
17•galfarragem•1h ago•6 comments

Infracost (YC W21) Is Hiring Sr Dev Advocate to make agents cloud cost-aware

https://www.ycombinator.com/companies/infracost/jobs/NzwUQ7c-senior-developer-advocate
1•akh•14h ago