๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ฌ Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Data variety: the silent killer of AI โ€” and how to conquer It
techradar.comยท14h
๐Ÿ”„Schema Evolution
Beast X for Bayesian phylogenetic, phylogeographic and phylodynamic inference
nature.comยท1dยท
Discuss: Hacker News
๐ŸงฌBitstream Evolution
Another Supply Chain Vulnerability
schneier.comยท18h
๐Ÿ”—Supply Chain
AI coding platform goes rogue during code freeze and deletes entire company database โ€” Replit CEO apologizes after AI engine says it 'made a catastrophic error ...
tomshardware.comยท16hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Critical SharePoint Zero-Day (CVE-2025-53770) Under Active Exploitation
cisa.govยท18hยท
Discuss: Hacker News
๐Ÿ’ฃZIP Vulnerabilities
Apple's Liquid Glass in CSS (and SVG)
medium.comยท20hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Physics
My experience with Claude Code after 2 weeks of adventures | Hacker News
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Tips for Writing Clean Code in TensorFlow 2
hackernoon.comยท1d
๐Ÿ“ŠQuantization
Is your precious code safe? An easy way to ensure availability of code/repositories.
reddit.comยท2dยท
Discuss: r/homelab
๐ŸŒณGit Internals
C++ Trailing Return Types (2022)
danielsieger.comยท4dยท
Discuss: Lobsters, Hacker News, r/cpp, r/programming
๐Ÿ”—Concatenative Programming
A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials
arxiv.orgยท1h
๐Ÿง Machine Learning
LLM Economist: Large Population Models and Mechanism Design in Multi-Agent Generative Simulacra
arxiv.orgยท1h
๐Ÿ”ฒCellular Automata
Learning to Extract Rational Evidence via Reinforcement Learning for Retrieval-Augmented Generation
arxiv.orgยท1h
๐Ÿ”Information Retrieval
An Overview of the Risk-based Model of AI Governance
arxiv.orgยท1h
๐ŸŒCultural Algorithms
QUTCC: Quantile Uncertainty Training and Conformal Calibration for Imaging Inverse Problems
arxiv.orgยท1h
๐Ÿง Machine Learning
SCOPE for Hexapod Gait Generation
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
Hyperelastic nature of the Hoek-Brown criterion
arxiv.orgยท1h
๐ŸŒ€Differential Geometry
Claude Code Spec Workflow: Automated Spec-Driven Workflow for Claude Code
github.comยท15hยท
Discuss: Hacker News
โšกProof Automation
IConMark: Robust Interpretable Concept-Based Watermark For AI Images
arxiv.orgยท1d
๐Ÿ’งDigital Watermarking
Just completed AWS AI & ML challenge.
dev.toยท9hยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Loading...Loading more...
AboutBlogChangelogRoadmap