miniblog.

← Back to all posts
Aug 5, 2017 at 09:38
Suggesting fixes to students' code by using a solver to explore modifications to the program! https://youtu.be/NAoSTmCUlW0 (uses sketch)

Related Posts

Feb 10, 2024 at 20:15
The Ruby on Rails guides use "please" when suggesting other resource to read or best practices to follow. For example: https://guides.rubyonrails.org/autoloading_and_reloading_constants.html I've not seen this docs convention before. I certainly see the appeal for describing best practices: "your collaborators will appreciate it!"
Autoloading and Reloading Constants — Ruby on Rails Guides
Autoloading and Reloading Constants — Ruby on Rails Guides
This guide documents how autoloading and reloading works in zeitwerk mode.After reading this guide, you will know: Related Rails configuration Project structure Autoloading, reloading, and eager loading Single Table Inheritance And more
Feb 1, 2018 at 19:28
GHC can now offer type-aware suggestions for holes in code, even suggesting functions that you could use if you just passed an additional argument! https://twitter.com/tritlo/status/958783134627135489