Type Theory, Lambda Calculus, Semantics, Compiler Design

Language First
languagemagazine.comยท18h
๐ŸซOcaml
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
crypto.forem.comยท12hยท
Discuss: DEV
๐Ÿ’ฐFidelity
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.loveยท4d
๐Ÿ”Static Analysis
Flag this post
I'm a terrible man with no real values
reddit.comยท8hยท
๐Ÿฆ€Rust
Flag this post
Thoughts on Building Reliable Systems
medium.comยท1dยท
๐Ÿ”„Concurrency Models
Flag this post
Kant EZ to read? Questions from a beginner
reddit.comยท1hยท
Discuss: r/Kant
๐Ÿ”Static Analysis
Flag this post
UCBLogo (Logo, the Programming Language)
github.comยท4hยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
dev.toยท3dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
paperium.netยท2dยท
Discuss: DEV
๐Ÿค–AI
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.orgยท4d
๐Ÿ”„Concurrency Models
Flag this post
Self-Healing Application Framework - Autonomous Issue Resolution with Agentic Postgres
dev.toยท4hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
SemaphoreSlim in .NET, a practical guide with the rest of the toolbox
dev.toยท20hยท
Discuss: DEV
๐Ÿ”„Concurrency Models
Flag this post
Build Galaga with ClojureScript & Scittle
clojurecivitas.github.ioยท12h
๐Ÿค–AI
Flag this post
My experience with claude code
reddit.comยท1dยท
Discuss: r/ClaudeAI
๐Ÿ’ปClaude
Flag this post
BLIP3o-NEXT: Next Frontier of Native Image Generation
paperium.netยท7hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Efficient Parallel Samplers for Recurrent-Depth Models and Their Connection toDiffusion Language Models
paperium.netยท1dยท
Discuss: DEV
๐ŸซOcaml
Flag this post
MorphoBench: A Benchmark with Difficulty Adaptive to Model Reasoning
paperium.netยท10hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
I Used AI to Bridge the Accessibility Gap for Millions of People in India (Project A.I.D.)
github.comยท21hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Facade Pattern โ€” Catalog of Enterprise Application Architecture Patterns ๐Ÿข
dev.toยท2dยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
Understanding Python Async Patterns: A Comprehensive Guide
dev.toยท18hยท
Discuss: DEV
๐Ÿ”„Concurrency Models
Flag this post