Type Theory, Lambda Calculus, Semantics, Compiler Design

Raycore: GPU accelerated and modular ray intersections
makie.orgยท1dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
SVG ratifies Ocean protection treaty
searchlight.vcยท19h
๐ŸซOcaml
Flag this post
Meta's chief AI scientist maps his exit
therundown.aiยท11m
๐Ÿค–AI
Flag this post
LLMs let me maintain my PostgreSQL extension for PRQL after becoming a parent
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
Food as Soft Power: Taiwanese Gastrodiplomacy on Social Media and Algorithmic Suppression
arxiv.orgยท1d
๐ŸซOcaml
Flag this post
UniGenBench++: A Unified Semantic Evaluation Benchmark for Text-to-ImageGeneration
dev.toยท19hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Coming out of a 20 year LAMP cave into the modern web dev mess.
reddit.comยท1dยท
Discuss: r/webdev
๐Ÿ”Static Analysis
Flag this post
Gonka.ai โ€“ Decentralized Infrastructure for AI
github.comยท1dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Build a Blazing-Fast YouTube Summarizer: Groq, LangChain, and Streamlit
pub.towardsai.netยท1d
๐Ÿ”Static Analysis
Flag this post
Searching for the Core Value in My Programming Journey
dev.toยท4hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Create Your First MCP Tool: The readFile Tool Explained
dev.toยท5hยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
How to Cut Your AI API Costs: Six Proven Strategies
dev.toยท18hยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
LLM-Guided Reinforcement Learning with Representative Agents for Traffic Modeling
arxiv.orgยท1d
๐Ÿ”„Concurrency Models
Flag this post
After a year building an open-source AI framework, Iโ€™m starting to wonder what actually gets attention
reddit.comยท1dยท
Discuss: r/LocalLLaMA
๐Ÿ”„Concurrency Models
Flag this post
Do You Want to Code โ€” or Become a Developer?
dev.toยท5hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Pluralistic Behavior Suite: Stress-Testing Multi-Turn Adherence to Custom Behavioral Policies
arxiv.orgยท2d
๐Ÿ”„Concurrency Models
Flag this post
I don't why, but I love this language!
reddit.comยท3dยท
Discuss: r/Zig
โšกZig
Flag this post
Consecutive Preferential Bayesian Optimization
arxiv.orgยท2d
๐Ÿ”„Concurrency Models
Flag this post