Feeds to Scour
SubscribedAll
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.netยท2d
ฮปLambda Formalization
Preview
Report Post
Weekly Bookmarks
inkdroid.orgยท2d
๐ŸŒ€Brotli Internals
Preview
Report Post
Adding Unpack Syntax to RCL
ruudvanasseldonk.comยท1dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Preview
Report Post
Surface Tension of Software: why systems hold together
iamstelios.comยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Preview
Report Post
On the Interplay of Pre-Training, Mid-Training, and RL on Reasoning Language Models
arxiv.orgยท6h
๐Ÿค–Grammar Induction
Preview
Report Post
Data Processing Inequalities and Function-Space Variational Inference (2023)
blog.blackhc.netยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Bounds
Preview
Report Post
How to Build an LLM-Powered Database Query Bot for Your Web App in 1 Day
semicolonandsons.comยท1dยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
Preview
Report Post
MINES: Explainable Anomaly Detection through Web API Invariant Inference
arxiv.orgยท6h
๐ŸŒWARC Forensics
Preview
Report Post
๐Ÿ”ฅ Day 7: Mastering Joins, Unions, and GroupBy in PySpark - The Core ETL Operations
dev.toยท1dยท
Discuss: DEV
๐Ÿง Query Planners
Preview
Report Post
Universal Probabilistic Daily Reminder Coordination System for Anything
github.comยท12hยท
Discuss: Hacker News
โšกHomebrew CPUs
Preview
Report Post
IntelliJ Scala Plugin 2025.3 Is Out
blog.jetbrains.comยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Preview
Report Post
[D] How do you construct a baseline evaluation set for agent systems?
reddit.comยท15hยท
๐ŸŒŠStream Processing
Preview
Report Post
Words that make language models perceive
sophielwang.comยท18hยท
Discuss: Hacker News
๐Ÿ“ŠLearned Metrics
Preview
Report Post
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
arxiv.orgยท6h
โš™๏ธLogic Synthesis
Preview
Report Post
When Distance Distracts: Representation Distance Bias in BT-Loss for Reward Models
arxiv.orgยท6h
๐Ÿ“ŠLearned Metrics
Preview
Report Post
Vague Knowledge: Information without Transitivity and Partitions
arxiv.orgยท1d
๐Ÿ”ฒProof Irrelevance
Preview
Report Post
RVLF: A Reinforcing Vision-Language Framework for Gloss-Free Sign Language Translation
arxiv.orgยท6h
๐ŸŽ™๏ธWhisper
Preview
Report Post
Faithfulness metric fusion: Improving the evaluation of LLM trustworthiness across domains
arxiv.orgยท1d
๐Ÿ“ABNF Extensions
Preview
Report Post
Parameter-Efficient Fine-Tuning with Differential Privacy for Robust Instruction Adaptation in Large Language Models
arxiv.orgยท6h
๐Ÿ’ปLocal LLMs
Preview
Report Post
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.comยท1dยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
Preview
Report Post