Scientists complete the most thorough analysis yet of India's genetic diversity
phys.orgยท4h
๐Ÿ‘ชGeneology
OpenDylan sheds some parentheses in 2025.1 update
theregister.comยท9h
๐Ÿง Lisp Dialects
Software Bill of Materials (SBOM) for FreeBSD Project
freebsdfoundation.orgยท3h
๐Ÿ“‹Format Specification
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ยท5hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Researchers decipher structure of a human protease implicated in various diseases
phys.orgยท6h
๐ŸงฌCopy Number Variants
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.toยท2dยท
Discuss: DEV
๐ŸงฌFunctional Programming
Learning Instruction-Following Policies through Open-Ended Instruction Relabeling with Large Language Models
arxiv.orgยท15h
๐Ÿ’ปLocal LLMs
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.orgยท15h
๐ŸŽฏDependent Parsing
Single Core Hundred Thousand Concurrency๏ผˆ1750947668443300๏ผ‰
dev.toยท5hยท
Discuss: DEV
๐ŸŒŠStream Processing
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.orgยท2d
โš–๏ธHoare Logic
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.orgยท15h
๐Ÿ”—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ยท5h
๐Ÿ“„Document Digitization
new2
dev.toยท16hยท
Discuss: DEV
๐Ÿง Query Planners
Heart Disease Predictor using KNN(ML) algorithm
dev.toยท1dยท
Discuss: DEV
๐Ÿง Machine Learning
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.orgยท2d
๐Ÿ“Code Metrics
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.orgยท15h
๐Ÿง Intelligence Compression