fp.

Beyond the Library: An Agentic Framework for Autoformalizing Research Math

https://arxiv.org/abs/2606.31134

1•matt_d•37s ago•0 comments

Atari Legacy Magazine – By Paul Lefebvre

https://www.goto10retro.com/p/atari-legacy-magazine

1•rbanffy•44s ago•0 comments

MFLUSIVA

https://www.modernatx.com/ir-insights-mflusiva

1•jawns•1m ago•0 comments

GitHub Actions suffers second-longest major outage in its history

https://www.githubstatus.com/uptime/br0l2tvcx85d

1•KernelPryanic•2m ago•0 comments

GPS and the Lost Art of Getting Lost

https://www.newyorker.com/news/annals-of-inquiry/gps-and-the-lost-art-of-getting-lost

2•fortran77•5m ago•0 comments

Show HN: Learn System Design, one campaign at a time

https://scalequest.io/

2•raaa1•6m ago•0 comments

Show HN: Higher-dimensional lattices unfolded into the 2D plane

https://number-garden.com/?@THLP@

1•unitX•9m ago•1 comments

Welcoming the Nepalese Government to Have I Been Pwned

https://www.troyhunt.com/welcoming-the-nepalese-government-to-have-i-been-pwned/

5•gnabgib•9m ago•0 comments

In Menlo Park housing fight, Bonta sends potential warning to California cities

https://www.sfchronicle.com/realestate/article/housing-fight-menlo-park-bonta-22372361.php

2•randycupertino•10m ago•0 comments

Dice, (De)Convolution and Generating Functions

https://blog.demofox.org/2025/01/05/dice-deconvolution-and-generating-functions/

1•sebg•11m ago•0 comments

China built its 'Manhattan Project' to rival the West in AI chips [video]

https://www.youtube.com/watch?v=25ttDa0eqJQ

1•binyu•11m ago•0 comments

Show HN: Tmagnet – a terminal torrent client written in C

https://codeberg.org/ivanjeka/tmagnet

1•ivanjeka•11m ago•0 comments

Show HN: Pokémon Emerald Ported to Raspberry Pi Pico 2

https://github.com/mattdeeds/pokeemerald-rp2350

3•mdeeds•12m ago•0 comments

Priormarket – a fundamentals research terminal for Kalshi/Polymarket

1•mjarard•15m ago•0 comments

Waxrunner – Discogs wantlist cost optimization with a constraint solver

https://waxrunner.com/

1•hybridtheory•17m ago•0 comments

Owner of bike maker Raleigh files for insolvency

https://www.bbc.co.uk/news/articles/c4gv45w4j8eo

1•JohnHammersley•20m ago•1 comments

OpenAI's latest math breakthroughs commit research misconduct, experts say

https://www.scientificamerican.com/article/openais-latest-math-breakthroughs-commit-research-misc...

3•beardyw•20m ago•0 comments

ATProto for Distributed Systems Engineers

https://atproto.com/articles/atproto-for-distsys-engineers

4•LelouBil•26m ago•1 comments

Hazard Pointers for the Kernel

https://lwn.net/Articles/1084015/

1•signa11•26m ago•0 comments

All Gods Must Die: Adversarially Verified Transformation

https://drive.google.com/file/d/1GYR9AikBP7B6teFMyNOyp-P606fMzfVS/view?usp=sharing

2•andrexibiza•27m ago•0 comments

European regulators keep 'Full Self-Driving' safety data secret

https://www.reuters.com/legal/litigation/pressured-by-tesla-european-regulators-keep-full-self-dr...

3•TechTechTech•28m ago•1 comments

We Lost Reading

https://www.pelayoarbues.com/notes/we-lost-reading

1•max-ch•28m ago•0 comments

I Wasted My First Two Years in Tech on the Wrong Things

https://www.thetrueengineer.com/p/4-things-i-wish-i-knew-starting-a

1•adletbalzhanov•29m ago•0 comments

Gomukit – MCP Apps Widget for go-MCP servers

https://gomukit.techthos.systems/

1•alex20465•29m ago•1 comments

Wayland will be fully supported in the next version of Cinnamon

https://blog.linuxmint.com/?p=5046

1•hedgeho•30m ago•0 comments

Texas commissioner: GOP will lose elections from data center backlash

https://www.texastribune.org/2026/08/06/sid-miller-republicans-elections-data-centers-abbott/

2•mapping365•31m ago•0 comments

vLLM: Anatomy of a High-Throughput LLM Inference System

https://www.aleksagordic.com/blog/vllm

4•sebg•31m ago•0 comments

How the World Views China vs. the U.S. in 2026

https://www.visualcapitalist.com/how-the-world-sees-china-and-the-us-in-2026/

2•simonpure•31m ago•0 comments

Show HN: Gaze – Facial Authentication for Linux

https://github.com/GunduLabs/gaze

3•gundulabs•33m ago•0 comments

"not a single vulnerability was found by a US frontier model."

https://twitter.com/callebtc/status/2085329159094489183

3•int32_64•34m ago•0 comments

Beyond the Library: An Agentic Framework for Autoformalizing Research Math

Atari Legacy Magazine – By Paul Lefebvre

MFLUSIVA

GitHub Actions suffers second-longest major outage in its history

GPS and the Lost Art of Getting Lost

Show HN: Learn System Design, one campaign at a time

Show HN: Higher-dimensional lattices unfolded into the 2D plane

Welcoming the Nepalese Government to Have I Been Pwned

In Menlo Park housing fight, Bonta sends potential warning to California cities

Dice, (De)Convolution and Generating Functions

China built its 'Manhattan Project' to rival the West in AI chips [video]

Show HN: Tmagnet – a terminal torrent client written in C

Show HN: Pokémon Emerald Ported to Raspberry Pi Pico 2

Priormarket – a fundamentals research terminal for Kalshi/Polymarket

Waxrunner – Discogs wantlist cost optimization with a constraint solver

Owner of bike maker Raleigh files for insolvency

OpenAI's latest math breakthroughs commit research misconduct, experts say

ATProto for Distributed Systems Engineers

Hazard Pointers for the Kernel

All Gods Must Die: Adversarially Verified Transformation

European regulators keep 'Full Self-Driving' safety data secret

We Lost Reading

I Wasted My First Two Years in Tech on the Wrong Things

Gomukit – MCP Apps Widget for go-MCP servers

Wayland will be fully supported in the next version of Cinnamon

Texas commissioner: GOP will lose elections from data center backlash

vLLM: Anatomy of a High-Throughput LLM Inference System

How the World Views China vs. the U.S. in 2026

Show HN: Gaze – Facial Authentication for Linux

"not a single vulnerability was found by a US frontier model."

Hedge funds forced out of tech stocks leave market to mercy of retail traders

Beyond the Library: An Agentic Framework for Autoformalizing Research Math

Atari Legacy Magazine – By Paul Lefebvre

MFLUSIVA

GitHub Actions suffers second-longest major outage in its history

GPS and the Lost Art of Getting Lost

Show HN: Learn System Design, one campaign at a time

Show HN: Higher-dimensional lattices unfolded into the 2D plane

Welcoming the Nepalese Government to Have I Been Pwned

In Menlo Park housing fight, Bonta sends potential warning to California cities

Dice, (De)Convolution and Generating Functions

China built its 'Manhattan Project' to rival the West in AI chips [video]

Show HN: Tmagnet – a terminal torrent client written in C

Show HN: Pokémon Emerald Ported to Raspberry Pi Pico 2

Priormarket – a fundamentals research terminal for Kalshi/Polymarket

Waxrunner – Discogs wantlist cost optimization with a constraint solver

Owner of bike maker Raleigh files for insolvency

OpenAI's latest math breakthroughs commit research misconduct, experts say

ATProto for Distributed Systems Engineers

Hazard Pointers for the Kernel

All Gods Must Die: Adversarially Verified Transformation

European regulators keep 'Full Self-Driving' safety data secret

We Lost Reading

I Wasted My First Two Years in Tech on the Wrong Things

Gomukit – MCP Apps Widget for go-MCP servers

Wayland will be fully supported in the next version of Cinnamon

Texas commissioner: GOP will lose elections from data center backlash

vLLM: Anatomy of a High-Throughput LLM Inference System

How the World Views China vs. the U.S. in 2026

Show HN: Gaze – Facial Authentication for Linux

"not a single vulnerability was found by a US frontier model."