frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Addressing the adding situation

https://xania.org/202512/02-adding-integers
158•messe•4h ago•46 comments

Advent of Compiler Optimisations 2025

https://xania.org/202511/advent-of-compiler-optimisation
208•vismit2000•5h ago•22 comments

A series of vignettes from my childhood and early career

https://www.jasonscheirer.com/weblog/vignettes/
64•absqueued•3h ago•38 comments

Learning Music with Strudel

https://terryds.notion.site/Learning-Music-with-Strudel-2ac98431b24180deb890cc7de667ea92
33•terryds•6d ago•9 comments

Show HN: Marmot – Single-binary data catalog (no Kafka, no Elasticsearch)

https://github.com/marmotdata/marmot
12•charlie-haley•33m ago•1 comments

Apple Releases Open Weights Video Model

https://starflow-v.github.io
295•vessenes•10h ago•96 comments

What will enter the public domain in 2026?

https://publicdomainreview.org/features/entering-the-public-domain/2026/
368•herbertl•12h ago•221 comments

Python Data Science Handbook

https://jakevdp.github.io/PythonDataScienceHandbook/
41•cl3misch•2h ago•6 comments

YouTube increases FreeBASIC performance (2019)

https://freebasic.net/forum/viewtopic.php?t=27927
102•giancarlostoro•2d ago•16 comments

Nixtml: Static website and blog generator written in Nix

https://github.com/arnarg/nixtml
5•todsacerdoti•38m ago•0 comments

Proximity to coworkers increases long-run development, lowers short-term output

https://pallais.scholars.harvard.edu/publications/power-proximity-coworkers-training-tomorrow-or-...
73•delichon•1h ago•34 comments

Comparing AWS Lambda ARM64 vs. x86_64 Performance Across Runtimes in Late 2025

https://chrisebert.net/comparing-aws-lambda-arm64-vs-x86_64-performance-across-multiple-runtimes-...
78•hasanhaja•6h ago•34 comments

Zig's new plan for asynchronous programs

https://lwn.net/SubscriberLink/1046084/4c048ee008e1c70e/
29•messe•1h ago•10 comments

DeepSeek-v3.2: Pushing the frontier of open large language models [pdf]

https://huggingface.co/deepseek-ai/DeepSeek-V3.2/resolve/main/assets/paper.pdf
883•pretext•23h ago•417 comments

India orders smartphone makers to preload state-owned cyber safety app

https://www.reuters.com/sustainability/boards-policy-regulation/india-orders-mobile-phones-preloa...
812•jmsflknr•1d ago•579 comments

Mistral 3 family of models released

https://mistral.ai/news/mistral-3
44•pember•31m ago•7 comments

Beej's Guide to Learning Computer Science

https://beej.us/guide/bglcs/
237•amruthreddi•2d ago•87 comments

How Brian Eno Created Ambient 1: Music for Airports (2019)

https://reverbmachine.com/blog/deconstructing-brian-eno-music-for-airports/
121•dijksterhuis•7h ago•60 comments

YesNotice

https://infinitedigits.co/docs/software/yesnotice/
3•surprisetalk•6d ago•0 comments

Rootless Pings in Rust

https://bou.ke/blog/rust-ping/
92•bouk•8h ago•57 comments

An LED panel that shows the aviation around you

https://github.com/AxisNimble/TheFlightWall_OSS
38•yzydserd•5d ago•5 comments

Lazier Binary Decision Diagrams for set-theoretic types

https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/
11•tvda•2h ago•0 comments

Tom Stoppard has died

https://www.bbc.com/news/articles/c74xe49q7vlo
136•mstep•2d ago•39 comments

Reverse math shows why hard problems are hard

https://www.quantamagazine.org/reverse-mathematics-illuminates-why-hard-problems-are-hard-20251201/
135•gsf_emergency_6•12h ago•26 comments

After Windows Update, Password icon invisible, click where it used to be

https://support.microsoft.com/en-us/topic/august-29-2025-kb5064081-os-build-26100-5074-preview-3f...
126•zdw•13h ago•111 comments

Man unexpectedly cured of HIV after stem cell transplant

https://www.newscientist.com/article/2506595-man-unexpectedly-cured-of-hiv-after-stem-cell-transp...
112•doener•5h ago•21 comments

Codex, Opus, Gemini try to build Counter Strike

https://www.instantdb.com/essays/agents_building_counterstrike
258•stopachka•3d ago•100 comments

URL in C (2011)

https://susam.net/url-in-c.html
66•birdculture•5d ago•19 comments

Ghostty compiled to WASM with xterm.js API compatibility

https://github.com/coder/ghostty-web
368•kylecarbs•21h ago•105 comments

Wacky Fun Physics Ideas

https://scottlocklin.wordpress.com/2025/11/22/wacky-fun-physics-ideas/
28•surprisetalk•3d ago•7 comments
Open in hackernews

Right-Truncatable Prime Counter

https://github.com/EbodShojaei/Right-Truncatable-Primes
9•rainmans•6mo ago

Comments

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