frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

LG denies TV spying claims, says tracking and snooping concerns 'not true'

https://www.tomshardware.com/tech-industry/big-tech/lg-strongly-denies-tv-security-claims-says-tr...
261•datakan•2d ago•240 comments

Make your first edit to OpenStreetMap

https://high5apps.github.io/josm-plugin-website-wizard/
147•juliantigler•4h ago•52 comments

Nvidia is the central bank of AI

https://www.economist.com/interactive/briefing/2026/09/03/nvidia-is-the-central-bank-of-ai
249•tolugenius•5h ago•184 comments

An open letter to Dario: if you mean it, open the weights

https://jacob.gold/posts/open-letter-to-dario-amodei-about-open-weights/
181•routelastresort•1h ago•56 comments

Stabilizing Rust's Never Type

https://lwn.net/SubscriberLink/1091015/d9e48318ed242b41/
43•cjd8•3d ago•0 comments

Will There Be a 7G?

https://arxiv.org/abs/2609.01877
55•Betelbuddy•3h ago•88 comments

Benchmark: CadQuery vs. OpenSCAD for agentic CAD work

https://modelrift.com/blog/cadquery-vs-openscad/
6•jetter•37m ago•0 comments

We must pace the frontier

https://darioamodei.com/post/we-must-pace-the-frontier
372•apsec112•6h ago•520 comments

IKEA made a mod for Skyrim [video]

https://www.youtube.com/watch?v=iZODN0QUgjI
493•kegenaar•2d ago•128 comments

Microcode in Intel's 8087 floating-point chip: the scale instruction

https://www.righto.com/2026/09/8087-microcode-reverse-engineering-fscale.html
58•pwg•4h ago•18 comments

I made a build visualizer to understand Bun's compile times

https://lalitm.com/post/buildprof/
44•lalitmaganti•5h ago•9 comments

A Mathematical Framework for Transformer Circuits (2021)

https://transformer-circuits.pub/2021/framework/index.html
62•Bluestein•6h ago•14 comments

Retrospectively Reverse-Engineering Apple's Neural Engine

https://eiln.github.io/posts/ane.html
200•zdw•12h ago•27 comments

Android NAT-T keepalive offload bypasses VPN lockdown

https://supuk.ch/papers/android-natt-keepalive-vpn-bypass
146•mhitza•23h ago•38 comments

I fixed a tractor using John Deere's self-repair service. Farmers aren't sold

https://www.wired.com/story/i-fixed-a-tractor-john-deere-self-repair-service/
69•sbulaev•1d ago•80 comments

Navier-Stokes Announcement

https://www.claymath.org/news/navier-stokes-announcement/
279•rvz•16h ago•218 comments

How Trail of Bits helps verify the integrity of Signal chats

https://blog.trailofbits.com/2026/08/11/how-trail-of-bits-helps-verify-the-integrity-of-your-sign...
22•dgroshev•9h ago•5 comments

Performance of WebAssembly Runtimes in 2026

https://00f.net/2026/06/23/webassembly-runtimes-2026/
66•fagnerbrack•3d ago•17 comments

Eating Fruit Skins

https://pgadey.ca/blog/eating-fruit-skins/
45•surprisetalk•3d ago•122 comments

A few good ideas in programming languages

https://prydt.xyz/blog/a-few-good-ideas-in-pl/
62•airhangerf15•7h ago•44 comments

LRU is harder to beat than the KV-cache papers suggest

https://github.com/gauravapiscean/agentic-kv-cache
82•gauravapiscean•2d ago•38 comments

λ Snap – An inviting programming language for kids and adults for CS study

https://snap.berkeley.edu/
167•dr_kiszonka•1d ago•103 comments

The worst spam emails: iLands AI agent hustle

https://tedium.co/2026/09/11/ilands-agents-email-spam-kaixin-tang/
90•ColinWright•9h ago•42 comments

The Magic Behind Cubacadabra

https://andrewarrow.dev/2026/moon/2/day/19/the-magic-behind-cubacadabra/
3•andrewfromx•2d ago•0 comments

How we manage and engage with our horses shapes their personality

https://www.utu.fi/en/news/press-release/how-we-manage-and-engage-with-our-horses-shapes-their-pe...
26•thunderbong•2d ago•8 comments

A Design Space Exploration of Async/Await

https://cel.cs.brown.edu/blog/design-space-async-await/
405•wcrichton•3d ago•116 comments

google.com/goto: Google's anti-scraping update

https://www.autom.dev/blog/google-search-goto-links
596•1e1a•17h ago•468 comments

Reconstructing Concurrency Invariants Through Medieval East Asian Logic

https://oborona.zip/post/a-middle-period-engine-reconstructing-concurrency-invariants-through-eas...
16•gg582•1d ago•4 comments

Great Lakes sturgeon may be 400 years old:Scientists rethinking how to save them

https://www.cbc.ca/news/canada/ontario-great-lakes-sturgeon-lifespan-study-9.7329250
140•bookofjoe•3d ago•40 comments

A misalignment of AI in mathematics

https://mathandai.org/
1162•meredydd•1d ago•1109 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.