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
↔️ Bidirectional Typing
Type Synthesis, Type Checking, Local Inference, Elaboration
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123999
posts in
2.71
s
Building Type-Safe
Metrics
API in
Swift
: Part II
sentry.engineering
·
2d
🦉
Swift Generics
Hydroper
(now
Sweax
iZone)'s 2015 JavaScript experience proofs
gist.github.com
·
1d
·
Discuss:
r/javascript
🚂
Cranelift IR
SAST vs DAST vs (
IAST/RASP
): Quick AppSec Checklist
codereviewlab.com
·
1d
·
Discuss:
DEV
🛡️
Parser Security
Your
schema
already has the logic. Your inference provider just
ignores
it.
blog.dottxt.ai
·
22h
✅
Configuration Validation
Ai’s ‘
steering
’ Made Far More
Precise
With New Fine-Tuning Technique
quantumzeitgeist.com
·
1d
🪜
Recursive Descent
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Error Handling
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
1d
·
Discuss:
Hacker News
🪜
Recursive Descent
The
Friendly
Functional
Programming Language
ivylang.net
·
6d
⚡
functional programming
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
3d
🔍
ML Language
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
importai.substack.com
·
2d
·
Discuss:
Substack
🪜
Recursive Descent
wordchipper
- my next-gen LLM tokenizer; looking for
LTR
release help
docs.rs
·
1d
·
Discuss:
r/rust
🔤
Language Tokenizers
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
2d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Fragments
: February 9
martinfowler.com
·
2d
🎨
Domain-Specific Languages
Tip of the Week #144: Heterogeneous
Lookup
in
Associative
Containers
abseil.io
·
4d
📋
Row Typing
Tutorialkit.rb
: the ruby.wasm journey goes onward—Martian Chronicles, Evil
Martians
’ team blog
evilmartians.com
·
1d
💬
Smalltalk VMs
Standardizing
HLSL
devblogs.microsoft.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🏗️
MLIR
Information Flow Verification Framework
Integrating
Static and
Formal
Verification Methods At The Pre-Silicon Stage (U. of Florida)
semiengineering.com
·
1d
📏
Linear Memory
What Are LLM Parameters? A Simple Explanation of
Weights
,
Biases
, and Scale
pub.towardsai.net
·
19h
🌱
Minimal ML
Stability of \(L^p\)
Dirichlet
solvability
under small bi-Lipschitz transformations of domains
sonomarpa.sonoma.lib.ca.us
·
15h
⚡
Partial Evaluation
Zero-Trust Data
Warehousing
for Agentic AI: Why
Trusting
the Pipeline No Longer Scales
hackernoon.com
·
1d
🎭
Program Synthesis
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