Stories by m-a-n-d-a-r-k

Can F* Replace Haskell and Coq?

HTML5 Sprite MMO First Test: Surface Tension

Persistent Reinforcement Learning Environment with Real-Time Configuration

A demo project to build a simple Spring Boot app using Kotlin, GraphQL and Neo4j

ECMAScript proposal for expression-oriented style

Fantastic vulnerabilities and where to find them

To Fight Climate Change, We Need More Powerful Supercomputers

Blendle ditches pay-per-article service

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

Show HN: Adapt Generative Arts for your needs without coding

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

Lisp System Implementation

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

Show HN: Acrobot – Keep track of your company acronyms (github.com)

Fantastic vulnerabilities and where to find them

It Is ‘Quite Possible’ This Could Be the Last Bay Area Maker Faire

Show HN: Crypto Wallets and Cryptocurrency Wallet Guide

65
66
67
68
69
70
71
72
73
74