๐Ÿฟ๏ธ 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

Is there something it is like to be an AI?
interconnected.orgยท3d
๐Ÿ”ฒCellular Automata
Mathematical Analysis for School Students (1980)
archive.orgยท3dยท
Discuss: Hacker News
๐Ÿ”ฌLean
Show HN: OneClick local runtime proxy with expressive guardrails for MCP servers
tramlines.ioยท4dยท
Discuss: Hacker News
๐Ÿ›ก๏ธeBPF Security
Kubernetes is a symptom, not a solution
andreafortuna.orgยท2dยท
Discuss: Hacker News
๐Ÿ“ฆContainer Security
The Force-Feeding of AI on an Unwilling Public
honest-broker.comยท10hยท
Discuss: Hacker News
๐ŸŽ›๏ธFeed Filtering
How We Serve Millions of Requests on a Single VM
gametorch.appยท2dยท
Discuss: Hacker News, r/programming
๐ŸŒŠStream Processing
Kramersโ€“Kronig Relations
en.wikipedia.orgยท3dยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Stats displays don't have to be boring
reddit.comยท16hยท
Discuss: r/homelab
๐Ÿ”ŒOperating system internals
Clinical NLP with Attention-Based Deep Learning for Multi-Disease Prediction
arxiv.orgยท3d
๐Ÿ”Information Retrieval
How to Build Your Own AI for Vibe Coding in .NET
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
# Introducing PrettyParser: Your Go-To Tool for Code Beautification and Minifica
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Best AI Testing Tools
dev.toยท18hยท
Discuss: DEV
๐Ÿ”Concolic Testing
Personal AI Assistant
dev.toยท14hยท
Discuss: DEV
๐Ÿ“Proof Assistants
Beyond Structured Chaos
dev.toยท4dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Enhancing Reasoning Capabilities in SLMs with Reward Guided Dataset Distillation
arxiv.orgยท4d
๐Ÿ’ปLocal LLMs
UAVD-Mamba: Deformable Token Fusion Vision Mamba for Multimodal UAV Detection
arxiv.orgยท4d
๐ŸŒ€Riemannian Computing
Designing URL Shortener Systems: From TinyURL to Bit.ly Scale
dev.toยท2dยท
Discuss: DEV
๐ŸŒช๏ธBrotli
Are Browser AI Agents a Security Time Bomb? Unpacking the Risks and How to Stay Safe
dev.toยท10hยท
Discuss: DEV
๐Ÿ”“Hacking
Revisiting Noise-adaptive Transpilation in Quantum Computing: How Much Impact Does it Have?
arxiv.orgยท3d
โš›๏ธQuantum Compilers
STRuCT-LLM: Unifying Tabular and Graph Reasoning with Reinforcement Learning for Semantic Parsing
arxiv.orgยท6d
๐Ÿ“‹Document Grammar
Loading...Loading more...
AboutBlogChangelogRoadmap