🔧 PLT

Type Theory, Lambda Calculus, Semantics, Compiler Design

🔗 Why I chose Phoenix LiveView over Rails, Laravel, and next.js
yellowduck.be·19h
🪜Scala
Flag this post
Free Bootstrap 5 Gym Website Template Download
codewithfaraz.com·2h·
Discuss: r/programming
⚡Zig
Flag this post
2 Years of ML vs. 1 Month of Prompting
levs.fyi·1d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
original ↗
gurudas.dev·3d
💻Claude
Flag this post
AI Wealth Managers and Smart Contracts = Dead People Controlling Money Forever
lightcapai.medium.com·17h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Introduction to Godot C# Essentials | A microsoft introduction to Godot for C#
github.com·3d·
Discuss: r/godot
🤖AI
Flag this post
What should I study for advanced embedded?
reddit.com·2h·
Discuss: r/embedded
🔍Static Analysis
Flag this post
TDD in Go, Gin, microservices
reddit.com·2d·
Discuss: r/golang
📐formal specification
Flag this post
TileMapLayer - is this really the way?
reddit.com·4h·
Discuss: r/godot
🦀Rust
Flag this post
Diagnosing and Breaking Amplitude Suppression in Seismic Phase Picking Through Adversarial Shape Learning
arxiv.org·4h
🤖AI
Flag this post
Towards Mixed-Modal Retrieval for Universal Retrieval-Augmented Generation
paperium.net·1d·
Discuss: DEV
🤖AI
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·6d
🪜Scala
Flag this post
Can Models be Evaluation Aware Without Explicit Verbalization?
lesswrong.com·2d
📐formal specification
Flag this post
TypeScript Just Dethroned Python and JavaScript on GitHub
medium.com·2d·
Discuss: r/typescript
🪜Scala
Flag this post
IonQ's Q3: Inflection Is Near
seekingalpha.com·21h
🐫Ocaml
Flag this post
Knowledge-based anomaly detection for identifying network-induced shape artifacts
arxiv.org·1d
🔍Static Analysis
Flag this post
A two-stage semi-supervised domain generalization network for fault diagnosis under unknown working conditions
sciencedirect.com·1d
🔍Static Analysis
Flag this post
Feeling a lot of language learning pressure
reddit.com·1d·
Discuss: r/languagelearning
🐫Ocaml
Flag this post
Beyond Pipelines: A Survey of the Paradigm Shift toward Model-Native Agentic AI
paperium.net·17h·
Discuss: DEV
🔄Concurrency Models
Flag this post
ORCHID: Orchestrated Retrieval-Augmented Classification with Human-in-the-Loop Intelligent Decision-Making for High-Risk Property
arxiv.org·1d
📐formal specification
Flag this post