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

Working with JSON in ClickHouse
clickhouse.comยท18hยท
Discuss: Hacker News
๐ŸŒŠStreaming Databases
Great Programmers Write Debuggable Code (2013)
henrikwarne.comยท15hยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Real-Time Seismic Vulnerability Assessment of Historic Masonry Bridges via Machine Learning and Finite Element Iteration
dev.toยท7hยท
Discuss: DEV
๐ŸบComputational Archaeology
Advanced Microbial Fuel Cell Optimization via Hyperdimensional Data Fusion and Adaptive Enzyme Engineering
dev.toยท1hยท
Discuss: DEV
โšกIncremental Computation
Q-BEAST: A Practical Course on Experimental Evaluation and Characterization of Quantum Computing Systems
arxiv.orgยท8h
โš›๏ธQuantum Compilers
From side project to meaningful gift: Building Love Tales in public
dev.toยท22hยท
Discuss: DEV
๐Ÿ›Digital humanities
Consumer Autonomy or Illusion? Rethinking Consumer Agency in the Age of Algorithms
arxiv.orgยท1dยท
Discuss: Hacker News
๐ŸงฒMagnetic Philosophy
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.orgยท3d
๐Ÿ“ŠComputational Geometry
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.orgยท3d
๐Ÿ“ŠQuantization
Real-Time Anomaly Detection in Time-Series Model Metrics via Federated Gaussian Process Regression
dev.toยท2dยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.orgยท2d
๐ŸงชBinary Fuzzing
Implicit Hypergraph Neural Network
arxiv.orgยท8h
๐ŸŒ€Hyperbolic Geometry
TRACY: Benchmarking Execution Efficiency of LLM-Based Code Translation
arxiv.orgยท3d
๐Ÿ“Code Metrics
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.orgยท1d
๐Ÿ”Information Retrieval
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.orgยท8h
๐Ÿ”ฒCellular Automata
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.orgยท8h
๐Ÿ”จCompilers
A Hybrid Surrogate for Electric Vehicle Parameter Estimation and Power Consumption via Physics-Informed Neural Operators
arxiv.orgยท2d
๐Ÿง Machine Learning
CoBAD: Modeling Collective Behaviors for Human Mobility Anomaly Detection
arxiv.orgยท8h
๐Ÿ“Information Geometry
Approximating the universal thermal climate index using sparse regression with orthogonal polynomials
arxiv.orgยท3d
๐Ÿ“Error Bounds
Clinical semantics for lung cancer prediction
arxiv.orgยท8h
๐Ÿ”Information Retrieval
Loading...Loading more...
AboutBlogChangelogRoadmap