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
Dive into Systems
diveintosystems.orgยท3dยท
Discuss: Hacker News
๐Ÿ“formal specification
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.comยท4d
๐ŸชœScala
Flag this post
HACI: A Haptic-Audio Code Interface to Improve Educational Outcomes for Visually Impaired Introductory Programming Students
arxiv.orgยท11h
๐Ÿค–AI
Flag this post
Java vs JavaScript vs Python: Which Is Best for Test Automation?
dev.toยท4hยท
Discuss: DEV
๐Ÿ“formal specification
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ยท11h
๐ŸซOcaml
Flag this post
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat
arxiv.orgยท1d
๐Ÿ“formal specification
Flag this post
[D] Favorite Deep Learning Textbook for teaching undergrads?
reddit.comยท1dยท
๐ŸซOcaml
Flag this post
Alternative Fairness and Accuracy Optimization in Criminal Justice
arxiv.orgยท11h
๐Ÿ”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
Forked A/B Index Optimizer: Making Database Optimization Accessible to Everyone
dev.toยท2hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Meeting Minutes That Don't Suck: A Developer's Guide to AI Documentation
dev.toยท52mยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
Fair and Explainable Credit-Scoring under Concept Drift: Adaptive Explanation Frameworks for Evolving Populations
arxiv.orgยท11h
๐Ÿค–AI
Flag this post
Code Never Lies, It Just Mirrors the Coder
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
A Guide to the Best Java Machine Learning Libraries
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Vision Foundation Models in Agriculture: Toward Domain-Specific Adaptation for Weed Herbicide Trials Assessment
arxiv.orgยท11h
๐ŸซOcaml
Flag this post