LLMs.txt – Enhance Your Website for AI Engagement

1•OuterVale•1m ago•0 comments

Opencode – open-source alternative to Claude Code

2•leoff•6m ago•0 comments

I was turned back at the US border after a 12-hour interrogation

https://www.smh.com.au/world/north-america/i-was-turned-back-at-the-us-border-after-a-12-hour-interrogation-20250620-p5m90g.html

2•femto•7m ago•0 comments

Rumford Fireplace

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

1•vallassy•8m ago•0 comments

Threema – open-source end-to-end encrypted voice, video and group calls

https://threema.com/en

4•turrini•11m ago•0 comments

Creating this arc diagram of Line 2 morning peak trips

https://schoolofcities.github.io/transportation-tomorrow-survey/line-2-trips

1•debo_•13m ago•0 comments

The Matthew effect and early-career setbacks in research funding

https://rori.figshare.com/articles/preprint/The_i_Matthew_i_effect_and_early-career_setbacks_in_research_funding_-_a_replication_study_RoRI_Working_Paper_No_16_/29302004

1•rntn•14m ago•0 comments

The SAT's Trust Fall

https://jamesgmartin.center/2025/06/the-sats-trust-fall/

1•rahimnathwani•14m ago•0 comments

Nuclear Electric Propulsion: Promise and Persistent Bottlenecks

https://spaceambition.substack.com/p/nuclear-electric-propulsion

1•simonebrunozzi•15m ago•0 comments

Which IDEs do software engineers love, and why?

https://blog.pragmaticengineer.com/ide-that-software-engineers-love/

1•kt_sainicoder•16m ago•0 comments

Solar electricity every hour of every day is here and it changes everything

https://ember-energy.org/latest-insights/solar-electricity-every-hour-of-every-day-is-here-and-it-changes-everything/

1•ZeroGravitas•16m ago•0 comments

Opencode – AI coding agent, built for the terminal

https://github.com/sst/opencode

3•siegers•18m ago•1 comments

The ocean is changing colors, researchers say

https://abcnews.go.com/US/ocean-changing-colors-researchers-means/

3•geox•20m ago•1 comments

I built an AI-powered Layer 7 firewall that stopped a 5K-node botnet

https://github.com/JAVE-Ethical-Software/Jave-Defender-Public

2•Jave_Defender•21m ago•1 comments

Vocab Prep Substack

https://vocabprep.substack.com/

1•bchhabra2490•21m ago•0 comments

Show HN: Open-source AI tool for Reddit lead generation

https://github.com/Mohamedsaleh14/Reddit_Scrapper

1•saleh_•22m ago•0 comments

Bad Cyclists Being Bad

https://www.theguardian.com/news/2025/jun/21/chaos-in-clapham-a-visit-to-the-most-dangerous-cycle-spot-in-great-britain

1•zabzonk•23m ago•1 comments

Microsoft suspended the email account of an ICC prosecutor at The Hague

https://www.nytimes.com/2025/06/20/technology/us-tech-europe-microsoft-trump-icc.html

4•blinding-streak•25m ago•0 comments

Install the 'desktop' version of Chrome for Android and use Chrome extensions

https://www.androidauthority.com/try-new-chrome-for-android-with-extensions-3569268/

2•xnx•26m ago•1 comments

Show HN: Amsflow Global Stock Screener – 550 metrics and AI-driven queries

https://amsflow.com/stock-finder

1•xdkershu•27m ago•0 comments

Why Computational Reproducibility Matters

https://blog.khinsen.net/posts/2025/06/20/computational-reproducibility.html

2•todsacerdoti•28m ago•0 comments

Apple study challenges whether AI models "reason" through problems

https://arstechnica.com/ai/2025/06/new-apple-study-challenges-whether-ai-models-truly-reason-through-problems/

1•Bluestein•31m ago•0 comments

NHS plans to DNA test all babies to assess disease risk

https://www.bbc.co.uk/news/articles/c1ljg7v0vmpo

3•tonyedgecombe•33m ago•0 comments

Death of Computer Languages, the Birth of Intentional Programming (1995) [pdf]

http://viega.org/cs6373/papers/ip.pdf

1•kristianp•37m ago•1 comments

European Commission: Software, Including Games and Apps, in Scope of GPSR

https://www.cooley.com/news/insight/2024/2024-11-27-european-commission-stand-alone-software-including-games-and-apps-in-scope-of-gpsr-as-of-december-13-2024

2•amichail•42m ago•0 comments

Knock Knock App

https://knockknockapp.ai/

1•Omarhyatt•43m ago•1 comments

Canva Is Down at the Moment

https://www.canvastatus.com

2•taubek•44m ago•1 comments

The silver bullet for solving problems in business

1•daniilkhanin•45m ago•2 comments

Work on Branson's island. My day: 9-to-5 or partying with guests until 4 a.m

https://www.businessinsider.com/work-and-live-richard-bransons-necker-island-2025-6

1•Bluestein•49m ago•0 comments

Dependent types at work in Agda [pdf]

https://www.cse.chalmers.se/~peterd/papers/DependentTypesAtWork.pdf

1•fanf2•50m ago•0 comments

LLMs.txt – Enhance Your Website for AI Engagement

Opencode – open-source alternative to Claude Code

I was turned back at the US border after a 12-hour interrogation

Rumford Fireplace

Threema – open-source end-to-end encrypted voice, video and group calls

Creating this arc diagram of Line 2 morning peak trips

The Matthew effect and early-career setbacks in research funding

The SAT's Trust Fall

Nuclear Electric Propulsion: Promise and Persistent Bottlenecks

Which IDEs do software engineers love, and why?

Solar electricity every hour of every day is here and it changes everything

Opencode – AI coding agent, built for the terminal

The ocean is changing colors, researchers say

I built an AI-powered Layer 7 firewall that stopped a 5K-node botnet

Vocab Prep Substack

Show HN: Open-source AI tool for Reddit lead generation

Bad Cyclists Being Bad

Microsoft suspended the email account of an ICC prosecutor at The Hague

Install the 'desktop' version of Chrome for Android and use Chrome extensions

Show HN: Amsflow Global Stock Screener – 550 metrics and AI-driven queries

Why Computational Reproducibility Matters

Apple study challenges whether AI models "reason" through problems

NHS plans to DNA test all babies to assess disease risk

Death of Computer Languages, the Birth of Intentional Programming (1995) [pdf]

European Commission: Software, Including Games and Apps, in Scope of GPSR

Knock Knock App

Canva Is Down at the Moment

The silver bullet for solving problems in business

Work on Branson's island. My day: 9-to-5 or partying with guests until 4 a.m

Dependent types at work in Agda [pdf]

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

LLMs.txt – Enhance Your Website for AI Engagement

Opencode – open-source alternative to Claude Code

I was turned back at the US border after a 12-hour interrogation

Rumford Fireplace

Threema – open-source end-to-end encrypted voice, video and group calls

Creating this arc diagram of Line 2 morning peak trips

The Matthew effect and early-career setbacks in research funding

The SAT's Trust Fall

Nuclear Electric Propulsion: Promise and Persistent Bottlenecks

Which IDEs do software engineers love, and why?

Solar electricity every hour of every day is here and it changes everything

Opencode – AI coding agent, built for the terminal

The ocean is changing colors, researchers say

I built an AI-powered Layer 7 firewall that stopped a 5K-node botnet

Vocab Prep Substack

Show HN: Open-source AI tool for Reddit lead generation

Bad Cyclists Being Bad

Microsoft suspended the email account of an ICC prosecutor at The Hague

Install the 'desktop' version of Chrome for Android and use Chrome extensions

Show HN: Amsflow Global Stock Screener – 550 metrics and AI-driven queries

Why Computational Reproducibility Matters

Apple study challenges whether AI models "reason" through problems

NHS plans to DNA test all babies to assess disease risk

Death of Computer Languages, the Birth of Intentional Programming (1995) [pdf]

European Commission: Software, Including Games and Apps, in Scope of GPSR

Knock Knock App

Canva Is Down at the Moment

The silver bullet for solving problems in business

Work on Branson's island. My day: 9-to-5 or partying with guests until 4 a.m

Dependent types at work in Agda [pdf]