XProc 3 Steps as XSpec Test Helper Functions
medium.com·2d
🔀XSLT
Introducing PromptIntel
blog.securitybreak.io·16h
🎯Threat Hunting
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·2d·
Discuss: Hacker News, Hacker News
📐Linear Algebra
Mutable atomic deletes with Parquet backed columnar tables on S3
shayon.dev·1h·
Discuss: Hacker News
🗃️Database Storage
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·3d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·3d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Negatives of Coding with AI
kushgoyal.com·3d·
Discuss: Hacker News
💻Local LLMs
Face Detection in Python Using OpenCV HAAR CASCADE Method
dev.to·7h·
Discuss: DEV
🔄Lens Laws
A Proof of the Riemann Hypothesis
dev.to·3d·
Discuss: DEV
⚔️Lean Theorem
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·2d·
Discuss: DEV
✅Format Validation
Unraveling LCRE-Mediated Chromatin Loops: A Predictive Model for Gene Expression Fine-Tuning in Desert Genomes
dev.to·1d·
Discuss: DEV
📥Feed Aggregation
Think Natively: Unlocking Multilingual Reasoning with Consistency-Enhanced Reinforcement Learning
arxiv.org·3d
🧮SMT Solvers
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·2d
✨Effect Handlers
CubicLog – A single-binary logging server with zero-config smart analytics
github.com·2d·
Discuss: Hacker News
📝Log Parsing
Decoding Activation Functions: A Nine-Dimensional Signature for Network Harmony
dev.to·15h·
Discuss: DEV
📊Learned Metrics
The Automatic Door System: With Statements Explained
dev.to·3d·
Discuss: DEV
🧠Program Logic
Tech With Tim: How to Build AI Agents in Python
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·2d·
Discuss: Hacker News
🔗Concatenative Programming
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·2d
🧠Machine Learning
Bayesian Decision Making around Experts
arxiv.org·2d
🧮Kolmogorov Bounds