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
π’ lambda calculus
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122651
posts in
2.90
s
Trade-based environmental costs of small coal-fired
boiler
upgrading
policy and the value-added benefits trade-off in the North China Plain
sciencedirect.com
Β·
5m
πΊοΈ
Region Types
Exploring governance for sustainable transitions in renewable energy communities: A
comparative
inquiry of private and public
initiatives
sciencedirect.com
Β·
5m
πΈοΈ
P2P Protocols
To Be
Determined
anekstein.com
Β·
4d
Β·
Discuss:
Hacker News
π
Copy GC
The Two-Board Problem: Training
Environment
for Research Agents
lesswrong.com
Β·
3d
β«
Mathematical DSLs
Constructors
,
Destructors
and this in C#
allcoderthings.com
Β·
3d
Β·
Discuss:
DEV
π
Weak References
Some conditions
implying
if P=NP then P=
PSPACE
arxiv.org
Β·
1d
π
Type Inference
Stability of \(L^p\)
Dirichlet
solvability
under small bi-Lipschitz transformations of domains
sonomarpa.sonoma.lib.ca.us
Β·
1d
β‘
Partial Evaluation
Functional
Optics
for Modern Java
blog.scottlogic.com
Β·
3d
β¨
Gleam
Tracking Issue for
Generic
Constant
Arguments MVP Β· Issue #132980
github.com
Β·
1d
Β·
Discuss:
Hacker News
π¦
Rust Macros
Tip of the Week #59:
Joining
Tuples
abseil.io
Β·
4d
π
String Interning
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
Β·
3d
Β·
Discuss:
Hacker News
π§
haskell
A Language For Agents
lucumr.pocoo.org
Β·
3d
Β·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
π¨
Domain-Specific Languages
Agentic
Proof-Oriented
Programming
risemsr.github.io
Β·
6d
Β·
Discuss:
Lobsters
,
Hacker News
Ο
Pi Calculus
11. C# (
Parsing
)
dev.to
Β·
2d
Β·
Discuss:
DEV
π§
Error Recovery
How to Build a Privacy-Preserving Federated Pipeline to Fine-Tune Large Language Models with
LoRA
Using Flower and
PEFT
marktechpost.com
Β·
2d
β‘
Tokenizer Optimization
C and
Undefined
Behaviour
lelanthran.com
Β·
4d
Β·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
π
Gradual Effects
Railway
Oriented
Programming
fsharpforfunandprofit.com
Β·
6d
Β·
Discuss:
Hacker News
π
Error Monads
Functionally
Speaking
yamlscript.org
Β·
5d
β‘
functional programming
Observability
inequalities
for heat equations with
potentials
chipublib.idm.oclc.org
Β·
1d
π‘
Async Channels
February Week 1
i-programmer.info
Β·
4d
π¬
Interactive REPLs
Loading...
Loading more...
« Page 6
β’
Page 8 »
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