🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Hoare Logic
Program Correctness, Preconditions, Postconditions, Axiomatic Semantics
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
XProc 3 Steps as XSpec Test Helper Functions
medium.com
·
1d
🔀
XSLT
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Introducing PromptIntel
blog.securitybreak.io
·
6h
🎯
Threat Hunting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
📐
Linear Algebra
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org
·
3d
·
Discuss:
Hacker News
,
r/programming
🌳
Incremental Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Quantum computing is "mission crtical"
federalnewsnetwork.com
·
1d
·
Discuss:
Hacker News
⚛️
Quantum Tape
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧮
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
VLLM Predicted Outputs
cascadetech.ai
·
1d
·
Discuss:
Hacker News
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Negatives of Coding with AI
kushgoyal.com
·
2d
·
Discuss:
Hacker News
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Proof of the Riemann Hypothesis
dev.to
·
3d
·
Discuss:
DEV
⚔️
Lean Theorem
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Understanding Latent Space: How Meaning Is Represented by AI
dev.to
·
17h
·
Discuss:
DEV
🧮
Kolmogorov Complexity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org
·
5d
🔗
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Graph Neural Network Calibration for Robust Decentralized Sensor Fusion
dev.to
·
1d
·
Discuss:
DEV
🤝
Consensus Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From Defender to Devil? Unintended Risk Interactions Induced by LLM Defenses
arxiv.org
·
2d
✨
Effect Handlers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org
·
2d
✨
Effect Handlers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to
·
2d
·
Discuss:
DEV
✅
Format Validation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org
·
2d
✓
Automated Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org
·
2d
🕵️
Vector Smuggling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org
·
2d
🧮
Kolmogorov Complexity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org
·
3d
🛡
Cybersecurity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tech With Tim: How to Build AI Agents in Python
dev.to
·
2h
·
Discuss:
DEV
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 12
•
Page 14 »