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

GitLab 18.3 starts transformation towards comprehensive AI integration
heise.de·48m
🔄Language Evolution
dulnan/lazy-brush: Smooth drawing with mouse, finger or other pointing device
github.com·7h
📟Terminal Physics
j-p-higgins/SoundThread: Node based GUI for The Composers Desktop Project
github.com·7h
🎛️Audio Synthesis
Injection-proof SQL builders in Go
oblique.security·3d·
Discuss: r/golang
✅Format Verification
How Veeresh Nunavath Built a National-Scale Cloud Observability Platform for Telecom Reliability
hackernoon.com·1d
🌊Streaming Systems
The Hierarchical Reasoning Model
jdsemrau.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Making Sense of AI Job Titles
dbreunig.com·19h·
Discuss: Hacker News
🗺️Competency Maps
AI is creeping into the Linux kernel - and official policy is needed ASAP
zdnet.com·22h·
Discuss: Hacker News
🔩Systems Programming
[D] Using LLMs to extract knowledge graphs from tables for retrieval-augmented methods — promising or just recursion?
reddit.com·9h·
Discuss: r/MachineLearning
🧮Datalog
JuiceFS on Windows: Challenges in the Beta Release
dev.to·7h·
Discuss: DEV
🌊Streaming Systems
Multi-perspective monitoring of wildlife and human activities from camera traps and drones with deep learning models
arxiv.org·10h
🤖Advanced OCR
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.org·4d
📊Computational Geometry
AI Fiesta Exposed: Scam or Smart Budget Alternative to Abacus.AI?
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.org·2d
🔍Information Retrieval
Disentangling the Drivers of LLM Social Conformity: An Uncertainty-Moderated Dual-Process Mechanism
arxiv.org·10h
🧠Intelligence Compression
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.org·1d
🔲Cellular Automata
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.org·1d
🔨Compilers
Mastering Go Concurrency: Taming Race Conditions Like a Pro
dev.to·4d·
Discuss: DEV
⚡Hardware Transactional Memory
Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum
arxiv.org·10h
📐Interval Arithmetic
Python’s Continued Supremacy "From Python to Rust: What’s Hot in 2025 Programming"
dev.to·4h·
Discuss: DEV
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap