Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Proof Irrelevance
🔲 Proof Irrelevance
Specific
Squash Types, Proposition Equality, Setoid Model, Type Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
13
posts in
10.3
ms
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🏛️
Agda
lix.polytechnique.fr
·
10h
10 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
A
Proof
in
Coq
that Core Logic is not Paraconsistent
📋
Formal Verification
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A Proof in Coq that Core Logic is not Paraconsistent
Less-relevant results
a topos-oriented language with a content-addressed lattice heap
💻
Programming languages
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Proof
System Timelines
📐
Proof Assistants
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
Programming Languages Software Award
📋
Formal Verification
sigplan.org
·
11h
11 hours ago
Actions for Programming Languages Software Award
Introducing Jo — Secure Programming for the AI Era
💻
programming languages
Content type:
Blog
jo-lang.org
·
5d
5 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
AI agents need
identity
, not shared credentials (Sponsor)
📦
Container Security
goteleport.com
·
19h
19 hours ago
Actions for AI agents need identity, not shared credentials (Sponsor)
Strict stability of extension
types
💻
Programming languages
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
aiperceivable/apcore-typescript
: A schema-driven module development framework for
TypeScript
.
👁️
Observatory Systems
Content type:
Code
github.com
·
4d
4 days ago
·
DEV
Actions for aiperceivable/apcore-typescript: A schema-driven module development framework for TypeScript.
Ontologies for the Agentic Web
🕸
Linked data
Content type:
Blog
wordlift.io
·
5d
5 days ago
Actions for Ontologies for the Agentic Web
Agent-First Authentication and Authorization
📋
records management
Content type:
Blog
clawmem.ai
·
5d
5 days ago
·
Hacker News
Actions for Agent-First Authentication and Authorization
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
📐
Proof Assistants
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
fantasyland/fantasy-land: Specification for interoperability of common algebraic structures in JavaScript
📼
Tape Algebra
Content type:
Code
github.com
·
3d
3 days ago
·
Hacker News
Actions for fantasyland/fantasy-land: Specification for interoperability of common algebraic structures in JavaScript
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help