Type Theory, Lambda Calculus, Semantics, Compiler Design

Three releases, one new organization
nedbatchelder.comยท2d
๐Ÿ”Static Analysis
Flag this post
Structural basis of cyclobutane pyrimidine dimer recognition by UV-DDB in the nucleosome
nature.comยท21h
๐ŸซOcaml
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
RL Environments and the Hierarchy of Agentic Capabilities
surgehq.aiยท13hยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
AI favors texts written by other AIs, even when they're worse than human ones
cfenollosa.comยท2dยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
cilium/ebpf
github.comยท5h
๐Ÿ”Static Analysis
Flag this post
Project Delivery Requires AI Orchestration Systems, Not Mere Toolsโ€”Founder in Charge of Project...
thedigitalprojectmanager.comยท8h
๐Ÿค–AI
Flag this post
Beyond lxml: Faster and More Pythonic Parsing with pygixml and selectolax
dev.toยท3dยท
Discuss: DEV
๐ŸชœScala
Flag this post
How to Achieve 4x Faster Inference for Math Problem Solving
developer.nvidia.comยท2d
๐Ÿค–AI
Flag this post
Built a way for Claude to query 6M rows without touching context windows. Anyone testing MCP at scale want to try it?
reddit.comยท8hยท
Discuss: r/ClaudeAI
๐Ÿค–AI
Flag this post
Ethical AI Development: Building Trustworthy and Transparent Systems
dev.toยท59mยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
Intro to Clean Architecture in Android. Example with independent features.
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
I Built a $0/month Autonomous QA Agent That Writes Tests for My Team Using Claude Code + Self-Hosted GitLab
reddit.comยท9hยท
Discuss: r/devops
๐Ÿ’ปClaude
Flag this post
Handling Smart Contract Errors in Equillar. From Rust to PHP
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
I built a production-ready backend with NestJS & Prisma, focusing on clean architecture. Here's a look at the structure.
reddit.comยท2dยท
Discuss: r/node
๐Ÿ”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
How to Cut Your AI API Costs: Six Proven Strategies
dev.toยท16hยท
Discuss: DEV
๐Ÿ“formal specification
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