progscrape: blog.jez.io/intro-elim

Every type is defined by its intro and elim forms

2 years ago blog.jez.io plt

Seagate’s insane 40TB monster drive is real, and it could change data centers forever by 2026!

24 hours ago techradar.com

Having a mix of tea, berries, apples, and grapes every day may lower your risk of chronic disease and early death

2 hours ago scimex.org disease health

TLTSS: a programming language made in TypeScript's type system

32 hours ago skeary.me typescript

Is there a library for 2D rendering that is both performant and somewhat ergonomic?

25 hours ago reddit.com rust

The Perils of Pointers in the Land of the Zero-Sized Type

24 hours ago blog.fillmore-labs.com go

AT&T Claims It Won’t Scale Back Its ‘DEI Initiatives’ To Please Trump, Despite Having Just Scaled Back Its DEI Initiatives To Please Trump

recently added techdirt.com at&t trump

Getty Images CEO warns it can't afford to fight every AI copyright case | AI companies "move fast and break things," but artists pay the price

an hour ago techspot.com ai copyright

Report says Sony won't produce smartphones in its own factories anymore

25 hours ago techissuestoday.com sony

Scientists Developed a Kind of 'Living Concrete' That Heals Its Own Cracks

11 hours ago sciencealert.com

YouTube Is Swallowing TV Whole, and It's Coming for the Sitcom

22 hours ago bloomberg.com

Learn Calculus by Coding in Python

7 hours ago freecodecamp.org python

Roborock Saros Z70 Review: This Robovac's Robotic Arm Is a Swing and a Miss

20 hours ago gizmodo.com arm

Scientists have developed new antibodies that neutralize both SARS-CoV-1 and 2 by targeting a conserved region of the spike protein

22 hours ago pubmed.ncbi.nlm.nih.gov medicine

Is It JavaScript?

7 hours ago blog.jim-nielsen.com javascript web

How can AI researchers save energy? By going backward

10 hours ago quantamagazine.org ai

A new study reveals that the genetic gap between humans and chimpanzees is far larger than previously believed

16 hours ago nature.com biology genetics

Is there a Golang debugger that is the equivalent of GBD?

21 hours ago reddit.com debugging go

Minesweeper CLI is out!

20 hours ago i.redd.it rust

Cholesterol treatment can cut levels by 69% after one dose

31 hours ago sciencefocus.com

Estrogen curbs fentanyl intake by suppressing brain’s reward response

24 hours ago psypost.org brain neuroscience

The Next Car Production Crisis Could Be Caused by Magnet Shortage

16 hours ago thedrive.com

Codex CLI is going native

25 hours ago github.com

Straight Out of a Sci-Fi Movie: An AI Managed to Rewrite Its Own Code to Prevent Humans From Shutting It Down

14 hours ago dailygalaxy.com ai

Firefox now allows you to add custom search engine manually by default

35 hours ago bugzilla.mozilla.org firefox

Bayesian Average Ratings - How Not To Sort By Average Rating 2.0

17 hours ago evanmiller.org

Is worth the Jetbrains Rust Course?

33 hours ago reddit.com rust

Figma Slides Is a Beautiful Disaster

31 hours ago allenpike.com

Is the transition to IPv6 inevitable?

8 hours ago ipv6.hanazo.no ipv6 networking

Six More Humans Successfully Carried to the Edge of Space by Blue Origin

18 hours ago space.com space

Why is `std::sum` refusing to compile

28 hours ago reddit.com rust

>progscrape ▒

All the news that's fit to scrape