🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏹 Effect Systems

Algebraic Effects, Effect Handlers, Computational Effects, Pure Functions

Why the United States Should Not Fear a Space Pearl Harbor
lawfaremedia.org·43m·
Discuss: Hacker News
📡Network Protocol Design
How we built fast UPDATEs for the ClickHouse column store – Part 2: SQL-style UPDATEs
clickhouse.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Retrofitting error detection
johndcook.com·4h·
Discuss: Hacker News
🐫Embedded OCaml
Repeated Failures Report at AnyMaint: A Technical Deep Dive
medium.com·4d·
Discuss: r/programming
👁️System Observability
Orbital datacenters subject to launch stress, nasty space weather, and expensive house calls
theregister.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI setup wizard for installing packages into the codebase
github.com·20h·
Discuss: Hacker News
📦Unikernel Systems
Zignal: A zero-dependency image processing library
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Dual Turing Test: A Framework for Detecting and Mitigating Undetectable AI
arxiv.org·4d
🎮Verification Games
Mistral reports on the environmental impact of LLMs
mistral.ai·4d·
Discuss: Hacker News
🔍Formal Verification
SFNet: A Spatio-Frequency Domain Deep Learning Network for Efficient Alzheimer's Disease Diagnosis
arxiv.org·4d
💾Retro Computing
I'm 22 and spent a month optimizing CUDA kernels on my 5-year-old laptop. Results: 93K ops/sec beating NVIDIA's cuBLAS by 30-40%
github.com·2d·
Discuss: r/programming
👁️System Observability
Learning Deformable Body Interactions With Adaptive Spatial Tokenization
arxiv.org·6d
➡️Category Theory
Fiduciary AI for the Future of Brain-Technology Interactions
arxiv.org·5d
🖥️Self-hosted Infrastructure
CHIMERA: Compressed Hybrid Intelligence for Twin-Model Enhanced Multi-Agent Deep Reinforcement Learning for Multi-Functional RIS-Assisted Space-Air-Ground Integ...
arxiv.org·4d
⚙️Operating System Design
Self-Contradiction as Self-Improvement: Mitigating the Generation-Understanding Gap in MLLMs
arxiv.org·4d
🛡️seL4
Interpretable Embeddings of Speech Enhance and Explain Brain Encoding Performance of Audio Models
arxiv.org·4d
🍎Apple
Semi-off-Policy Reinforcement Learning for Vision-Language Slow-thinking Reasoning
arxiv.org·4d
🎮Verification Games
SpiroLLM: Finetuning Pretrained LLMs to Understand Spirogram Time Series with Clinical Validation in COPD Reporting
arxiv.org·4d
✓Automated Theorem Proving
AI, Expert or Peer? -- Examining the Impact of Perceived Feedback Source on Pre-Service Teachers Feedback Perception and Uptake
arxiv.org·4d
✓Automated Theorem Proving
Maybe (personal finance app) v0.6.0, post-mortem
github.com·2d·
Discuss: Hacker News, Hacker News
🍎Apple
Loading...Loading more...
AboutBlogChangelogRoadmap