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
82326
posts in
546.2
ms
Performance Tip of the Week #83:
Reducing
memory
indirections
abseil.io
·
20h
📱
Kotlin
Tip of the Week #142: Multi-parameter
Constructors
and <code>
explicit
</code>
abseil.io
·
20h
📱
Kotlin
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
3d
·
Discuss:
Hacker News
,
r/Compilers
📱
Kotlin
GAMformer
: Bridging
Tabular
Foundation Models and Interpretable Machine Learning
arxiv.org
·
2d
📱
Kotlin
On The
Crank
Spectrum
exple.tive.org
·
1d
📱
Kotlin
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
2d
📱
Kotlin
Compile
and Run Your First Program
emojicode.org
·
2d
·
Discuss:
Hacker News
📱
Kotlin
Code only says what it does
brooker.co.za
·
16h
·
Discuss:
Hacker News
📱
Kotlin
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
11h
·
Discuss:
DEV
📱
Kotlin
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
7h
·
Discuss:
DEV
📱
Kotlin
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
19h
·
Discuss:
Hacker News
📱
Kotlin
TypeScript
: JavaScript With
Syntax
For Types.
typescriptlang.org
·
2d
📱
Kotlin
The Adventures of a
Pythonista
in
Schemeland/29
artima.com
·
20h
📱
Kotlin
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
3d
📱
Kotlin
Using Rust to Delete
Gitignored
Cruft
forrestthewoods.com
·
20h
📱
Kotlin
C++20
span
tutorial
solarianprogrammer.com
·
20h
📱
Kotlin
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
4h
📱
Kotlin
"Five-Point
Haskell
": Total
Depravity
(and Defensive Typing)
blog.jle.im
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
📱
Kotlin
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
2d
🏛
Data sovereignty
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
4d
·
Discuss:
Hacker News
,
r/programming
📱
Kotlin
Loading...
Loading more...
« Page 7
•
Page 9 »
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