Mathematics: Proof in the Time of Machines
(arxiv.org)
May 2023 Archive
8701.
8702.
8703.
NYC Central Business District Tolling Program
(new.mta.info)
8704.
Why Are So Many People Closer to Their Mom’s Side of the Family?
(theatlantic.com)
8705.
8706.
Infrasound Signals of Unknown Origin Detected in Stratosphere
(thedebrief.org)
8707.
The Roads to Zettascale and Quantum Computing Are Long and Winding
(nextplatform.com)
8708.
8709.
One of Evolution’s Biggest Moments Was Re-Created in a Year
(theatlantic.com)
8710.
Responsive Layouts in Qt
(qt.io)
8711.
Startup Is a Media Company
(youtube.com)
8712.
Event Sourcing and Microservices – Unix Style
(two-wrongs.com)
8713.
Mathematical Analysis of a Peculiar Ancient Granite Vase
(unsigned.io)
8714.
8715.
Overview of Flatpak’s Permission Models
(theevilskeleton.gitlab.io)
8716.
8717.
8718.
Inductive Logic Programming At 30 (2021)
(link.springer.com)
8719.
Cloudflare’s view of Internet disruptions in Pakistan
(blog.cloudflare.com)
8720.
Take control of social media algorithms and get the content you want
(theconversation.com)
8721.
The Ask Jeeves-ification of online search
(theverge.com)
8722.
Einstein: “I would rather choose to be a plumber”
(news.lettersofnote.com)
8724.
Parse natural language into Pydantic models with Marvin
(twitter.com)
8725.
MS Azure security: Embrace secure multitenancy, Confidential Compute, and Rust
(azure.microsoft.com)
8726.
8727.
MFA Fatigue attacks are putting your organization at risk
(bleepingcomputer.com)
8728.
Milk shake-up: High school student sues school district over dairy flap
(washingtonpost.com)