Scientists complete the most thorough analysis yet of India's genetic diversity
phys.orgยท28m
๐Ÿ‘ชGeneology
OpenDylan sheds some parentheses in 2025.1 update
theregister.comยท5h
๐Ÿง Lisp Dialects
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท1d
๐Ÿ“Concrete Syntax
Show HN: ToolQL โ€“ Create AI Tools with GraphQL
toolql.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŠGraph Databases
ECMAScript 2025 Language Specification
tc39.esยท57mยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Researchers decipher structure of a human protease implicated in various diseases
phys.orgยท2h
๐ŸงฌCopy Number Variants
MFTCXplain: A Multilingual Benchmark Dataset for Evaluating the Moral Reasoning of LLMs through Hate Speech Multi-hop Explanation
arxiv.orgยท1d
โš™๏ธCompression Benchmarking
Exploring High Efficiency Web Analysis Results๏ผˆ1750876031390300๏ผ‰
dev.toยท21hยท
Discuss: DEV
๐ŸŒŠStream Processing
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.orgยท11h
๐Ÿ”ฒCellular Automata
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.toยท2dยท
Discuss: DEV
๐ŸงฌFunctional Programming
Day 5/100: Working with Strings โ€” Basics to Formatting
dev.toยท9hยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Learning Instruction-Following Policies through Open-Ended Instruction Relabeling with Large Language Models
arxiv.orgยท11h
๐Ÿ’ปLocal LLMs
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.orgยท11h
๐ŸŽฏDependent Parsing
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.orgยท2d
โš–๏ธHoare Logic
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.orgยท11h
๐Ÿ”—Parser Combinators
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.orgยท2d
๐Ÿ“Linear Logic
Mind the Gap: Assessing Wiktionary's Crowd-Sourced Linguistic Knowledge on Morphological Gaps in Two Related Languages
arxiv.orgยท2d
๐Ÿ”คMorphological Analysis
Intelligent Document Creation: Generate PDFs with AI in pdfAssistant.ai
pdfa.orgยท1h
๐Ÿ“„Document Digitization
new2
dev.toยท12hยท
Discuss: DEV
๐Ÿง Query Planners
๐Ÿง  My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.toยท1dยท
Discuss: DEV
โšกProof Automation