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
80306
posts in
1.68
s
Software Performance Engineering for
Foundation
Model-Powered Software
arxiv.org
·
10h
🔍
Refinement Types
The
Condensate
Theorem
: Transformers are O(n), Not $O(n^2)$
arxiv.org
·
1d
🔧
PLT
Dirk
Eddelbuettel
:
chronometre
: A new package (pair) demo for R and Python
dirk.eddelbuettel.com
·
1d
🔍
Symbolic Execution
AI for
PHP
Developers. Practical Use of
TransformersPHP
dev.to
·
17h
·
Discuss:
DEV
🔎
Semantic Analysis
Flexible and
Economical
UTF-8
Decoder
bjoern.hoehrmann.de
·
3d
🔎
Semantic Analysis
Stop Writing
Boilerplate
: How I Built a Code Generator to Automate
NestJS
Development
dev.to
·
2d
·
Discuss:
DEV
🔍
Symbolic Execution
Oatmeal
-
Constraint
propagation for fun
eli.li
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔍
Symbolic Execution
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
3d
·
Discuss:
Hacker News
,
r/rust
📐
formal specification
Yigaue/production-ready-web-api-checklist
: A comprehensive, framework-agnostic checklist for building secure, scalable, and
maintainable
web and API applications.
github.com
·
1d
·
Discuss:
DEV
📐
formal specification
From
NLS
: Many Faces of BARD: Advanced Searching on the
DA2
; Thursday, February 12, 7:00 PM Eastern Time
groups.io
·
2d
🐫
Ocaml
Java UI in 2026: an
overview
of current
frameworks
and approaches
robintegg.com
·
2d
📐
formal specification
stdlib
v7.2
erlang.org
·
4d
·
Discuss:
Hacker News
🐫
Ocaml
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
2d
·
Discuss:
DEV
🔎
Semantic Analysis
Performance Tip of the Week #83:
Reducing
memory
indirections
abseil.io
·
2d
🔍
Symbolic Execution
Context
Is Part of the Game
joy.pm
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
Andersbakken/rtags
: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
github.com
·
20h
🔎
Semantic Analysis
Tip
of the Week #143: C++11
Deleted
Functions (<code>= delete</code>)
abseil.io
·
2d
🔧
PLT
I built a Python
LSP
in Go!
reddit.com
·
2d
·
Discuss:
r/golang
🔧
PLT
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
5d
·
Discuss:
Hacker News
🔍
Static Analysis
The
wonders
of
cooperative
inheritance, or using super in Python 3
artima.com
·
2d
🔍
Refinement Types
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