Top New Best Ask Show Jobs

rscho

3,550 karma · joined December 4, 2016

submissions comments

Rhombus Language Performance

rhombus-lang.org·2 pts·rscho·

Preventing conflicts in authoritative DNS config using formal verification

blog.cloudflare.com·64 pts·rscho·

Preventing conflicts in authoritative DNS config using formal verification

blog.cloudflare.com·3 pts·rscho·

How to Make Racket Go Almost as Fast as C

lambdaland.org·2 pts·rscho·

Rhombus-in-the-Rough

github.com·3 pts·rscho·

Playing the Game with PLT Redex

youtube.com·1 pts·rscho·

How does find by example work in the Pharo Finder

chicoary.wordpress.com·108 pts·rscho·

ArrayCast Episode 19:Aaron Hsu

arraycast.com·2 pts·rscho·

Ask HN: Under pressure from industry, how can academics protect themselves?

6 pts·rscho·

ATS: Why Linear Types Are the Future of Systems Programming

youtube.com·2 pts·rscho·

MediKanren: A System for Bio-Medical Reasoning

youtube.com·2 pts·rscho·

J vs. K by Example

olegykj.sourceforge.net·26 pts·rscho·

CakeML: A Verified Implementation of ML

cakeml.org·3 pts·rscho·

Cuis Smalltalk

github.com·5 pts·rscho·

J Language: Direct Definitions

code.jsoftware.com·3 pts·rscho·

Production Prolog

google.com·3 pts·rscho·

Deploying Racket Web Apps

defn.io·2 pts·rscho·

Ask HN: Uses of reflection/introspection for statistical programming?

1 pts·rscho·

Ask HN: Can an interpreted-only language be implemented in a JITted one?

4 pts·rscho·

Show HN: A software solution to ultrasound blood flow monitoring

bigwww.epfl.ch·85 pts·rscho·

Show HN: A pure software solution to ultrasound blood flow measurement

bigwww.epfl.ch·21 pts·rscho·