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
⚙️ Programming
Haskell, Rust, Functional languages
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83161
posts in
343.1
ms
language games
ascara.bearblog.dev
·
2d
🤖
AI
I had two projects solving the same problem. I
merged
them and published to
npm
in a day
dev.to
·
6h
·
Discuss:
DEV
🔧
MLIR
LiteRT
for Web with
LiteRT.js
| Google AI Edge | Google AI for Developers
ai.google.dev
·
2d
🤖
AI
Tip of the Week #141: Beware Implicit
Conversions
to <code>
bool
</code>
abseil.io
·
4h
✅
Formal Verification
Tip of the Week #147: Use
Exhaustive
<code>switch</code> Statements
Responsibly
abseil.io
·
4h
✅
Formal Verification
Bitcoin
PIPEs
v2
eprint.iacr.org
·
2d
🔒
Hardware Security
ASCII
Arts and Terminal User Interfaces •
apatki.dev
apatki.dev
·
3d
·
Discuss:
r/reactjs
🔧
MLIR
Hello Edge: Keyword
Spotting
on
Microcontrollers
dev.to
·
1d
·
Discuss:
DEV
🔒
Hardware Security
ClawHavoc
: 341 Malicious
Clawed
Skills Found by the Bot They Were Targeting
koi.ai
·
2d
·
Discuss:
Hacker News
🔗
Crypto
Executive Function as Code: using (
Doom
)
Emacs
to script my brain
milly.kittycloud.eu
·
2d
·
Discuss:
Hacker News
🔒
Hardware Security
LLM
Vibe
Coding or
Illiterate
Programming
slott56.github.io
·
3d
✅
Formal Verification
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
2d
🤖
AI
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
🔧
MLIR
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
3d
·
Discuss:
Lobsters
,
Hacker News
🧮
Homomorphic Encryption
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
4d
·
Discuss:
Lobsters
✅
Formal Verification
Webhook
Dispatcher
: a Rust library for reliable webhooks (retries,
DLQ
, signatures, durability)
github.com
·
2d
·
Discuss:
DEV
,
Hacker News
,
r/rust
📜
Smart Contracts
Algebraic
Effects
for the Rest of Us
overreacted.io
·
4d
✅
Formal Verification
AFD-INSTRUCTION: A Comprehensive
Antibody
Instruction Dataset with Functional
Annotations
for LLM-Based Understanding and Design
arxiv.org
·
1d
🔧
MLIR
El Agente
Estructural
: An
Artificially
Intelligent Molecular Editor
arxiv.org
·
2d
🤖
AI
With OpenClaw you're giving AI its own machine, long-term memory, reminders, and persistent execution. The model is no longer confined to a prompt-response cycle, but able to check its own email… | David
Heinemeier
Hansson
linkedin.com
·
2d
🤖
AI
Loading...
Loading more...
« Page 22
•
Page 24 »
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