frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

The logarithms of rational numbers have irrationality exponent 2 [pdf]

https://jdb19937.github.io/log-irrationality-measure/logmeasure.pdf
10•jdb1729•3h ago

Comments

jdb1729•3h ago
This is a Lean-verified variation of the OpenAI proof for pi.

REA Reverse – Engineer Anything

https://rea.tools/
99•modinfo•1h ago•17 comments

Cloudflare acquires Deno

https://deno.com/blog/cloudflare
1083•ilreb•13h ago•565 comments

Triple-A Minesweeper

https://minesweeper.mikelacher.com/
688•robin_reala•10h ago•125 comments

Our $445M Series D

https://oxide.computer/blog/our-445m-series-d
602•ahlCVA•13h ago•270 comments

Show HN: Carrier-Explode: iPhone, Pixel and Galaxy carrier settings decoded

https://carrierexplode.com/
221•simplyalec•8h ago•29 comments

Typesafe AI raises $870M at $7.5B

https://typesafe.ai/blog/series-ai
283•tosh•9h ago•216 comments

Sorry, I'm in a meeting

https://iminafleeting.com/
784•splintersio•17h ago•243 comments

11 of 23 Core Open Source Projects Run on 1 or 2 People

https://linuxstans.com/11-of-23-core-open-source-projects-run-on-1-or-2-people/
64•dxs•2h ago•23 comments

Can you use autoregressive diffusion to generate market data?

https://blog.janestreet.com/can-you-use-autoregressive-diffusion-to-generate-market-data/
17•jsomers•11h ago•1 comments

Compiling Rust to readable C with Eurydice

https://lwn.net/Articles/1055211/
26•peter_d_sherman•3h ago•2 comments

YouTuber Says Cops Visited Him After He Built a Flock-Style Camera to Track Cops

https://gizmodo.com/youtuber-says-cops-paid-him-a-visit-after-he-built-flock-style-camera-to-trac...
438•gumby•5h ago•240 comments

Pointing AI at archives found a forgotten meteorite, lost rhinos, and more

https://jessewaites.com/blog/post/i-pointed-ai-at-400-years-of-archives/
109•piratebroadcast•14h ago•55 comments

Show HN: Let your AI agents paint big arrows, boxes and text on your screen

https://github.com/franzenzenhofer/big-arrow-on-the-screen
383•franze•15h ago•169 comments

Taxing Entrepreneurial Wealth: Evidence from Norway, 2021–2025

https://www.nber.org/papers/w35854
27•PLenz•4h ago•0 comments

Atari Falcon

https://atarimuseum.nl/atari-falcon/
19•debo_•3h ago•3 comments

Show HN: Proton Drive for Linux

https://oss.lsantos.dev/proton-drive-linux-fs/
37•khaosdoctor•1d ago•14 comments

Has the Autonomous Trucking Revolution Arrived?

https://phenomenalworld.org/analysis/has-the-autonomous-trucking-revolution-arrived/
8•demonsthenes•2h ago•6 comments

Smart contracts: Ship the parachute in v1

https://medium.com/@giladha/ship-the-parachute-in-v1-why-upgradeability-and-disaster-recovery-are...
4•giladha•1d ago•1 comments

The role of cat eye narrowing movements in cat–human communication (2020)

https://www.nature.com/articles/s41598-020-73426-0
45•bushwart•3d ago•22 comments

Show HN: The rarest tech books and docs you've probably never read

https://readrare.com/
80•miletus•8h ago•21 comments

Anthropic AI model submits false tip on unsolved Philly murder

https://www.nbcphiladelphia.com/news/local/anthropic-ai-model-submits-false-tip-on-unsolved-phill...
76•Zambyte•4h ago•58 comments

'Wallace and Gromit,' 90% Alone

https://animationobsessive.substack.com/p/wallace-and-gromit-90-alone
164•vinhnx•12h ago•22 comments

The logarithms of rational numbers have irrationality exponent 2 [pdf]

https://jdb19937.github.io/log-irrationality-measure/logmeasure.pdf
10•jdb1729•3h ago•2 comments

Scam American companies are using to manipulate ingredient lists

https://twitter.com/WallStreetApes/status/2108594998656807078
61•bilsbie•8h ago•70 comments

What mathematicians should know about the Lean Theorem Prover: reliability & AI

https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-...
41•matt_d•8h ago•5 comments

Rewriting Prime Agent in Rust

https://www.primeintellect.ai/blog/prime-agent-rust
23•piotrgrabowski•3h ago•6 comments

M7.6 Earthquake in Panama

https://earthquake.usgs.gov/earthquakes/eventpage/us6000u18k/executive
132•gslin•8h ago•36 comments

How Strong Is the Strong Force?

https://cerncourier.com/how-strong-is-the-strong-interaction/
4•EA-3167•2h ago•0 comments

Microsoft-Decision-1, our model for fast decision-making

https://commandline.microsoft.com/microsoft-decision-1-model-foundry/
151•lisajaloza•7h ago•55 comments

Ideas aren't getting harder to find (2022)

https://www.experimental-history.com/p/ideas-arent-getting-harder-to-find
126•rafaelc•8h ago•56 comments