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
🔍 Refinement Types
Liquid Haskell, SMT Integration, Verification, Predicate Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82209
posts in
1.33
s
LiteRT
for Web with
LiteRT.js
| Google AI Edge | Google AI for Developers
ai.google.dev
·
3d
✨
Gleam
Bitcoin
PIPEs
v2
eprint.iacr.org
·
3d
🔬
Nanopasses
Why Clean Architecture Actually
Matters
in Mobile Apps (With Real
Examples
)
dev.to
·
22h
·
Discuss:
DEV
🌳
Tree Shaking
Released:
DeepBrainz-R1
— reasoning-first small models for agentic workflows (
4B
/ 2B
huggingface.co
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🧩
Constraint Solvers
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
3d
·
Discuss:
Hacker News
,
r/Compilers
🚀
MLton
Towards Green AI:
Decoding
the Energy of LLM
Inference
in Software Development
arxiv.org
·
2d
🗺️
Region Inference
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
3d
·
Discuss:
DEV
🔍
ML Language
Tip of the Week #108: Avoid <code>
std
::
bind
</code>
abseil.io
·
21h
🏷️
Symbol Mangling
Codified
Finite-state
Machines for Role-playing
arxiv.org
·
2d
🎯
Finite Automata
Tip
of the Week #131: Special Member Functions and `=
default
`
abseil.io
·
21h
🪆
Embedded DSLs
The
maturity
gap in
ML
pipeline infrastructure
chainguard.dev
·
6d
·
Discuss:
r/programming
📐
Standard ML
Released
genai
v0.1.0: a
sane
Go AI SDK
maruel.ca
·
2d
·
Discuss:
r/golang
🌉
Language Bridges
Golang
Weekly Issue 588: February 6, 2026
golangweekly.com
·
2d
🐹
Go Internals
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
3d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Security Type Systems
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
3d
🎲
Parser Fuzzing
The
Worst
Instructions
You Can Give an AI Coding Agent
cline.ghost.io
·
2d
💬
Interactive REPLs
Future
Proof
yamlscript.org
·
1d
📚
Forth
camel-ai/seta-env
: 💻
SETA
: Scaling Environments for Terminal Agents - Environments
github.com
·
2d
·
Discuss:
r/LocalLLaMA
✨
Gleam
Col-E/Recaf
: The modern Java
bytecode
editor
github.com
·
4d
📜
Bytecode Interpreters
Automated Extraction and Formalization of
Presuppositions
in Philosophical Discourse via Neuro‑Symbolic Reasoning **Abstract** Presupposition—the
unstated
ba...
freederia.com
·
2d
⚖️
Inference Rules
Loading...
Loading more...
« Page 15
•
Page 17 »
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