🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🦀 Rust Verification
Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Code Insight Expands to Uncover Risks Across the Software Supply Chain
blog.virustotal.com
·
13h
·
Discuss:
blog.virustotal.com
🦠
Malware Analysis
Neon’s New Pricing, Explained: Usage-Based With a $5 Minimum
neon.com
·
8h
·
Discuss:
Hacker News
🖥️
Modern Terminals
Document.write
vladimirslepnev.me
·
9h
·
Discuss:
Hacker News
,
r/programming
,
r/webdev
🔀
XSLT
Persuasion as a Form of Attack in LLMs
notion.so
·
16h
·
Discuss:
Hacker News
⚡
Proof Automation
Svelte, Markdown, and the Magic of Web Components
sh4jid.me
·
3d
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
Fabricated data in posts.xml for multiple/all data dumps
meta.stackexchange.com
·
1d
·
Discuss:
Hacker News
📰
RSS Archaeology
Hardware Encryption with OPAL2 Self-Encrypting SSD on Linux (2022)
furayoshi.com
·
3d
·
Discuss:
Hacker News
🔒
Secure Boot
OpenAI o3 checkmates Grok in a chess showdown, and it wasn't even close
techradar.com
·
18h
🔲
Cellular Automata
Comefrom
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🔗
Concatenative Programming
How to Use LLMs for Powerful Automatic Evaluations
towardsdatascience.com
·
1d
🔗
Constraint Handling
AI for the Rest of Us
wsvincent.com
·
8h
·
Discuss:
Hacker News
🌀
Brotli Internals
Using generative AI, researchers design compounds that can kill drug-resistant bacteria
news.mit.edu
·
6h
·
Discuss:
Hacker News
🔍
Vector Forensics
RustDesk Client Install Generator with Encrypted Credentials and Email Functionality
github.com
·
3d
·
Discuss:
r/homelab
🛡️
CLI Security
Predictive Routing Optimization via Dynamic Multi-Agent Reinforcement Learning (D-MARL)
dev.to
·
20h
·
Discuss:
DEV
⚡
Incremental Computation
Automated Fault Injection Pattern Recognition via Multi-Modal Hypernetwork Analysis
dev.to
·
4d
·
Discuss:
DEV
🔍
Concolic Testing
Building AI agents made easy with Goose and Docker
docker.com
·
2d
·
Discuss:
Hacker News
🏠
Homelab Orchestration
The brink of new AI standard
dev.to
·
1d
·
Discuss:
DEV
⚔️
Lean Tactics
Exploring the Challenges and Opportunities of AI-assisted Codebase Generation
arxiv.org
·
2d
🏗️
Compiler Archaeology
Subsampling Factorization Machine Annealing
arxiv.org
·
1d
🌊
Streaming Algorithms
Hallucination vs interpretation: rethinking accuracy and precision in AI-assisted data extraction for knowledge synthesis
arxiv.org
·
17h
🧠
Intelligence Compression
Loading...
Loading more...
« Page 34
•
Page 36 »