Stories by felixr

CBMC: A Bounded Model Checker for C and C++

Ask HN: When is 'powerful' the right adjective for software?

Bupstash – encrypted backups made easy

KOReader working on ReMarkable 2

ShenScript – An Implementation of the Shen Language for JavaScript

Idyll – toolkit for creating data-driven stories and explorable explanations

Conjure – Conversational software development for Neovim

Buxton Collection: 35 years of input devices

AlphaFold: a solution to a 50-year-old grand challenge in biology

Atlas Des Régions Naturelles

Reconstructing Journalistic Scenes in 3D

(virtual) Machine Learning Summer School MLSS2020 (videos+slides)

New Covid-19 Test: Bosch Kits Find Virus in 2.5 Hours

Slide algorithm for training deep neural nets faster on CPUs than GPUs

Researchers discover when it’s good to get the blues

Buxton Collection: 35 years of input devices

Semantic Image Synthesis with Spatially-Adaptive Normalization

Tetris Printer Algorithm (2013)

After Effects Just Got Content-Aware Fill for Auto-Erasing Things in Video

120-MPH Twike 5 adds exercise to even the fastest commute

1
2