Skip to main content
Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
馃敆 Dependent Types
Idris, Agda, Proof Assistants, Type-Level Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80787
posts in
371.2
ms
If it
compiles
, it is correct (almost): an introduction to Lean 4 for
ZK
systems and Engineering
blog.lambdaclass.com
路
5h
馃搵
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Types for
Grassroots
Logic
Programs
arxiv.org
路
2d
馃捇
AI
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel approach to verifying
categorical
type theories, a critical and computationally demanding problem in formal
metho
...
freederia.com
路
52m
馃搵
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Little Lens
Starter
Tutorial - School of
Haskell
schoolofhaskell.com
路
3h
馃搵
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Disentangling
unification and implicit coercion (
subtyping
interaction problem)
jonmsterling.com
路
2d
路
Discuss:
Hacker News
馃搵
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN: Our
command
line tool to
transpile
AI Inference from Python to C++
github.com
路
6h
路
Discuss:
Hacker News
馃捇
AI
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A brief introduction to
Compilers
with
Kotlin
examples
rabbitvictor.com
路
1d
馃搵
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Learn You a
Haskell
for Great Good!
learnyouahaskell.github.io
路
5h
馃搵
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Pratt parsing to the
Dijkstra
shunting
yard
matklad.github.io
路
10h
路
Discuss:
Hacker News
鈴憋笍
Computational Complexity
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A
Bisimulation-Invariance-Based
Approach to the Separation of Polynomial Complexity Classes
arxiv.org
路
1d
鈴憋笍
Computational Complexity
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Semantic Police: Stop or my
compiler
will prove a
theorem
kp9.in
路
3d
路
Discuss:
Hacker News
鈴憋笍
Computational Complexity
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Llms Lose Control:
Dual-Concept
Generation Drops Performance In Multiple
Tasks
quantumzeitgeist.com
路
8h
馃
AI philosophy
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
OpenAI and Codex with
Thibault
Sottiaux
and Ed Bayes
softwareengineeringdaily.com
路
12h
馃捇
AI
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Learning to
Execute
dev.to
路
8h
路
Discuss:
DEV
馃捇
AI
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Python鈬扴peed: Speeding up
NumPy
with
parallelism
pythonspeed.com
路
3h
鈴憋笍
Computational Complexity
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Abdul Rahman
Sibahi
| Knuth's
Linebreaking
Algorithm for non-Programmers
blog.ar-ms.me
路
1h
鈴憋笍
Computational Complexity
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Problem Solving Using
UCSD
Pascal - K. L. Bowles, Stephen D. Franklin, Dennis J.
Volper
books.google.com
路
2d
鈴憋笍
Computational Complexity
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Going Beyond the Context
Window
:
Recursive
Language Models in聽Action
towardsdatascience.com
路
2d
馃捇
AI
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
verifx-prover/verifx
: The
VeriFx
automated verification language
github.com
路
2h
馃搵
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel, automated framework for assessing the spectral
decomposability
of
Banach
algebras, specifically focusing on Von ...
freederia.com
路
18h
馃搳
Optimization
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
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
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