frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Linux Sandboxes and Fil-C

https://fil-c.org/seccomp
179•pizlonator•7h ago•48 comments

Recovering Anthony Bourdain's (really) lost Li.st's

https://sandyuraz.com/blogs/bourdain/
173•thecsw•9h ago•57 comments

Using E-Ink tablet as monitor for Linux

https://alavi.me/blog/e-ink-tablet-as-monitor-linux/
76•yolkedgeek•4d ago•26 comments

If a Meta AI model can read a brain-wide signal, why wouldn't the brain?

https://1393.xyz/writing/if-a-meta-ai-model-can-read-a-brain-wide-signal-why-wouldnt-the-brain
46•rdgthree•5h ago•17 comments

I fed 24 years of my blog posts to a Markov model

https://susam.net/fed-24-years-of-posts-to-markov-model.html
145•zdw•10h ago•66 comments

Lean Theorem Prover Mathlib

https://github.com/leanprover-community/mathlib4
24•downboots•5h ago•0 comments

Closures as Win32 Window Procedures

https://nullprogram.com/blog/2025/12/12/
56•ibobev•7h ago•7 comments

I tried Gleam for Advent of Code

https://blog.tymscar.com/posts/gleamaoc2025/
257•tymscar•13h ago•144 comments

An Implementation of J

https://www.jsoftware.com/ioj/ioj.htm
44•ofalkaed•6h ago•19 comments

Cat Gap

https://en.wikipedia.org/wiki/Cat_gap
86•Petiver•4d ago•14 comments

VPN location claims don't match real traffic exits

https://ipinfo.io/blog/vpn-location-mismatch-report
330•mmaia•11h ago•191 comments

Therapeutic Use of Cannabis and Cannabinoids: A Review

https://jamanetwork.com/journals/jama/fullarticle/2842072?guestAccessKey=a368e622-e374-4a0c-8d3b-...
30•bookofjoe•5h ago•11 comments

Heavy metal is healing teens on the Blackfeet Nation

https://www.hcn.org/issues/57-11/heavy-metal-is-healing-teens-on-the-blackfeet-nation/
36•cdrnsf•3h ago•9 comments

The Rise of Computer Games, Part I: Adventure

https://technicshistory.com/2025/12/13/the-rise-of-computer-games-part-i-adventure/
73•cfmcdonald•10h ago•25 comments

No-Tifier (2017)

https://subject.space/projects/no-tifier/
5•aebtebeten•3d ago•0 comments

Dhtml Lemmings (2004)

https://www.elizium.nu/scripts/lemmings/index.php
19•tetris11•5d ago•8 comments

Useful patterns for building HTML tools

https://simonwillison.net/2025/Dec/10/html-tools/
265•simonw•3d ago•78 comments

Why Twilio Segment moved from microservices back to a monolith

https://www.twilio.com/en-us/blog/developers/best-practices/goodbye-microservices
213•birdculture•10h ago•169 comments

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...
3•1659447091•1w ago•0 comments

Mystery Science Theater 3000: The Definitive Oral History of a TV Masterpiece

https://www.wired.com/2014/04/mst3k-oral-history/
31•indigodaddy•6d ago•4 comments

Cryptids

https://wiki.bbchallenge.org/wiki/Cryptids
107•frozenseven•1w ago•15 comments

From Azure Functions to FreeBSD

https://jmmv.dev/2025/12/from-azure-functions-to-freebsd.html
87•todsacerdoti•5d ago•14 comments

Ask HN: How can I get better at using AI for programming?

293•lemonlime227•15h ago•317 comments

Go Proposal: Secret Mode

https://antonz.org/accepted/runtime-secret/
180•enz•4d ago•79 comments

Awesome-Jj: Jujutsu Things

https://github.com/Necior/awesome-jj
36•n3t•5h ago•6 comments

Free Software Awards Winners Announced: Andy Wingo, Alx Sa, Govdirectory

https://www.fsf.org/news/2024-free-software-awards-winners
67•pseudolus•5h ago•4 comments

Using Python for Scripting

https://hypirion.com/musings/use-python-for-scripting
116•birdculture•5d ago•86 comments

Researchers seeking better measures of cognitive fatigue

https://www.nature.com/articles/d41586-025-03974-w
125•bikenaga•3d ago•34 comments

What is the nicest thing a stranger has ever done for you?

https://louplummer.lol/nice-stranger/
356•speckx•2d ago•257 comments

EasyPost (YC S13) Is Hiring

https://www.easypost.com/careers
1•jstreebin•13h ago
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.