Calling for Beta Pilot Workshops: Building Better Research Software
software.ac.uk·17h
📚MARC Archaeology
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·3d
🤖Grammar Induction
After Babel Fish
hedgehogreview.com·17h·
Discuss: Hacker News
🏛Digital humanities
Semantic Dictionary Encoding
falvotech.com·3d·
Discuss: Hacker News
🌀Brotli Dictionary
Controlling program flow with capabilities in Scala
nrinaudo.github.io·17h·
🧠Lisp Dialects
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·17h·
Discuss: DEV
🔬Refinement Types
Ancient Scripts, Modern AI: Bridging the Divide with Morphology-Aware Tokenization by Arvind Sundararajan
dev.to·5d·
Discuss: DEV
📝Concrete Syntax
Evaluating LLM Alignment on Personality Inference from Real-World Interview Data
arxiv.org·1d
🧠Intelligence Compression
Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning
arxiv.org·23h
🧠Computational Logic
GTA -- An ATSP Method: Shifting the Bottleneck from Algorithm to RAM
arxiv.org·23h
🚀SIMD Text Processing
Ask HN: How do you keep AI assistants consistent with your personal preferences?
news.ycombinator.com·10h·
Discuss: Hacker News
💻Local LLMs
K-shot training with LLMs
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis
ctpang.substack.com·1d·
Discuss: Substack
Incremental Computation
Making LLMs more accurate by using all of their layers
research.google·1d·
💻Local LLMs
AI is helping to decode animals’ speech. Will it also let us talk with them?
nature.com·1d·
Discuss: Hacker News
📼Cassette Linguistics
Large Language Models Imitate Logical Reasoning, but at what Cost?
arxiv.org·1d
🧠Computational Logic
Leveraging Large Language Models to Effectively Generate Visual Data for Canine Musculoskeletal Diagnoses
arxiv.org·1d
🤖Advanced OCR