๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”„ Session Type Inference

Protocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions

Signed and stealing: uncovering new insights on Odyssey infostealer
jamf.comยท15h
๐Ÿ”“Password Cracking
All the wrong ways to think about AI customer support
mux.comยท11hยท
Discuss: Hacker News
๐Ÿ Homelab Automation
Gaslight-driven development
tonsky.meยท1dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Efficient Private Inference Based on Helper-Assisted Malicious Security Dishonest Majority MPC
arxiv.orgยท2d
๐ŸคSecure Multiparty
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.toยท14hยท
Discuss: DEV
๐ŸงญContent Discovery
Finding Common Ground: Using Large Language Models to Detect Agreement in Multi-Agent Decision Conferences
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata
You Are in a Box
jyn.devยท2dยท
Discuss: Lobsters, Hacker News
๐ŸšShell Calculus
Sandboxing AI - Extending AI Responsibly
dev.toยท1dยท
Discuss: DEV
๐Ÿ”’WASM Capabilities
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.orgยท3d
๐Ÿง Computational Logic
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.orgยท1h
๐ŸงฎKolmogorov Complexity
I've been coding with AI for two years. Here is what I've learned
nathanpeck.comยท2hยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
From Alerts to Intelligence: A Novel LLM-Aided Framework for Host-based Intrusion Detection
arxiv.orgยท1d
๐ŸŽฏThreat Hunting
Exploring User Security and Privacy Attitudes and Concerns Toward the Use of General-Purpose LLM Chatbots for Mental Health
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
SENSOR: An ML-Enhanced Online Annotation Tool to Uncover Privacy Concerns from User Reviews in Social-Media Applications
arxiv.orgยท1d
๐ŸŽ›๏ธFeed Filtering
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.orgยท1h
๐Ÿ•ต๏ธVector Smuggling
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.orgยท2d
๐Ÿ“ABNF Parsing
Effective Practices for Coding with a Chat-Based AI
infoq.comยท5hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Porting a Cross-Disciplinary Text Mining Course Online Using Innovative Engagement Techniques
hackernoon.comยท1d
๐Ÿค–Grammar Induction
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.toยท14hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap