🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
👑 Dependent Haskell

Singletons, Type-level Programming, GADTs, Kind Polymorphism

“You Are My Friend”: Early Androids and Artificial Speech
nakedcapitalism.com·1d
🗃️Punched Cards
Lost Soul Aside is Final Fantasy meets Devil May Cry... and some jank
techradar.com·1d
🏺Gaming Archaeology
🚀 How PySpark Helps Handle Terabytes of Data Easily
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Introducing LCOAI: A Standardized Economic Metric for Evaluating AI Deployment Costs
arxiv.org·4d
👁️Observatory Systems
UPC Court of Appeal confirms "lowered" test for imminent infringement in Boehringer Ingelheim v Zentiva PI appeal
ipkitten.blogspot.com·1d·
Discuss: ipkitten.blogspot.com
⚡HTMX
RMMI: Reactive Mobile Manipulation using an Implicit Neural Map
arxiv.org·4d
📊Computational Geometry
Disentangling the schema turn: Restoring the information base to conceptual modelling
arxiv.org·5d
🔄Schema Evolution
Tangential Action Spaces: Geometry, Memory and Cost in Holonomic and Nonholonomic Agents
arxiv.org·4d
🌀Differential Geometry
SESGO: Spanish Evaluation of Stereotypical Generative Outputs
arxiv.org·4d
📊Learned Metrics
Beyond the API Call: A Look at the Firouzi Codex, a New AI Processing Paradigm
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Chelsea grit out victory over Man City in injury-marred WSL opener
the-independent.com·2d
💻Local first
PointAD+: Learning Hierarchical Representations for Zero-shot 3D Anomaly Detection
arxiv.org·4d
🏺Computational Archaeology
Automated Job Function Decomposition and Re-Optimization via Constraint Programming and Deep Reinforcement Learning
dev.to·4d·
Discuss: DEV
🔗Constraint Handling
Automated Scientific Forecasting via Multimodal Knowledge Graph Fusion and HyperScore Validation
dev.to·2d·
Discuss: DEV
📊Citation Graphs
Seven Hours, Zero Internet, and Local AI Coding at 40,000 Feet
dev.to·4d·
Discuss: DEV
🖥️Modern Terminals
AI-Driven Inverse Design of High-Entropy Alloy Compositions via Bayesian Optimization and Graph Neural Networks
dev.to·2d·
Discuss: DEV
🕸️Algebraic Topology
TableZoomer: A Collaborative Agent Framework for Large-scale Table Question Answering
arxiv.org·5d
🔗Parser Combinators
Deploy, Don’t Dream: Why Practicality Beats Perfection in Warehouse Robotics
hackernoon.com·4d
⚙️Proof Engineering
Why the Technological Singularity May Be a "Big Nothing"
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Empowering Lightweight MLLMs with Reasoning via Long CoT SFT
arxiv.org·4d
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap