🔧 PLT

Type Theory, Lambda Calculus, Semantics, Compiler Design

The Downside of Anthropomorphizing
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🪜Scala
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.dev·1d
🪜Scala
Flag this post
Beyond Context Overload: How Parlant × Milvus Brings Control and Clarity to LLM Agent Behavior
milvus.io·3d
📐formal specification
Flag this post
Participatory Modeling in the AI Era
sciencedirect.com·19h
📐formal specification
Flag this post
From Dataset to DataFrame to Deployed: Your First Project with Pandas & Scikit-learn
kdnuggets.com·21h
🪜Scala
Flag this post
New comment by adastra22 in "Ratatui – App Showcase"
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
10 Smart Performance Hacks For Faster Python Code
blog.jetbrains.com·2d
🔍Static Analysis
Flag this post
One API for all – Mozilla ends LLM chaos
heise.de·15h
🪜Scala
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·3d
🪜Scala
Flag this post
[D] Favorite Deep Learning Textbook for teaching undergrads?
reddit.com·2d·
Discuss: r/MachineLearning
🐫Ocaml
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·3d
📐formal specification
Flag this post
Web Developer Travis McCracken on Building Dev Tools for Backend Engineers
dev.to·22h·
Discuss: DEV
🔍Static Analysis
Flag this post
Continuous Autoregressive Language Models : Alternate for traditional LLMs, paper by Tencent
reddit.com·1d·
Discuss: r/LocalLLaMA
🐫Ocaml
Flag this post
Create a MCP server from scratch
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post
Forked A/B Index Optimizer: Making Database Optimization Accessible to Everyone
dev.to·20h·
Discuss: DEV
🤖AI
Flag this post
Vision Language Models: The AI Eyes That Understand the World
dev.to·19h·
Discuss: DEV
🐫Ocaml
Flag this post
Revolutionizing Continuous Learning with Nested Neural Networks
dev.to·6h·
Discuss: DEV
🤖AI
Flag this post
Building a Python @trace Decorator in Rust
dev.to·17h·
Discuss: DEV
🦀Rust
Flag this post
<p>**Abstract:** This paper introduces a novel framework for automated behavioral economics forecasting by integrating multi-modal data ingestion, semantic deco...
freederia.com·15h
🪜Scala
Flag this post
Fair and Explainable Credit-Scoring under Concept Drift: Adaptive Explanation Frameworks for Evolving Populations
arxiv.org·1d
🤖AI
Flag this post