🔧 PLT

Type Theory, Lambda Calculus, Semantics, Compiler Design

Firebase vs. Supabase vs. Appwrite: We Built the Same App Three Times
simpletechguides.com·2h·
Discuss: Hacker News
🪜Scala
Flag this post
Our latest commitments in AI and learning
blog.google·1d
🤖AI
Flag this post
Box of bugs (exploded): Perils of cross-platform development
pvs-studio.com·1d·
Discuss: r/programming
🔍Static Analysis
Flag this post
Imperative to Relational
madhadron.com·3d·
Discuss: Lobsters, Hacker News
🔍Static Analysis
Flag this post
Understanding Word Embedding: Bridging Language and Numbers
dev.to·1d·
Discuss: DEV
🐫Ocaml
Flag this post
Detecting Logo Similarity: Combining AI Embeddings with Fourier Descriptors
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
I'm trying to prototype but bad at coding
reddit.com·17h·
Discuss: r/godot
🦀Rust
Flag this post
First Rust Program, Hack Assembler from Nand2Tetris
reddit.com·1d·
Discuss: r/rust
🦀Rust
Flag this post
50 % smaller LLM same PPL, experimental architecture
reddit.com·4d·
Discuss: r/LLM
🐫Ocaml
Flag this post
Automated Variant Interpretation & Stratification via Hyperdimensional Network Ensemble
dev.to·8h·
Discuss: DEV
🔍Static Analysis
Flag this post
Exploring the World of Distributed Protocols – A Self-Taught Journey
dev.to·8h·
Discuss: DEV
🔄Concurrency Models
Flag this post
Measuring Value Expressions in Social Media Posts
arxiv.org·9h
🔍Static Analysis
Flag this post
Building a Vector Database from Scratch - CapybaraDB
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
From Token Bloat to Tool Precision: Solving the Model Context Protocol’s Biggest Problem
dev.to·18h·
Discuss: DEV
📐formal specification
Flag this post
From Visibility to Decisiveness: Operation Intelligence Redefines the Intelligent O&M Paradigm for Enterprises
dev.to·6h·
Discuss: DEV
🔍Static Analysis
Flag this post
DLER: Doing Length pEnalty Right - Incentivizing More Intelligence per Token viaReinforcement Learning
paperium.net·3d·
Discuss: DEV
🤖AI
Flag this post
Searching for the Core Value in My Programming Journey
dev.to·8h·
Discuss: DEV
🔍Static Analysis
Flag this post
Bill Belichick 'getting ready for Wake Forest,' not thinking about Giants job
nytimes.com·16h
⚡Zig
Flag this post
Why Baidu's AMIS Framework Is an Excellent Design
dev.to·2d·
Discuss: DEV
🪜Scala
Flag this post
The Closure Trap: A JavaScript Bug That Shows Why Fundamentals Still Matter in the AI Era
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Flag this post