🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Inside the AI Threat Landscape: From Jailbreaks to Prompt Injections and Agentic AI Risks
lab.wallarm.com·1d
🎯Threat Hunting
Client-side epub generation
little.webby.press·6h·
Discuss: Lobsters, Hacker News
🏺ZIP Archaeology
Why every utterance you make begins with a leap of faith (2024)
psyche.co·1d·
Discuss: Hacker News
📼Cassette Linguistics
An open-source SDK for finding dead code
blog.sentry.io·1d·
Discuss: Hacker News
🦀Rust Macros
Vine-like Systems and Malleability
nothingisnttrivial.com·3d·
Discuss: Lobsters, Hacker News
⚡Incremental Computation
Open source, open science, and cryptography
techradar.com·1d
🔓Open Source Software
Redis Historical Versions from 2009
github.com·2h·
Discuss: Hacker News
⚡Redis Internals
Learn wgpu – Guide for using gfx-rs's wgpu library
github.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
U.S. CISA adds MRLG, PHPMailer, Rails Ruby on Rails, and Synacor Zimbra Collaboration Suite flaws to its Known Exploited Vulnerabilities catalog
securityaffairs.com·1d
🔓Hacking
Full Salesforce Agentforce Implementation Guide
dev.to·2h·
Discuss: DEV
🗄️Database Internals
R-VLM: Region-Aware Vision Language Model for Precise GUI Grounding
arxiv.org·13h
📐Projective Geometry
Liability and Insurance for Catastrophic Losses: the Nuclear Power Precedent and Lessons for AI
arxiv.org·13h
✨Effect Handlers
The Road To Emotional AI - Why I’m Studying ROS 2 and Python While Building My Own Robots
dev.to·2d·
Discuss: DEV
🦀Rust Macros
How to build an Agent with Laravel
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Calculator V3 – AI Edition 🧮🤖
dev.to·3d·
Discuss: DEV
👑Isabelle
TuneShield: Mitigating Toxicity in Conversational AI while Fine-tuning on Untrusted Data
arxiv.org·13h
🎙️Whisper
Pros and Cons of the Top AI Code Assistants: Continue.dev, GitHub Copilot, and Cursor (With a Hero’s Twist)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Reasoning or Not? A Comprehensive Evaluation of Reasoning LLMs for Dialogue Summarization
arxiv.org·5d
📏Linear Logic
Python Fundamentals: bisect
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
GenAI sustainability: a review of the 2025 numbers
blog.scottlogic.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Loading...Loading more...
AboutBlogChangelogRoadmap