HNHacker News
TopNewBestAskShowJobs

abiro

544 karma · joined December 8, 2013

submissionscomments

We're Gonna Need More Mathematicians

terrytao.wordpress.com·13 pts·abiro·
2

The Proof in the Code: How a Truth Machine Is Transforming Math and AI

publishersweekly.com·1 pts·abiro·
0

Liveness Proofs in Veil, Part I: The First Step

proofsandintuitions.net·4 pts·abiro·
0

Formal Verification of Cryptographic Protocol Implementations in Rust

dl.acm.org·2 pts·abiro·
0

Zero Knowledge Encryption: Analysis of Three Cloud-based Password Managers

eprint.iacr.org·3 pts·abiro·
0

AMA with a WoW botter / gold seller

old.reddit.com·2 pts·abiro·
0

Why the golden ratio is mostly non-sense by a Fields Medal winner [video]

youtube.com·4 pts·abiro·
0

Free42 – An HP-42S Calculator Simulator

thomasokken.com·80 pts·abiro·
35

Exploring Ethereum Token Transfers with TLA+ for Wallet Security

sealvault.org·1 pts·abiro·
0

How do you reason about a probabilistic distributed system? (2020)

ahelwer.ca·3 pts·abiro·
0

Construction of the St. Lawrence Seaway (Walter Cronkite, 1958)

youtube.com·2 pts·abiro·
0

Our Web3 Vision: Ubiquitous Decentralized Databases

sealvault.org·1 pts·abiro·
0

"Only amateurs attack machines; professionals target people." (2000)

schneier.com·1 pts·abiro·
0

Ask HN: Which managed CI service do you recommend in 2022?

1 pts·abiro·
2

Compiling a Mask Price Dataset with MTurk

agostbiro.medium.com·1 pts·abiro·
0

Show HN: KN95 Mask Price Dataset

maskprice.info·11 pts·abiro·
4

Serverless Stack: The What and the Why

dokklib.com·4 pts·abiro·
0

Show HN: Python library for the DynamoDB Single Table pattern

dokklib.com·2 pts·abiro·
0

Ask HN: Mobile Markdown Editor for GitHub

1 pts·abiro·
0

Ask HN: Which of our ideas about computation could survive a thousand years?

8 pts·abiro·
4

Mapping Crypto: The Minority Rule

agost.blog·4 pts·abiro·
0

Understanding the cryptocurrency ecosystem through Wardley maps

agost.blog·65 pts·abiro·
17

Show HN: Pastebin for TensorBoard

boards.aughie.org·2 pts·abiro·
1

Changing furniture demo with ARCore in the browser

twitter.com·4 pts·abiro·
0

Show HN: Project to solve movement in Street View

agostbiro.com·1 pts·abiro·
1

Show HN: Towards continuous movement in a city captured by 360° panoramas

agostbiro.com·1 pts·abiro·
3