Dependent Types, Proof Development, Tactics, Mathematical Foundations

A game strategy that depends on the Continuum Hypothesis
thehighergeometer.wordpress.comยท4d
๐Ÿ”ฒCellular Automata
Flag this post
Writing Type-Safe Generics in C
hackaday.comยท5d
๐Ÿ’งLiquid Types
Flag this post
locally presentable (infinity,n)-category
ncatlab.orgยท6d
๐Ÿ”€Category Theory
Flag this post
AI Wins and Losses
dowski.comยท1d
๐Ÿ”„Language Evolution
Flag this post
_AugmentedIntelligence v3.0 (WIP)
reddit.comยท1dยท
Discuss: r/homelab
๐ŸŽ™๏ธWhisper
Flag this post
How to Long Game
ystrickler.comยท12hยท
Discuss: Hacker News
โฌœMinimalism
Flag this post
Show HN: Chemistry AI โ€“ A step-by-step chemistry solver for students
chemistryai.chatยท9hยท
Discuss: Hacker News
๐ŸงชManuscript Chemistry
Flag this post
Introducing AWS CloudFormation Stack Refactoring: Reorganize Your Infrastructure Without Disruption
aws.amazon.comยท1d
๐Ÿฆ‹Format Metamorphosis
Flag this post
eBPF Rootkit
synacktiv.comยท22hยท
Discuss: Hacker News
๐Ÿ›ก๏ธeBPF Security
Flag this post
The Ultimate Guide to AI-Powered Marketing Automation: From Strategy to Autonomous Systems
future.forem.comยท8hยท
Discuss: DEV
๐Ÿค–AI Curation
Flag this post
Stop handling auth like it's 2007: My journey from hard-coded tokens to OAuth2 & JWKS with Go
reddit.comยท1dยท
Discuss: r/golang
๐ŸŽซKerberos History
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.comยท2d
โšกProof Automation
Flag this post
Entropy-Guided Reasoning Compression
arxiv.orgยท4d
โง—Information Bottleneck
Flag this post
How to Compress Your Prompts and Reduce LLM Costs
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Text Compression
Flag this post
Day 3: Type Casting - Transforming Data Types - 30 Days of Python Challenge
dev.toยท3dยท
Discuss: DEV
๐Ÿ”คType Theory
Flag this post
Real-Time AI-Powered Texas Hold'em in Python and Flask โ€“ Play in the Browser
github.comยท1dยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Flag this post
Code Intel: Multi-agent LLM and AST analysis for Python codebases (Python only)
github.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
Flag this post
Nested query strings in depth โ€” a complete technical guide
dev.toยท1dยท
Discuss: DEV
โœ…Format Verification
Flag this post
Green Resilience of Cyber-Physical Systems: Doctoral Dissertation
arxiv.orgยท2d
๐ŸŒŠStreaming Systems
Flag this post