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

Citrix fixed three NetScaler flaws, one of them actively exploited in the wild
securityaffairs.comยท13h
๐ŸŒDNS Security
The Curious Case of the โ€œๆžโ€ Token Bug in DeepSeek V3.1
pixelstech.netยท5h
โœ…Format Verification
Chaos and Coherence in Business
commoncog.comยท22h
๐ŸšShell Calculus
FB19914338
furbo.orgยท13hยท
Discuss: Hacker News
๐ŸงฌBitstream Evolution
How to Install Java on Rocky Linux 10: A Step-by-Step Guide
linuxiac.comยท14h
๐Ÿ“ฆPackage Managers
A little of that human touch: rethinking CX in the Age of AI
techradar.comยท1h
๐Ÿ”ŒInterface Evolution
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.devยท4dยท
Discuss: Hacker News
โšกProof Automation
Sep 21 2025 : Intro to TouchDesigner
nycresistor.comยท14h
๐Ÿ“ŸCLI Design
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.comยท4dยท
Discuss: Substack
โšกProof Automation
sshPilot, your SSH connection editor/manager releaes new version
reddit.comยท14hยท
Discuss: r/linux
๐Ÿ“ŸTerminals
Reverse Engineered Raspberry Pi Compute Module 5
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”ŒSingle Board PC
mimidns: an authoritative dns server in Go.
reddit.comยท4dยท
Discuss: r/golang
๐ŸŒDNS Security
How Retrieval Algorithms Shape Better LLM Responses?
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Information Retrieval
Go Beyond Viper and Cobra: Declarative Field-Driven Configuration for Go Apps
dev.toยท4dยท
Discuss: DEV
๐Ÿ“‹Format Specification
Collaborative Workflow Optimization via Dynamic Resource Allocation & Cognitive Agent Mediation (DRAM-CAM)
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
Show HN: SecretMemoryLocker โ€“ File Encryption Without Static Passwords
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ”Archive Encryption
RotaTouille: Rotation Equivariant Deep Learning for Contours
arxiv.orgยท2d
๐ŸŒ€Riemannian Computing
How Much Code Do You Actually Own? ๐Ÿค”
dev.toยท23hยท
Discuss: DEV
๐Ÿš€Indie Hacking
Advances in Machine Learning: Uncertainty, Scalability, Fairness, and Human-AI Collaboration in Recent cs.LG Research fr
dev.toยท3dยท
Discuss: DEV
๐Ÿง Machine Learning
Parallel Nodal Interior-Penalty Discontinuous Galerkin Methods for the Subsonic Compressible Navier-Stokes Equations: Applications to Vortical Flows and VIV Pro...
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Loading...Loading more...
AboutBlogChangelogRoadmap