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
🔁 Recursion
Base Case, Recursive Functions, Call Stack, Divide and Conquer
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81876
posts in
316.9
ms
What Should Go Into the C++
Standard
Library
abseil.io
·
1d
🔬
Static Analysis
Tip of the Week #77:
Temporaries
, Moves, and
Copies
abseil.io
·
1d
💻
programming
How I Built My Project in
Haskell
dev.to
·
1d
·
Discuss:
DEV
λ
Functional Programming
Feedback on checked
exceptions
and
lambdas
dev.to
·
4d
·
Discuss:
DEV
λ
Functional Programming
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
4d
λ
Functional Programming
Asymptotic Behavior of Integral Projection Models via
Genealogical
Quantities
arxiv.org
·
5d
⏱️
Computational Complexity
adrianbrad/queue
: ⏪️ Go package providing multiple queue
implementations
. Developed in a thread-safe generic way.
github.com
·
5d
λ
Functional Programming
The Fax Numbers of the Beast, and Other Mathematical Sports: An Interview with Neil
Sloane
| Margaret
Wertheim
and Neil
Sloane
cabinetmagazine.org
·
6d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Hello
, World! - The Rust
Programming
Language
doc.rust-lang.org
·
6d
💻
programming
Col-E/Recaf
: The modern Java
bytecode
editor
github.com
·
5d
λ
Functional Programming
New C++ features in
GCC
10
developers.redhat.com
·
6d
λ
Functional Programming
Differential
Logic •
Overview
inquiryintoinquiry.com
·
6d
λ
Functional Programming
six
thoughts
on
generating
c
wingolog.org
·
7h
·
Discuss:
Lobsters
,
Hacker News
λ
Functional Programming
Failing to Learn
Zig
via
Advent
of Code
forrestthewoods.com
·
1d
💣
Binary Exploitation
**Abstract:** This paper introduces a novel approach to automated
theorem
proving
(ATP) by dynamically generating and optimizing
theorem
statements within a ...
freederia.com
·
3d
⚙
algorithms
**Abstract:** This research proposes a novel methodology for accelerating
theorem
proving
within the Lean 4 proof assistant by directly optimizing the formal...
freederia.com
·
4d
λ
Functional Programming
Broken
elevator
forced NYC man, 81, to building roof where he
slipped
on ice and died: sources
nypost.com
·
5m
💣
Binary Exploitation
5 Risks Daniel
Farke
Is Taking After A Quiet January For
Leeds
United
sports.yahoo.com
·
13m
λ
Functional Programming
Here's Why 1982 Was The Best Year For
Sci-Fi
Movies
Ever
bgr.com
·
16m
💻
programming
Albany
County lawmakers propose resolution
limiting
cooperation with ICE operations
cbs6albany.com
·
17m
💻
programming
Loading...
Loading more...
« Page 11
•
Page 13 »
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