Submissions from brownplt.org

		Why is cloud file-sharing hard? By analogy with programming misconceptions (brownplt.org)
		2 points by fanf2 7 months ago \| past
		Sharing Is Scaring: Why Is Cloud File-Sharing Hard? (brownplt.org)
		2 points by thunderbong 7 months ago \| past
		Sharing Is Scaring: Why Is Cloud File-Sharing Hard? (brownplt.org)
		2 points by todsacerdoti 7 months ago \| past
		Practical Static Analysis for Privacy Bugs (brownplt.org)
		3 points by todsacerdoti 8 months ago \| past
		Lightweight Diagramming for Lightweight Formal Methods (brownplt.org)
		24 points by azhenley 10 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

HN For You