Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
λFunctional Programming
Flag this post
Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
De Bruijn Numerals
🧮Lambda Calculus
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧮SMT Solvers
Flag this post
Why should I care about time & space complexity when writing Java code for data structures and algorithms? And how can I apply the Big O notation in a real-worl...
🎯Complexity Classes
Flag this post
**Adaptive Algorithmic Profiling & Resource Allocation via Dynamic Markov Chain Optimization**
🧠Automated Reasoning
Flag this post
HUME: Measuring the Human-Model Performance Gap in Text Embedding Task
📚Automata Learning
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
λFunctional Programming
Flag this post
My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
🔀Brzozowski Derivatives
Flag this post
Magisterium
🔲Cellular Automata
Flag this post
A Multi-agent Large Language Model Framework to Automatically Assess Performance of a Clinical AI Triage Tool
arxiv.org·1d
💻CS
Flag this post
Graph RAG vs SQL RAG
towardsdatascience.com·5h
🧠Automated Reasoning
Flag this post
The End of Cloud Inference
🖥️Self-hosted Infrastructure
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
🧠Automated Reasoning
Flag this post
Plan for Learning, Not Certainty
📵Digital Minimalism
Flag this post
Loading...Loading more...