HNHacker News
TopNewBestAskShowJobs

danny00

966 karma · joined July 28, 2019

submissionscomments

Bool true/false can be replaced with an enum

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

Smart References: There and Back Again

youtube.com·2 pts·danny00·
0

After 150 years, we should finally redesign the computer keyboard

blog.prototypr.io·63 pts·danny00·
118

Komihash – Fast Hash Function

github.com·2 pts·danny00·
0

Comparing Traits and Typeclasses

terbium.io·2 pts·danny00·
0

A tale of intersection types [pdf]

iris.unito.it·1 pts·danny00·
0

When are enums not a code smell?

softwareengineering.stackexchange.com·30 pts·danny00·
90

Staged Abstract Interpreters [pdf]

cs.purdue.edu·48 pts·danny00·
12

Alternatives to Boolean Parameters

8thlight.com·3 pts·danny00·
0

Extensible parsing with Earley virtual machines [pdf]

mif.vu.lt·4 pts·danny00·
0

In my language, inverse functions generalize pattern matching

old.reddit.com·1 pts·danny00·
0

Paxos Made Parallel

microsoft.com·2 pts·danny00·
0

The Hooks and Anchors Design Pattern

stevenblack.com·2 pts·danny00·
0

A Sequent Calculus for Type Theory [pdf]

cs.ru.nl·2 pts·danny00·
0

Producing milk from yeast that looks and tastes like cow's milk

eurekalert.org·3 pts·danny00·
1

Categorical Data Structures for Technical Computing

arxiv.org·5 pts·danny00·
0

Relations are hard to model in category theory

0fps.net·4 pts·danny00·
1

Jape (Software)

en.wikipedia.org·2 pts·danny00·
0

Beyond inductive datatypes: exploring Self types

github.com·68 pts·danny00·
5

Intel's Pat Gelsinger on 'Super Moore's Law,' Making Multi-Billion Dollar Bets

tomshardware.com·1 pts·danny00·
0

Set Theoretic Programming

en.wikipedia.org·2 pts·danny00·
0

Intersection Type

en.wikipedia.org·1 pts·danny00·
0

Sedel – A Type System for First-Class Traits

github.com·2 pts·danny00·
0

Implicit Overflow Considered Harmful, and how to fix it

blog.polybdenum.com·40 pts·danny00·
59

Researchers Create New CasFET Design for Next-Generation Transistors

tomshardware.com·1 pts·danny00·
0

Kioxia's New XL-NAND SSDs to Compete with Intel's Optane

tomshardware.com·9 pts·danny00·
0

List of Model Checking Tools

en.wikipedia.org·1 pts·danny00·
0

Programming with Implicit Values, Functions, and Control

microsoft.com·1 pts·danny00·
0

Extended attributes: the good, the not so good, the bad

lesbonscomptes.com·1 pts·danny00·
0

Faster: A Concurrent Key-Value Store with In-Place Updates [pdf]

microsoft.com·16 pts·danny00·
0
← PreviousPage 5 of 6Next →