frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Can a coding agent formally verify what real-world Rust code does, in Lean 4?

https://i5h.dev/benchmark/
2•syumei•1h ago

OpenID Foundation: Identity Management for Agentic AI [pdf]

https://openid.net/wp-content/uploads/2025/10/Identity-Management-for-Agentic-AI.pdf
1•cgeier•1m ago•1 comments

Figma restricts MCP access to whitelisted clients, excluding Pi

https://twitter.com/GayaniFigma/status/2105295629941350454
1•thdr•1m ago•0 comments

X from the Terminal

https://twitter.com/marcusforpeace/status/2105577729005678671
1•marcusae313•2m ago•0 comments

The Extraordinary Case of the Guevedoces

https://www.bbc.com/news/magazine-34290981
1•gradus_ad•2m ago•0 comments

Agentic Front End Refactoring with QBDS, Claude Code, & Figma MCP

https://medium.com/quantumblack/what-changes-when-your-design-system-can-talk-to-an-ai-0a856b3c40d9
1•treyjur•3m ago•0 comments

Claude's Android App: Finding the Internal Settings

https://nima-ahmadi.github.io/posts/claude-android-internal-settings/
1•nimaamd•3m ago•0 comments

Reviving Valve's 15-year-old e-book

https://nikolan.net/posts/portal2/
1•speckx•3m ago•0 comments

46th Chess Olympiad

https://en.wikipedia.org/wiki/46th_Chess_Olympiad
1•tosh•4m ago•0 comments

Various Projects Find Hidden SDR Capabilities in ESP32 Microcontrollers

https://www.rtl-sdr.com/various-projects-independently-find-hidden-sdr-capabilities-in-esp32-micr...
1•nkw•4m ago•0 comments

Micron lawsuit claims Chinese memory maker YMTC poached its engineers, then

https://www.tomshardware.com/pc-components/ssds/micron-lawsuit-claims-chinese-memory-maker-ymtc-p...
1•sbulaev•5m ago•1 comments

Dinosaur-killing impact crater might have been teeming with life

https://arstechnica.com/science/2026/09/dinosaur-killing-impact-crater-might-have-been-teeming-wi...
1•Brajeshwar•5m ago•0 comments

Supercapacitor-based ionic diode: Mechanisms, materials, and emerging (2025)

https://www.sciencedirect.com/science/article/abs/pii/S0925838825057147
1•peter_d_sherman•6m ago•0 comments

Lambda 0.3 – a funcitonal lang with E2E doc pipeline

https://github.com/henry-luo/lambda
2•perpetua•6m ago•1 comments

How we built an async-aware Python profiler

https://www.datadoghq.com/blog/engineering/async-python-profiler/
1•eatonphil•7m ago•0 comments

A fifth of month-end Treasury trading now happens in one 10-minute window

https://libertystreeteconomics.newyorkfed.org/2026/09/treasury-trading-at-the-close/
1•latentframe•8m ago•0 comments

WM Keyboard: A highly configurable FOSS Android keyboard

https://github.com/wasi-master/wmkeyboard
1•bro4t•8m ago•0 comments

Polyedergarten: Garden of Paper Polyhedron Models

https://www.polyedergarten.de/e_index.htm
3•isaacimagine•9m ago•0 comments

Ask HN: Freelancer? Seeking freelancer? (October 2026)

2•jon_north•9m ago•1 comments

Ask HN: Who is hiring? (October 2026)

6•whoishiring•10m ago•13 comments

Ask HN: Who wants to be hired? (October 2026)

9•whoishiring•10m ago•30 comments

Gaussian Splat Avatars for Realtime AI Agents

https://github.com/NavodPeiris/gsplat-talkinghead
1•NavodPeiris•10m ago•1 comments

The Work of Hong Wang

https://arxiv.org/abs/2609.40161
1•woopwoop•12m ago•0 comments

Hotpath Record an AI agent once, replay it as a deterministic workflow

https://github.com/mourad-baazi/hotpath
1•vonkey•12m ago•0 comments

Cloudflare AI Search is now generally available

https://blog.cloudflare.com/ai-search-ga/
1•fourfire•13m ago•0 comments

What Is an Enterprise MCP Gateway

https://www.speakeasy.com/resources/enterprise-mcp-gateway
1•ritzaco•13m ago•0 comments

RacketCon Is Saturday

https://con.racket-lang.org/
3•spdegabrielle•14m ago•1 comments

Award-winning microscopy image used AI

https://www.nature.com/articles/d41586-026-03086-z
1•rndsignals•15m ago•0 comments

My Python has more frontend than your JavaScript library

https://marimo.io/blog/introducing-marimo-studio
2•peter-gy•16m ago•0 comments

Supabase production DB down 12 hours, Urgent tickets unanswered

https://github.com/orgs/supabase/discussions/51135
1•jdanfossi•16m ago•0 comments

6 Banks Failed in 2026, the Most This Decade. What That Says About the Economy

https://www.disruptionbanking.com/2026/10/01/six-us-banks-failed-in-2026-the-most-in-a-decade-wha...
1•bmcdresson•16m ago•1 comments