The Curious Engineer

All blogs / Functional / PL theory

Kristopher Micinski

kmicinski.com

Kris Micinski's Website. Love the lambda.

Functional / PL theoryLisp / Clojure / SchemeSecurityCompilers

’15’20’25
Posts
42 from 4 Sep 2012 to 17 Sep 2026
Posting
monthly (7 in the last year)
Kind
personal blog
Feed
https://kmicinski.com/feed.xml

2026 5

  1. Thoughts on Learning with AI
  2. The Thing We All Obviously Want
  3. Modern Deduction Blog
  4. My Rejected NSF CAREER Proposal
  5. Why Study CS? Thoughts on LLM-assisted software engineering

2025 2

  1. Build a Compiler in Five Projects
  2. Why Tail-Recursive Functions are Loops

2024 2

  1. Modern Deduction Post 1: Chain-Forward Computation
  2. Modern Deduction Post 0: Prologue

2022 2

  1. Mid-Point Review Materials
  2. Certifying Interpreters in Racket

2019 1

  1. Why I hope you'll submit to Scheme Workshop

2017 6

  1. Video: Exploiting Use After Free (UAF) vulnerabilities
  2. All About Git
  3. Job materials for 2017
  4. My new cybersecurity course at Haverford (Spring 2017)
  5. Writing tip: say the text back to you
  6. How to Succeed in Grad School

2016 6

  1. Here: Have Some PLUM Scrum
  2. Appreciating Research as Problems
  3. The nonobvious -- but important -- aspects of teaching (for me)
  4. Program Visualization as Abstract Interpretation
  5. Half-Baked Ideas on The Future of Static Analysis and Security
  6. The Environment Problem and Abstract Counting

2012 2

  1. Efficient SAT Solving
  2. On Understanding Coinduction

Undated 16

  1. CIS400/600: Cybersecurity and Artificial Intelligence
  2. Cis531 f25
  3. Spring 2026
  4. Spring 2025
  5. Fall 2024
  6. Spring 2024
  7. Fall 2023
  8. Spring 2023
  9. Fall 2022
  10. Spring 2022
  11. Spring 2021
  12. Spring 2020
  13. modern symbolic AI and automated reasoning
  14. Fall 2023
  15. teaching page
  16. goals and expectations for undergraduate research