Type Theory, Lambda Calculus, Semantics, Compiler Design

Raycore: GPU accelerated and modular ray intersections
makie.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
How to Choose a Local AI in DEVONthink
devontechnologies.com·1d
🤖AI
Flag this post
Diving into Reactive Programming in Node.js
blog.appsignal.com·44m·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
Meta's chief AI scientist maps his exit
therundown.ai·2h
🤖AI
Flag this post
LLMs let me maintain my PostgreSQL extension for PRQL after becoming a parent
news.ycombinator.com·3d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
The Battle began
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post
Food as Soft Power: Taiwanese Gastrodiplomacy on Social Media and Algorithmic Suppression
arxiv.org·1d
🐫Ocaml
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
Create Your First MCP Tool: The readFile Tool Explained
dev.to·7h·
Discuss: DEV
📐formal specification
Flag this post
Why Baidu's AMIS Framework Is an Excellent Design
dev.to·2d·
Discuss: DEV
🪜Scala
Flag this post
How to Cut Your AI API Costs: Six Proven Strategies
dev.to·20h·
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·7h·
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
The Vibe Coding Evolution: Why AI Needs Enterprise-Grade Team Features (And How Breaking Down Your Workflow Changes Everything)
dev.to·2h·
Discuss: DEV
🤖AI
Flag this post
I don't why, but I love this language!
reddit.com·3d·
Discuss: r/Zig
Zig
Flag this post