Top New Best Ask Show Jobs

deterministic

2,853 karma · joined February 27, 2013

submissions comments

Day in the Life of a Japanese Game Designer

youtube.com·1 pts·deterministic·

Why Are There So Many Stupid People?

youtube.com·2 pts·deterministic·

House of Dreams (AI movie trailer)

youtube.com·2 pts·deterministic·

Type Theory (As a Foundation of Math)

en.wikipedia.org·4 pts·deterministic·

No to AI Generated Images

artstation.com·2 pts·deterministic·

Sexual Economics [pdf] (2004)

assets.csom.umn.edu·55 pts·deterministic·

How Finland Ended Homelessness (2021)

youtube.com·2 pts·deterministic·

AI Music Generator

soundraw.io·127 pts·deterministic·

Ask HN: What is your preferred production C++ web server framework/library?

1 pts·deterministic·

Is 40 hours a week too much?

okta.com·259 pts·deterministic·

The JOVIAL Programming Language

en.wikipedia.org·1 pts·deterministic·

A Special Issue on Formal Proof (2008)

ams.org·38 pts·deterministic·

Hardening attack surfaces with formally proven binary format parsers

microsoft.com·150 pts·deterministic·

The Dafny Programming Language

microsoft.com·3 pts·deterministic·

The F* Programming Language

fstar-lang.org·36 pts·deterministic·

Creating a GPU With C++ and an FPGA (2021)

youtube.com·51 pts·deterministic·

Tools we use to make our game satisfactory [video]

youtube.com·112 pts·deterministic·

Learn You an Agda (2014)

williamdemeo.github.io·46 pts·deterministic·

Ask HN: What is your preferred “full-stack in a box” solution and why?

37 pts·deterministic·

CompCert – Formally-verified C compiler

github.com·227 pts·deterministic·

38% of bugs at Airbnb could have been prevented by using types

reddit.com·358 pts·deterministic·

Why do self-designated “smart” developers work for very little?

7 pts·deterministic·

← PreviousPage 2 of 2