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
🪜 Scala
functional programming, f#, haskell
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80607
posts in
790.5
ms
Adaptive
Protein
Tokenization
arxiv.org
·
1d
🔎
Semantic Analysis
Surprisal-Guided
Selection: Compute-Optimal Test-Time Strategies for
Execution-Grounded
Code Generation
arxiv.org
·
11h
🔍
Symbolic Execution
Method
chains
allow
a series of functions
dev.to
·
6d
·
Discuss:
DEV
🔍
Symbolic Execution
From
Diagram
to Code with
Kiro
CLI & Claude Opus 4.6
dev.to
·
10h
·
Discuss:
DEV
🔍
Refinement Types
Comparing
accumulate
to C++
23s
fold_left
meetingcpp.com
·
2d
🔍
Static Analysis
Go 1.22,
SQLite
, and Next.js: The "
Boring
" Back End
mohammedeabdelaziz.github.io
·
3d
·
Discuss:
Hacker News
🔄
Concurrency Models
#384
weeknotes.barrucadu.co.uk
·
2d
🦀
Rust
**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown
fractal-based
geometric
sequences
within...
freederia.com
·
3d
🔎
Semantic Analysis
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
2d
·
Discuss:
Hacker News
💻
Claude
Portable
C
Compiler
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
🔧
PLT
Code only says what it does
brooker.co.za
·
2d
·
Discuss:
Hacker News
📐
formal specification
Going to the Library
yamlscript.org
·
3d
🔎
Semantic Analysis
cocoatype/barc-generator
: A web-based barcode generator, built with
SwiftWasm
and Preact
github.com
·
2d
🔎
Semantic Analysis
Tip of the Week #165: <code>if</code> and <code>switch</code>
statements
with
initializers
abseil.io
·
2d
🔍
Symbolic Execution
The Missing
Programming
Language - Why There's No
S-Tier
Language (Yet)
hamy.xyz
·
6d
🔧
PLT
Presentation:
Expanding
Swift
from Apps to Services
infoq.com
·
4d
🔍
Static Analysis
Grumpy
Julio
plays with CLI coding agents
blogsystem5.substack.com
·
23h
·
Discuss:
Substack
🤖
AI
History
Lesson
yamlscript.org
·
3d
🔧
PLT
My Most Important C++
Aha
!
Moments
...Ever
artima.com
·
2d
🔧
PLT
Lessons
from building
Lancer
(Part 1)
medium.com
·
2d
📐
formal specification
Loading...
Loading more...
« Page 14
•
Page 16 »
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