Hacker News new | past | comments | ask | show | jobs | submit | from login
Specifying State Machines with Temporal Logic (wickstrom.tech)
5 points by tmfi 10 days ago | past | discuss
Specifying State Machines with Temporal Logic (wickstrom.tech)
71 points by todsacerdoti 10 days ago | past | 11 comments
Quickstrom: High-confidence browser testing (wickstrom.tech)
1 point by todsacerdoti 8 months ago | past
Property-Based Testing in a Screencast Editor, Case Study 1: Timeline Flattening (wickstrom.tech)
1 point by owickstrom on March 24, 2019 | past
Declarative GTK+ Programming with Haskell (wickstrom.tech)
4 points by carapace on Oct 30, 2018 | past
Writing a Screencast Video Editor in Haskell (wickstrom.tech)
126 points by jose_zap on Oct 29, 2018 | past | 12 comments
Writing a Screencast Video Editor in Haskell (wickstrom.tech)
5 points by ScottWRobinson on Oct 28, 2018 | past | 1 comment
Motor: Finite-State Machines in Haskell (wickstrom.tech)
2 points by hamilyon2 on Sept 13, 2018 | past
Motor: Finite-State Machines in Haskell (wickstrom.tech)
1 point by owickstrom on Oct 27, 2017 | past
Automating the Build of Your Technical Presentation (wickstrom.tech)
2 points by owickstrom on Sept 24, 2017 | past
Hyper: Elegant Weapons for a More Civilized Page (wickstrom.tech)
1 point by owickstrom on Jan 6, 2017 | past
Taking a Step Back from Oden (wickstrom.tech)
2 points by 0srv on Oct 26, 2016 | past
Generating Sight-Reading Exercises Using CLP in Clojure (Part 1) (wickstrom.tech)
1 point by ThatGeoGuy on Aug 12, 2016 | past
Generating sight-reading exercises with constraint logic programming and clojure (wickstrom.tech)
2 points by harperlee on Aug 8, 2016 | past | 2 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: