Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.comยท22hยท
โšกModern Compression
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.orgยท10h
๐Ÿ’ปProgramming languages
RAG Chunking Strategies That Actually Work (and Why Most Donโ€™t)
dev.toยท5hยท
Discuss: DEV
๐Ÿ“„Text Chunking
Toy Binary Decision Diagrams
philipzucker.comยท1d
๐ŸงฎAlgebraic Datatypes
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.ioยท22hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.comยท3h
๐ŸŽฏProof Tactics
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.comยท1h
๐Ÿ“Mathematical Art
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.toยท1dยท
Discuss: DEV
๐Ÿง Intelligence Compression
Show HN: ReadSprint โ€“ AI-Powered Book Summaries in Seconds
readsprint.appยท21hยท
Discuss: Hacker News
๐Ÿ“„PostScript
Self-Extracting F3
buttondown.comยท20hยท
Discuss: Hacker News
โœ…Format Verification
Tritium | Thoughts on the Word Spec in Rust
tritium.legalยท1dยท
๐Ÿฆ€Rust Macros
Bringing NumPy's type-completeness score to nearly 90% โ€“ Pyrefly
pyrefly.orgยท4hยท
๐ŸŽฏGradual Typing
TypeNet Benchmark for development of authentication keystroke technologies
github.comยท2dยท
Discuss: Hacker News
๐Ÿ—œ๏ธLZSS Variants
Python is adding Zstandard to the standard library in 3.14
discuss.python.orgยท1dยท
Discuss: Hacker News
๐Ÿ“šLempel-Ziv
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.comยท2dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธKnowledge Graphs
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.orgยท10h
๐ŸงฎKolmogorov Complexity
Show HN: I Built a Transcription CLI Because Uploading 4GB Videos Was Killing Me
medium.comยท20hยท
Discuss: Hacker News
๐Ÿ’ฟFLAC Archaeology
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.orgยท10h
๐ŸŽ™๏ธWhisper
Detecting Distillation Data from Reasoning Models
arxiv.orgยท10h
โš™๏ธABNF Mining
From Matmul to Meaning
evis.devยท11hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra