Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท5dยท
Discuss: Hacker News
๐Ÿ’ฌPhilosophy of Language
Flag this post
Iโ€™ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
devblogs.shยท2dยท
Discuss: r/programming
๐Ÿ”ŠPhonology
Flag this post
Terminal-Bench 2.0 launches alongside Harbor, a new framework for testing agents in containers
venturebeat.comยท14h
๐Ÿ”งWorkflow Automation
Flag this post
How to Choose a Dependency: Build vs Buy, Risk Management, and More
hackernoon.comยท22h
๐Ÿค–AI
Flag this post
Rubber Duck Debugging with LLMs: Why Explaining Your Problem Is the Solution
tidesofsea.comยท1dยท
Discuss: Hacker News
๐ŸŽจComputational Creativity
Flag this post
Why Prompt Engineering Made Me Reach for JSX
chatbotkit.comยท19hยท
Discuss: Hacker News
๐Ÿ”งWorkflow Automation
Flag this post
Fisher Meets Lindahl: A Unified Duality Framework for Market Equilibrium
arxiv.orgยท1d
๐ŸงฎInformation theory
Flag this post
React demo: simple portfolio engagement widget (no fingerprinting) + llms.txt support, built to get feedback not just promo
reddit.comยท9hยท
Discuss: r/reactjs
๐ŸŒIndie web
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.orgยท4d
๐Ÿ“NLP
Flag this post
Vision Language Models: The AI Eyes That Understand the World
dev.toยท22hยท
Discuss: DEV
๐Ÿ”„Transformers
Flag this post
Mastering Logging in Python
dev.toยท1dยท
Discuss: DEV
โœ…Productivity
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.orgยท4dยท
Discuss: Hacker News
๐ŸŽฒBayesian Cognition
Flag this post
Meeting Minutes That Don't Suck: A Developer's Guide to AI Documentation
dev.toยท21hยท
Discuss: DEV
๐Ÿ”งWorkflow Automation
Flag this post
Moonshot AIโ€™s Kimi K2 Thinking sets new agentic reasoning records in open-source LLMs
the-decoder.comยท19h
๐Ÿ”งWorkflow Automation
Flag this post
Unlock Dual Revenue: How to Monetize Your LLM Apps with AI Conversations
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Why is ESPN Bet shuttering? What to know about the sportsbook's ending
nytimes.comยท1h
๐ŸŒIndie web
Flag this post
Show HN: Linguistic RL โ€“ A 7B model discovers Occam's Razor through reflection
github.comยท22hยท
๐Ÿ’กCognitive Science
Flag this post