Coping with Complexity
slott56.github.io·6d
🔗Concatenative Programming
DEVONthink 4.0 Copernicus
devontechnologies.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
I Used a Market Basket Analysis During a Job Interview
theheasman.com·14h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Self-Improving CLI Agents in 5 minutes
colinharman.substack.com·15h·
Discuss: Substack
⚡Proof Automation
Using Amazon SageMaker AI Random Cut Forest for NASA’s Blue Origin spacecraft sensor data
aws.amazon.com·1d
🌀Differential Geometry
New method can teach AI to admit uncertainty
techxplore.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Structural Alignment I: Introduction to Knowledge Graphs and Link Prediction
medium.com·13h·
Discuss: Hacker News
🕸️Graph Embeddings
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·2d
📊Graph Databases
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
Scalable Machine Learning Algorithms using Path Signatures
arxiv.org·4d
🧠Machine Learning
Counting with Categories (Part 2)
golem.ph.utexas.edu·4d
🔀Category Theory
The Future of AI Is Physical: Simulation Is Key
website-staging.inductiva.ai·13h·
Discuss: Hacker News
🔲Cellular Automata
Individual Causal Inference with Structural Causal Model
arxiv.org·4d
🧠Machine Learning
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·4d
👑Coq Tactics
Counting with Categories (Part 1)
golem.ph.utexas.edu·5d
λLambda Formalization
From Manual API Testing to AI-Powered Automation: My Experience with Keploy
dev.to·20h·
Discuss: DEV
⚡Proof Automation
Security news weekly round-up - 27th June 2025
dev.to·7h·
Discuss: DEV
🔓Hacking
How Hard is it to be a Star? Convex Geometry and the Real Hierarchy
arxiv.org·4d
🕸️Algebraic Topology
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·5d
📏Linear Logic