Type Theory, Lambda Calculus, Semantics, Compiler Design

Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·1d·
Discuss: r/programming
🔍Static Analysis
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·18h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Embedding TypeScript
andrews.substack.com·1d·
🪜Scala
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·2d
🦀Rust
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·6h
🐫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·6h
🔍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
My Hands-On Review of Kimi K2 Thinking: The Open-Source AI That's Changing the Game
reddit.com·9h·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·3d
📐formal specification
Flag this post
Fair and Explainable Credit-Scoring under Concept Drift: Adaptive Explanation Frameworks for Evolving Populations
arxiv.org·6h
🤖AI
Flag this post
Code Never Lies, It Just Mirrors the Coder
dev.to·23h·
Discuss: DEV
🔍Static Analysis
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·2d·
Discuss: Hacker News
📐formal specification
Flag this post
Vision Foundation Models in Agriculture: Toward Domain-Specific Adaptation for Weed Herbicide Trials Assessment
arxiv.org·6h
🐫Ocaml
Flag this post
Post-Training LLMs as Better Decision-Making Agents: A Regret-Minimization Approach
arxiv.org·6h
🤖AI
Flag this post
Measuring Aleatoric and Epistemic Uncertainty in LLMs: Empirical Evaluation on ID and OOD QA Tasks
arxiv.org·1d
🪜Scala
Flag this post
Epidemiology of Large Language Models: A Benchmark for Observational Distribution Knowledge
arxiv.org·1d
🪜Scala
Flag this post