Explore >> Select a destination
|
You are here 
|
v5.chriskrycho.com | ||
| | | | |
alvaro-videla.com
|
|
| | | | | [AI summary] The article explores the concept of 'Model Reader' in programming, drawing parallels between literary theory and software development. It discusses how programming is a form of writing, using metaphors and maps to represent real-world problems. The text emphasizes the importance of understanding the audience (Model Reader) when designing software, highlighting the role of paratexts, such as package names and comments, in guiding interpretation. It also touches on the philosophical aspects of abstraction and the distinction between code as a map and the actual territory it represents. The conclusion underscores the need for thoughtful design, balancing theoretical models with practical implementation to ensure usability and clarity in software de... | |
| | | | |
olano.dev
|
|
| | | | | The product of software development is not code but a mental model, a theory: a specific way of explaining the world. | |
| | | | |
jackrusher.com
|
|
| | | | | [AI summary] The speaker discusses various interactive and visual programming environments, emphasizing the importance of live coding, immediate feedback, and the integration of programming with visualization tools. They highlight systems like Clerk, which allows for real-time data inspection and notebook-based development, and mention projects like Enso and others that use projectional syntax and dynamic visualization. The talk also touches on educational tools for teaching programming through music and visual interfaces, and the speaker thanks the organizers and sponsors for their support. | |
| | | | |
sabrinajewson.org
|
|
| | | The main focus of this article will be on attempting to design a system to support asynchronous destructors in the Rust programming language, figuring the exact semantics of them and resolving any issues encountered along the way. By side effect, it also designs a language feature called async genericity which enables supporting blocking and asynchronous code with the same codebase, as well as designing a system for completion-guaranteed futures to be added to the language. | ||
