fp.

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers

https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1003&context=eecs_theses

1•dolia•46s ago•0 comments

Memory safety CVEs differ between Rust and C/C++

https://kobzol.github.io/rust/2026/06/15/how-memory-safety-cves-differ-between-rust-and-c-cpp.html

1•nicoburns•1m ago•0 comments

I Talked to a Squirrel Today

https://www.guidavid.com/writing/i-talked-to-a-squirrel-today

1•gdss•3m ago•0 comments

Over half of parents of 18-25 year-olds track adult children w smartphone apps

https://www.npr.org/2026/06/15/nx-s1-5854613/tracking-smartphone-kids-parents-adults

1•bookofjoe•3m ago•0 comments

To study how chips work, MIT researchers built their own operating system

https://news.mit.edu/2026/to-study-how-chips-really-work-mit-researchers-built-their-own-operatin...

1•speckx•6m ago•0 comments

Can Ukraine Isolate Crimea?

https://phillipspobrien.substack.com/p/weekend-update-189-can-ukraine-isolate

1•JumpCrisscross•6m ago•0 comments

Tell HN: The bloatification of SpaceX stock has started

2•mandeepj•6m ago•1 comments

Show HN: We polled 2,122 Americans on AI and regulation, and built a visualizer

https://futurerealities.org/poll/2026/

1•appleslicemusic•7m ago•0 comments

"They screwed us": Personality clashes sent Anthropic's models offline

https://simonwillison.net/2026/Jun/15/axios-clashes-anthropics/

1•lumpa•7m ago•0 comments

Chebyshev Polynomials and Their Derivatives in C

https://leetarxiv.substack.com/p/chebyshev-polynomials-are-ferraris

1•theanonymousone•7m ago•0 comments

Boot Naked Linux

https://nick.zoic.org/art/boot-naked-linux/

3•abnercoimbre•9m ago•0 comments

HTTPS: //webhook.site live testing of web hooks

https://webhook.site

2•janandonly•10m ago•0 comments

AI Slop Has Taken over LinkedIn

https://keegan.codes/blog/a-slop-has-taken-over-linkedin

2•mooreds•11m ago•0 comments

Show HN: machine0 – Persistent NixOS VMs You Control from the CLI

https://machine0.io

2•bwm•11m ago•0 comments

GPT-5 Nano Vulnerability test results you should know before deploying

https://lateos.ai/llm-research/gpt5-nano/

2•lateos-ai•11m ago•0 comments

Show HN: An interactive Snake circuit you can take apart, no CPU

https://simten.dev/blog/snake-in-hardware

2•charlesfrisbee•11m ago•0 comments

Why Dragon Quest Has Always Been More Popular in Japan (2023)

https://www.denofgeek.com/games/dragon-quest-popularity-japan-explained/

2•mooreds•11m ago•0 comments

Verifiable Execution: Proving How Work Happened in Workflows and Agents

https://www.cncf.io/blog/2026/06/11/introducing-verifiable-execution-in-dapr-1-18/

2•yaronsc•12m ago•0 comments

Ficus Elastica

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

2•mooreds•12m ago•0 comments

"I reverse engineered Verizon's VoWiFi and called from a laptop modem"

https://twitter.com/AliceInDisarray/status/2066417720292163960

3•ent101•12m ago•0 comments

Linux 7.0 Adds Support for BPF Filtering to IO_uring

https://www.phoronix.com/news/Linux-7.0-IO-uring-BPF-Filter

2•teleforce•13m ago•0 comments

Code a Database in 45 Steps

https://trialofcode.org/database/

2•firephox•16m ago•0 comments

AI GPUs probably live longer than three years

https://www.seangoedecke.com/ai-gpus-live-longer-than-three-years/

1•Brajeshwar•17m ago•0 comments

UK unveils social media ban for users under 16

https://techcrunch.com/2026/06/15/uk-unveils-sweeping-social-media-ban-for-users-under-16/

1•SilverElfin•20m ago•1 comments

Show HN: We put voice agent on our website, learned retrieval isn't bottleneck

https://www.moss.dev/blog/founding-agent

5•srimalireddi•20m ago•0 comments

Large Text Compression Benchmark

https://www.mattmahoney.net/dc/text.html

2•nathan-barry•21m ago•1 comments

Locus Founder from Locus (YC F25)

https://locusfounder.com/

2•wezabis•21m ago•0 comments

Britain Announces Social Media Ban for Children

https://www.nytimes.com/2026/06/15/world/europe/uk-social-media-children.html

1•1vuio0pswjnm7•21m ago•0 comments

AI Won't Fix a Company That Can't Ship

https://agileproductdevelopment.substack.com/p/ai-wont-fix-a-company-that-cant-ship

1•speckx•21m ago•0 comments

The Bright Side of ADHD: Dr. Ned Hallowell on Embracing and Succeeding with Add

https://additudemag.libsyn.com/the-bright-side-of-adhd-dr-ned-hallowell-on-embracing-and-succeedi...

1•yablak•22m ago•0 comments

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers

Memory safety CVEs differ between Rust and C/C++

I Talked to a Squirrel Today

Over half of parents of 18-25 year-olds track adult children w smartphone apps

To study how chips work, MIT researchers built their own operating system

Can Ukraine Isolate Crimea?

Tell HN: The bloatification of SpaceX stock has started

Show HN: We polled 2,122 Americans on AI and regulation, and built a visualizer

"They screwed us": Personality clashes sent Anthropic's models offline

Chebyshev Polynomials and Their Derivatives in C

Boot Naked Linux

HTTPS: //webhook.site live testing of web hooks

AI Slop Has Taken over LinkedIn

Show HN: machine0 – Persistent NixOS VMs You Control from the CLI

GPT-5 Nano Vulnerability test results you should know before deploying

Show HN: An interactive Snake circuit you can take apart, no CPU

Why Dragon Quest Has Always Been More Popular in Japan (2023)

Verifiable Execution: Proving How Work Happened in Workflows and Agents

Ficus Elastica

"I reverse engineered Verizon's VoWiFi and called from a laptop modem"

Linux 7.0 Adds Support for BPF Filtering to IO_uring

Code a Database in 45 Steps

AI GPUs probably live longer than three years

UK unveils social media ban for users under 16

Show HN: We put voice agent on our website, learned retrieval isn't bottleneck

Large Text Compression Benchmark

Locus Founder from Locus (YC F25)

Britain Announces Social Media Ban for Children

AI Won't Fix a Company That Can't Ship

The Bright Side of ADHD: Dr. Ned Hallowell on Embracing and Succeeding with Add

I built a private ChatGPT for my family

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers

Memory safety CVEs differ between Rust and C/C++

I Talked to a Squirrel Today

Over half of parents of 18-25 year-olds track adult children w smartphone apps

To study how chips work, MIT researchers built their own operating system

Can Ukraine Isolate Crimea?

Tell HN: The bloatification of SpaceX stock has started

Show HN: We polled 2,122 Americans on AI and regulation, and built a visualizer

"They screwed us": Personality clashes sent Anthropic's models offline

Chebyshev Polynomials and Their Derivatives in C

Boot Naked Linux

HTTPS: //webhook.site live testing of web hooks

AI Slop Has Taken over LinkedIn

Show HN: machine0 – Persistent NixOS VMs You Control from the CLI

GPT-5 Nano Vulnerability test results you should know before deploying

Show HN: An interactive Snake circuit you can take apart, no CPU

Why Dragon Quest Has Always Been More Popular in Japan (2023)

Verifiable Execution: Proving How Work Happened in Workflows and Agents

Ficus Elastica

"I reverse engineered Verizon's VoWiFi and called from a laptop modem"

Linux 7.0 Adds Support for BPF Filtering to IO_uring

Code a Database in 45 Steps

AI GPUs probably live longer than three years

UK unveils social media ban for users under 16

Show HN: We put voice agent on our website, learned retrieval isn't bottleneck

Large Text Compression Benchmark

Locus Founder from Locus (YC F25)

Britain Announces Social Media Ban for Children

AI Won't Fix a Company That Can't Ship

The Bright Side of ADHD: Dr. Ned Hallowell on Embracing and Succeeding with Add