HNHacker News
TopNewBestAskShowJobs

danny00

966 karma · joined July 28, 2019

submissionscomments

Static Considered Harmful?

infoworld.com·1 pts·danny00·
0

Continuous program optimization: A case study

dl.acm.org·1 pts·danny00·
0

Sum Types and Union Types

yinwang0.wordpress.com·2 pts·danny00·
0

Vedic Mathematics

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

USB-C on iPhone 15 might still require MFi certified cables

appleinsider.com·3 pts·danny00·
1

I Turned MIT Award Winning Toroidal Propeller into a PC Fan

youtube.com·3 pts·danny00·
0

Cooperative vs. Preemptive: a quest to maximize concurrency power

medium.com·2 pts·danny00·
0

Integrity (Operating System)

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

Beyond static and dynamic scope [pdf]

pleiad.cl·2 pts·danny00·
0

Lenient evaluation is neither strict nor lazy

sciencedirect.com·3 pts·danny00·
1

(When) Will Property-Based Testing Rule the World? [pdf]

cis.upenn.edu·21 pts·danny00·
1

Platform Cooperative

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

Modernizing File System Through In-Storage Indexing

usenix.org·1 pts·danny00·
0

Professional File System

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

If Apple Were a Worker Cooperative, Each Employee Would Earn at Least $403K

forbes.com·6 pts·danny00·
1

Lua in the Kernel?

lwn.net·3 pts·danny00·
0

Is This Truly a Maintenance-Free House?

treehugger.com·2 pts·danny00·
1

Pie Menu Generator

pmg.softwaretailoring.net·2 pts·danny00·
0

Control Strip

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

Awesome-Terminals

github.com·2 pts·danny00·
0

Maple Trees

lwn.net·2 pts·danny00·
0

The Move Borrow Checker

arxiv.org·2 pts·danny00·
0

BbLean

bb4win.sourceforge.net·1 pts·danny00·
0

A Type System for First-Class Recursive ML Modules

trepo.tuni.fi·1 pts·danny00·
0

What Is Structured Concurrency?

oleb.net·2 pts·danny00·
0

Tripos

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

Two-Level Namespaces

oreilly.com·1 pts·danny00·
1

We Need Simpler Types

kvachev.com·1 pts·danny00·
0

Fundamentals of Spreadsheet Languages

10studio.tech·2 pts·danny00·
0

Proposal to Add a Keyword to All OO Languages

books.google.com·2 pts·danny00·
0
← PreviousPage 3 of 6Next →