Type Theory, Lambda Calculus, Semantics, Compiler Design

Myers Diff for Tab Management: Part 2
deontevanterpool.comยท1dยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
Think DSP second edition
allendowney.comยท3d
๐ŸชœScala
Flag this post
The Downside of Anthropomorphizing
funcall.blogspot.comยท1dยท
๐ŸชœScala
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.comยท2dยท
๐Ÿ”Static Analysis
Flag this post
Linking and shrinking Rust static libraries: a tale of fire
centricular.comยท12hยท
๐Ÿ”Static Analysis
Flag this post
Beyond Context Overload: How Parlant ร— Milvus Brings Control and Clarity to LLM Agent Behavior
milvus.ioยท2d
๐Ÿ“formal specification
Flag this post
Incremental Compilation in Recursiveโ€‘Descent Parser (Roslyn)
langdev.stackexchange.comยท5dยท
Discuss: Hacker News
๐ŸชœScala
Flag this post
One API for all โ€“ Mozilla ends LLM chaos
heise.deยท3h
๐ŸชœScala
Flag this post
Help with snake clon
reddit.comยท12hยท
Discuss: r/godot
๐Ÿค–AI
Flag this post
Day 26: Python Book Sorter, Sort a Library by Page Count with Lambda Keys
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Towards Aligning Multimodal LLMs with Human Experts: A Focus on Parent-Child Interaction
arxiv.orgยท17h
๐ŸซOcaml
Flag this post
[D] Favorite Deep Learning Textbook for teaching undergrads?
reddit.comยท1dยท
๐ŸซOcaml
Flag this post
Building Test Suite for "repo-contextr" using "pytest"
dev.toยท2hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat
arxiv.orgยท1d
๐Ÿ“formal specification
Flag this post
Alternative Fairness and Accuracy Optimization in Criminal Justice
arxiv.orgยท17h
๐Ÿ”Static Analysis
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.orgยท2d
๐Ÿ“formal specification
Flag this post
Web Developer Travis McCracken on Building Dev Tools for Backend Engineers
dev.toยท10hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Forked A/B Index Optimizer: Making Database Optimization Accessible to Everyone
dev.toยท8hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Meeting Minutes That Don't Suck: A Developer's Guide to AI Documentation
dev.toยท6hยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post