frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Rio de Janeiro's talipot palm trees bloom for the first and only time

https://en.jardineriaon.com/The-talipot-palm-trees-of-Rio-de-Janeiro-bloom-for-the-first-and-only...
54•1659447091•1w ago•11 comments

Ask HN: What Are You Working On? (December 2025)

197•david927•11h ago•656 comments

CapROS: Capability-Based Reliable Operating System

https://www.capros.org/
55•gjvc•4h ago•20 comments

Arborium: Tree-sitter code highlighting with Native and WASM targets

https://arborium.bearcove.eu/
7•zdw•42m ago•0 comments

Elevated errors across many models

https://status.claude.com/incidents/9g6qpr72ttbr
279•pablo24602•6h ago•137 comments

JSDoc is TypeScript

https://culi.bearblog.dev/jsdoc-is-typescript/
130•culi•8h ago•161 comments

Hashcards: A plain-text spaced repetition system

https://borretti.me/article/hashcards-plain-text-spaced-repetition
274•thomascountz•11h ago•123 comments

An attempt to articulate Forth's practical strengths and eternal usefulness

https://im-just-lee.ing/forth-why-cb234c03.txt
35•todsacerdoti•1w ago•20 comments

In the Beginning was the Command Line (1999)

https://web.stanford.edu/class/cs81n/command.txt
112•wseqyrku•6d ago•53 comments

2002: Last.fm and Audioscrobbler Herald the Social Web

https://cybercultural.com/p/lastfm-audioscrobbler-2002/
173•cdrnsf•7h ago•102 comments

History of Declarative Programming

https://shenlanguage.org/TBoS/tbos_15.html
37•measurablefunc•5h ago•11 comments

SoundCloud just banned VPN access

https://old.reddit.com/r/SoundCloudMusic/comments/1pltd19/soundcloud_just_banned_vpn_access/
28•empressplay•1h ago•20 comments

John Varley, 1947-2025

http://floggingbabel.blogspot.com/2025/12/john-varley-1947-2025.html
7•decimalenough•1h ago•1 comments

The Typeframe PX-88 Portable Computing System

https://www.typeframe.net/
99•birdculture•10h ago•32 comments

Developing a food-safe finish for my wooden spoons

https://alinpanaitiu.com/blog/developing-hardwax-oil/
170•alin23•4d ago•101 comments

Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem

https://trigger.dev/blog/shai-hulud-postmortem
199•nkko•18h ago•118 comments

DARPA GO: Generative Optogenetics

https://www.darpa.mil/research/programs/go
23•birriel•5h ago•10 comments

AI and the ironies of automation – Part 2

https://www.ufried.com/blog/ironies_of_ai_2/
221•BinaryIgor•15h ago•96 comments

Interview with Kent Overstreet (Bcachefs) [audio]

https://linuxunplugged.com/644
50•teekert•3d ago•35 comments

Price of a bot army revealed across online platforms

https://www.cam.ac.uk/stories/price-bot-army-global-index
107•teleforce•12h ago•44 comments

Baumol's Cost Disease

https://en.wikipedia.org/wiki/Baumol_effect
101•drra•16h ago•104 comments

Microsoft Copilot AI Comes to LG TVs, and Can't Be Deleted

https://www.techpowerup.com/344075/microsoft-copilot-ai-comes-to-lg-tvs-and-cant-be-deleted
96•akyuu•4h ago•82 comments

Checkers Arcade

https://blog.fogus.me/games/checkers-arcade.html
28•fogus•2d ago•2 comments

GraphQL: The enterprise honeymoon is over

https://johnjames.blog/posts/graphql-the-enterprise-honeymoon-is-over
202•johnjames4214•11h ago•188 comments

Mom and daughter find stranger in trunk of Waymo

https://abc7.com/post/los-angeles-viral-video-mom-daughter-find-stranger-trunk-waymo-macarthur-pa...
37•lxm•3h ago•13 comments

Younger Futhorc (ᛡᛟᛝᛖᚱ᛬ᚠᚢᚦᚩᚱᚳ)

https://www.omniglot.com/conscripts/youngerfuthorc.htm
13•rbc•5d ago•3 comments

Metacode: The new standard for machine-readable comments for Python

https://github.com/pomponchik/metacode
4•pomponchik•6d ago•2 comments

Advent of Swift

https://leahneukirchen.org/blog/archive/2025/12/advent-of-swift.html
67•chmaynard•8h ago•19 comments

Getting into public speaking

https://james.brooks.page/blog/getting-into-public-speaking
120•jbrooksuk•4d ago•40 comments

SPhotonix – 360TB into 5-inch glass disc with femtosecond laser

https://www.tomshardware.com/pc-components/storage/sphotonix-pushes-5d-glass-storage-toward-data-...
26•peter_d_sherman•3h ago•14 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.