frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

A triangle whose interior angles sum to zero

https://www.johndcook.com/blog/2025/11/28/tricusp-triangle/
17•tzury•1h ago•7 comments

Airbus A320 – intense solar radiation may corrupt data critical for flight

https://www.airbus.com/en/newsroom/press-releases/2025-11-airbus-update-on-a320-family-precaution...
69•pyrophoenix•3h ago•2 comments

Imgur geo-blocked the UK, so I geo-unblocked my network

https://blog.tymscar.com/posts/imgurukproxy/
265•tymscar•7h ago•97 comments

How good engineers write bad code at big companies

https://www.seangoedecke.com/bad-code-at-big-companies/
222•gfysfm•5h ago•137 comments

Confessions of a Software Developer: No More Self-Censorship

https://kerrick.blog/articles/2025/confessions-of-a-software-developer-no-more-self-censorship/
79•Kerrick•3h ago•80 comments

Molly: An Improved Signal App

https://molly.im/
221•dtj1123•7h ago•114 comments

So you wanna build a local RAG?

https://blog.yakkomajuri.com/blog/local-rag
193•pedriquepacheco•8h ago•35 comments

A first look at Django's new background tasks

https://roam.be/notes/2025/a-first-look-at-djangos-new-background-tasks/
56•roam•3h ago•6 comments

The Fatal Trap UBI Boosters Keep Falling Into

https://thereader.mitpress.mit.edu/the-fatal-trap-ubi-boosters-keep-falling-into/
18•haritha-j•2h ago•29 comments

The original ABC language, Python's predecessor (1991)

https://github.com/gvanrossum/abc-unix
67•tony•5h ago•12 comments

28M Hacker News comments as vector embedding search dataset

https://clickhouse.com/docs/getting-started/example-datasets/hackernews-vector-search-dataset
313•walterbell•7h ago•128 comments

Airloom – 3D Flight Tracker

https://objectiveunclear.com/airloom.html
148•azinman2•8h ago•39 comments

Flight disruption warning as Airbus requests modifications to 6k planes

https://www.bbc.com/news/live/cvg4y6g74ert
150•nrhrjrjrjtntbt•4h ago•57 comments

Fabric Project

https://github.com/Fabric-Project/Fabric
20•brcmthrowaway•2h ago•0 comments

I mathematically proved the best "Guess Who?" strategy [video]

https://www.youtube.com/watch?v=_3RNB8eOSx0
32•surprisetalk•6d ago•6 comments

Space: 1999 – Special Effects Techniques

https://catacombs.space1999.net/main/pguide/upsfx.html
47•exvi•3d ago•19 comments

Effective harnesses for long-running agents

https://www.anthropic.com/engineering/effective-harnesses-for-long-running-agents
67•diwank•6h ago•19 comments

How to Short the Bubbliest Firms

https://www.economist.com/finance-and-economics/2025/11/26/how-to-short-the-bubbliest-firms
23•1vuio0pswjnm7•3h ago•21 comments

AltSendme: Another Alternative to MAgic Wormhole?

https://github.com/tonyantony300/alt-sendme
8•nhatcher•4d ago•3 comments

Don't tug on that, you never know what it might be attached to (2016)

https://blog.plover.com/2016/07/01/#tmpdir
102•todsacerdoti•9h ago•38 comments

Can Dutch universities do without Microsoft?

https://dub.uu.nl/en/news/can-dutch-universities-do-without-microsoft
252•robtherobber•9h ago•243 comments

Moss: a Rust Linux-compatible kernel in 26,000 lines of code

https://github.com/hexagonal-sun/moss
386•hexagonal-sun•6d ago•122 comments

C++ Web Server on my custom hobby OS

https://oshub.org/projects/retros-32/posts/getting-a-webserver-running
84•joexbayer•8h ago•11 comments

True P2P Email on Top of Yggdrasil Network

https://github.com/JB-SelfCompany/Tyr
104•basemi•8h ago•21 comments

Show HN: Pulse 2.0 – Live co-listening rooms where anyone can be a DJ

https://473999.net/pulse
54•473999•6h ago•21 comments

JSON Schema Demystified: Dialects, Vocabularies and Metaschemas

https://www.iankduncan.com/engineering/2025-11-24-json-schema-demystified/
48•navigate8310•7h ago•22 comments

Bringing Sexy Back. Internet surveillance has killed eroticism

https://lux-magazine.com/article/privacy-eroticism/
299•eustoria•8h ago•200 comments

Lobsters Interview

https://susam.net/my-lobsters-interview.html
70•blenderob•8h ago•48 comments

Atuin’s New Runbook Execution Engine

https://blog.atuin.sh/introducing-the-new-runbook-execution-engine/
108•emschwartz•4d ago•22 comments

Show HN: An LLM-Powered Tool to Catch PCB Schematic Mistakes

https://netlist.io/
33•wafflesfreak•7h ago•21 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.