"Grok is this true?"
fixingtao.comยท12hยท
Discuss: Hacker News
๐ŸงฉParser Combinators
Flag this post
William H. Gass: Interviewed by Thomas LeClair โ€“ With John Gardner (1979)
medium.comยท18hยท
Discuss: Hacker News
๐Ÿ“ตDigital Minimalism
Flag this post
I ****Ing Hate Science
buttondown.comยท15hยท
๐Ÿ”„Reproducible Builds
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท5dยท
๐ŸงฎLambda Calculus
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.comยท4hยท
Discuss: Substack
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.orgยท10h
๐ŸงฉParser Combinators
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
dev.toยท5hยท
Discuss: DEV
๐ŸƒEscape Analysis
Flag this post
**Cracking the Code of Coreference Resolution** In the real
dev.toยท3dยท
Discuss: DEV
๐Ÿ“šAutomata Learning
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท3dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Culture Cartography: Mapping the Landscape of Cultural Knowledge
arxiv.orgยท10h
๐ŸงฉParser Combinators
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.toยท1dยท
Discuss: DEV
โœ“Automated Theorem Proving
Flag this post
[R] We found LRMs look greatโ€ฆuntil the problems get harder (AACL 2025)
reddit.comยท3dยท
๐ŸงฎSMT Solvers
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.orgยท6d
๐Ÿ“šAutomata Learning
Flag this post
Shape-Shifting AI: Making Models That Adapt to Data
dev.toยท1dยท
Discuss: DEV
๐Ÿ“šAutomata Learning
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.toยท1dยท
Discuss: DEV
๐Ÿง Automated Reasoning
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.orgยท10h
๐Ÿ’ŽRefinement Types
Flag this post
InternVLA-M1: A Spatially Guided Vision-Language-Action Framework for GeneralistRobot Policy
dev.toยท1hยท
Discuss: DEV
๐Ÿค–Robotics
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.toยท23hยท
Discuss: DEV
๐Ÿ”€OCaml Multicore
Flag this post
Generating Accurate and Detailed Captions for High-Resolution Images
arxiv.orgยท10h
๐Ÿ”ฒCellular Automata
Flag this post
Why Multimodal AI Broke the Data Pipeline โ€” And How Daft Is Beating Ray and Spark to Fix It
hackernoon.comยท10h
๐Ÿ‘๏ธSystem Observability
Flag this post