Top New Best Ask Show Jobs

i_don_t_know

882 karma · joined June 3, 2015

peter dot ilberg at gmail dot com

https://www.linkedin.com/in/peter-ilberg/

submissions comments

The Sinclair ZX Spectrum White Edition

heise.de·2 pts·i_don_t_know·

Lean-TUI for the lean proof assistant

codeberg.org·2 pts·i_don_t_know·

Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations

blog.janestreet.com·4 pts·i_don_t_know·

Archimedes – A Python toolkit for hardware engineering

pinetreelabs.github.io·126 pts·i_don_t_know·

Why higher-order logic is a good formalisation for hardware

cl.cam.ac.uk·1 pts·i_don_t_know·

Algorithms for Optimization (second edition preview) [pdf]

algorithmsbook.com·3 pts·i_don_t_know·

The Quanta Podcast

quantamagazine.org·1 pts·i_don_t_know·

Algorithms for Validation

algorithmsbook.com·3 pts·i_don_t_know·

Synchronous Programming of Reactive Systems [pdf]

www-verimag.imag.fr·2 pts·i_don_t_know·

Reactor: A Synchronous Reactive Language

docs.racket-lang.org·2 pts·i_don_t_know·

NI LabVIEW Compiler: Under the Hood

ni.com·1 pts·i_don_t_know·

LabVIEW [PDF]

dl.acm.org·3 pts·i_don_t_know·

Learning APL

xpqz.github.io·4 pts·i_don_t_know·

The description of finite sequential processes

jsoftware.com·1 pts·i_don_t_know·

Live Coding in APL [video]

youtube.com·3 pts·i_don_t_know·

Zélus – A Synchronous Language with Odes

zelus.di.ens.fr·2 pts·i_don_t_know·

Lola System Notes [pdf]

research-collection.ethz.ch·3 pts·i_don_t_know·

Combinatorial Optimization in VLSI Design [pdf]

or.uni-bonn.de·3 pts·i_don_t_know·

Ask HN: Electronic note-taking – Kindle or iPad or something else

6 pts·i_don_t_know·

Kaffeost

atlasobscura.com·56 pts·i_don_t_know·

Programming Cognitive Robots

cs.toronto.edu·80 pts·i_don_t_know·

Ask HN: Books on formal methods for software verification?

2 pts·i_don_t_know·

Ask HN: Getting Started with FPGAs on macOS

5 pts·i_don_t_know·

Mini-CP: A Lightweight Constraint Programming Solver

minicp.org·3 pts·i_don_t_know·

Ask HN: Books or courses on cyber-physical systems?

3 pts·i_don_t_know·

Course Notes on Optimization Models and Methods (Robert Fourer)

4er.org·2 pts·i_don_t_know·

Ask HN: Introduction to Scientific Computing?

1 pts·i_don_t_know·

Ask HN: Design and Implementation of Term Rewriting Systems

7 pts·i_don_t_know·

Alpha Text Editor for macOS

alphacocoa.sourceforge.io·1 pts·i_don_t_know·

Kx Developer (k IDE free for personal/non-commercial use)

code.kx.com·2 pts·i_don_t_know·

Page 1 of 2Next →