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

Robots in the skies (and they use Transformer models)
stackoverflow.blogยท1d
๐Ÿ”Vector Forensics
Status Week 33
blogs.gnome.orgยท5d
๐Ÿ’งLiquid Types
Why is D3 so Verbose?
theheasman.comยท2dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
The Two Versions of Parquet
jeronimo.devยท2dยท
Discuss: Hacker News
๐Ÿ’พDatabase Formats
MCP Tools and Dependent Types
vlaaad.github.ioยท5dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
My ex stalked me, so I joined a 'dating safety' app. Then my address was leaked
bbc.comยท1d
๐Ÿ“กRSS
Large Behavior Models and Atlas Find New Footing
bostondynamics.comยท2dยท
Discuss: Hacker News
โœ‹Tactile Computing
Slice: SAST + LLM Interprocedural Context Extractor
noperator.devยท5dยท
Discuss: Lobsters, Hacker News
๐Ÿ”“Decompilation
Using Devcontainers to Fix Coding Agent's Foibles
dylanwatt.comยท2dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
How I Crashed a Server (and Learned to Prevent It with Grafana, Prometheus, and Telegram) Keep monitoring and don't get caught with your pants down
blog.codeminer42.comยท2d
๐Ÿ”„Sync Engine
Container Use: A New Tool for Isolated, Parallel Coding Agents
infoq.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆContainer Security
MCP Security Risks Multiply With Each New Agent Connection
thenewstack.ioยท1d
๐ŸงชProtocol Fuzzing
Smarter Model Tuning: An AI Agent with LangGraph + Streamlit That Boosts ML Performance
towardsdatascience.comยท3d
๐ŸŽ™๏ธWhisper
Quantitative Prediction of UPS Pathway Dysregulation via Multi-Scale Graph Convolutional Networks
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Vector Forensics
Nanophotonic Phase-Change Material Optimization for 50GHz Optical Switching in Data Centers
dev.toยท23hยท
Discuss: DEV
๐Ÿ”ฌOptical Physics
OpenJDK, Temurin, GraalVM... Which Java JDK Should You Actually Install in 2025?
dev.toยท4dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
FedUP: Efficient Pruning-based Federated Unlearning for Model Poisoning Attacks
arxiv.orgยท4d
๐Ÿ”BitFunnel
M3PO: Multimodal-Model-Guided Preference Optimization for Visual Instruction Following
arxiv.orgยท5d
๐Ÿง Learned Codecs
Towards Open-Ended Emotional Support Conversations in LLMs via Reinforcement Learning with Future-Oriented Rewards
arxiv.orgยท5d
๐Ÿ’ปProgramming languages
CARE: Contextual Adaptation of Recommenders for LLM-based Conversational Recommendation
arxiv.orgยท4d
๐Ÿ”Information Retrieval
Loading...Loading more...
AboutBlogChangelogRoadmap