programming language theory
Build a Compiler from Scratch, Part0: Introduction
blog.sylver.dev·17h
Introduction to Problem of Language Modeling
infinitely-fallible.bearblog.dev·19h
Proficient Python: Course Overview
proficientpython.com·8h
Defining Corrigible and Useful Goals
lesswrong.com·12h
HW Security: Multi-Agent AI Assistant Leveraging LLMs To Automate Key Stages of SoC Security Verification (U. of Florida)
semiengineering.com·9h
Build a Compiler from Scratch, Part 1.1: A Hello World of sorts
blog.sylver.dev·17h
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·12h
Hypercubical manifolds in homotopy type theory
arxiv.org·12h
Loading...Loading more...