🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

CodeSOD: An Exert Operation
thedailywtf.com·1d
🔗Dependently Typed
Can small AI models think as well as large ones?
seangoedecke.com·3d
📊Quantization
Achieving Early Wins in Generative AI
cacm.acm.org·11h
📋Document Grammar
I built an alert layer on top of QuickBooks – then Intuit added a $300/month fee
uselunova.com·19h·
Discuss: Hacker News
🌊Streaming Systems
AI reshapes the craft of software engineering, with Yoav Tzfati
complexsystemspodcast.com·1d·
Discuss: Hacker News
🔄Language Evolution
Reducing Data Requirements for Sequence-Property Prediction in Copolymer Compatibilizers via Deep Neural Network Tuning
arxiv.org·1h
🧮Kolmogorov Complexity
Cascading and Proxy Membership Inference Attacks
arxiv.org·1h
🛡️Differential Privacy
Curves, points, incidences and covering
arxiv.org·1h
📊Computational Geometry
AgriEval: A Comprehensive Chinese Agricultural Benchmark for Large Language Models
arxiv.org·1h
📐Binary Grammars
From Seeing to Experiencing: Scaling Navigation Foundation Models with Reinforcement Learning
arxiv.org·1h
📊Learned Metrics
Efficient Neural Combinatorial Optimization Solver for the Min-max Heterogeneous Capacitated Vehicle Routing Problem
arxiv.org·1h
🧠Machine Learning
Bangla BERT for Hyperpartisan News Detection: A Semi-Supervised and Explainable AI Approach
arxiv.org·1h
📝Text Embeddings
What is Python Any Type
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Matching Game Preferences Through Dialogical Large Language Models: A Perspective
arxiv.org·1d
🧠Intelligence Compression
Efficacy of AI RAG Tools for Complex Information Extraction and Data Annotation Tasks: A Case Study Using Banks Public Disclosures
arxiv.org·1h
🔍Information Retrieval
8 Advanced Python List Concepts with Real Use Cases
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
Running in CIRCLE? A Simple Benchmark for LLM Code Interpreter Security
arxiv.org·2d
🔒Language-based security
Active learning for level set estimation under input uncertainty and its extensions
arxiv.org·1h
🧠Machine Learning
DEM-NeRF: A Neuro-Symbolic Method for Scientific Discovery through Physics-Informed Simulation
arxiv.org·1h
🕸️Tensor Networks
Towards Cognitive Synergy in LLM-Based Multi-Agent Systems: Integrating Theory of Mind and Critical Evaluation
arxiv.org·1h
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap