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

The Ultimate Secure Code Review Checklist
boostsecurity.ioยท1d
๐Ÿ›ก๏ธWebAssembly Security
Should it be space-time or spacetime โ€“ and why does it matter anyway?
newscientist.comยท3d
โฐTime Crystals
AI and the Future of Governance, Risk, and Compliance (GRC)
trainingcamp.comยท8hยท
Discuss: Hacker News
๐Ÿ”Capability Security
Scientists Sequence Bacterial DNA from Germs in Mammoth Teeth
scientificamerican.comยท10h
๐ŸฆดBinary Paleontology
An update on my microSD card testing project
reddit.comยท2hยท
Discuss: r/homelab
๐ŸŽฏEmulator Accuracy
Optimizing AI Inference with Edge Computing
edgee.cloudยท4dยท
Discuss: Hacker News
๐ŸŒŠStreaming Compression
WasiPy โ€“ Python Interpreter in Wasi
github.comยท3dยท
Discuss: Hacker News
โš™๏ธWASM Runtime
Why Campolindo was hardly satisfied with its victory over Northgate
mercurynews.comยท14h
๐Ÿ“ฐRSS Archaeology
Anthropic blocks Chinese-controlled firms from Claude AI โ€” cites 'legal, regulatory, and security risks'
tomshardware.comยท1d
๐Ÿ‡จ๐Ÿ‡ณChinese Computing
Intel vs. AMD for Proxmox VM (with TrueNAS Scale) server +
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ–ฅHome Lab Setup
Miso: A swiss table implementation from scratch in rust
reddit.comยท6dยท
Discuss: r/rust
๐Ÿฆ€Rust Verification
Plan More, Debug Less: Applying Metacognitive Theory to AI-Assisted Programming Education
arxiv.orgยท2d
๐Ÿ—บ๏ธCompetency Maps
Why LLM Observability Is Essential in Agentic Applications
dev.toยท3dยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Python in Termux: A Step-by-Step Beginner's Guide
dev.toยท14hยท
Discuss: DEV
โš™๏ธWASM Runtime
Beyond Correctness: Harmonizing Process and Outcome Rewards through RL Training
arxiv.orgยท2d
๐Ÿ”—Constraint Handling
Totally expected - Fishing World - Devlog #2
dev.toยท2dยท
Discuss: DEV
๐Ÿ–ฅ๏ธTerminal Emulators
[Question] How to test remotely?
reddit.comยท2dยท
Discuss: r/golang
๐Ÿ Homelab Pentesting
AMBEDKAR-A Multi-level Bias Elimination through a Decoding Approach with Knowledge Augmentation for Robust Constitutional Alignment of Language Models
arxiv.orgยท3d
๐ŸŒ€Brotli Dictionary
MATL-DC: A Multi-domain Aggregation Transfer Learning Framework for EEG Emotion Recognition with Domain-Class Prototype under Unseen Targets
arxiv.orgยท3d
๐ŸŽตAudio ML
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.comยท5dยท
Discuss: Substack, r/programming
๐ŸšShell Calculus
Loading...Loading more...
AboutBlogChangelogRoadmap