fp.

Dependent Haskell – Vladislav Zavialov

https://www.typetheoryforall.com/episodes/dependent-haskell

1•alexandersechin•49s ago•1 comments

The Mote in AI's Eye: software engineering with agents

https://musicallyut.xyz/

1•musically_ut•1m ago•0 comments

It doesn't matter if it works

https://henry.codes/writing/it-doesnt-matter-if-it-works/

1•tobr•3m ago•0 comments

Fallow – Deterministic codebase intelligence for TypeScript and JavaScript

https://github.com/fallow-rs/fallow

1•modinfo•6m ago•0 comments

From Australia to Europe, countries move to curb children's social media access

https://www.reuters.com/legal/government/australia-europe-countries-move-curb-childrens-social-me...

2•geox•6m ago•0 comments

Five Papers That Show Where AI Research Is Heading

https://www.youtube.com/watch?v=3rWSvrFahIY

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

Show HN: Memorypad – A note editor for your daily notes, in Markdown

https://memorypad.io/

1•Malfunction92•9m ago•0 comments

The Third Generation of Apple's Foundation Models

https://machinelearning.apple.com/research/introducing-third-generation-of-apple-foundation-models

1•fragebogen•11m ago•0 comments

Tuningfork – LLM agent grounding rules derived from human reality-testing

https://github.com/T-Chartrand/tuningfork

1•T-Chartrand•11m ago•0 comments

The agent principal-agent problem

https://crawshaw.io/blog/agent-principal-agent

1•tosh•15m ago•0 comments

Lamport Signature

https://en.wikipedia.org/wiki/Lamport_signature

1•teleforce•18m ago•0 comments

The Hanging Gardens Problem (2024)

https://ar-ms.me/thoughts/the-hanging-gardens-problem/

1•tosh•19m ago•0 comments

Rails: The Sharp Parts. Callbacks Are Not Invariants

https://baweaver.com/writing/2026/06/13/rails-sharp-parts-callbacks-are-not-invariants/

1•doppp•19m ago•0 comments

Rails: The Sharp Parts. Queries, Read Models, and Batching

https://baweaver.com/writing/2026/06/14/rails-sharp-parts-queries-read-models-and-batching/

1•doppp•19m ago•0 comments

Summary of Key Changes in OMB's Proposed Federal Financial Assistance Rule

https://elizabethginexi.substack.com/p/summary-of-key-changes-in-ombs-proposed

1•Anon84•19m ago•0 comments

Show HN: CLI for crawling documentation sites into Markdown with defuddle

https://github.com/artemnistuley/docrawl

1•nistuley•22m ago•0 comments

Cyber leaders defend Anthropic's banned model

https://www.axios.com/2026/06/15/anthropic-fable-security-leaders-trump-admin

1•giuliomagnifico•23m ago•0 comments

Batta – plan-phase security reviews for AI coding agents (OSS)

https://github.com/Dolevco/batta-ai

1•dolevco1•23m ago•0 comments

IT Wage Slave Simulator

https://knowledgeworker.alexmeub.com/

1•ed_mercer•25m ago•0 comments

The Anthropic Fable Mess

https://www.cautiousoptimism.news/the-anthropic-fable-mess-explained/

1•handoflixue•27m ago•0 comments

How to pass Series A security due diligence (before it catches you off guard)

https://faultlinesec.com

2•albernaz•28m ago•0 comments

"is just a state change" [video]

https://www.youtube.com/shorts/Wl2bFXEDdJ0

1•modinfo•28m ago•0 comments

Is Vibe Coding Dead? Even Karpathy Is Moving On

https://www.forbes.com/sites/jodiecook/2026/06/12/is-vibe-coding-already-dead-even-karpathy-is-mo...

3•indigodaddy•35m ago•0 comments

SvGrid – A Svelte 5 data grid with a headless core and an MCP server

https://svgrid.com/

1•boikom•36m ago•0 comments

SAT-Based Approaches for the General High School Timetabling Problem (2017) [pdf]

https://dbai.tuwien.ac.at/staff/musliu/emird.pdf

3•tosh•36m ago•0 comments

AI SQL Advisor integrated into a famous database tool

https://github.com/Wisser/Jailer

1•rwisser•40m ago•0 comments

Psilocybin Unlocks Lost Memories in an Alzheimer's Patient

https://neurosciencenews.com/psilocybin-memory-alzheimers-30084/

1•giuliomagnifico•41m ago•0 comments

Services by Lifecycle

https://www.michaelnygard.com/blog/2018/01/services-by-lifecycle/

1•alex_brajkovic•42m ago•0 comments

Anthropic's Safety Superpower

https://stratechery.com/2026/anthropics-safety-superpower/

5•swolpers•46m ago•0 comments

Ask HN: Why are Spec-kit specs like that

1•pretorian_paul•48m ago•0 comments

Dependent Haskell – Vladislav Zavialov

The Mote in AI's Eye: software engineering with agents

It doesn't matter if it works

Fallow – Deterministic codebase intelligence for TypeScript and JavaScript

From Australia to Europe, countries move to curb children's social media access

Five Papers That Show Where AI Research Is Heading

Show HN: Memorypad – A note editor for your daily notes, in Markdown

The Third Generation of Apple's Foundation Models

Tuningfork – LLM agent grounding rules derived from human reality-testing

The agent principal-agent problem

Lamport Signature

The Hanging Gardens Problem (2024)

Rails: The Sharp Parts. Callbacks Are Not Invariants

Rails: The Sharp Parts. Queries, Read Models, and Batching

Summary of Key Changes in OMB's Proposed Federal Financial Assistance Rule

Show HN: CLI for crawling documentation sites into Markdown with defuddle

Cyber leaders defend Anthropic's banned model

Batta – plan-phase security reviews for AI coding agents (OSS)

IT Wage Slave Simulator

The Anthropic Fable Mess

How to pass Series A security due diligence (before it catches you off guard)

"is just a state change" [video]

Is Vibe Coding Dead? Even Karpathy Is Moving On

SvGrid – A Svelte 5 data grid with a headless core and an MCP server

SAT-Based Approaches for the General High School Timetabling Problem (2017) [pdf]

AI SQL Advisor integrated into a famous database tool

Psilocybin Unlocks Lost Memories in an Alzheimer's Patient

Services by Lifecycle

Anthropic's Safety Superpower

Ask HN: Why are Spec-kit specs like that

Graphtatui: In terminal graph explorer made with ratatui

Dependent Haskell – Vladislav Zavialov

The Mote in AI's Eye: software engineering with agents

It doesn't matter if it works

Fallow – Deterministic codebase intelligence for TypeScript and JavaScript

From Australia to Europe, countries move to curb children's social media access

Five Papers That Show Where AI Research Is Heading

Show HN: Memorypad – A note editor for your daily notes, in Markdown

The Third Generation of Apple's Foundation Models

Tuningfork – LLM agent grounding rules derived from human reality-testing

The agent principal-agent problem

Lamport Signature

The Hanging Gardens Problem (2024)

Rails: The Sharp Parts. Callbacks Are Not Invariants

Rails: The Sharp Parts. Queries, Read Models, and Batching

Summary of Key Changes in OMB's Proposed Federal Financial Assistance Rule

Show HN: CLI for crawling documentation sites into Markdown with defuddle

Cyber leaders defend Anthropic's banned model

Batta – plan-phase security reviews for AI coding agents (OSS)

IT Wage Slave Simulator

The Anthropic Fable Mess

How to pass Series A security due diligence (before it catches you off guard)

"is just a state change" [video]

Is Vibe Coding Dead? Even Karpathy Is Moving On

SvGrid – A Svelte 5 data grid with a headless core and an MCP server

SAT-Based Approaches for the General High School Timetabling Problem (2017) [pdf]

AI SQL Advisor integrated into a famous database tool

Psilocybin Unlocks Lost Memories in an Alzheimer's Patient

Services by Lifecycle

Anthropic's Safety Superpower

Ask HN: Why are Spec-kit specs like that