๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โ›๏ธ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

A process to find and extract data-points from graphs in pdf files
shape-of-code.comยท1d
๐Ÿ“„PostScript
Make Attackers Cry: Outsmart Them With Deception
fastly.comยท21h
๐ŸŽฏThreat Hunting
Sealed Chain of Deception: Actors leveraging Node.JS to Launch JSCeal
research.checkpoint.comยท7h
๐ŸŽซKerberos Exploitation
Communicate like a Senior: Add the (right) context
read.highgrowthengineer.comยท2d
๐ŸŒณIncremental Parsing
Reverse Proxy Deep Dive Part 3: Understanding Service Discovery Challenges
startwithawhy.comยท1dยท
Discuss: r/devops
๐Ÿ“ŠPCAP Analysis
From XML to JSON to CBOR
cborbook.comยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ“‹Document Grammar
My 2.5 year old laptop can write Space Invaders in JavaScript now
simonwillison.netยท8hยท
Discuss: Hacker News, r/LocalLLaMA
๐Ÿ–ฅ๏ธTerminal Renaissance
Physics-Informed Neural Networks for Inverse PDE Problems
towardsdatascience.comยท6h
๐Ÿ”—Tailscale
New Programming Language
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Coding for the Future Agentic World
addyo.substack.comยท1hยท
Discuss: Substack
๐Ÿ”„Language Evolution
PBiLoss: Popularity-Aware Regularization to Improve Fairness in Graph-Based Recommender Systems
arxiv.orgยท1d
๐ŸŽฏRecommendation Metrics
Survey Surfaces Multiple Persistent DevSecOps Challenges
devops.comยท8h
๐Ÿ›กCybersecurity
Beyond Interactions: Node-Level Graph Generation for Knowledge-Free Augmentation in Recommender Systems
arxiv.orgยท17h
๐Ÿ•ธ๏ธGraph Embeddings
Zero-shot Performance of Generative AI in Brazilian Portuguese Medical Exam
arxiv.orgยท17h
โš™๏ธCompression Benchmarking
A Rational Survival Guide to Vibe Coding with AI
blog.anantshri.infoยท15hยท
Discuss: Hacker News
๐Ÿ“Code Metrics
๐Ÿ”ฅ Claude Code pattern that saves 5-minute daily:
dev.toยท1dยท
Discuss: DEV
๐ŸŒณIncremental Parsing
LeetCode Buddy โ€“ My AI-powered Code Review Assistant
dev.toยท4dยท
Discuss: DEV
๐Ÿฆ€Rust Macros
7 Must-Read AI and Prompt Engineering Books for Developers in 2025
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Gotta Search 'Em All, MCP!!
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
๐Ÿง‘โ€๐Ÿ’ป Being a CS Student in 2025 Feels Like Living in the Future (But No One Teaches You This Stuff)
dev.toยท1hยท
Discuss: DEV
๐Ÿ’ปCS
Loading...Loading more...
AboutBlogChangelogRoadmap