fp.

Show HN: NumUp – A Daily Math Puzzle

https://vasanth.fun/numup/

1•vasanthv•37s ago•0 comments

A Vision for a Rust Formal Specification

https://nadrieril.github.io/blog/2026/06/16/formal-spec-vision.html

1•emschwartz•53s ago•0 comments

The Pokémon Trading Card Game AI Battle Challenge

https://ptcg-abc.pokemon.co.jp/

1•esnard•1m ago•0 comments

Show HN: Memento – Self-hosted agentic search and LLM wiki over your email

2•georgeck•3m ago•0 comments

Show HN: Dino – An AI coding agent that keeps you in the loop

https://smartdino.dev

1•ylian•3m ago•0 comments

The European Commission is turning Google Search into a national-security risk

https://techletters.substack.com/p/the-european-commission-is-turning

1•miohtama•3m ago•0 comments

Snyk VulnBench JavaScript 1.0: Can LLMs Find the Same Bugs Twice?

https://arxiv.org/abs/2606.15762

1•ilreb•6m ago•0 comments

Fake Viral Guitarists Strike Again

https://www.youtube.com/watch?v=-Eik8uBvdxY

1•root-parent•8m ago•0 comments

Hackers Publish Knicks and Madison Square Garden Data Online

https://www.404media.co/hackers-publish-knicks-and-madison-square-garden-data-online/

2•Cider9986•8m ago•1 comments

Biff.fx: lightweight effects system for Clojure

https://biffweb.com/p/fx/

1•jacobobryant•8m ago•0 comments

Yes, we still need engineers

https://mattsayar.com/yes-we-still-need-engineers/

2•MattSayar•8m ago•0 comments

Ask HN: What do you think about blockchain's current trajectory

3•mobear•9m ago•0 comments

Google's Training Supercomputers from TPU v2 to Ironwood: Five Generations

https://arxiv.org/abs/2606.15870

1•matt_d•10m ago•0 comments

Can LLM Agents Infer World Models? Evidence from Agentic Automata Learning

https://arxiv.org/abs/2606.16576

1•Anon84•10m ago•0 comments

Apache Fory Serialization 1.2.0: JDK 25 support without sun.misc.Unsafe

https://github.com/apache/fory/releases/tag/v1.2.0

1•chaokunyang•11m ago•1 comments

Earth's underground fungal network would span 10% of the Milky Way

https://www.livescience.com/planet-earth/plants/earths-underground-fungal-network-is-so-massive-i...

2•gmays•12m ago•0 comments

Qwen-RobotWorld Technical Report

https://arxiv.org/abs/2606.17030

1•ilreb•13m ago•0 comments

JoyAI-VL-Interaction: Real-Time Vision-Language Interaction Intelligence

https://arxiv.org/abs/2606.14777

1•ilreb•13m ago•0 comments

Making ast.walk 220x Faster

https://reflex.dev/blog/why-ast-walk-when-you-can-ast-sprint/

7•palashawas•14m ago•0 comments

A Short Explanation of the Zettelkasten Method

https://isgin01.github.io/posts/explanation-of-zettelkasten/

1•pullshark91•14m ago•0 comments

Robinhood to cut 10% of workforce in restructuring

https://www.reuters.com/sustainability/robinhood-cut-10-its-full-time-workforce-2026-06-16/

2•indiesense•14m ago•0 comments

The ongoing debacle of hiring a fake coworker

1•blinkbat•14m ago•0 comments

Uncritical use of AI causes countrywide scandal at Starbucks Korea

https://www.theguardian.com/world/2026/jun/16/starbucks-korea-shut-all-stores-tank-day-promotionB...

2•Blackthorn•15m ago•0 comments

Agent Architecture Is a Compute Allocation Problem: The Advisor Strategy

https://harrisonsec.com/blog/agent-architecture-compute-allocation-advisor-strategy/

1•gzxharrison001•16m ago•0 comments

How we evaluate our LLM judge

https://build.forus.com/how-we-evaluate-our-llm-judge-a-perturbation-based-approach

2•abeinstein•17m ago•0 comments

Can gzip be a language model?

https://nathan.rs/posts/gzip-lm/

3•nathan-barry•18m ago•1 comments

The Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning

https://arxiv.org/abs/2606.16118

1•root-parent•19m ago•0 comments

The AI Hype – Too Costly – Alternative Rock, Original Lyrics [Video]

https://www.youtube.com/watch?v=jwfuNk2cRDc

2•NedCode•20m ago•0 comments

The Same Hetzner VM Cost $60 Last Week. Today It Costs $154

https://webbynode.com/articles/same-hetzner-vm-cost-60-last-week-today-hetzner-offers-it-at-154

2•gsgreen•20m ago•3 comments

Python 3.13 gets a JIT (2024)

https://tonybaloney.github.io/posts/python-gets-a-jit.html

1•tosh•21m ago•0 comments

Show HN: NumUp – A Daily Math Puzzle

A Vision for a Rust Formal Specification

The Pokémon Trading Card Game AI Battle Challenge

Show HN: Memento – Self-hosted agentic search and LLM wiki over your email

Show HN: Dino – An AI coding agent that keeps you in the loop

The European Commission is turning Google Search into a national-security risk

Snyk VulnBench JavaScript 1.0: Can LLMs Find the Same Bugs Twice?

Fake Viral Guitarists Strike Again

Hackers Publish Knicks and Madison Square Garden Data Online

Biff.fx: lightweight effects system for Clojure

Yes, we still need engineers

Ask HN: What do you think about blockchain's current trajectory

Google's Training Supercomputers from TPU v2 to Ironwood: Five Generations

Can LLM Agents Infer World Models? Evidence from Agentic Automata Learning

Apache Fory Serialization 1.2.0: JDK 25 support without sun.misc.Unsafe

Earth's underground fungal network would span 10% of the Milky Way

Qwen-RobotWorld Technical Report

JoyAI-VL-Interaction: Real-Time Vision-Language Interaction Intelligence

Making ast.walk 220x Faster

A Short Explanation of the Zettelkasten Method

Robinhood to cut 10% of workforce in restructuring

The ongoing debacle of hiring a fake coworker

Uncritical use of AI causes countrywide scandal at Starbucks Korea

Agent Architecture Is a Compute Allocation Problem: The Advisor Strategy

How we evaluate our LLM judge

Can gzip be a language model?

The Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning

The AI Hype – Too Costly – Alternative Rock, Original Lyrics [Video]

The Same Hetzner VM Cost $60 Last Week. Today It Costs $154

Python 3.13 gets a JIT (2024)

Satellites in Real Time

Show HN: NumUp – A Daily Math Puzzle

A Vision for a Rust Formal Specification

The Pokémon Trading Card Game AI Battle Challenge

Show HN: Memento – Self-hosted agentic search and LLM wiki over your email

Show HN: Dino – An AI coding agent that keeps you in the loop

The European Commission is turning Google Search into a national-security risk

Snyk VulnBench JavaScript 1.0: Can LLMs Find the Same Bugs Twice?

Fake Viral Guitarists Strike Again

Hackers Publish Knicks and Madison Square Garden Data Online

Biff.fx: lightweight effects system for Clojure

Yes, we still need engineers

Ask HN: What do you think about blockchain's current trajectory

Google's Training Supercomputers from TPU v2 to Ironwood: Five Generations

Can LLM Agents Infer World Models? Evidence from Agentic Automata Learning

Apache Fory Serialization 1.2.0: JDK 25 support without sun.misc.Unsafe

Earth's underground fungal network would span 10% of the Milky Way

Qwen-RobotWorld Technical Report

JoyAI-VL-Interaction: Real-Time Vision-Language Interaction Intelligence

Making ast.walk 220x Faster

A Short Explanation of the Zettelkasten Method

Robinhood to cut 10% of workforce in restructuring

The ongoing debacle of hiring a fake coworker

Uncritical use of AI causes countrywide scandal at Starbucks Korea

Agent Architecture Is a Compute Allocation Problem: The Advisor Strategy

How we evaluate our LLM judge

Can gzip be a language model?

The Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning

The AI Hype – Too Costly – Alternative Rock, Original Lyrics [Video]

The Same Hetzner VM Cost $60 Last Week. Today It Costs $154

Python 3.13 gets a JIT (2024)