Library lists
languagelog.ldc.upenn.edu·2d
🏛Digital humanities
Maximizing Leverage in Software Systems
bencornia.com·3d
🌊Streaming Systems
An Interactive Introduction to Probabilistic Data Linkage/Deduplication
robinlinacre.com·1d·
Discuss: Hacker News
🌸Bloom Variants
Vibe-Engineering: When AI Does All the Coding, What Do We Actually Do?
img.ly·2d
⚡Proof Automation
So, I decided to write a BUFR decoder
stormscale.io·2d·
Discuss: Hacker News
📋DFDL
How the Great Flood of Software Will Reinvent Infrastructure
heavybit.com·1d·
Discuss: Hacker News
🔓Open Source Software
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·10h·
Discuss: Hacker News
🧮Z3 Applications
Frame of preference A history of Mac settings, 1984–2004
aresluna.org·1d·
Discuss: Lobsters, Hacker News
🖥️Vintage Macintosh
A Unified Ontology for Scalable Knowledge Graph-Driven Operational Data Analytics in High-Performance Computing Systems
arxiv.org·22h
🕸️Neo4j
8 AI Developer Tools for Smarter & Faster Coding in 2025 ⚡️🧙‍♂️
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Work Data Is the Next Frontier for GenAI
towardsdatascience.com·4h
🔗Data Provenance
Numenta Platform for Intelligent Computing (NuPIC): A Deep Dive into Hierarchica
dev.to·2d·
Discuss: DEV
📱QR Archaeology
Structured Task Solving via Modular Embodied Intelligence: A Case Study on Rubik's Cube
arxiv.org·22h
🦾ARM Cortex-M
First Strides into Data Science
dev.to·15h·
Discuss: DEV
🧪Data science
7 DuckDB SQL Queries That Save You Hours of Pandas Work
kdnuggets.com·2d
🧮Datalog
Data-Semantics-Aware Recommendation of Diverse Pivot Tables
arxiv.org·22h
🚀Query Optimization
QuantoniumOS: A Hybrid Computational Framework
github.com·1d·
Discuss: Hacker News
🔐Quantum Cryptography
**8 Python Metaprogramming Techniques for Dynamic Code Generation and Runtime Flexibility**
dev.to·9h·
Discuss: DEV
🦀Rust Macros
Machine Learning Fundamentals: cross validation
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Towards Measurement Theory for Artificial Intelligence
arxiv.org·22h
🧠Intelligence Compression