Stories by bas-d

Can F* Replace Haskell and Coq?

ECMAScript proposal for expression-oriented style

To Fight Climate Change, We Need More Powerful Supercomputers

He's a professional dancer, but his stage is the E train

Higher-order, no-boilerplate, zero-cost monads

Human-level performance in 3D multiplayer games with population-based RL

DeepMind Can Now Beat Us at Multiplayer Games, Too

She Thought She’d Married a Rich Chinese Farmer. She Hadn’t

After Much Effort, an ‘Unbreakable’ Record in Straight Pool Is Topped

Tools may provide ironclad certainty that computer bugs are a thing of the past

New York Times is taking down its paywall for World Press Freedom Day

How to Move a Masterpiece? If It’s This Big, Carefully

Like ‘Uber for Organs’: Drone Delivers Kidney to Maryland Woman

Instagram Is the New Mall

Hacking Your Brain to Use Dopamine for Success

Pigovian Tax

Thinking of Going Off the Grid After Winning the Lottery? Not So Fast

Is the Immediate Playback of Events Changing Children’s Memories?

Uber Feature Enables Female Saudi Drivers to Only Transport Other Women

Apple warns users of interference issue between Apple Pencil and car key fobs

20 21 22 23 24 25 26 27 28 29