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
🎯 Hindley-Milner
Type Inference, Unification, Polymorphism, ML-family
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
110616
posts in
1.58
s
A JavaScript developer's guide to
Rails
: What is
Polymorphic
Rails
Model?
thoughtbot.com
·
1d
⛽
Diesel
bpftrace
in C++
kuniga.me
·
2d
📊
Profiling Tools
AI-augmented
data quality engineering
infoworld.com
·
3d
📱
Edge AI
Reasoning: A
smarter
way for AI to
understand
text and images
techxplore.com
·
1d
💬
Prompt Engineering
When is a
bug
not a
bug
?
blog.zarfhome.com
·
1d
📚
Stack Unwinding
Hey guys! I've been working on solving the bootstrap problem in
epistemic
uncert
...
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
⚓
Anchors
Antirez
Strikes Again: The Creator of Redis Builds a
Bare-Metal
Vision AI in Pure C — And It Actually Works
webpronews.com
·
2d
🌀
Naiad
The Blogs: Does AI Have a
Freudian
Slip? The
Unconscious
Life of Large Language Models
blogs.timesofisrael.com
·
1d
🛡️
AI Security
eVer: Universal and Automated Verification of Side-Channel Security for
Additive
, Inner Product, Polynomial and General Code-Based
Masking
eprint.iacr.org
·
3d
🎭
SIMD Masking
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
1d
🧬
Mutation Testing
SAE
Feature
Matchmaking
(Layer-to-Layer)
lesswrong.com
·
2d
🌳
Instruction Selection
Building a Reliable AI Analytics Agent with
BigQuery
, a Semantic Layer, and Google
ADK
pub.towardsai.net
·
1d
🔥
DataFusion
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
·
3d
🤖
TVM
Understanding Providers and
Dependency
Injection in
NestJS
en.wikipedia.org
·
2d
·
Discuss:
DEV
💾
Retro Computing
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
2d
📐
TLA+
LLM-CoOpt
: A Co-Design and Optimization Framework for Efficient LLM Inference on
Heterogeneous
Platforms
arxiv.org
·
1d
🦙
Ollama
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
2d
·
Discuss:
Hacker News
✅
Property Testing
I built a “
deterministic
” LLM text
rephraser
with a validation pipeline - looking for architectural feedback
dev.to
·
3d
·
Discuss:
DEV
🦙
Ollama
The Potential of
RLMs
dbreunig.com
·
3d
·
Discuss:
Hacker News
💬
Prompt Engineering
Standardizing
HLSL
devblogs.microsoft.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🏗️
MLIR
Loading...
Loading more...
« Page 16
•
Page 18 »
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