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

Automated Reasoning, Tactic Languages, Resolution, Unification

What Weโ€™ve Learned from 5 Months of Hackbot Activity
hackerone.comยท2d
๐Ÿ”“Hacking
abhisheksr01/spring-boot-microservice-best-practices
github.comยท2d
๐ŸŒŠStreaming Systems
Hubert Dreyfus's views on artificial intelligence
en.wikipedia.orgยท1dยท
Discuss: Hacker News
๐ŸงฒMagnetic Philosophy
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท3d
๐Ÿ“Concrete Syntax
A case for courage, when speaking of AI danger
lesswrong.comยท1dยท
Discuss: Hacker News
๐ŸŽฏThreat Hunting
HackTheSite Basic 6
dev.toยท14hยท
Discuss: DEV
๐Ÿ”“Password Cracking
Sirius: A GPU-native SQL engine
github.comยท10hยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
arxiv.orgยท1d
โš™๏ธLogic Synthesis
From Dev Blog to AI Discovery โ€“ How to Rank Your Content in Generative Search
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.orgยท2d
โœ…Format Verification
Ecma International approves ECMAScript 2025: Whatโ€™s new?
2ality.comยท3dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
GCP Fundamentals: Data Labeling API
dev.toยท21hยท
Discuss: DEV
๐Ÿค–Archive Automation
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols๏ผˆ1750952117902400๏ผ‰
dev.toยท2dยท
Discuss: DEV
๐ŸŒNetwork Protocols
Advancements in Computer Science Learning: A Synthesis of Recent Research in AI and Machine Learning
dev.toยท1dยท
Discuss: DEV
๐Ÿง Machine Learning
Decoding the Human Language: An Introduction to Natural Language Processing (NLP) Fundamentals
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Text Parsing
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
arxiv.orgยท1d
๐Ÿฆ Malware Analysis
Developing AI-Powered Applications with LLMs on Google Cloud
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Blackbox AI โ€” For Real
dev.toยท5hยท
Discuss: DEV
๐ŸŒWASI
I Built an Offline-First AI Copilot for the Terminal โ€“ Meet Promptly
dev.toยท17hยท
Discuss: DEV
๐ŸšShell Automation
โš™๏ธ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap