Counterexamples in Type Systems
(counterexamples.org)
July 2024 Archive
8551.
8552.
Can SoftBank Be an AI Supercomputer Player? Will Arm Lend a Hand?
(nextplatform.com)
8553.
The Mystery of How Big Animal Brains Should Grow May Be Solved
(sciencealert.com)
8554.
Netflix audio description style guide
(partnerhelp.netflixstudios.com)
8555.
8556.
8557.
8558.
Apollo 11 launched this week in 1969
(bbc.com)
8559.
Show HN: PeachML – The Instant AI Marketplace
(peachml.com)
8560.
AMD Ryzen AI 300 Series Launched – ServeTheHome
(servethehome.com)
8561.
8562.
Generative AI Can Harm Learning
(papers.ssrn.com)
8563.
High carbon emissions from wildfires in Russian Arctic
(atmosphere.copernicus.eu)
8564.
When do I know enough?
(world.hey.com)
8565.
'Sensational' Proof Delivers New Insights into Prime Numbers
(quantamagazine.org)
8566.
Software is more like a garden
(blog.bawolf.com)
8567.
Developing ethical, social, and cognitive competence
(vividness.live)
8568.
Nimble – A Modal Text Editor
(github.com)
8570.
8571.
A Failure to Iterate Became a Full Rewrite
(shermanonsoftware.com)
8572.
Tbsp – tree-based source-processing language
(git.peppe.rs)
8574.
8576.
WebOS with Flutter for Better Performance and Playful Experience
(webostv.developer.lge.com)
8577.
Is it c? Or is it с?
(jezenthomas.com)
8578.
Jailbreaking RabbitOS (The Hard Way)
(da.vidbuchanan.co.uk)
8579.
Tricycle: Deep learning framework from scratch
(github.com)
8580.
Stop H5N1 influenza in US cattle now
(science.org)