Sorting Prompts - LLMs are not wrong you just caught them mid thought
kau.shยท16h
โšกProof Automation
Weeknotes #345 โ€” Bath full of bricks
andrewdoran.ukยท2d
๐ŸŽฏContent Recommendation
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.atยท1dยท
Discuss: Hacker News
๐Ÿ”—Lisp
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.seยท12hยท
Discuss: Hacker News
๐Ÿ“ŠQuantization
LoRA Explained: Faster, More Efficient Fine-Tuning with Docker
docker.comยท1d
๐Ÿ’ปLocal LLMs
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.orgยท1d
โœจEffect Handlers
Neuro-Symbolic AI
en.wikipedia.orgยท18hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
The Custom Conveyor: Building Your Own Iterators
dev.toยท4hยท
Discuss: DEV
๐Ÿ”„Burrows-Wheeler
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท1d
๐Ÿ”—Graph Isomorphism
The Porcelain to Come
stackdiver.comยท9hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.orgยท1d
๐Ÿ“‹Document Grammar
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.toยท3hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
On the Relationship Between the Choice of Representation and In-Context Learning
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
BQN "Macros" with โ€ขDecompose (2023)
saltysylvi.github.ioยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Semantics 2
inquiryintoinquiry.comยท2d
๐Ÿ”ขDenotational Semantics
English - the hottest programming language of the future
dev.toยท15hยท
Discuss: DEV
๐Ÿ”„Language Evolution
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.orgยท1d
๐Ÿ“œDigital Philology
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.orgยท3d
๐Ÿ“Concrete Syntax
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท1d
๐ŸงฎTheorem Proving