Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·1d·
Discuss: Substack
🎯Proof Tactics
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·19h·
Discuss: Lobsters, Hacker News
🌐DNS Security
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·2d·
Discuss: Hacker News
🔢Reed-Solomon Math
Getting a Hypergraph of Functions to a Browser
systeminit.com·2d·
Discuss: Hacker News
📐E-graphs
LoRA Explained: Faster, More Efficient Fine-Tuning with Docker
docker.com·2d
💻Local LLMs
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·16h·
Discuss: Hacker News
🔗Concatenative Languages
AI Just Got Better at Counting Trees
hackernoon.com·3d
🌀Hyperbolic Geometry
How Machine Learning is Reshaping Financial Markets
dev.to·21h·
Discuss: DEV
🧠Machine Learning
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Relational Transformer: Toward Zero-Shot Foundation Models for Relational Data
arxiv.org·3d
🧠Learned Indexes
11+ Best All-in-One AI Platforms in 2025
dev.to·3d·
Discuss: DEV
🤖AI Curation
Causality Guided Representation Learning for Cross-Style Hate Speech Detection
arxiv.org·2d
🎙️Whisper
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·2d
🗺️Competency Maps
CubicLog – A single-binary logging server with zero-config smart analytics
github.com·2d·
Discuss: Hacker News
📝Log Parsing
Testing Language Models: Engineering Confidence Without Certainty
gojiberries.io·7h·
Discuss: Hacker News
⚙️Proof Engineering
RVFL-X: A Novel Randomized Network Based on Complex Transformed Real-Valued Tabular Datasets
arxiv.org·3d
🔍Vector Forensics
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·4d
🕸️Graph Algorithms
Announcing Amazon Quick Suite: your agentic teammate for answering questions and taking action
aws.amazon.com·2d·
Discuss: Hacker News
🌊Streaming Systems
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·2d
🔗Parser Combinators
TaoSR-SHE: Stepwise Hybrid Examination Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.org·2d
🔍Information Retrieval