🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

gg2 - a new CLI for helping me manage git branches
peterbe.com·16h
🌳Git Internals
Offensive Tooling Cheatsheets: An Infosec Survival Guide Resource
blackhillsinfosec.com·9h
🛡Cybersecurity
InfoSec News Nuggets 8/6/2025
aboutdfir.com·12h
🔓Hacking
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rs·3d·
Discuss: Lobsters
🔗Concatenative Programming
Show HN: Create high‑quality 3D assets from text or images
trellis3dai.com·1d·
Discuss: Hacker News
🏺Computational Archaeology
What makes a strategy great (2023)
longform.asmartbear.com·1d·
Discuss: Hacker News
🔲Cellular Automata
LLM Inflation
tratt.net·14h·
Discuss: Hacker News
📊Compression Proofs
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.com·1d·
Discuss: Hacker News
🕸️Tensor Networks
Typed languages are better suited for vibecoding
solmaz.io·3d·
Discuss: Hacker News
💻Programming languages
Towards Automating Scientific R&D
ghofrani.net·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·5d·
Discuss: Hacker News
⚡Circuit Design
Microglia–neuron crosstalk via Hex–GM2–MGL2 maintains brain homeostasis
nature.com·9h
🧲Magnetic Domains
Sliver1-Rendering-engine pure CPU based render
dev.to·6h·
Discuss: DEV
🎬WebCodecs API
Secure deployment platform for AI-generated code and internal tools
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️ARM TrustZone
Whole-genome sequencing of 490,640 UK Biobank participants
nature.com·9h
🧬Copy Number Variants
Actionable Counterfactual Explanations Using Bayesian Networks and Path Planning with Applications to Environmental Quality Improvement
arxiv.org·1d
🔲Cellular Automata
L3M+P: Lifelong Planning with Large Language Models
arxiv.org·1d
⚙️TLA+
Devil is in the Detail: Towards Injecting Fine Details of Image Prompt in Image Generation via Conflict-free Guidance and Stratified Attention
arxiv.org·1d
⟷Bidirectional Programming
Tech stack breakdown of dblayer – Go + Next.js 15 + Express + PostgreSQL
reddit.com·22h·
Discuss: r/golang
🐚Nordic Shell
SLA-MORL: SLA-Aware Multi-Objective Reinforcement Learning for HPC Resource Optimization
arxiv.org·20h
⚡Incremental Computation
Loading...Loading more...
AboutBlogChangelogRoadmap