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ยท2d
๐Ÿชœ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ยท3d
๐ŸชœScala
Flag this post
Large language models replicate and predict human cooperation across experiments in game theory
arxiv.orgยท1h
๐Ÿ”„Concurrency Models
Flag this post
Improving Diagnostic Performance on Small and Imbalanced Datasets Using Class-Based Input Image Composition
arxiv.orgยท1h
๐Ÿ”Static Analysis
Flag this post
essential spectrum
ncatlab.orgยท2d
๐ŸชœScala
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.orgยท2d
๐ŸชœScala
Flag this post
Normalized tensor train decomposition
arxiv.orgยท1h
๐Ÿค–AI
Flag this post
LLMs and Cultural Values: the Impact of Prompt Language and Explicit Cultural Framing
arxiv.orgยท1h
๐ŸชœScala
Flag this post
Cj: a tiny no-deps JIT in C for x86-64 and ARM64
reddit.comยท1dยท
Discuss: r/programming
๐Ÿ”Static Analysis
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.orgยท3d
๐Ÿ”Static Analysis
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.orgยท1d
๐Ÿ“formal specification
Flag this post
A Guide to the Best Java Machine Learning Libraries
dev.toยท20hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Building Custom Components in Langflow ๐Ÿ› ๏ธ
dev.toยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post