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
🔄 Continuations
Call/CC, Control Flow, Scheme, Delimited Continuations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80535
posts in
592.7
ms
Beyond the
Chatbox
: Engineering Your Prompts with the
Trinity
Framework
dev.to
·
3d
·
Discuss:
DEV
🎮
Language Ergonomics
Feedback on checked
exceptions
and
lambdas
dev.to
·
5d
·
Discuss:
DEV
🛡️
Error Handling
Tip of the Week #116: Keeping
References
on
Arguments
abseil.io
·
2d
🏷️
Symbol Mangling
Tip
of the Week #148:
Overload
Sets
abseil.io
·
2d
🔗
Borrowing Extensions
surge-synthesizer/shortcircuit-xt
github.com
·
5d
🌱
Forth Kernels
boyter/scc
: Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and
COCOMO
estimates written in pure Go
github.com
·
6d
⏱️
Real-Time GC
The
Stretto
Execution Engine for
LLM-Augmented
Data Systems
arxiv.org
·
5d
🏗️
MLIR
Synthesizing
File-Level Data for Unit Test Generation with Chain-of-Thoughts via
Self-Debugging
arxiv.org
·
6d
🎲
Test Generators
I don't get it. I think just as hard, I type less. I
specify
precisely
and I rev...
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🎭
Delimited Continuations
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
6d
🧩
Constraint Logic
Finally got around to automating my workflow for the business side of my speaking
engagements
. This includes generating contracts,
invoices
, and updating the sp...
bsky.app
·
1d
·
Discuss:
Bluesky
⚡
Incremental Parsing
Failing to Learn
Zig
via
Advent
of Code
forrestthewoods.com
·
2d
⚡
Zig
Why you should
consider
F#
asfaload.com
·
4d
·
Discuss:
Hacker News
🔧
Nickel
**Abstract:** This research proposes a novel methodology for accelerating
theorem
proving
within the Lean 4 proof assistant by directly optimizing the formal...
freederia.com
·
5d
🧮
Theorem Provers
Generating code was never the goal. The goal was to solve problems. I tried my best to avoid writing code by leveraging existing solutions or
reframing
the
prob
...
bsky.app
·
6d
·
Discuss:
Bluesky
🎭
Program Synthesis
Trash burning in Palestinian towns poses severe health risk to
nearby
Israelis
, local leaders claim
jpost.com
·
18m
🌲
Deforestation
Jake Paul's Tears for Dutch
Olympian
Spark
Outrage
After Anti-American Rant
screenrant.com
·
14m
💬
Error Message Design
Delgado
ends primary challenge against
Hochul
in last-minute surprise
thehill.com
·
14m
🔧
Defunctionalization
Toyota’s Affordable
Compact
Pickup Plan May
Hang
On Trump’s Decision
carscoops.com
·
11m
🔌
Microcontrollers
In the aftermath of WW2, why did
FDR
’s Latin American experiment end in
abject
failure?
historyextra.com
·
42m
🎭
Racket
Loading...
Loading more...
« Page 19
•
Page 21 »
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