progscrape

Research shows that the invisible mental load of planning and organizing household life predicts women's relationship and sexual satisfaction more strongly than the division of physical chores like cooking or cleaning.

30 hours ago psypost.org

Tomek Korbak: OpenAI's head of safety told they no longer trust me

28 hours ago twitter.com openai

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

30 hours ago blueberrywren.dev design plt

Zeta's Borrow Checker: the next-gen model for borrow checking, and a drop-in for Rust's entire memory management model

34 hours ago gist.github.com compiler rust

OpenAI mistranslated mathematics into code for its Navier-Stokes proof

23 hours ago newscientist.com openai

A new 'smart battery architecture' can extend electric vehicle battery life by over 20 percent by bypassing weak cells and making better use of remaining capacity

26 hours ago chalmers.se engineering

The importance of communities around software

23 hours ago lumi.codeberg.page culture

Russian search engine Yandex struggles after Ukrainian strikes on data centres

26 hours ago bbc.com

Why are coding agents so dumb?

30 hours ago mtlynch.io rant vibecoding

PC shipments fall 20.1 percent in “sharpest decline” since Q1 2023

26 hours ago arstechnica.com

A new study published in Pediatrics found therapeutic horseback riding can reduce hyperactivity and improve emotional and social functioning in children with autism and co-occurring psychiatric disorders.

28 hours ago news.cuanschutz.edu autism psychology

A Practical Guide to “Plug&Pwn” for Pentesters and Defenders

24 hours ago blog.scrt.ch security

Rampart: Browser native on-device PII radaction

27 hours ago ndstudio.gov

USA Today becomes the latest publisher to sue OpenAI

25 hours ago theverge.com openai usa

In Memory of Deno

27 hours ago orgsoft.org deno

After Almost Going Extinct, Giant Tortoises Now Outnumber People in The Seychelles

31 hours ago sciencealert.com

Iranian operatives used AI to plant fake stories in multiple US media outlets

27 hours ago edition.cnn.com ai media

Tesla renames 'Full Self-Driving' to 'Tesla Assisted Driving' in Europe

28 hours ago techcrunch.com europe tesla

Being mean to AI could get you banned as Anthropic introduces new rules against abusing Claude

26 hours ago techspot.com ai

Healthy reef sounds can boost coral and fish recovery efforts: « Two Scripps-led studies show how underwater sound can play a role in restoring degraded coral reefs and rebuilding fish communities

26 hours ago today.ucsd.edu environment

Deno is ending official development in a year. The biggest Rust project ever, and maybe proof we never needed another Node, just use Rust

27 hours ago reddit.com deno node rust

SpaceX calls for better coordination in orbit after near-misses with Starlink: “These led to conjunctions of tens of meters to hundreds of meters

27 hours ago arstechnica.com spacex

What are the alternatives to Big Tech? Proton, Fileverse, Mistral... - WIRED

29 hours ago wired.com.gr

Moms who vacuumed, aired out futons and used anti-mite covers more often while pregnant had toddlers less likely to show signs of developmental delays at 18 months to 3 years, in a Japanese study of over 81,000 mother-child pairs

32 hours ago link.springer.com japan neuroscience

Hedgehog coronavirus poses little risk of jump to humans

26 hours ago pnas.org coronavirus epidemiology

Rivian R2's Ventilated Seats Just Got Downgraded. Buyers Are Outraged

29 hours ago insideevs.com

How To Write Shared Libraries (2011)

26 hours ago cs.dartmouth.edu pdf

Goose programming language

29 hours ago reddit.com zig

In a small randomized trial of people with acute hepatic porphyria, a rare inherited disorder, 5 of 6 who got a placebo instead of a scheduled IV hemin dose had an attack within a week…

31 hours ago sciencedirect.com medicine trial

Vectorized CLZ and CTZ

27 hours ago purplesyringa.moe performance

>progscrape ▒

All the news that's fit to scrape

Display options