Binding Application in Idris

https://andrevidela.com/blog/2025/binding-application/

1•matt_d•1m ago•0 comments

Retro-gaming YouTuber PatmanQC has died, aged 53

https://www.vanhoe.com/obituary/Patrick-Davis

1•shdon•1m ago•0 comments

Readeck

https://readeck.org/en/

3•billybuckwheat•3m ago•0 comments

The Return of the "Elderly" Pop Star

https://www.cantgetmuchhigher.com/p/why-are-pop-stars-getting-older

1•jnord•4m ago•0 comments

The simplest GenAI setup I've used actually worked

https://Lyzr.ai

1•kuoki•5m ago•0 comments

Don't Eat Honey

https://benthams.substack.com/p/dont-eat-honey

1•bookofjoe•7m ago•0 comments

Show HN: Context Compass – Track Claude chat token usage before hitting limit

https://chromewebstore.google.com/detail/context-compass-for-claud/fmbipbgbfoganenegfmkmlidljbfnkhf

1•raydawg88•9m ago•0 comments

San Francisco firm fined $215M for illegally using Russian oligarch funds

https://sfstandard.com/2025/06/13/russia-ukraine-sanctions-putin-venture-capital-peskin/

4•2OEH8eoCRo0•10m ago•0 comments

Musk Says Grok Chatbot Coming to Tesla Vehicles by Next Week

https://www.bloomberg.com/news/articles/2025-07-10/musk-says-grok-chatbot-is-coming-to-tesla-vehicles-by-next-week

1•JumpCrisscross•11m ago•2 comments

Light at the end of the tunnels: classic rail routes through the Alps reopen

https://www.theguardian.com/travel/2025/jul/10/classic-rail-routes-through-alps-reopen-austria-switzerland-italy

1•divbzero•12m ago•0 comments

First 74,369-gate circuit validated on IBM back end

https://twitter.com/CTibedo/status/1943409135090892865

1•GeometryKernel•14m ago•0 comments

Ask HN: Why isn't mobile phone service restricted to emergency numbers only?

1•amichail•18m ago•3 comments

Using Large Language Models to Infer Problematic Instagram Use

https://www.mdpi.com/2079-9292/14/13/2548

1•PaulHoule•20m ago•0 comments

Robinhood's Crypto Trading Promotions Probed by Florida AG

https://www.bloomberg.com/news/articles/2025-07-10/robinhood-s-crypto-trading-promotions-probed-by-florida-ag

2•Bluestein•22m ago•0 comments

Italy's Mosaic School

https://www.bbc.com/travel/article/20250707-inside-italys-secret-mosaic-school

1•andsoitis•27m ago•0 comments

A Doctor Said Israel's War Is Fueling Health Crises in Gaza. UCSF Fired Her

https://theintercept.com/2025/06/05/gaza-israel-san-francisco-ucsf-doctor-professor/

11•heavyset_go•28m ago•0 comments

Claude now connects with Canvas, Panopto, and Wiley for educational access

https://the-decoder.com/claude-now-connects-with-canvas-panopto-and-wiley-for-educational-access/

2•alwillis•28m ago•0 comments

Open Source Tools to Detect CVE-2024-54085

https://eclypsium.com/blog/eclypsium-releases-tools-for-detecting-ami-megarac-bmc-vulnerabilities/

1•cws•29m ago•0 comments

Show HN: Highlight Text to Send Directly into ChatGPT

https://chromewebstore.google.com/detail/chatgpt-search-use-on-any/ekamciedckbbigpojmkhbaoddfbdkphi

1•bluelegacy•31m ago•0 comments

Color Block Jam Level Guide

https://www.colorblockjamlevel.app/

1•cnych•35m ago•0 comments

Extending Self-Discharge Time of Dicke Quantum Batteries with Molecular Triplets

https://journals.aps.org/prxenergy/abstract/10.1103/bhyh-53np

1•gnabgib•36m ago•0 comments

Advice, like youth, probably just wasted on the young (1997)

https://www.chicagotribune.com/news/columnists/chi-schmich-sunscreen-column,0,4054576.column

1•GeoAtreides•37m ago•0 comments

Peter Jackson-backed biotech company sets its "de-extinction" sights on NZ Moa

https://www.houstonchronicle.com/news/houston-texas/trending/article/moa-colossal-biosciences-20764414.php

2•WorkerBee28474•38m ago•1 comments

Perlan Project

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

1•ZeljkoS•38m ago•0 comments

A model for IV&V that's useful

https://waldo.jaquith.org/blog/2025/04/a-model-for-ivv-thats-actually-useful/

1•gregsadetsky•38m ago•0 comments

Learning to Learn (In the Age of LLMs)

https://www.carette.xyz/posts/learning_to_learn/

2•LucidLynx•38m ago•0 comments

Rattleback

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

2•pingohits•40m ago•0 comments

Is Telecom the New Tequila?

https://www.fastcompany.com/91349907/why-smartless-podcast-is-launching-its-own-wireless-brand

2•mooreds•43m ago•0 comments

Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence

https://guptadeepak.com/beyond-cve-building-a-complete-vulnerability-intelligence-strategy/

1•guptadeepak•46m ago•1 comments

Linda Yaccarino Resigns as 'CEO' of X

https://twitter.com/lindayaX/status/1942957094811951197

1•Bogdanp•46m ago•2 comments

Binding Application in Idris

Retro-gaming YouTuber PatmanQC has died, aged 53

Readeck

The Return of the "Elderly" Pop Star

The simplest GenAI setup I've used actually worked

Don't Eat Honey

Show HN: Context Compass – Track Claude chat token usage before hitting limit

San Francisco firm fined $215M for illegally using Russian oligarch funds

Musk Says Grok Chatbot Coming to Tesla Vehicles by Next Week

Light at the end of the tunnels: classic rail routes through the Alps reopen

First 74,369-gate circuit validated on IBM back end

Ask HN: Why isn't mobile phone service restricted to emergency numbers only?

Using Large Language Models to Infer Problematic Instagram Use

Robinhood's Crypto Trading Promotions Probed by Florida AG

Italy's Mosaic School

A Doctor Said Israel's War Is Fueling Health Crises in Gaza. UCSF Fired Her

Claude now connects with Canvas, Panopto, and Wiley for educational access

Open Source Tools to Detect CVE-2024-54085

Show HN: Highlight Text to Send Directly into ChatGPT

Color Block Jam Level Guide

Extending Self-Discharge Time of Dicke Quantum Batteries with Molecular Triplets

Advice, like youth, probably just wasted on the young (1997)

Peter Jackson-backed biotech company sets its "de-extinction" sights on NZ Moa

Perlan Project

A model for IV&V that's useful

Learning to Learn (In the Age of LLMs)

Rattleback

Is Telecom the New Tequila?

Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence

Linda Yaccarino Resigns as 'CEO' of X

Tool strips away anti-AI protections from digital art

Binding Application in Idris

Retro-gaming YouTuber PatmanQC has died, aged 53

Readeck

The Return of the "Elderly" Pop Star

The simplest GenAI setup I've used actually worked

Don't Eat Honey

Show HN: Context Compass – Track Claude chat token usage before hitting limit

San Francisco firm fined $215M for illegally using Russian oligarch funds

Musk Says Grok Chatbot Coming to Tesla Vehicles by Next Week

Light at the end of the tunnels: classic rail routes through the Alps reopen

First 74,369-gate circuit validated on IBM back end

Ask HN: Why isn't mobile phone service restricted to emergency numbers only?

Using Large Language Models to Infer Problematic Instagram Use

Robinhood's Crypto Trading Promotions Probed by Florida AG

Italy's Mosaic School

A Doctor Said Israel's War Is Fueling Health Crises in Gaza. UCSF Fired Her

Claude now connects with Canvas, Panopto, and Wiley for educational access

Open Source Tools to Detect CVE-2024-54085

Show HN: Highlight Text to Send Directly into ChatGPT

Color Block Jam Level Guide

Extending Self-Discharge Time of Dicke Quantum Batteries with Molecular Triplets

Advice, like youth, probably just wasted on the young (1997)

Peter Jackson-backed biotech company sets its "de-extinction" sights on NZ Moa

Perlan Project

A model for IV&V that's useful

Learning to Learn (In the Age of LLMs)

Rattleback

Is Telecom the New Tequila?

Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence

Linda Yaccarino Resigns as 'CEO' of X