Submissions by im_dario

Hanko: A passkey-first approach to authentication beyond passwords

Consciousness as a Memory System

LeanWeb: A minimal hybrid static / dynamic web framework

Warm Earth (2021)

Gobra: Automated, modular verifier for Go, based on Viper verification

The God Endpoints will continue until morale improves

Show HN: A portal between Ruby and Go (using FFI)

Identity Beyond Usernames (2020)

Creating Terraform-like configuration languages with HCL and Go

We asked GPT-3 to write an academic paper about itself and tried to publish it

Might Be the Weirdest-Looking Rocket We've Ever Seen

Ghost – build REST APIs from structs using Generics in Golang

I fell in love with low-JS

The Zed Project: a new approach to data

Principles of Engineering Management

Oso – Authorization Academy

Kryptology: Coinbase’s Open Source Cryptography Library