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
Organizing Chaos
jordankaye.dev
Refinement in Rust: optimization, arithmetic, and
stateful
predicates
jkaye2012.github.io
·
49w
Refinement in Rust: optimization,
arithmetic
, and
stateful
refinement
jordankaye.dev
·
49w
·
Discuss:
Lobsters
,
Hacker News
Refined
: simple refinement
types
for Rust
jkaye2012.github.io
·
53w
Technical
debt and
conscious
decision making
jkaye2012.github.io
·
65w
Spending time
wisely
jkaye2012.github.io
·
66w
Spending time
wisely
jordankaye.dev
·
66w
Letting
go
jkaye2012.github.io
·
73w
Letting
go
jordankaye.dev
·
73w
Overcorrection
jkaye2012.github.io
·
79w
Overcorrection
jordankaye.dev
·
79w
A Rust +
WASM
development environment with
Nix
jkaye2012.github.io
·
91w
A Rust +
WASM
development environment with
Nix
jordankaye.dev
·
91w
Enabling
constraints
jkaye2012.github.io
·
101w
Enabling
constraints
jordankaye.dev
·
101w
A few fast
solutions
for
Advent
of Code 2023
jkaye2012.github.io
·
111w
A few fast
solutions
for
Advent
of Code 2023
jordankaye.dev
·
111w
Minimize
global
process
jkaye2012.github.io
·
117w
Software engineering is about
thinking
, not
typing
jkaye2012.github.io
·
122w
Software engineering is about
thinking
, not
typing
jordankaye.dev
·
122w
Simplicity
isn't easy
jkaye2012.github.io
·
127w
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