fp.

Enabling two settings tripled our scores on the ARC-AGI-3 benchmark

https://openai.com/index/how-two-settings-tripled-our-arc-agi-3-scores/

1•tedsanders•1m ago•0 comments

Kyverno Policies to Secure Your Kubernetes Cluster

https://medium.com/@devarshidev/5-kyverno-policies-to-secure-your-kubernetes-cluster-9fdbf971b7b2

1•devarshishimpi•2m ago•0 comments

Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC)

https://archive.org/details/mancomputerbyjoh0000john

2•MilnerRoute•5m ago•0 comments

Why Rocq is better than Lean for program verification

https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html

1•birdculture•8m ago•0 comments

LLM Honeypot

https://llm2human.pages.dev/

2•8thom•8m ago•1 comments

Swift on Windows: A Year of Refinement

https://speakinginswift.substack.com/p/swift-on-windows-a-year-of-refinement

1•wrxd•12m ago•0 comments

CherryTree Note Taker App

https://www.giuspen.net/cherrytree/

1•theMezz•12m ago•1 comments

Show HN: An AI Color Grader – Pico

https://www.perbhat.com/pico

1•perbhat•16m ago•0 comments

Microsoft keeps capex unchanged, the only datacenter giants to hold AI spending

https://www.businessinsider.com/microsoft-ai-capex-unchanged-data-centers-spending-tech-giants-20...

3•mapping365•16m ago•1 comments

Rogue OpenAI agent that hacked startup tried to attack other firms

https://www.theguardian.com/technology/2026/jul/29/rogue-openai-agent-that-hacked-startup-tried-t...

6•jethronethro•16m ago•0 comments

How HN: Vetted Startup – discover, buy, and sell startups with verified revenue

https://vettedstartup.com/

1•mattdarren•17m ago•0 comments

Chip stocks shed more than $1T as selloff hits AI companies

https://www.cnbc.com/2026/07/29/chip-selloff-sk-hynix-samsung-softbank.html

3•yogthos•17m ago•0 comments

Why agentic systems need ontologies [video]

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

2•juanre•19m ago•0 comments

Arizona's Declining Groundwater

https://science.nasa.gov/earth/earth-observatory/arizonas-declining-groundwater-154567/

3•littlexsparkee•19m ago•0 comments

TrustZone Intermezzo: Broken OP-Tee Memory Isolation on I.mx 8M

https://sigma-star.at/blog/2026/06/trustzone-intermezzo/

1•lengfeld•24m ago•0 comments

PyTorch Tutorial for Deep Learning

https://blog.jetbrains.com/pycharm/2026/07/pytorch-tutorial-for-deep-learning/

1•smokeeaasd•26m ago•0 comments

Copilot code review: Agent skills and MCP now generally available

https://github.blog/changelog/2026-07-29-copilot-code-review-agent-skills-and-mcp-now-generally-a...

1•smokeeaasd•28m ago•0 comments

More than 12M eye drops recalled contamination could harm vision

https://www.dailymail.com/health/article-16014229/rohto-eyedrops-recall-fda-sterility.html

3•Bender•30m ago•0 comments

Three Virtues by Larry Wall

https://thethreevirtues.com/

3•gregsadetsky•32m ago•0 comments

GitHub is the wrong shape for this new world

https://depot.dev/blog/github-is-the-wrong-shape-for-this-new-world

6•emschwartz•32m ago•0 comments

Show HN: Always on visual context for your agents

https://useglass.up.railway.app/#

2•quantbagel•33m ago•0 comments

It was surprisingly hard to break CloudNativePG replication

https://coroot.com/blog/fencing-a-cnpg-replica/

2•valyala•34m ago•0 comments

Vector AI Agent

https://routinehub.co/shortcut/24957/

2•morriszdweck•34m ago•0 comments

The task is not the job

https://www.siliconcontinent.com/p/why-desk-jobs-survive-and-amodei

2•adletbalzhanov•37m ago•2 comments

Show HN: I built a Chrome extension so Claude can close my 300 tabs

https://chromewebstore.google.com/detail/tab-genie/cjbnpcocgkomljkgfhgadolphbeicddh

3•adam_carrigan•37m ago•0 comments

Ask HN: Is everybody's Claude weekly quota reset time the same?

1•0gs•39m ago•0 comments

Òrbites – el puzzle de les constel·lacions

https://orbites.cat/

1•sabatesduran•39m ago•0 comments

Microsoft Struggling with AI-Discovered Security Bugs

https://www.propublica.org/article/anthropic-mythos-microsoft-software-vulnerabilities

5•donohoe•41m ago•0 comments

AgentSwarms – self-hostable agentic AI/BI platform with sandboxed Python (ELv2)

Enabling two settings tripled our scores on the ARC-AGI-3 benchmark

Kyverno Policies to Secure Your Kubernetes Cluster

Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC)

Why Rocq is better than Lean for program verification

LLM Honeypot

Swift on Windows: A Year of Refinement

CherryTree Note Taker App

Show HN: An AI Color Grader – Pico

Microsoft keeps capex unchanged, the only datacenter giants to hold AI spending

Rogue OpenAI agent that hacked startup tried to attack other firms

How HN: Vetted Startup – discover, buy, and sell startups with verified revenue

Chip stocks shed more than $1T as selloff hits AI companies

Why agentic systems need ontologies [video]

Arizona's Declining Groundwater

TrustZone Intermezzo: Broken OP-Tee Memory Isolation on I.mx 8M

PyTorch Tutorial for Deep Learning

Copilot code review: Agent skills and MCP now generally available

More than 12M eye drops recalled contamination could harm vision

Three Virtues by Larry Wall

GitHub is the wrong shape for this new world

Show HN: Always on visual context for your agents

It was surprisingly hard to break CloudNativePG replication

Vector AI Agent

The task is not the job

Show HN: I built a Chrome extension so Claude can close my 300 tabs

Ask HN: Is everybody's Claude weekly quota reset time the same?

Òrbites – el puzzle de les constel·lacions

Microsoft Struggling with AI-Discovered Security Bugs

AgentSwarms – self-hostable agentic AI/BI platform with sandboxed Python (ELv2)

The Hunt for the Counterfeiter Trying to Make the Perfect Bill

AgentSwarms – self-hostable agentic AI/BI platform with sandboxed Python (ELv2)

Enabling two settings tripled our scores on the ARC-AGI-3 benchmark

Kyverno Policies to Secure Your Kubernetes Cluster

Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC)

Why Rocq is better than Lean for program verification

LLM Honeypot

Swift on Windows: A Year of Refinement

CherryTree Note Taker App

Show HN: An AI Color Grader – Pico

Microsoft keeps capex unchanged, the only datacenter giants to hold AI spending

Rogue OpenAI agent that hacked startup tried to attack other firms

How HN: Vetted Startup – discover, buy, and sell startups with verified revenue

Chip stocks shed more than $1T as selloff hits AI companies

Why agentic systems need ontologies [video]

Arizona's Declining Groundwater

TrustZone Intermezzo: Broken OP-Tee Memory Isolation on I.mx 8M

PyTorch Tutorial for Deep Learning

Copilot code review: Agent skills and MCP now generally available

More than 12M eye drops recalled contamination could harm vision

Three Virtues by Larry Wall

GitHub is the wrong shape for this new world

Show HN: Always on visual context for your agents

It was surprisingly hard to break CloudNativePG replication

Vector AI Agent

The task is not the job

Show HN: I built a Chrome extension so Claude can close my 300 tabs

Ask HN: Is everybody's Claude weekly quota reset time the same?

Òrbites – el puzzle de les constel·lacions

Microsoft Struggling with AI-Discovered Security Bugs

AgentSwarms – self-hostable agentic AI/BI platform with sandboxed Python (ELv2)

The Hunt for the Counterfeiter Trying to Make the Perfect Bill