frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Hybrid Reasoning Agents: LLM agents that think in latent space, act through text

https://arxiv.org/abs/2610.18861
77•allinonai•1h ago•31 comments

Someone behind the software

https://karrisaarinen.com/posts/someone-behind-the-software/
247•tosh•5h ago•103 comments

Free Pascal compiler now supports dynamic packages

https://www.getlazarus.org/dynamic/
79•sysrpl•3h ago•13 comments

"I'm on a war footing": Terry Tao and the crisis in math

https://www.nytimes.com/2026/10/16/us/math-ai-terence-tao.html
43•vinipolicena•2d ago•34 comments

There's never been a better time to go into math (by: 3blue1brown) [video]

https://www.youtube.com/watch?v=LKrwhjOI8Nc
57•mdp2021•22h ago•18 comments

RepRapMicron

https://github.com/VikOlliver/RepRapMicron/wiki
304•RobotToaster•8h ago•46 comments

I built a programming language that LLMs can't use

https://blog.picheta.me/post/killswitch-lang/
30•dom96•23h ago•26 comments

Dogs seem to agree with humans that 'bouba' is round and 'kiki' is spiky

https://www.sciencealert.com/dogs-seem-to-agree-with-humans-that-bouba-is-round-and-kiki-is-spiky
68•gmays•20h ago•52 comments

PalmOS Lemmings

https://github.com/ardiri/palmos-lemmings
65•memalign•4h ago•19 comments

DeepSeek search and fetch – $0.75 per 1000 successful requests

https://api-docs.deepseek.com/guides/search/
511•fagnerbrack•15h ago•251 comments

16-bit fully functional DIY magnetic core memory

https://www.youtube.com/watch?v=OJ1WYyO2jdY
12•oliculipolicula•3d ago•2 comments

One parser, two bugs, many routers: Exploiting Broadcom WiFi across eCos, Linux

https://quentinkaiser.be/security/2026/10/16/one-parser-two-bugs/
22•zoobab•2d ago•5 comments

Java sealed classes and exhaustive pattern matching

https://neilmadden.blog/2026/04/24/java-sealed-classes-and-exhaustive-pattern-matching/
119•hnisjafx40•7h ago•95 comments

Developing for Debugging (2025)

https://www.davepacheco.net/blog/2025/developing-for-debugging-dns-propagation/
17•mpweiher•1d ago•0 comments

The Intel 8087 chip: floating-point addition and subtraction

https://www.righto.com/2026/10/8087-addition-subtraction-microcode.html
78•pwg•5h ago•23 comments

SIGSALY: Churchill's top secret hotline to the president

https://www.iwm.org.uk/history/iwm/cwr/telephone
94•stmw•4d ago•30 comments

Show HN: The Zelda timeline to catch up before the Ocarina of Time remake

https://legendofhyrule.com/
149•jsomau•9h ago•84 comments

Namecheap just seized and disabled all my domains

https://www.reddit.com/r/sysadmin/comments/1x8cycd/namecheap_just_seized_and_disabled_all_my_doma...
317•sashk•5h ago•156 comments

Beyond Tetris: The other games of Alexey Pajitnov [video]

https://www.youtube.com/watch?v=QH_LPimUJMs
49•zdw•23h ago•0 comments

I electrified my push scooter with a power drill

https://eddieabbondanz.io/post/shop/drill-powered-scooter/
100•speckx•4d ago•41 comments

Open MicroManipulator – A sub-micrometer 3D motion control plattform

https://github.com/0x23/MicroManipulatorStepper
164•_Microft•11h ago•13 comments

Florida's HOAs and condo associations are making the housing crisis worse

https://hoaspy.com/hoa/fl/florida-hoa-housing-crisis.html
135•lovewins•3h ago•225 comments

Types of types: Haskell's Kind system

https://thunk.blog/posts/types-of-types-haskell-kind-system/
91•Thom2503•4d ago•71 comments

How the Elizabeth Holmes documentary “You Can See Everything” is deceiving

https://www.readtheprofile.com/p/elizabeth-holmes-documentary-you-can-see-everything
343•MaysonL•18h ago•474 comments

Parser Combinators

https://t3.at/blog/2026-10-17-parser-combinators/
210•schindlabua•13h ago•77 comments

Show HN: Ranet3 – High performance policy routed IPsec mesh SD-WAN

https://ranet3.com/
23•StepBroBD•7h ago•5 comments

Show HN: Sphinx – A hook that quizzes you on your AI's code before shipping

https://sphinx-six-theta.vercel.app/
236•critiquebrowser•17h ago•79 comments

Netflix vmaf: Perceptual video quality assessment based on multi-method fusion

https://github.com/Netflix/vmaf
7•tosh•1h ago•2 comments

Teal – A statically-typed dialect of Lua

https://teal-language.org/
148•Lyngbakr•2d ago•63 comments

Mitos editor is a fork of Helix

https://mitos.computer/
55•ambigious7777•4h ago•50 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.