postrationality annotated bibliography
jenn.siteยท5h
๐Ÿ”„Category Theory
Flag this post
How I Use Claude and NotebookLM to Accelerate My Learning and Technical Writing Process
sarah-techwriter.github.ioยท2dยท
Discuss: DEV
๐Ÿ“Text Editors
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.coยท1dยท
Discuss: Hacker News
๐Ÿ“ˆComplexity Theory
Flag this post
TestDriven.io: Cursor vs. Claude for Django Development
testdriven.ioยท18h
๐Ÿ—๏ธSoftware Architecture
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.frยท1dยท
โš–๏ธLogic Programming
Flag this post
๐Ÿ’ฅ Tech Talks Weekly #81: Podcasts Are Here โ€ผ๏ธ
techtalksweekly.ioยท18h
๐ŸงฎProgramming Language Theory
Flag this post
Multivariate Commitments and Signatures with Efficient Protocols
eprint.iacr.orgยท2d
๐ŸคProtocol Design
Flag this post
Radar Trends to Watch: November 2025
oreilly.comยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
Improving Gene Trees without more data
arxiv.orgยท6h
๐ŸŽฒProbabilistic Programming
Flag this post
Spring AI RAG, Demystified: From Toy Demos to Production-Grade Retrieval
dev.toยท11hยท
Discuss: DEV
๐Ÿ”—Parser Combinators
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
dev.toยท1dยท
Discuss: DEV
๐ŸงญSMT Solvers
Flag this post
How AI agents and tool discovery for web automation?
dev.toยท14hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Supercharge Your Pipeline: How to Integrate AI-Powered Code Reviews with GitHub Actions
dev.toยท11hยท
Discuss: DEV
๐Ÿ‘Open Source Software
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.toยท3dยท
Discuss: DEV
๐Ÿ”ขMathematical Logic
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Parser Combinators
Flag this post
I Built a "Jumpstart" System for Claude Code - 3-Minute Setup, Production Agents, Honest Cost Analysis
reddit.comยท2dยท
Discuss: r/LocalLLaMA
๐Ÿฆ€Rust
Flag this post
Rethinking Vibe Coding: A Skeptic's Field Notes
dev.toยท12hยท
Discuss: DEV
๐Ÿ”ŒNetwork Programming
Flag this post
Automated Infrastructure as Code (IaC) Drift Detection and Remediation with Predictive Analytics
dev.toยท5hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.orgยท6h
๐Ÿ”—Parser Combinators
Flag this post