frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Are we offloading too much of our thinking to AI?

https://www.artfish.ai/p/offloading-thinking-to-ai
49•yenniejun111•38m ago•33 comments

Show HN: Opening lines of famous literary works

https://www.verbaprima.com/
21•plicerin•31m ago•6 comments

Agnes Callard’s theory of the uni-context

https://www.derekthompson.org/p/a-philosophers-one-word-theory-to
53•FinnLobsien•1h ago•38 comments

Your 'app' could have been a webpage (so I fixed it for you)

https://danq.me/2026/07/09/your-app-could-have-been-a-webpage/
242•MrVandemar•3d ago•211 comments

Beautiful Type Erasure with C++26 Reflection

https://ryanjk5.github.io/posts/rjk-duck/
63•RyanJK5•3h ago•26 comments

Show HN: Juggler – an open-source GUI coding agent, by the creator of JUCE

https://github.com/juggler-ai/juggler
51•julesrms•1d ago•23 comments

New York becomes the first state to impose a data center moratorium

https://www.reuters.com/world/new-york-becomes-first-state-impose-data-center-moratorium-2026-07-14/
87•granfalloon•1h ago•55 comments

Paxos Made Simple (2001)[pdf]

https://lamport.azurewebsites.net/pubs/paxos-simple.pdf
19•grep_it•4d ago•2 comments

How to stop Claude from saying load-bearing

https://jola.dev/posts/how-to-stop-claude-from-saying-load-bearing
72•shintoist•4h ago•127 comments

Show HN: I RL-trained an agent that trains models with RL (for –$1.3k)

https://github.com/Danau5tin/ai-trains-ai
49•Danau5tin•3h ago•19 comments

How the FSF sysadmins block botnets with reaction

https://www.fsf.org/blogs/community/blocking-botnets-with-reaction
86•pseudolus•2d ago•11 comments

European "age verification" "app" forcing everyone to use Android or iOS

https://github.com/eu-digital-identity-wallet/av-doc-technical-specification/discussions/19
171•roundabout-host•7h ago•123 comments

Punch yourself in the face with reality

https://adi.bio/reality
96•AdityaAnand1•4h ago•49 comments

Differentiable Fortran with LFortran and Enzyme

https://docs.pasteurlabs.ai/projects/tesseract-core/latest/blog/2026-07-09-enzyme-lfortran-autodi...
31•dionhaefner•3h ago•8 comments

Alternative(s) to run CUDA on non-Nvidia hardware

https://www.hpcwire.com/2026/07/09/spectral-compute-aims-to-set-cuda-free-will-it-succeed/
100•alok-g•7h ago•48 comments

A tiny cell that broke a big rule of biology

https://grist.org/science/nitrogen-cycle-cell-discovery-nitroplast-science-fertilizer-algae-bacte...
12•gumby•5d ago•1 comments

Demis Hassabis has a plan to harness AI safely

https://twitter.com/demishassabis/status/2076957440109625718
69•asiergoni•6h ago•69 comments

Australian energy retailers must provide three hours of free daytime electricity

https://lenergy.com.au/free-daytime-electricity-is-coming-heres-how-it-actually-works/
197•i2oc•11h ago•296 comments

Germany set to restrict its Freedom of Information Act

https://www.dw.com/en/germany-freedom-of-information-act/a-77939695
184•robtherobber•4h ago•116 comments

Our Amish Language

https://www.thedial.world/articles/news/amish-pennsylvania-dutch
68•NaOH•13h ago•54 comments

Tensor Is the Might

https://zserge.com/posts/tensor/
30•eatonphil•3h ago•14 comments

Coding agents think ahead of time

https://arxiv.org/abs/2607.05188
68•andre15silva•3h ago•54 comments

Codex starts encrypting sub-agent prompts

https://github.com/openai/codex/issues/28058
358•embedding-shape•4h ago•217 comments

A metallurgist's doubts about self-replicating probes

https://www.centauri-dreams.org/2026/07/10/a-metallurgists-doubts-about-self-replicating-probes/
91•EA-3167•1d ago•11 comments

No Spanish reading crisis?

https://www.commonreader.co.uk/p/no-spanish-reading-crisis
43•jruohonen•4h ago•70 comments

Indian scientists produce most detailed 3D atlas of the human brainstem

https://www.bbc.com/news/articles/cg53l737v1qo
142•BaudouinVH•9h ago•17 comments

Actegories

https://bartoszmilewski.com/2026/06/30/actegories/
35•ibobev•4h ago•6 comments

Proof of care in the age of AI

https://jacobfilipp.com/care/
132•jfil•3h ago•85 comments

What did SFFA vs. Harvard reveal about admissions?

https://sorting-machine.pages.dev/
41•StrageMusik•15h ago•70 comments

Satellite Tracker – Live Map of Starlink and 30k Satellites

https://satellitemap.space/
136•rolph•14h ago•69 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.