frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Linux 7.3 Released

https://lwn.net/Articles/1101143/
209•cjd8•3h ago•85 comments

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

https://arxiv.org/abs/2610.18861
401•allinonai•13h ago•194 comments

How to Train Your Robot

https://www.construction-physics.com/p/how-to-train-your-robot
40•crescit_eundo•3d ago•14 comments

Rabbits were a medieval royal luxury in England until the Black Death

https://phys.org/news/2026-10-rabbits-medieval-royal-luxury-england.html
89•samizdis•1d ago•83 comments

William Gibson and the trademarking of cyberspace

https://colo.to/cyberspace.html
189•Eric_Gullichsen•10h ago•69 comments

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

https://www.youtube.com/watch?v=LKrwhjOI8Nc
378•mdp2021•1d ago•452 comments

If you don't run your own LLM proxy, how do you know whats going on?

https://jrdsgl.com/if-you-dont-run-your-own-llm-proxy-how-the-fuck-do-you-even-know-whats-going-on/
170•amrrs•13h ago•119 comments

Tmux and Claude Code: Sessions, Send-Keys, and the Ceiling

https://crystl.dev/guides/tmux-for-ai-agents/
33•ankitg12•4h ago•18 comments

Someone behind the software

https://karrisaarinen.com/posts/someone-behind-the-software/
448•tosh•17h ago•167 comments

Laptop Based on 6502 CPU

https://www.maddox.pro/?p=448
134•nanochess•3d ago•55 comments

Flatpak – An Insecurity Nightmare

https://oro.gay/posts/flatpak-an-insecurity-nightmare/
48•jannesan•5h ago•34 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
243•gmays•1d ago•146 comments

RepRapMicron

https://github.com/VikOlliver/RepRapMicron/wiki
395•RobotToaster•20h ago•64 comments

The DNS Museum

https://dns.museum
79•zdw•2d ago•9 comments

HOL Light Tutorial

https://hol-light.github.io/tutorial/HTML/tutorial.html
6•stmonty•3d ago•1 comments

Superlite: A Faster Alternatie to Superpowers

https://contextfirst.blog/superlite-hand-an-agent-a-spec/
97•iheatuchriswogu•8h ago•39 comments

How Quickly Can the DoD Rebuild and Recast the Munitions Industrial Base?

https://www.csis.org/analysis/how-quickly-can-dod-rebuild-and-recast-munitions-industrial-base
66•gmays•10h ago•74 comments

Free Pascal compiler now supports dynamic packages

https://www.getlazarus.org/dynamic/
165•sysrpl•15h ago•38 comments

Show HN: WhatsApp MCP running free on Cloudflare

https://github.com/finereli/whatsapp-mcp
112•zoozla•12h ago•59 comments

Lant – The Forgotten Resource

https://sites.udel.edu/materialmatters/2018/04/11/lant-the-forgotten-resource/
11•kreyenborgi•3d ago•1 comments

I built a programming language that LLMs can't use

https://blog.picheta.me/post/killswitch-lang/
195•dom96•1d ago•154 comments

PalmOS Lemmings

https://github.com/ardiri/palmos-lemmings
130•memalign•16h ago•32 comments

How Postgres DELETE can actually scale

https://www.dbos.dev/blog/scaling-deletions-in-postgres
19•KraftyOne•3d ago•4 comments

A new way to think about borrow checking (in reverse)

https://verdagon.dev/blog/reverse-borrow-checking
87•verdagon•22h ago•8 comments

Java sealed classes and exhaustive pattern matching

https://neilmadden.blog/2026/04/24/java-sealed-classes-and-exhaustive-pattern-matching/
171•hnisjafx40•19h ago•133 comments

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

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

DeepSeek V4.1 Flash 1017 (Max)

https://artificialanalysis.ai/models/deepseek-v4-1-flash-1017
146•theanonymousone•5h ago•48 comments

macOS 15.8.2 Breaks OpenGL

https://developer.apple.com/forums/verify-human/verify.html?next=/forums/thread/850550
265•Audiophilip•19h ago•297 comments

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

https://github.com/0x23/MicroManipulatorStepper
203•_Microft•23h ago•16 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
189•vinipolicena•2d ago•383 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.