| | Why is cloud file-sharing hard? By analogy with programming misconceptions (brownplt.org) |
| 2 points by fanf2 3 months ago | past |
|
| | Sharing Is Scaring: Why Is Cloud File-Sharing Hard? (brownplt.org) |
| 2 points by thunderbong 3 months ago | past |
|
| | Sharing Is Scaring: Why Is Cloud File-Sharing Hard? (brownplt.org) |
| 2 points by todsacerdoti 3 months ago | past |
|
| | Practical Static Analysis for Privacy Bugs (brownplt.org) |
| 3 points by todsacerdoti 3 months ago | past |
|
| | Lightweight Diagramming for Lightweight Formal Methods (brownplt.org) |
| 24 points by azhenley 5 months ago | past |
|
| | Linear Temporal Logic (LTL) Tutor (brownplt.org) |
| 6 points by matt_d on Aug 9, 2024 | past |
|
| | Differential Analysis: A Summary (brownplt.org) |
| 2 points by thunderbong on June 28, 2024 | past |
|
| | Differential Analysis: A Summary (brownplt.org) |
| 2 points by todsacerdoti on June 27, 2024 | past |
|
| | Examplar: A better way to teach programming (make students make the examples) (brownplt.org) |
| 1 point by OmarShehata on May 25, 2024 | past | 1 comment |
|
| | Forge: A Tool to Teach Formal Methods (brownplt.org) |
| 7 points by __rito__ on April 22, 2024 | past |
|
| | Forge: A Tool to Teach Formal Methods (brownplt.org) |
| 21 points by todsacerdoti on April 21, 2024 | past | 1 comment |
|
| | Finding and Fixing Standard Misconceptions About Program Behavior (brownplt.org) |
| 1 point by MaysonL on April 13, 2024 | past |
|
| | Finding and fixing standard misconceptions about program behavior (brownplt.org) |
| 77 points by vector_spaces on April 12, 2024 | past | 21 comments |
|
| | Mystery Languages (2018) (brownplt.org) |
| 3 points by nairboon on March 6, 2024 | past |
|
| | Profiling Programming Language Learning (brownplt.org) |
| 2 points by matt_d on Feb 1, 2024 | past |
|
| | The Examplar Project: A Summary (brownplt.org) |
| 1 point by matt_d on Jan 3, 2024 | past |
|
| | A Core Calculus for Documents (brownplt.org) |
| 3 points by azhenley on Dec 29, 2023 | past | 1 comment |
|
| | Generating Programs Trivially: Student Use of Large Language Models (brownplt.org) |
| 1 point by hackandthink on Oct 22, 2023 | past |
|
| | A Grounded Conceptual Model for Ownership Types in Rust (brownplt.org) |
| 3 points by carapace on Sept 18, 2023 | past |
|
| | What happens when students switch (functional) languages? (brownplt.org) |
| 2 points by azhenley on July 24, 2023 | past |
|
| | Picking Colors for Pyret Error Messages (2018) (brownplt.org) |
| 1 point by aebtebeten on July 17, 2023 | past |
|
| | What happens when students switch (functional) languages (brownplt.org) |
| 2 points by azhenley on July 17, 2023 | past |
|
| | Teaching and Assessing Property-Based Testing (brownplt.org) |
| 1 point by optbuild on June 6, 2023 | past |
|
| | Typed-Untyped Interactions: A Comparative Analysis (brownplt.org) |
| 1 point by matt_d on Feb 8, 2023 | past |
|
| | Performance Preconceptions (brownplt.org) |
| 3 points by matt_d on Oct 11, 2022 | past |
|
| | Structural versus Pipeline Composition of Higher-Order Functions (brownplt.org) |
| 1 point by matt_d on Aug 17, 2022 | past |
|
| | Plan Composition Using Higher-Order Functions (brownplt.org) |
| 14 points by azhenley on July 10, 2022 | past | 6 comments |
|
| | Towards a Notional Machine for Runtime Stacks and Scope (brownplt.org) |
| 2 points by azhenley on July 7, 2022 | past |
|
| | Gradual Soundness: Lessons from static Python (brownplt.org) |
| 15 points by azhenley on June 30, 2022 | past | 1 comment |
|
| | Gradual Soundness: Lessons from Static Python (brownplt.org) |
| 2 points by matt_d on June 29, 2022 | past |
|
|
| More |
