Type Theory, Lambda Calculus, Semantics, Compiler Design

Qlik named a leader in the IDC MarketScape: Worldwide data integration software platforms
zawya.com·3h
📐formal specification
Flag this post
Everything You Ever Wanted to Know About Type II Restriction Enzymes
neb.com·1d·
Discuss: Hacker News
🐫Ocaml
Flag this post
Making .NET Serialization Gadgets by Hand
vulncheck.com·14h·
Discuss: Hacker News
🪜Scala
Flag this post
Whitespace Esolang
esolangs.org·4d·
Discuss: Hacker News
🪜Scala
Flag this post
AGCI: A Framework for Evaluating Artificial General Coding Intelligence
dropstone.io·1d·
🔍Static Analysis
Flag this post
Squircle
en.wikipedia.org·1h·
Discuss: Hacker News
🐫Ocaml
Flag this post
How Point Cloud to BIM Helps Surveyors Reduce Costs and Save Time
scantobim.online·3d·
Discuss: DEV
🤖AI
Flag this post
Lightning Talk: Beyond Lua: Lightweight Envoy Extension With JavaScript - Takeshi Yoneda, Tetrate.io
youtube.com·1d
📐formal specification
Flag this post
Design themed component library
reddit.com·3h·
Discuss: r/reactjs
📐formal specification
Flag this post
A Turing complete language in TypeScript types
github.com·4d·
Discuss: Hacker News
🪜Scala
Flag this post
Phoenix – Highly Optimized Solver for the Nonlinear 2D Schrödinger Equation
github.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
What It Takes to Build a Modern Social Network in Django
github.com·7h·
Discuss: DEV
🦀Rust
Flag this post
Git Basics: A Beginner's Guide to Branches
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Flag this post
How to Keep LLM Outputs Predictable Using Pydantic Validation
dev.to·2d·
Discuss: DEV
📐formal specification
Flag this post
Full-stack application in Rust: Quick start
jorgeortiz.dev·22h·
Discuss: r/rust
🦀Rust
Flag this post
Building Code Genie: A Local-First AI Coding Assistant That Respects Your Privacy
dev.to·21h·
Discuss: DEV
💻Claude
Flag this post
How to Build Production-Ready RAG Systems (at Scale, with Low Latency & High Accuracy)
dev.to·3d·
Discuss: DEV
📐formal specification
Flag this post
Think Before You Retrieve: Learning Test-Time Adaptive Search with Small Language Models
arxiv.org·1d
🤖AI
Flag this post