back
user profile

alex_hirner

2,545karma·320submissions·July 22, 2015
about
dishtracker.io
recent activity (320 total)
2 pts
Polymer Keyboard(gitlab.com)
6y ago·discuss
1 pts
Mutability in Rust for Functions and Closures(vegapit.com)
6y ago·discuss
116 pts
Porting a JavaScript App to WebAssembly with Rust (Part 1)(slowtec.de)
6y ago·58 comments
139 pts
Rust implementations of abstract algebraic structures(gitlab.com)
6y ago·9 comments
2 pts
Kubernetes as an API Standard(cloudatomiclab.com)
6y ago·discuss
1 pts
Karabiner-sauerkraut: Switch to US keyboard with caps-lock(github.com)
6y ago·discuss
1 pts
Programming Servo: the incredibly shrinking timer(medium.com)
6y ago·discuss
1 pts
Rust Rocks NB-IoT on Apache Mynewt(medium.com)
7y ago·discuss
2 pts
Solving the Generalized Streaming Iterator Problem Without GATs (2018)(lukaskalbertodt.github.io)
7y ago·discuss
2 pts
Vulkan Progress Report #3(godotengine.org)
7y ago·discuss
47 pts
The Theory of Concatenative Combinators (2007)(tunes.org)
7y ago·3 comments
1 pts
Fun While Avoiding Lambda (Python, 2008)(erezsh.wordpress.com)
7y ago·discuss
comment
This one: https://github.com/microsoft/AirSim
7y ago·view thread
1 pts
Dots: Entity Component System(blogs.unity3d.com)
7y ago·discuss
30 pts
How to Prove That a Turing Machine Is Universal(davideaversa.it)
7y ago·1 comments
1 pts
What Makes Functional and Object-Oriented Programming Equal(codinghelmet.com)
7y ago·discuss
3 pts
Help Me Solve an Old Approximate Computing Problem(cs.cornell.edu)
7y ago·discuss
1 pts
Tartiflette – GraphQL Server in Python 3.6 and Asyncio(github.com)
7y ago·discuss
3 pts
Solving the XY Model Using Mixed Integer Optimization in Python(philipzucker.com)
7y ago·1 comments
15 pts
Mere Functional Programming in F#(dev.to)
7y ago·discuss
1 pts
Program Design by Calculation [pdf](www4.di.uminho.pt)
7y ago·discuss
5 pts
Show HN: MoonVision
7y ago·discuss
2 pts
Python library for quantum machine learning(github.com)
7y ago·discuss
2 pts
Grammatical Inference Using the Z3 SMT Solver(gitlab.science.ru.nl)
7y ago·discuss
1 pts
Learning as a SMT Problem (2017)(automatonlearning.net)
7y ago·discuss
comment
My use case is working with motion vectors from its GPU through picam [0]. Is there an alternative? [0] https://picamera.readthedocs.io/en/release-1.13/api_array.ht... …
7y ago·view thread
1 pts
How to make a library in the new Dotnet SDK world(chethusk.blogspot.com)
7y ago·discuss
comment
What was the reason for porting to C#?
7y ago·view thread
3 pts
Remembering SkiFree(pcgamer.com)
7y ago·discuss