Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
Artificial intelligence serves many roles.
-
Generated by AI—notice the perspective.
-
The Thing We All Obviously Want
Generated by AI—notice the perspective.
-
My NSF CAREER proposal was rejected, and I’m making it publicly available: Micinski CAREER Proposal (PDF).
-
My Rejected NSF CAREER Proposal
My NSF CAREER proposal was rejected, and I’m making it publicly available: Micinski CAREER Proposal (PDF).
-
Dear students of Computer Science, Almost everything everyone is telling you about LLMs is probably wrong.
-
Why Study CS? Thoughts on LLM-assisted software engineering
Dear students of Computer Science, Almost everything everyone is telling you about LLMs is probably wrong.
-
Class website here: https://kmicinski.com/cis531-f25 Are you interested in building a compiler?
-
Build a Compiler in Five Projects
Class website here: https://kmicinski.com/cis531-f25 Are you interested in building a compiler?
-
One story every computing enthusiast should hear is the lesson of how loops and tail-recursion are equivalent.
-
Why Tail-Recursive Functions are Loops
One story every computing enthusiast should hear is the lesson of how loops and tail-recursion are equivalent.
-
Our setting is logic programming, a field which attempts to design programming languages whose semantics have a close relationship to formal logic.
-
Modern Deduction Post 1: Chain-Forward Computation
Our setting is logic programming, a field which attempts to design programming languages whose semantics have a close relationship to formal logic.
-
Over the past few years, my collaborators and I have been exploring the design of high-performance logic programming engines for a wide variety of tasks, including program analysis (points-to analysis, abstract interpretation), graph analytics (transitive…
-
Modern Deduction Post 0: Prologue
Over the past few years, my collaborators and I have been exploring the design of high-performance logic programming engines for a wide variety of tasks, including program analysis (points-to analysis, abstract interpretation), graph analytics (transitive…
-
This page holds my “year 3 review” materials for evaluation and promotion at Syracuse University.
-
Mid-Point Review Materials
This page holds my “year 3 review” materials for evaluation and promotion at Syracuse University.
-
When I began programming, I read a copy of Richard Steven’s “Programming in the UNIX Environment.”
-
Certifying Interpreters in Racket
When I began programming, I read a copy of Richard Steven’s “Programming in the UNIX Environment.”
-
Link to this year’s Scheme Workshop CFP This year marks the twentieth anniversary of the workshop on Scheme and Functional Programming.
-
Why I hope you'll submit to Scheme Workshop
Link to this year’s Scheme Workshop CFP This year marks the twentieth anniversary of the workshop on Scheme and Functional Programming.