🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Logic

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Aug 17 2025 : Learn to Use a Laser Cutter to Cut and Etch Your Own Designs
nycresistor.com·28m
🕵️Format Recovery
Chapter 6: The art of deception in the White House
english.elpais.com·20h
🛡️Proof-Carrying Archives
Summer puzzle games
blog.zarfhome.com·2h
📼Retro Games
How adding user friction helps prevent fraud
fingerprint.com·2d
🎯Threat Hunting
CVE-2025-20281: Cisco ISE API Unauthenticated Remote Code Execution Vulnerability
thezdi.com·2d
🧪CBOR Fuzzing
Metasurfaces could be the next quantum information processors
phys.org·1d·
Discuss: Hacker News
⚛️Quantum Tape
Event Sourcing as the Backbone of AI Memory
tracardi.com·3d·
Discuss: Hacker News
⚡Incremental Computation
How to properly match ingress and egress netpol ?
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
Microsoft aims to become an "intelligence engine" for eight billion people
the-decoder.com·16h
📚MARC Archaeology
Zignal: A zero-dependency image processing library
github.com·2d·
Discuss: Hacker News
📄Document Streaming
Python Threading Example
dev.to·6h·
Discuss: DEV
🧠Program Logic
Dollo's Law of Irreversibility
en.wikipedia.org·1d·
Discuss: Hacker News
🦴Binary Paleontology
Smart Document Hub - Algolia MCP Server Challenge
dev.to·1d·
Discuss: DEV
🔗Hypermedia APIs
AI-Powered Real-Time Chat Analytics with Redis Vector Search
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
P-CoT: A Pedagogically-motivated Participatory Chain-of-Thought Prompting for Phonological Reasoning in LLMs
arxiv.org·4d
🤖Grammar Induction
Creating agentic users, not just agentic AI
github.com·4d·
Discuss: Hacker News
🌍Cultural Algorithms
GVCCS: A Dataset for Contrail Identification and Tracking on Visible Whole Sky Camera Sequences
arxiv.org·2d
🌀Differential Geometry
Scoping Freelance Dev Projects with GPT: My Workflow
dev.to·2d·
Discuss: DEV
⚙️Batch Processing
ChatGPT Agent Tool
dev.to·7h·
Discuss: DEV
⚡Proof Automation
From SMA to TEMA: Coding Technical Indicators in Python — Building stocksimpy 2
dev.to·1d·
Discuss: DEV
🌊Digital Signal Processing
Loading...Loading more...
AboutBlogChangelogRoadmap