Every breath you take (is intertextual): AG Emiliou’s opinion in C-590/23 Pelham II – Part 1
copyrightblog.kluweriplaw.com·20h
⚖️Archive Ethics
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.com·2d·
Discuss: Lobsters
🎼Audio Lambda Calculus
Fireside Friday, June 27, 2025 (On the Limits of Realism)
acoup.blog·15h·
Discuss: Hacker News
🧮Theoretical Computer Science
How AI in Law Could Transform the Economy
deepsub.substack.com·9h·
Discuss: Substack
🔲Cellular Automata
Private Credit
news.ycombinator.com·18h·
Discuss: Hacker News
🧮Algebraic Datatypes
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·2d·
Discuss: Hacker News
⚡Proof Automation
Structural Alignment I: Introduction to Knowledge Graphs and Link Prediction
medium.com·16h·
Discuss: Hacker News
🕸️Graph Embeddings
Philosopher Wraps Cooperation with Trump in Flag of Academic Freedom
dailynous.com·1d
🧲Magnetic Philosophy
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·4d
🔍Type Inference
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·4d
💻Programming languages
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·3d·
Discuss: DEV
🔗Concatenative Programming
Decoding the Human Language: An Introduction to Natural Language Processing (NLP) Fundamentals
dev.to·1d·
Discuss: DEV
📝Text Parsing
Machine Learning Fundamentals: active learning project
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Counterfactual Influence as a Distributional Quantity
arxiv.org·2d
🎯Arithmetic Coding Theory
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·2d
🧮Theorem Proving
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·1d
🗜️Graph Compression
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·2d
📐Error Bounds
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·2d·
Discuss: DEV
✓Automated Theorem Proving
Quantum Neural Networks for Propensity Score Estimation and Survival Analysis in Observational Biomedical Studies
arxiv.org·2d
🕸️Tensor Networks