🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Formal Verification
TLA+, Model Checking, Safety Properties, Specifications
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
CISA wants to maintain control of CVE program
cisa.gov
·
16h
·
Discuss:
Hacker News
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Root Managed Services
rootmanagedservices.com
·
1d
·
Discuss:
Hacker News
🖥
Self-Hosting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Nyquist–Shannon Sampling Theorem
en.wikipedia.org
·
20h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Prototype Pollution in Python (2023)
blog.abdulrah33m.com
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Linux 6.17 Fix Lands To Address Regression With "Serious Breakage" In Hibernation
phoronix.com
·
1d
·
Discuss:
Lobsters
,
r/cachyos
🔧
Unikernel Development
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Belzebub.ai: AI Deception Platform
beelzebub.ai
·
3d
·
Discuss:
Hacker News
🖥
Self-Hosting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What Happened to Google's A2A?
blog.fka.dev
·
2d
·
Discuss:
Hacker News
🐳
Containerization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Visualising Topology Inspired Computing Algorithms
antifold.com
·
3d
·
Discuss:
Hacker News
🧩
Separation Logic
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Todays Identity and Access Management Can't Survive the AI Age
identityfusion.com
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Just Enough Automation
bevel.work
·
2d
·
Discuss:
Hacker News
🤖
Program Synthesis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Prototype Design Pattern in Go – Faster Object Creation 🚀
reddit.com
·
1d
·
Discuss:
r/programming
🤖
Program Synthesis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Analysis and Control of Acoustic Emissions from Marine Energy Converters
arxiv.org
·
2d
🩹
Self-Healing Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com
·
3d
·
Discuss:
Hacker News
🔬
Unikernels
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org
·
2d
🛡️
seL4
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: An open source Vercel/Render alternative for Python apps
github.com
·
1d
·
Discuss:
Hacker News
🐳
Containerization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com
·
1d
·
Discuss:
Hacker News
💎
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Collecting my thoughts about notation and user interfaces
interconnected.org
·
1d
·
Discuss:
Hacker News
🔄
Finite State Machines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Coding
geohot.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📚
Automata Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org
·
4d
·
Discuss:
Lobsters
🧩
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 18
•
Page 20 »