frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Docker is weird

https://codeandcake.dev/posts/2026-10-22-docker-is-weird
212•psxuaw•4h ago•110 comments

LLMs are making formal software verification feasible at a much larger scale

https://www.anthropic.com/research/formal-verification
189•johnbender•5h ago•100 comments

Quad9 (DNS Resolver) to Exit France

https://quad9.net/news/blog/au-revoir-france/
1047•farrokhi•13h ago•376 comments

The Secret Life of Circuits is now in stock everywhere

https://blog.coredump.cx/p/the-secret-life-of-circuits-is-now
43•surprisetalk•2d ago•13 comments

Mortality Among People with Attention-Deficit/Hyperactivity Disorder

https://jamanetwork.com/journals/jamanetworkopen/fullarticle/2855472
34•gumby•2d ago•10 comments

OpenShell – A safe, private runtime for fleets of autonomous AI agents

https://github.com/NVIDIA/OpenShell
328•niemandhier•10h ago•168 comments

Woman faces six years in prison over Cash App account she never opened

https://www.techspot.com/news/114296-woman-spends-three-nights-jail-faces-six-years.html
562•oidar•14h ago•580 comments

Every AI model has the same "controversial" take on humans

https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans
286•rakannimer•11h ago•335 comments

Getting ready to operate GNU Taler in Germany

https://www.taler.net/en/news/2026-13.html
240•dewey•11h ago•91 comments

Run full iOS 16.5 firmware on Android Devices

https://github.com/oosexgang/hackios-xnu-kernel
350•aghuang•12h ago•131 comments

AI compute is the new oil–and needs a new market

https://www.economist.com/finance-and-economics/2026/10/22/ai-compute-is-the-new-oil-and-needs-a-...
31•ijidak•4h ago•20 comments

Jank – The native Clojure dialect with seamless C++ interop

https://jank-lang.org/
29•giancarlostoro•4h ago•1 comments

What Is Gridifcation

https://musicalform.substack.com/p/what-is-gridifcation
422•gumby•3d ago•205 comments

Hedra is a 3D open world game I wrote from scratch while in highschool

https://github.com/maxilevi/project-hedra/tree/pre-ai
157•maxilevi•9h ago•31 comments

Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It

https://idiallo.com/blog/asus-laptop-keeps-rebooting-after-sleep
9•surprisetalk•2d ago•2 comments

Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.

423•petecooper•17h ago•181 comments

Xbox wants you to pay 24 to 40 cents per hour to stream games you bought

https://arstechnica.com/gaming/2026/10/xbox-wants-you-to-pay-24-to-40-cents-per-hour-to-stream-ga...
242•entryleveljobsc•16h ago•215 comments

eMudhra to exit global SSL/TLS certificate business

https://emudhra.com/en/press-release/emudhra-to-exit-global-ssl-tls-certificate-business
975•bo0tzz•14h ago•650 comments

Railpass

https://train.samismith.com/
66•CharlesW•6h ago•19 comments

Mapping the Northern Sky

https://www.maps.com/star-map-charts-stars-and-constellations-of-northern-hemisphere/
20•tmseidman•4h ago•9 comments

The foolishness of "natural language programming" (1978)

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
62•xiaoyu2006•3h ago•54 comments

AI and the Enclosure of the Scientific Commons

https://arxiv.org/abs/2610.27251
121•jrepinc•9h ago•72 comments

How to Design Flowers

https://www.asimov.press/p/flowers
23•surprisetalk•2d ago•2 comments

Dungeon Generation in the Gnomish Mines of NetHack

https://www.boristhebrave.com/2026/10/18/dungeon-generation-in-the-gnomish-mines-of-nethack/
132•ibobev•3d ago•16 comments

Show HN: Uberblok – an interactive museum of ZFS internals

https://uberblok.storagebits.workers.dev/
94•storagebits•1d ago•23 comments

Speeding up code review with `small-change`

https://lethain.com/small-changes/
31•alexmolas•3d ago•16 comments

Faster than earcut: triangulating 3.7M map polygons in 489 ms

https://globus.software/blog/2026/10/16/cutting-map-polygons/
210•molind•18h ago•39 comments

Jailbreaking the Switch 2

https://pepsipu.com/blog/2026-10-switch2-jailbreak-ns2jb/
748•ledoge•19h ago•262 comments

A farewell to Arc browser

https://arc.net/
247•suhdonghwi•11h ago•217 comments

Startup taps underwater volcano as energy source in “proof point” test

https://arstechnica.com/science/2026/10/startup-taps-underwater-volcano-as-energy-source-in-proof...
129•wffurr•3d ago•55 comments
Open in hackernews

Right-Truncatable Prime Counter

https://github.com/EbodShojaei/Right-Truncatable-Primes
9•rainmans•1y ago

Comments

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