fp.

A somewhat optimistic view of AI in mathematics

https://proofsandprompts.com/2026/09/10/a-somewhat-optimistic-view-of-ai-in-mathematics/

1•bearseascape•23s ago•0 comments

Show HN: Pixel Agents – A pixel-art mission control for your Claude Code agents

https://github.com/mateovalle/pixel-agents

1•mateovalle•1m ago•0 comments

Show HN: iTerm2 Plugin for Codex/Claude Code

https://github.com/treyreynolds/iterm2-status

1•treyreynolds•1m ago•0 comments

U.S. Code § 597 – Expenditures to influence voting

https://www.law.cornell.edu/uscode/text/18/597

1•colinprince•2m ago•0 comments

Musk Mocks Ex-Anthropic Researcher's AI Extinction Warning, Calls It a 'Setup'

https://www.analyticsinsight.net/news/musk-mocks-ex-anthropic-researchers-ai-extinction-warning-c...

1•adletbalzhanov•2m ago•0 comments

Hot take: AI peaked with Taco Bot 3000

https://danq.me/2026/09/09/tacobot-peak-ai/

1•speckx•3m ago•1 comments

Terence Tao on Navier-Stokes progress

https://terrytao.wordpress.com/2026/09/07/finite-time-blowup-with-smooth-forcing-term-for-the-inc...

1•j-bu•4m ago•0 comments

Go Slow to Go Fast

https://spiffworks.substack.com/p/make-haste-slowly

1•danfunk•5m ago•1 comments

Moonshot Routed User Requests Through Claude, Anthropic Says

https://www.bloomberg.com/news/articles/2026-09-10/moonshot-secretly-routed-user-requests-through...

1•sbulaev•6m ago•0 comments

Dioxus Labs (YC S23) Is Joining Cognition

https://dioxuslabs.com/blog/joining-cognition/

1•ninjha•7m ago•1 comments

The Best Sandwich in Every State (2021)

https://www.foodandwine.com/travel/restaurants/best-sandwich-america-every-state

1•mooreds•8m ago•0 comments

Don't Get in a Crash in a Cybercab

https://schwarztech.net/snippets/dont-get-in-a-crash-in-a-cybercab

2•speckx•9m ago•0 comments

Show HN: PromptSign – Sigstore signing and verification for AI instruction files

https://promptsign.ai/

1•sergey_v•10m ago•0 comments

The Magic Behind Cubacadabra

https://andrewarrow.dev/2026/moon/2/day/19/the-magic-behind-cubacadabra/

2•andrewfromx•11m ago•0 comments

AgentLaws – Govern Agents Through Prompts Organized Like Law

https://github.com/shrsv/AgentLaws

1•atomicnature•12m ago•0 comments

Show HN: Raiders at the Gate – tower defense web game

https://games.chrisbeach.co.uk/raiders-at-the-gate/

2•cbeach•17m ago•1 comments

In search of the hypothetical iPhone Duo buyer

https://manualdousuario.net/en/iphone-duo-who-buys-foldable-phones/

1•rpgbr•17m ago•0 comments

Show HN: Ecommerce Search comparisson across 5 independent engines, all public

https://github.com/quissly/search-benchmark

1•tazo-lezhava•18m ago•1 comments

Custom AMOLED Wearable Makes Great Icebreaker

https://www.scd31.com/posts/defcon-choker

1•SamuraiLion•20m ago•0 comments

What Happened at the White House That Marc Andreessen Says Sent Him to Trump

https://www.politico.com/news/magazine/2026/09/10/marc-andreessen-trump-biden-ai-opinion-01045516

6•mmayberry•20m ago•1 comments

Linus's Law

https://en.wikipedia.org/wiki/Linus%27s_law

1•gchamonlive•20m ago•1 comments

Study: A burst of "pink noise" may lead to more restorative sleep

https://news.mit.edu/2026/pink-noise-burst-may-mean-more-restorative-sleep-0909

2•giuliomagnifico•20m ago•0 comments

ChatGPT for Financial Services

https://openai.com/index/introducing-chatgpt-financial-services/

1•skogstokig•22m ago•1 comments

Life as a Terrorist: Uncovering my FBI file (2013)

https://harpers.org/archive/2013/09/life-as-a-terrorist/

4•cocacola1•22m ago•0 comments

Mischievous AIs

https://www.strangeintelligence.ai/mischievous-ais

2•randomparticlez•22m ago•0 comments

Study confirms permanent loss of Canada's last Arctic epishelf lake

https://news.ubc.ca/2026/09/study-confirms-permanent-loss-of-canadas-last-arctic-epishelf-lake/

2•rdmuser•26m ago•1 comments

Show HN: Biff 2.0 (Clojure web framework)

https://biffweb.com

2•jacobobryant•27m ago•0 comments

X-HBM – 16X more bandwidth or 10x higher density than traditional HBM (2025) [pdf]

https://neosemic.com/wp-content/uploads/2025/09/X-HBM_Brochure.pdf

1•peter_d_sherman•28m ago•0 comments

Oslo bans smart glasses in schools

https://www.thelocal.no/20260910/oslo-bans-smart-glasses-in-schools

3•vinni2•29m ago•0 comments

How do you keep up HN post with more than 2K comments?

1•pablogancharov•29m ago•3 comments

Open in hackernews

JEP 544: Ahead-of-Time Code Compilation

https://openjdk.org/jeps/544

8•Skinney•42m ago

Comments

java-man•27m ago

I hope at some point we'll get AOT-only mode (or compile to native) and maybe even cross-compilation.

invalidname•13m ago

We have that in Codename One, yes it's not really "Java" but it compiles bytecode AOT and cross compiles to some of the platforms.

cyberax•7m ago

Excelsior JET did that 25 years ago: https://en.wikipedia.org/wiki/Excelsior_JET

It's a shame that Sun/Oracle never partnered with them to bring native apps. This could have saved Java on the desktop.

patwolf•6m ago

IBM's J9 had AOT for a long time too. I wonder how JEP 544 compares.