🐿️ 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

From Data Swamps to Reliable Data Systems: How Iceberg Brought 40 Years of Database Wisdom to Data Lakes
blog.min.io·5h
🏺Database Archaeology
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·3d
💻Programming languages
How to Discover a CSS Trick
css-tricks.com·7h
📐Mathematical Art
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com·9h·
Discuss: Hacker News
🧪CBOR Fuzzing
Mixture of Recursions vs. Transformers: Efficiency Unlocked
algogist.com·3d·
Discuss: Hacker News
⚡Incremental Computation
When to use model distillation in production
inference.net·1d·
Discuss: Hacker News
💻Local LLMs
How to Create a Web Search AI Agent with AWS Bedrock
dev.to·4h·
Discuss: DEV
λLambda Formalization
Percentile-Based Deep Reinforcement Learning and Reward Based Personalization For Delay Aware RAN Slicing in O-RAN
arxiv.org·17h
⧗Information Bottleneck
Closing the complexity gap of the double distance problem
arxiv.org·2d
🧮Kolmogorov Complexity
Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java
arxiv.org·1d
🧬Bitstream Evolution
Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning
arxiv.org·1d
⚔️Lean Tactics
Evaluating Artificial Intelligence Algorithms for the Standardization of Transtibial Prosthetic Socket Shape Design
arxiv.org·1d
🧮Kolmogorov Bounds
Show HN: Made a boilerplate for SaaS and Freelancers to deploy in 24h
github.com·11h·
Discuss: Hacker News
🦋Format Metamorphosis
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·3d
🔍Type Inference
StakeRunner - Automating the Future of Crypto Gambling
dev.to·1h·
Discuss: DEV
🌊Apache Kafka
Tiny language models
arxiv.org·3d
🎙️Whisper
Machine Learning Fundamentals: federated learning with python
dev.to·3d·
Discuss: DEV
💻Local LLMs
Understanding Prompt Programming Tasks and Questions
arxiv.org·1d
🔗Concatenative Programming
Build a Fullstack Stock Portfolio Agent with LangGraph and AG-UI
dev.to·1d·
Discuss: DEV
📐Proof Assistants
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·2d·
Discuss: Hacker News
💧Liquid Types
Loading...Loading more...
AboutBlogChangelogRoadmap