| | Computer Says No: Error Reporting for LTL (wickstrom.tech) |
| 5 points by typesanitizer 52 days ago | past |
|
| | Programming in the Sun: A Year with the Daylight Computer (wickstrom.tech) |
| 183 points by ghuntley 73 days ago | past | 66 comments |
|
| | Programming in the Sun: A Year with the Daylight Computer (wickstrom.tech) |
| 3 points by owickstrom 74 days ago | past |
|
| | Fuzzing a Coding Agent (wickstrom.tech) |
| 5 points by sqs 3 months ago | past |
|
| | Finding Bugs in a Coding Agent with Lightweight DST (wickstrom.tech) |
| 5 points by todsacerdoti 3 months ago | past |
|
| | Quickstrom: High-confidence browser testing (wickstrom.tech) |
| 6 points by luu 4 months ago | past |
|
| | Machine: Learning; Human: Unlearning; (wickstrom.tech) |
| 3 points by owickstrom 10 months ago | past |
|
| | Statically typed functional programming with Python 3.12 (wickstrom.tech) |
| 3 points by fanf2 on Oct 7, 2024 | past | 1 comment |
|
| | I Built "The Monospace Web" (wickstrom.tech) |
| 1 point by PaulHoule on Oct 2, 2024 | past |
|
| | I Built "The Monospace Web" (wickstrom.tech) |
| 13 points by todsacerdoti on Sept 26, 2024 | past | 11 comments |
|
| | Statically Typed Functional Programming with Python 3.12 (wickstrom.tech) |
| 14 points by rbanffy on June 8, 2024 | past |
|
| | Statically Typed Functional Programming with Python 3.12 (wickstrom.tech) |
| 1 point by ingve on June 5, 2024 | past |
|
| | Statically Typed Functional Programming with Python 3.12 (wickstrom.tech) |
| 4 points by bubblehack3r on May 26, 2024 | past |
|
| | Statically Typed Functional Programming with Python 3.12 (wickstrom.tech) |
| 1 point by JNRowe on May 26, 2024 | past |
|
| | Statically Typed Functional Programming with Python 3.12 (wickstrom.tech) |
| 2 points by edward on May 24, 2024 | past |
|
| | Statically Typed Functional Programming with Python 3.12 (wickstrom.tech) |
| 14 points by todsacerdoti on May 23, 2024 | past | 2 comments |
|
| | Specifying State Machines with Temporal Logic (wickstrom.tech) |
| 5 points by tmfi on May 3, 2021 | past |
|
| | Specifying State Machines with Temporal Logic (wickstrom.tech) |
| 71 points by todsacerdoti on May 3, 2021 | past | 11 comments |
|
| | Quickstrom: High-confidence browser testing (wickstrom.tech) |
| 1 point by todsacerdoti on Aug 28, 2020 | 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 |
|
