Is sound gradual typing dead? Performance problems in Typed Racket (2016) (dl.acm.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of dl.acm.org: Is sound gradual typing dead? Performance problems in Typed Racket (2016)

First screen, captured 1 year ago.

Looks similar

Screenshot of dl.acm.org: Semantic Hearing: Programming Acoustic Scenes with Binaural Hearables

Semantic Hearing: Programming Acoustic Scenes with Binaural Hearables (dl.acm.org)

38 points by rntn 3 years ago | 2 comments

Screenshot of ips-planetarium.org: How Tycho Brahe really died (2001)

How Tycho Brahe really died (2001)(ips-planetarium.org)

66 points by benbreen 3 years ago | 22 comments

Screenshot of dl.acm.org: Meta II a syntax-oriented compiler writing language (1964)

Meta II a syntax-oriented compiler writing language (1964)(dl.acm.org)

23 points by begoon 1 year ago | 2 comments

Screenshot of arxiv.org: AudioGPT: Understanding and Generating Speech, Music, Sound, and Talking Head

AudioGPT: Understanding and Generating Speech, Music, Sound, and Talking Head (arxiv.org)

26 points by iamflimflam1 3 years ago | 11 comments

Screenshot of jeremykun.com: Unusual uses of OEIS sequences on GitHub

Unusual uses of OEIS sequences on GitHub (jeremykun.com)

20 points by surprisetalk 5 months ago | 1 comments

Screenshot of pvk.ca: Preemption is GC for memory reordering (2019)

Preemption is GC for memory reordering (2019)(pvk.ca)

41 points by mpweiher 3 months ago | 6 comments