🐿️ 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
Apple Announces A19 and A19 Pro SoCs
morethanmoore.substack.com
·
3h
·
Discuss:
Substack
🍎
XNU Internals
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
·
17h
·
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
·
21h
·
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
·
2d
·
Discuss:
Hacker News
🖥
Self-Hosting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Modelling a macOS application around my productivity research
openmodeai.com
·
14h
·
Discuss:
Hacker News
🍎
Apple
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
Walking around the app
vickiboykis.com
·
4d
·
Discuss:
Hacker News
📊
Runtime Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com
·
3d
·
Discuss:
Hacker News
⚙️
PL Implementation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The canonical agent architecture: A while loop with tools
braintrust.dev
·
5d
·
Discuss:
Hacker News
⚙
Operational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Privacy-First AI Agents on Ollama: Complete Guide
nativemind.app
·
4d
·
Discuss:
Hacker News
🐳
Containerization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Dissecting Batching Effects in GPT Inference
le.qun.ch
·
1d
·
Discuss:
Hacker News
📚
Automata Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org
·
4d
⚙
Operational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org
·
2d
🐫
OCaml
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com
·
1d
💻
CS
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
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
How To Work With Local AI in the Zed IDE
thenewstack.io
·
2d
📦
Unikernel Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 17
•
Page 19 »