frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Pi 1.0

https://earendil.com/posts/pi-1-0/
496•sergiotapia•2h ago•171 comments

The death of web development education

https://molily.de/web-dev-education/
75•ibobev•1h ago•53 comments

Clef: Open-source decision models, and new RL fine-tuning platform

https://blog.cloudflare.com/clef-decision-models/
366•jasondavies•6h ago•143 comments

Car Is a Smartphone on Wheels. Here's Who's Listening

https://automatictransmission.khoury.northeastern.edu/index.html
104•rafaelc•2h ago•89 comments

Pi Durable

https://earendil.com/posts/pi-durable/
144•paulsmith•3h ago•13 comments

Show HN: Janus – Go binary that runs GGUF models via Vulkan on AMD/Intel/Nvidia

https://github.com/Vibra-Ingenn/Janus
27•Maverick617•1h ago•2 comments

Ask HN: Who is hiring? (October 2026)

128•whoishiring•7h ago•130 comments

Oxygen-deprived underwater zones may not be "dead zones" but clue to early life

https://agupubs.onlinelibrary.wiley.com/doi/10.1029/2026AV002570
56•gumby•3h ago•3 comments

RIP, vector database

https://turbopuffer.com/blog/rip-vector-database
247•razin•6h ago•66 comments

StreetComplete on iOS is now in public beta

https://github.com/streetcomplete/StreetComplete/issues/5421
493•Snowly•11h ago•109 comments

SvelteKit 3 Is Here

https://svelte.dev/blog/sveltekit-3-is-here
24•sampsn•2h ago•2 comments

ArXiv's Updated Rate Limit Policy

https://blog.arxiv.org/2026/10/01/updated-rate-limit-policy/
33•50kIters•2h ago•12 comments

CSS Bed: Classless CSS themes to use as starting points in web development

https://www.cssbed.com
15•sea-gold•1h ago•2 comments

Bez: Generating a browser engine from specs and tests

https://tangled.org/burrito.space/bez
76•nerdypepper•4h ago•22 comments

Various Projects Find Hidden SDR Capabilities in ESP32 Microcontrollers

https://www.rtl-sdr.com/various-projects-independently-find-hidden-sdr-capabilities-in-esp32-micr...
138•nkw•7h ago•22 comments

RacketCon Is Saturday

https://con.racket-lang.org/
118•spdegabrielle•7h ago•32 comments

Show HN: Open-source model routing for coding agents at Astra-level performance

67•adchurch•1d ago•20 comments

Cloudflare K2: serverless event streams

https://blog.cloudflare.com/cloudflare-k2-streams/
170•elffjs•8h ago•73 comments

How to speed up the Rust compiler in September 2026

https://nnethercote.github.io/2026/09/30/how-to-speed-up-the-rust-compiler-in-september-2026.html
218•trickypr•9h ago•107 comments

Show HN: Rhun, an open-source code editor written in assembly

https://rhun.app/
12•vladcodes•1h ago•2 comments

Ask HN: Who wants to be hired? (October 2026)

78•whoishiring•7h ago•253 comments

Context Language Models

https://arxiv.org/abs/2609.37725
89•emersonmacro•7h ago•20 comments

OpenRadioss is not open anymore

https://www.siemens.com/en-us/products/simcenter/mechanical-simulation/radioss/rd/
8•hdrz•44m ago•10 comments

GPT-Synopsys: Frontier Intelligence to Revolutionize Chip Design

https://news.synopsys.com/2026-09-30-OpenAI-and-Synopsys-Announce-GPT-Synopsys-Frontier-Intellige...
158•giuliomagnifico•12h ago•93 comments

Lightweight PDF parser with layout, tables, formulas and bounding boxes

https://github.com/beatrizalmeidaf/papero-pdf-text-extractor
62•beatrizalmeidaf•6h ago•7 comments

Polyedergarten: Garden of Paper Polyhedron Models

https://www.polyedergarten.de/e_index.htm
45•isaacimagine•7h ago•5 comments

Effect 4.0

https://effect.website/blog/releases/effect/40
25•stevefan1999•3h ago•12 comments

Identity Management for Agentic AI [pdf] (2025)

https://openid.net/wp-content/uploads/2025/10/Identity-Management-for-Agentic-AI.pdf
65•cgeier•7h ago•21 comments

OpenDLSS: A Vulkan Reimplementation of Nvidia's DLSS 5 Neural Rendering Network

https://github.com/maanHimself/OpenDLSS-NR
241•sagacity•1d ago•111 comments

Truemetrics (YC S23) Is Hiring a GTM Founder's Associate

https://www.ycombinator.com/companies/truemetrics/jobs/THLEzXI-gtm-founder-s-associate
1•truemetricsIngo•12h ago
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.