Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·1d
⚔️Lean Tactics
Optimizing Change-Driven Architectures - A New Cloud-Native Model with Drasi
youtube.com·22h
⚡Incremental Computation
Coding in a material world
deadsimpletech.com·1d·
Discuss: Lobsters, Hacker News
🧲Magnetic Philosophy
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·18h·
Discuss: Hacker News, r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·1d
📃Manuscript Tokenization
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
Distilling Normalizing Flows
arxiv.org·1h
📥Feed Aggregation
Large Language Models
blog.jsbarretto.com·20h·
Discuss: Hacker News
📝Concrete Syntax
Adaptive Hybrid Sort: Dynamic Strategy Selection for Optimal Sorting Across Diverse Data Distributions
arxiv.org·1h
🌳Trie Structures
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·3d
⚖️Hoare Logic
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
⬆️Lambda Lifting
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·1d
🎯Performance Proofs
Lipschitz Bounds for Persistent Laplacian Eigenvalues under One-Simplex Insertions
arxiv.org·1h
🕳️Persistent Homology
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·1h
🧠Machine Learning
[D] Alarming amount of schizoid people being validated by LLMs, anyone else experienced this?
reddit.com·1d·
Discuss: r/MachineLearning
🎯Gradual Typing
The Guide to the Foundation Models Framework
azamsharp.com·1d·
Discuss: Hacker News
λLambda Formalization
On Union-Closedness of Language Generation
arxiv.org·3d
🔗Monadic Parsing
daily quizzz
dev.to·1d·
Discuss: DEV
λLambda Encodings
On Context-Content Uncertainty Principle
arxiv.org·1h
🧠Machine Learning
higher: Your favourite Haskell type classes for Rust (2023)
github.com·5d·
Discuss: Lobsters, Hacker News
🦀Rust Macros