frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Claude Sonnet 5

https://www.anthropic.com/news/claude-sonnet-5
930•marinesebastian•9h ago•522 comments

Claude Code is steganographically marking requests

https://thereallo.dev/blog/claude-code-prompt-steganography
1495•kirushik•11h ago•432 comments

Google copybara: moving code between repositories

https://github.com/google/copybara
83•reconnecting•3h ago•13 comments

Department of Commerce has lifted export controls on Claude Fable 5 and Mythos 5

https://twitter.com/AnthropicAI/status/2072106151890809341
350•Pragmata•3h ago•151 comments

From Julia to Rust: a differentiable tensor stack for scientific computing

https://tensor4all.org/blog/introducing-tenferro-rs/
24•postflopclarity•13h ago•1 comments

Forestiere Underground Gardens

https://en.wikipedia.org/wiki/Forestiere_Underground_Gardens
23•onemoresoop•2h ago•2 comments

Claude Science

https://claude.com/product/claude-science
386•lebovic•10h ago•125 comments

From brain waves to words: a new path to communication without surgery

https://ai.meta.com/blog/brain2qwerty-brain-ai-human-communication/?_fb_noscript=1
119•alok-g•6h ago•63 comments

Nano Banana 2 Lite

https://deepmind.google/models/gemini-image/flash-lite/
319•minimaxir•10h ago•126 comments

How does a pull-back car work? Illustrated teardown

https://mechanical-pencil.com/products/car
123•Muhammad523•2d ago•28 comments

Leanstral 1.5

https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06
116•vetronauta•6h ago•22 comments

Deriving the SVD (Single Value Decomposition) from scratch

https://stillthinking.net/posts/connections-in-math-svd/
19•pcael•2d ago•3 comments

Hatari – Online Atari ST/STE/TT/Falcon Emulator

https://hatari.frama.io/hatari/online/hatari.html
42•gregsadetsky•5h ago•3 comments

Scaling Laws, Carefully

https://lilianweng.github.io/posts/2026-06-24-scaling-laws/
25•tehnub•4d ago•10 comments

Ante: A new way to blend borrow checking and reference counting

https://verdagon.dev/blog/ante-blending-borrowing-rc
59•g0xA52A2A•2d ago•15 comments

CERN bids farewell to the LHC and enters Long Shutdown 3

https://home.cern/cern-bids-farewell-to-the-lhc-and-enters-long-shutdown-3/
135•HelloUsername•1d ago•35 comments

Tokyo has only two barley tea makers, we visited one to see how mugicha is made

https://soranews24.com/2026/06/30/tokyo-has-only-two-barley-tea-makers-and-we-visited-one-to-see-...
91•zdw•7h ago•18 comments

I ported Kubernetes to the browser

https://ngrok.com/blog/i-ported-kubernetes-to-the-browser
178•peterdemin•6h ago•63 comments

Structural Correctness

https://blog.sao.dev/structural-correctness/
10•stuartaxelowen•1d ago•0 comments

I built a mmWave material classification radar (2025)

https://gauthier-lechevalier.com/radar
147•GL26•10h ago•39 comments

Stroustrup's Rule (2024)

https://buttondown.com/hillelwayne/archive/stroustrups-rule/
65•bmacho•3d ago•10 comments

TabFM: A zero-shot foundation model for tabular data

https://research.google/blog/introducing-tabfm-a-zero-shot-foundation-model-for-tabular-data/
47•brandonb•5h ago•6 comments

Building a custom octocopter from scratch with no prior hardware experience

https://karolina.mgdubiel.com/drone/
337•noleary•2d ago•70 comments

Long Island's decommissioned nuclear power plant

https://nickcarr.com/scouting-a-decommissioned-nuclear-power-plant/
88•mkmk•6d ago•22 comments

Knoppix

https://www.knopper.net/knoppix/index-en.html
266•hoangvmpc•14h ago•106 comments

Show HN: My 13-year-old built an ant colony tracker

https://formicarium.es
48•abelgvidal•10h ago•35 comments

Have you restarted your computer this week?

https://taonaw.com/2026/06/27/have-you-restarted-your-computer.html
125•surprisetalk•13h ago•230 comments

Memoirs of Extraordinary Popular Delusions and the Madness of Crowds (1852)

https://www.gutenberg.org/ebooks/24518
172•lstodd•14h ago•55 comments

Reading the internals of Postgres: Database cluster, databases, and tables

https://www.buraksen.dev/articles/internals-of-postgresql-db-cluster-and-tables
60•buraksen•1d ago•1 comments

Hengefinder

https://hengefinder.com/
26•bookofjoe•2d ago•10 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.