frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Why Writing Correct Software Is Hard

https://pron.github.io/posts/correctness-and-complexity
124•AriFordsham•3h ago•51 comments

Jane Street: Socratic Tutor

https://github.com/janestreet/agent_skills/blob/master/socratic-tutor/SKILL.md
383•tosh•2d ago•91 comments

A live tree of systemd jobs on the boot console

https://codeberg.org/wvhulle/bootvine
168•orhunp_•3d ago•62 comments

Tim Peters has died

https://discuss.python.org/t/in-memoriam-tim-peters-1952-2026/110028
1287•ayhanfuat•1d ago•152 comments

Anthropic IPO

https://ipo.anthropic.com/us/
173•josephljohnston•1h ago•196 comments

93% of paint splatters are valid Perl programs (2019)

https://www.mcmillen.dev/sigbovik/
488•zenincognito•14h ago•64 comments

Researchers discover rare star system that emits radio signals every 8 minutes

https://www.curtin.edu.au/news/media-release/researchers-discover-rare-star-system-that-emits-rad...
19•giuliomagnifico•2h ago•4 comments

Critical RCE Vulnerability in Apache HTTP Server

https://www.wiz.io/blog/cve-2026-119618-rce-apache-http-server-vulnerability
266•soheilpro•11h ago•127 comments

AWS emulator

https://github.com/aws/aws-emulator
893•super_linear•19h ago•247 comments

Making a €40 USB-C hub work as a Nintendo Switch 2 dock

http://blog.nozomi.space/posts/sw2_dock/
57•mkopec•2d ago•13 comments

A false smoke alarm almost drowned Jane Street's only NYC datacenter

https://michael.bacarella.com/2026/11/10/false-smoke-alarm-jane-street-datacenter/
520•mbac32768•20h ago•252 comments

I'm Working on a FOSS Linux Pinbal Simulation Engine

https://www.getlazarus.org/forums/topic/17/
76•sysrpl•7h ago•27 comments

Nvidia is preparing to oust Jensen Huang

https://www.wsj.com/business/nvidia-is-preparing-to-oust-nvidia-ceo-jensen-huang-30f421ad
1133•jbredeche•15h ago•1515 comments

Gemini Decisions API

https://blog.google/innovation-and-ai/technology/developers-tools/gemini-decisions-api/
472•iamdelirium•18h ago•145 comments

Lock Your GitHub Actions

https://hugovk.dev/blog/2026/lock-github-actions/
285•gslin•15h ago•58 comments

United Airlines bans AI agents from booking flights on behalf of travelers

https://www.cbsnews.com/news/united-airlines-bans-ai-agents-booking-flights/
586•herpderperator•16h ago•608 comments

Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017)

https://www.researchgate.net/publication/319702287_THE_HISTORY_OF_EARLY_LOW_FREQUENCY_RADIO_ASTRO...
14•NaOH•3d ago•1 comments

Emacs in the Age of Magic

https://commandlinesystems.com/magic.txt
262•ggcr•17h ago•121 comments

Show HN: Aircad – Professional drafting and 3D modeling in the browser

https://aircad.com
52•peetle•1d ago•23 comments

Legocam: My Lego webcam from 2000, working on a modern Mac

https://blog.benjamin.ie/legocam
31•benkelly•2d ago•26 comments

The Utah Teapot

https://graphics.cs.utah.edu/teapot/
166•cobbal•17h ago•41 comments

Hyper-realistic sand with WebGL2

https://av.github.io/safe-sand/
412•everlier•23h ago•77 comments

My AI agents found an unmapped Maya site?

https://pietromiotti.com/latest/maya-site
1010•eyvindn•1d ago•370 comments

A general purpose Apple Silicon layer for x86-64 PCs

https://github.com/tylertms/Stela
118•iceboundrock•14h ago•48 comments

Faster Retrieval for Better, More Efficient RAG

https://machinelearning.apple.com/research/faster-retrieval
219•zerop•20h ago•38 comments

Show HN: Yogurt – Free, private, open-source alternative to Granola

https://github.com/FrigadeHQ/yogurt
264•brownrout•21h ago•98 comments

Using voltage glitching to unleash the A100 in my mining card

https://blog.kate.land/posts/using-voltage-glitching-to-unlock-the-a100/
323•lae•1d ago•126 comments

Did Life Begin in an RNA World?

https://www.quantamagazine.org/did-life-begin-in-an-rna-world-20261109/
71•acossta•2d ago•43 comments

Huawei releases MACaQ, its internal quantizer for local inference

https://github.com/huawei-csl/MACaQ
121•thefox96•17h ago•29 comments

Lean Grimoire

https://terrytao.wordpress.com/2026/11/11/lean-grimoire/
51•smilelamp•10h ago•8 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.