HNHacker News
TopNewBestAskShowJobs

4ad

6,203 karma · joined August 4, 2011

JSR PC, @(R6)+

Mathematical engineer working on pragmatic, Curry-style type systems.

Previously worked on the CUE language at https://cuelang.org.

I also wrote the arm64, sparc64, and Solaris Go ports.

submissionscomments

Computational Tyranny

happyfellow.bearblog.dev·24 pts·4ad·
6

Introduction to the Par Language

faiface.github.io·5 pts·4ad·
0

Turning Down Upspin Infrastructure

groups.google.com·11 pts·4ad·
5

Transcendental Syntax

github.com·81 pts·4ad·
34

Abstracting Denotational Interpreters

arxiv.org·2 pts·4ad·
1

Yuzu emulator shutting down, paying Nintendo $2.4M in lawsuit settlement

gbatemp.net·1 pts·4ad·
0

Cue: Shifting Go left with CUE [video]

youtube.com·2 pts·4ad·
0

Musk found not guilty of fraud over Tesla tweet

bbc.com·9 pts·4ad·
0

Go 1.20 Is Released

go.dev·6 pts·4ad·
0

Sesame allergen labeling law has unintended effect: sesame in more foods

fox9.com·244 pts·4ad·
410

Introduction to Univalent Foundations of Mathematics with Agda

cs.bham.ac.uk·3 pts·4ad·
0

Golang.org Is Gone

golang.org·27 pts·4ad·
31

Cars, funerals and home improvements: EU to crack down on large cash payments

independent.ie·36 pts·4ad·
12

Leaving Freenode for a new network

kline.sh·613 pts·4ad·
296

FreeBSD 13.0

freebsd.org·315 pts·4ad·
59

Court: No, You May Not Force Your Way into a Home and Strip Search Six Children

techdirt.com·53 pts·4ad·
7

Featherweight Go

arxiv.org·252 pts·4ad·
160

IPv14C: A 14C dilution of IPv4 in IPv6

leahneukirchen.org·2 pts·4ad·
0

Court outlaws German Weather Service's free weather app

dw.com·267 pts·4ad·
199

Brian Kernighan Interviews Ken Thompson at Vintage Computer Festival East 2019

youtube.com·23 pts·4ad·
1

Ask HN: What's the best way to do filesystem encryption on macOS?

2 pts·4ad·
1

Leonard Susskind on Feynman, the Holographic Principle, and Unanswered Physics

blog.ycombinator.com·76 pts·4ad·
12

Updating the Go Code of Conduct

blog.golang.org·12 pts·4ad·
2

research!rsc: Defining Go Modules (Go and Versioning, Part 6)

research.swtch.com·12 pts·4ad·
4

Rob Pike on Upspin at Gopherfest 2017

youtu.be·1 pts·4ad·
0

United removes first-class passenger to make room for 'higher-priority' traveler

latimes.com·538 pts·4ad·
450

Do not spam with code reviews, Go Team has enough work that's actually important

github.com·1 pts·4ad·
1

Oracle Solaris Moving to a Continuous Delivery Model

blogs.oracle.com·3 pts·4ad·
1

The FBI Hacked Over 8,000 Computers in 120 Countries Based on One Warrant

motherboard.vice.com·3 pts·4ad·
0

Proposal: Eliminate STW stack re-scanning for Go 1.8

golang.org·6 pts·4ad·
0
Page 1 of 2Next →