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
λ Functional Programming
Immutability, Pure Functions, Higher-Order Functions, Type Systems
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83278
posts in
464.9
ms
Mechanized
Undecidability
of Higher-order beta-Matching (Extended Version)
arxiv.org
·
4d
📱
Kotlin
Toward
Operationalizing
Rasmussen
: Drift Observability on the Simplex for Evolving Systems
arxiv.org
·
1d
📱
Kotlin
Modern
Trends
In
Floating-Point
semiengineering.com
·
2d
📱
Kotlin
Devux.js
| Node.js Framework |
TypeScript
dev.to
·
9h
·
Discuss:
DEV
📱
Kotlin
Deterministic AI:
Reclaiming
Predictable Latency with Rust and Zero-Cost
Abstractions
dev.to
·
1d
·
Discuss:
DEV
📱
Kotlin
Maiasa
: A next-gen, fast, robust,
ethical
language model (that can only say "a")
maiasa.ai
·
4d
·
Discuss:
Hacker News
🏛
Data sovereignty
Beyond Transformers.
Physics-Centric
Machine Learning for
Analog
semiwiki.com
·
2d
📱
Kotlin
STIP
: Efficient and Secure Non-Interactive Transformer Inference via Compact
Packing
eprint.iacr.org
·
4d
📱
Kotlin
GKcodebase/API
_Architecture: API designs in
jaca
github.com
·
1d
·
Discuss:
DEV
🏛
Data sovereignty
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
4d
·
Discuss:
Lobsters
,
Hacker News
📱
Kotlin
Efficient
Benchmarking
of
Logical
Magic State
link.aps.org
·
2d
📱
Kotlin
Sukr
: A minimal static site
compiler
in Rust with zero-JS output
lobste.rs
·
2d
·
Discuss:
Lobsters
📱
Kotlin
**Abstract:** This paper introduces a novel framework for automated verification of deformations applied to Hilbert
polytopes
, a crucial step in
understandin
...
freederia.com
·
1d
📱
Kotlin
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
21h
🏛
Data sovereignty
Spectral Approximation and Probabilistic Verification of Non‑trivial Zeros of
Rankin
–
Selberg
L‑Functions on GL(3) via Random Matrix Ensembles and Bayesian Inference
freederia.com
·
23h
📱
Kotlin
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
1d
·
Discuss:
Hacker News
📱
Kotlin
Beta Release:
Predicated
Recursive
Descent
for Rust
wareya.wordpress.com
·
6d
·
Discuss:
Hacker News
📱
Kotlin
New MIT Framework Uses Search to
Handle
LLM
Errors
in AI Agents
hpcwire.com
·
1d
📱
Kotlin
Building a
Synthesizer
notes.billmill.org
·
1d
📱
Kotlin
How not to program in
Dyalog
APL
toolofthought.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
📱
Kotlin
Loading...
Loading more...
« Page 8
•
Page 10 »
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