Type Theory, Lambda Calculus, Semantics, Compiler Design

TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·16h·
Discuss: Hacker News
🔍Static Analysis
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
Pint: Python library that makes units easy
github.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·1d
📐formal specification
Flag this post
Building Custom Components in Langflow 🛠️
dev.to·2d·
Discuss: DEV
📐formal specification
Flag this post
Day 26: Python Book Sorter, Sort a Library by Page Count with Lambda Keys
dev.to·21h·
Discuss: DEV
🔍Static Analysis
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·2d
🪜Scala
Flag this post
Plan of Knowledge: Retrieval-Augmented Large Language Models for Temporal Knowledge Graph Question Answering
arxiv.org·4h
🐫Ocaml
Flag this post
DecoHD: Decomposed Hyperdimensional Classification under Extreme Memory Budgets
arxiv.org·4h
🔍Static Analysis
Flag this post
pygixml — The Fastest XML Parser for Python (Beating lxml at Its Own Game)
dev.to·21h·
Discuss: DEV
🪜Scala
Flag this post
Towards Aligning Multimodal LLMs with Human Experts: A Focus on Parent-Child Interaction
arxiv.org·4h
🐫Ocaml
Flag this post
[D] Favorite Deep Learning Textbook for teaching undergrads?
reddit.com·1d·
🐫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
Alternative Fairness and Accuracy Optimization in Criminal Justice
arxiv.org·4h
🔍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