Translating English Sentences into Propositional Logic Statements
nbviewer.ipython.orgยท6d
๐Ÿ“ŠLR Parsing
2025 Board Nominations: Time to Vote
clojuriststogether.orgยท2d
๐Ÿ”ฎClojure
Efficiently Updatable Neural Network (NNUE)
beuke.orgยท1d
๐ŸนMinimal Go
Property-based testing of batch-invariant operations
mmaaz.caยท2dยท
Discuss: Hacker News
๐ŸŽฒProperty Testing
TrueType rasterizer
github.comยท1dยท
โœจCode Formatters
Spatial Sense: Extracting the 'Where' and 'How' from Vision-Language Models by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Lens Libraries
The Ultimate Guide to PDF SDKs for Powerful Document Processing
dev.toยท14hยท
Discuss: DEV
๐ŸŒWeb Standards
Key components of a data-driven agentic AI application | AWS Database Blog
aws.amazon.comยท2d
๐Ÿค–Abstract Machines
Building a earning app like Duolingo with React + Java backend โ€“ SEO & Routing advice?
reddit.comยท2dยท
Discuss: r/reactjs
๐ŸŽฎLanguage Ergonomics
Telling the Difference Between Memories & Logical Guesses
lesswrong.comยท1d
๐Ÿง Memory Ordering
A tiny recursive reasoning model achieves 45% on ARC-AGI-1 and 8% on ARC-AGI-2
alexiajm.github.ioยท12hยท
๐ŸชœRecursive Descent
Picking Your Automation: Zapier, Make, or n8n?
dev.toยท13hยท
Discuss: DEV
โšกLive Programming
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.orgยท1d
โšกPartial Evaluation
Petri: An open-source auditing tool to accelerate AI safety research \ Anthropic
anthropic.comยท1dยท
Discuss: Hacker News
๐ŸฐCapability Machines
Prompt Framing Changes LLM Performance (and Safety)
lesswrong.comยท5d
๐ŸŽฎLanguage Ergonomics
Lazy text capitalization with low latency large language models
blog.florianschulz.infoยท3dยท
Discuss: Hacker News
๐Ÿ”„Incremental Lexing
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.orgยท1d
โœจEffect Inference
Slack Empowers Developers with Real-Time API for AI-Driven Productivity
smallbiztrends.comยท18h
๐Ÿ”„Subinterpreters
Building My Smart 2nd Brain, Part 3: API and UI Explained
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Coroutines
Vibe Coding Meets AI Testing - How I Ship With Confidence
dev.toยท2hยท
Discuss: DEV
๐Ÿ“ŠCode Metrics