Skip to main content
Scour
Browse
Getting Started
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
♾️ Codata Types
Infinite Structures, Observation, Dual Types, Coinduction
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83196
posts in
491.9
ms
A logical
re-conception
of neural networks: Hamiltonian
bitwise
part-whole architecture
arxiv.org
·
1d
🎯
Bit-Vector Algorithms
Axiomatic
Foundations of
Counterfactual
Explanations
arxiv.org
·
2d
📜
Proof Languages
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
1d
📡
Erlang BEAM
**Abstract:** The increasing volume and complexity of international standards across diverse fields
necessitate
efficient translation and harmonization
strat
...
freederia.com
·
1d
📋
Backus-Naur Form
Bridging
the Gap: A Deep Dive into the Model Context
Protocol
(MCP)
dev.to
·
2d
·
Discuss:
DEV
📡
Protocol Parsers
Apache
Avro
™ 1.12.0 Documentation
avro.apache.org
·
4d
📡
Network Serialization
Understanding
Concurrency
Through Everyday Life
Examples
dev.to
·
3d
·
Discuss:
DEV
🔗
Concurrency Primitives
Cryptanalytic
Extraction of Neural Networks with Various
Activation
Functions
eprint.iacr.org
·
4d
🎯
Finite Automata
Wolfram
Tackles P v
NP
i-programmer.info
·
5d
🧮
Combinator Calculus
meth: A Python library to
parse
and
evaluate
mathematical equations.
github.com
·
4d
🌱
Minimal ML
KCL
part 2: program memory
ncameron.org
·
5d
📚
Stack Allocation
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
4d
·
Discuss:
Hacker News
📐
Mathematical Computing
A
dilettante
’s
philosophy
of mind
mtmason.com
·
4d
·
Discuss:
Hacker News
💫
Effect Systems
akshat666/ephemeral-first-security-framework
: Security through
transience
, not just encryption
github.com
·
4d
·
Discuss:
Hacker News
🛡️
Security Type Systems
Composition of
attractor
lattices
topos.institute
·
6d
🎭
Racket Modules
The
Category
Error: Why AI Alignment is
Structurally
Impossible
pub.towardsai.net
·
4d
💫
Effect Systems
A
unified
plant
ecology
database for Spain
nature.com
·
3d
🌲
Deforestation
De-mystifying
Agentic AI: Building a Minimal Agent Engine from Scratch with
Clojure
serefayar.substack.com
·
4d
·
Discuss:
Substack
🎭
Erlang OTP
RFC
6902: JavaScript Object
Notation
(JSON) Patch
datatracker.ietf.org
·
4d
·
Discuss:
r/gamedev
📡
Network Serialization
Semantic
Definition
Format
onedm.org
·
5d
🌐
Web Standards
Loading...
Loading more...
« Page 13
•
Page 15 »
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