Type Theory, Lambda Calculus, Semantics, Compiler Design

Show HN: SlugMatch โ€“ Match Students to Residential Colleges
slugmatch.comยท1dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Boost.Decimal Has Been Accepted
lists.boost.orgยท3dยท
Discuss: Hacker News
๐ŸซOcaml
Flag this post
Image compression method combines classic techniques for greater efficiency and flexibility
techxplore.comยท5h
๐ŸชœScala
Flag this post
Intelligent inference request routing for large language models
next.redhat.comยท2d
๐Ÿ“formal specification
Flag this post
Donโ€™t Fight the Weights
dbreunig.comยท2dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
What's up Python? You already know :)
bitecode.devยท4d
๐Ÿ’ปClaude
Flag this post
A Master Table of Truth: Lawyers Using AI
craigball.netยท9hยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
Common Techniques Used in White Box Testing Explained
dev.toยท17hยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
I taught Claude my 15-year productivity framework and it got weirdly empathic [GitHub repo + mega prompt inside]
reddit.comยท19hยท
Discuss: r/ClaudeAI
๐Ÿค–AI
Flag this post
FAIRPLAI: A Human-in-the-Loop Approach to Fair and Private Machine Learning
arxiv.orgยท21h
๐Ÿค–AI
Flag this post
Federated AI's Achilles' Heel: Can Collaborative Teaching Fix Data Corruption?
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Transformer-Based Sleep Stage Classification Enhanced by Clinical Information
arxiv.orgยท21h
๐Ÿ”Static Analysis
Flag this post
How to Automate Your Knowledge Management with Python and AI APIs
dev.toยท9hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Stop fine-tuning your model for every little thing. You're probably wasting your time.
reddit.comยท1dยท
Discuss: r/LocalLLaMA
๐Ÿค–AI
Flag this post
Neurophysiological Characteristics of Adaptive Reasoning for Creative Problem-Solving Strategy
arxiv.orgยท1d
๐ŸชœScala
Flag this post
iPEX enables micrometre-resolution deep spatial proteomics via tissue expansion
nature.comยท1d
๐ŸซOcaml
Flag this post
LangChain Explained: A Beginner-Friendly Guide to Building LLM Applications
pub.towardsai.netยท1d
๐ŸชœScala
Flag this post
Attention and Compression is all you need for Controllably Efficient Language Models
arxiv.orgยท3d
๐ŸชœScala
Flag this post
High-dimensional Bayesian filtering through deep density approximation
arxiv.orgยท2d
๐Ÿค–AI
Flag this post