Logarithms of algebraic data types for property-based testing

https://dl.acm.org/doi/abs/10.1145/3498726

1•fanf2•1m ago•0 comments

Penn State boffins create silicon-free two-dimensional computer

https://www.theregister.com/2025/06/16/penn_state_boffins_2d_cmos/

1•moose44•4m ago•0 comments

How Do Olympiad Medalists Judge LLMs in Competitive Programming?

https://arxiv.org/abs/2506.11928

1•npalli•6m ago•1 comments

Levels.fyi's Over-the-Air Updates on Mobile App

https://www.levels.fyi/blog/over-the-air-updates.html

1•zuhayeer•7m ago•0 comments

phkmalloc Saga

https://phk.freebsd.dk/sagas/phkmalloc/

2•matt_d•8m ago•0 comments

Flashes of lucidity before death: The debate shaking up neuroscience

https://english.elpais.com/science-tech/2025-06-16/flashes-of-lucidity-before-death-the-debate-shaking-up-neuroscience.html

2•domofutu•9m ago•0 comments

Show HN: Zero-config AWS CUR → interactive cost dashboard (DuckDB and Rill)

2•adamkabak•9m ago•0 comments

Improving Continual Pre-Training Through Seamless Data Packing

https://arxiv.org/abs/2505.22018

1•PaulHoule•9m ago•0 comments

Show HN: Nexus.js - Fabric.js for 3D

https://punk.cam/lab/nexus

1•ges•10m ago•0 comments

FreeRDP 3.16 Released with Better SDL3 Client Support

https://www.phoronix.com/news/FreeRDP-3.16-Released

1•Bender•10m ago•0 comments

People who are 'allergic' to humans

https://www.bbc.com/future/article/20250613-the-people-who-are-allergic-to-humans

2•domofutu•11m ago•0 comments

Denmark tests unmanned robotic sailboat fleet

https://apnews.com/article/denmark-robot-sailboats-baltic-sea-bfa31c98cf7c93320115c0ad0e6908c5

1•domofutu•12m ago•0 comments

Cosmic Dawn: The Untold Story of the James Webb Space Telescope [video]

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

1•namanyayg•13m ago•0 comments

After eighteen years of infertility, an AI tool let a couple conceive

https://www.today.com/health/news/ai-fertility-technology-star-sperm-conception-rcna212591

1•namanyayg•13m ago•0 comments

A better way to turn solar sails

https://www.universetoday.com/articles/a-better-way-to-turn-solar-sails

1•namanyayg•13m ago•0 comments

Amazon Ads and Roku Set Pact Giving Brands Access to 80% of Connected-TVs

https://deadline.com/2025/06/amazon-ads-roku-set-landmark-pact-connected-tv-streaming-1236432615/

1•WaitWaitWha•13m ago•0 comments

Should Wyoming Ranchers Paint Zebra Stripes on Their Cows? Science Says Yes

https://cowboystatedaily.com/2025/06/13/should-wyoming-ranchers-paint-zebra-stripes-on-their-cows-science-says-yes/

1•Bender•16m ago•0 comments

China lays foundation for cislunar infra with spacecraft in novel lunar orbits

https://spacenews.com/china-lays-foundation-for-cislunar-infrastructure-with-spacecraft-in-novel-lunar-orbits/

1•rbanffy•17m ago•0 comments

The AI Arms Race: Deepfake Generation vs. Detection

https://www.securityweek.com/deepfakes-and-the-ai-battle-between-generation-and-detection/

1•Bender•18m ago•0 comments

AlphaOne: Reasoning Models Thinking Slow and Fast at Test Time

https://alphaone-project.github.io

3•hullo•21m ago•0 comments

Matrix Is Cooked

https://blog.cyrneko.eu/matrix-is-cooked

6•sanqui•22m ago•0 comments

Retrobootstrapping Rust for some reason

https://graydon2.dreamwidth.org/317484.html

12•romac•24m ago•3 comments

Why digital sovereignty is the new national treasure

https://www.rocket.chat/blog/why-digital-sovereignty-is-the-new-national-treasure

1•rbanffy•26m ago•0 comments

First US college declines federal science grants due to new DEI requirements

https://www.science.org/content/article/u-s-college-first-decline-federal-science-grants-because-new-dei-language

5•Geekette•26m ago•0 comments

Frontend UI is dead – welcome Voice User Interface

https://stan-kondrat.github.io/thoughts/frontend-ui-is-dead/

1•stankondrat•28m ago•0 comments

I Was a Juror on a Murder Trial

https://thingofthings.substack.com/p/i-was-a-juror-on-a-murder-trial

2•bookofjoe•29m ago•0 comments

Can Finland take Europe's startup crown?

https://www.marketplace.org/episode/2025/06/12/can-finland-take-europes-startup-crown

2•mooreds•29m ago•0 comments

Building an MCP Server with Nx

https://nx.dev/blog/building-mcp-server-with-nx

3•mooreds•29m ago•0 comments

OpenAI and Microsoft Tensions Are Reaching a Boiling Point

https://www.wsj.com/tech/ai/openai-and-microsoft-tensions-are-reaching-a-boiling-point-4981c44f

5•jmsflknr•31m ago•0 comments

Laser activation of single group-IV colour centres in diamond

https://www.nature.com/articles/s41467-025-60373-5

1•gnabgib•31m ago•0 comments

Logarithms of algebraic data types for property-based testing

Penn State boffins create silicon-free two-dimensional computer

How Do Olympiad Medalists Judge LLMs in Competitive Programming?

Levels.fyi's Over-the-Air Updates on Mobile App

phkmalloc Saga

Flashes of lucidity before death: The debate shaking up neuroscience

Show HN: Zero-config AWS CUR → interactive cost dashboard (DuckDB and Rill)

Improving Continual Pre-Training Through Seamless Data Packing

Show HN: Nexus.js - Fabric.js for 3D

FreeRDP 3.16 Released with Better SDL3 Client Support

People who are 'allergic' to humans

Denmark tests unmanned robotic sailboat fleet

Cosmic Dawn: The Untold Story of the James Webb Space Telescope [video]

After eighteen years of infertility, an AI tool let a couple conceive

A better way to turn solar sails

Amazon Ads and Roku Set Pact Giving Brands Access to 80% of Connected-TVs

Should Wyoming Ranchers Paint Zebra Stripes on Their Cows? Science Says Yes

China lays foundation for cislunar infra with spacecraft in novel lunar orbits

The AI Arms Race: Deepfake Generation vs. Detection

AlphaOne: Reasoning Models Thinking Slow and Fast at Test Time

Matrix Is Cooked

Retrobootstrapping Rust for some reason

Why digital sovereignty is the new national treasure

First US college declines federal science grants due to new DEI requirements

Frontend UI is dead – welcome Voice User Interface

I Was a Juror on a Murder Trial

Can Finland take Europe's startup crown?

Building an MCP Server with Nx

OpenAI and Microsoft Tensions Are Reaching a Boiling Point

Laser activation of single group-IV colour centres in diamond

State of CSS 2025 Survey

Logarithms of algebraic data types for property-based testing

Penn State boffins create silicon-free two-dimensional computer

How Do Olympiad Medalists Judge LLMs in Competitive Programming?

Levels.fyi's Over-the-Air Updates on Mobile App

phkmalloc Saga

Flashes of lucidity before death: The debate shaking up neuroscience

Show HN: Zero-config AWS CUR → interactive cost dashboard (DuckDB and Rill)

Improving Continual Pre-Training Through Seamless Data Packing

Show HN: Nexus.js - Fabric.js for 3D

FreeRDP 3.16 Released with Better SDL3 Client Support

People who are 'allergic' to humans

Denmark tests unmanned robotic sailboat fleet

Cosmic Dawn: The Untold Story of the James Webb Space Telescope [video]

After eighteen years of infertility, an AI tool let a couple conceive

A better way to turn solar sails

Amazon Ads and Roku Set Pact Giving Brands Access to 80% of Connected-TVs

Should Wyoming Ranchers Paint Zebra Stripes on Their Cows? Science Says Yes

China lays foundation for cislunar infra with spacecraft in novel lunar orbits

The AI Arms Race: Deepfake Generation vs. Detection

AlphaOne: Reasoning Models Thinking Slow and Fast at Test Time

Matrix Is Cooked

Retrobootstrapping Rust for some reason

Why digital sovereignty is the new national treasure

First US college declines federal science grants due to new DEI requirements

Frontend UI is dead – welcome Voice User Interface

I Was a Juror on a Murder Trial

Can Finland take Europe's startup crown?

Building an MCP Server with Nx

OpenAI and Microsoft Tensions Are Reaching a Boiling Point

Laser activation of single group-IV colour centres in diamond