Top New Best Ask Show Jobs

edwintorok

5,779 karma · joined February 19, 2013

Mastodon: https://discuss.systems/@edwintorok

submissions comments

Distributed Git Storage Server

repospanner.org·2 pts·edwintorok·

(controversial) position paper on TCP

lists.bufferbloat.net·2 pts·edwintorok·

NoSQL Meets Bitcoin and Brings Down Two Exchanges (2014)

hackingdistributed.com·1 pts·edwintorok·

Building modern desktop apps in Go

fosdem.org·8 pts·edwintorok·

Fixin' your automata

gallium.inria.fr·1 pts·edwintorok·

The BeOS file system, an OS geek retrospective

arstechnica.com·15 pts·edwintorok·

Hexiwear – Hardware – Hexiwear

hexiwear.com·2 pts·edwintorok·

Some Windows 10 Pro licenses are mistakenly deactivated Comments

osnews.com·4 pts·edwintorok·

Haskell for all: Dhall – A non-Turing-complete configuration language

haskellforall.com·5 pts·edwintorok·

Happy XVth Birthday, Xen – Xen Project

15anniversary.xenproject.org·2 pts·edwintorok·

Paperkast – article sharing and discussion

paperkast.com·1 pts·edwintorok·

Transport Level Passive Ping Network Observer

pollere.net·1 pts·edwintorok·

Solving the crypto-fq bug in ath9k (2016)

blog.cerowrt.org·38 pts·edwintorok·

Imandra: Reasoning as a Service

try.imandra.ai·4 pts·edwintorok·

The story of ispc: origins

pharr.org·1 pts·edwintorok·

Snarky: A high-level language for verifiable computation

blockchain.works-hub.com·1 pts·edwintorok·

CAPH – High level dataflow programming for FPGAs

caph.univ-bpclermont.fr·87 pts·edwintorok·

Operational, executable, and axiomatic semantics for C11

robbertkrebbers.nl·2 pts·edwintorok·

A semantic model for a substantial fragment of C

cl.cam.ac.uk·97 pts·edwintorok·

LEDE 17.01.0 – First Stable Release

lede-project.org·2 pts·edwintorok·

OCaml on Windows: The easy way

themargin.io·3 pts·edwintorok·

Acme-client disabling seccomp

github.com·2 pts·edwintorok·

Kalman filters and functional programming

johndcook.com·215 pts·edwintorok·

Android apps, IMEIs and privacy

mjg59.dreamwidth.org·2 pts·edwintorok·

The State of Owner-Controlled Computing as Talos Winds Down

crowdsupply.com·4 pts·edwintorok·

Vikings: World's first libre-friendly data center

en.goteo.org·2 pts·edwintorok·

Libinput touchpad pointer acceleration analysis

who-t.blogspot.com·1 pts·edwintorok·

Do Be Do Be Do

lambda-the-ultimate.org·1 pts·edwintorok·

A Word on Lockdown

crowdsupply.com·2 pts·edwintorok·

LibreSSL documentation status report

undeadly.org·2 pts·edwintorok·

← PreviousPage 2 of 10Next →