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ยท2d
๐Ÿค–AI
Flag this post
Does More Data Always Yield Better Performance?
towardsdatascience.comยท9h
๐Ÿ”Static Analysis
Flag this post
Native Apps with ClojureScript, React and Static Hermes
romanliutikov.comยท1dยท
Discuss: r/programming
๐ŸชœScala
Flag this post
Running high-scale reinforcement learning (RL) for LLMs on GKE
cloud.google.comยท10h
๐Ÿ“formal specification
Flag this post
Using Knowledge Elicitation Techniques To Infuse Deep Expertise And Best Practices Into Generative AI
forbes.comยท1d
๐Ÿ“formal specification
Flag this post
Abusing the Harvard Architecture in Nand2Tetris Assembly
ashdnazg.github.ioยท2dยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
Joy & Curiosity #61
registerspill.thorstenball.comยท1d
๐Ÿ”Static Analysis
Flag this post
Understanding Classes and Objects in Dart
dev.toยท20hยท
Discuss: DEV
๐Ÿ”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
Symfony Station Communiquรฉ - โœฆ Stardate: 17 October 2025 โœฆ
dev.toยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
Unlocking Enzyme Secrets: AI-Powered Mutational Analysis by Arvind Sundararajan
dev.toยท18hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Canonical's Secure Starlark in Go
github.comยท3dยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
Credit AI
dev.toยท20hยท
Discuss: DEV
๐ŸชœScala
Flag this post
I'm new to LLMs and just ran my first model. What LLM "wowed" you when you started out?
reddit.comยท20hยท
Discuss: r/LocalLLaMA
๐ŸชœScala
Flag this post
Context-Driven Development: How AI Fixed Image Rendering in Jira Integration
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI
Flag this post
How I Approach Building Component Systems
dev.toยท21hยท
Discuss: DEV
๐Ÿ”„Concurrency Models
Flag this post
Claude Code Web is the future of coding... once they fix it!
reddit.comยท7hยท
Discuss: r/ClaudeAI
๐Ÿ’ปClaude
Flag this post