Type Theory, Lambda Calculus, Semantics, Compiler Design

Government suspends extension for Cambodian workers with expired permits
nationthailand.comยท1d
๐Ÿฆ€Rust
Flag this post
Citable
producthunt.comยท1d
๐Ÿค–AI
Flag this post
Native Apps with ClojureScript, React and Static Hermes
romanliutikov.comยท1dยท
Discuss: r/programming
๐ŸชœScala
Flag this post
Risky Bulletin: Yanluowang ransomware IAB pleads guilty
news.risky.bizยท21h
๐Ÿ”Static Analysis
Flag this post
Unphiltered - Chapter 4 - Cinematic Moments
stacker.newsยท15h
๐Ÿ”Static Analysis
Flag this post
Joy & Curiosity #61
registerspill.thorstenball.comยท1d
๐Ÿ”Static Analysis
Flag this post
Dynamic instantiation pattern for 100+ message types?
reddit.comยท17hยท
Discuss: r/golang
๐Ÿ”Static Analysis
Flag this post
InfiMed-ORBIT: Aligning LLMs on Open-Ended Complex Tasks via Rubric-BasedIncremental Training
dev.toยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
PCT quantum symmetries -- section
ncatlab.orgยท4d
๐ŸซOcaml
Flag this post
Wikipedia-based Datasets in Russian Information Retrieval Benchmark RusBEIR
arxiv.orgยท19h
๐ŸซOcaml
Flag this post
Physics as Code: Train AI with Differentiable Simulations
dev.toยท21hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Automatic segmentation of colorectal liver metastases for ultrasound-based navigated resection
arxiv.orgยท19h
๐Ÿค–AI
Flag this post
TRICK: Time and Range Integrity ChecK using Low Earth Orbiting Satellite for Securing GNSS
arxiv.orgยท19h
๐Ÿ“formal specification
Flag this post
SurgiATM: A Physics-Guided Plug-and-Play Model for Deep Learning-Based Smoke Removal in Laparoscopic Surgery
arxiv.orgยท19h
๐Ÿค–AI
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.toยท8hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Claude Code Web is the future of coding... once they fix it!
reddit.comยท3hยท
Discuss: r/ClaudeAI
๐Ÿ’ปClaude
Flag this post
Context-Driven Development: How AI Fixed Image Rendering in Jira Integration
dev.toยท22hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
How I Approach Building Component Systems
dev.toยท18hยท
Discuss: DEV
๐Ÿ”„Concurrency Models
Flag this post