Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
馃搹 Linear Types
Specific
Resource Management, Ownership, Affine Types, Memory Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
34
posts in
7.0
ms
Graded Modal
Types
for
Memory
and Communication
Safety
聽
馃搹
Linear Logic
kar.kent.ac.uk
路
4d
路
Hacker News
Must
move
types
聽
馃寛
Gradual Languages
smallcultfollowing.com
路
2d
Neuro; An AOT-compiled language for AI workloads built on LLVM 20
聽
馃
MIR Optimization
github.com
路
11h
路
Hacker News
The Compiler Flags the Bug. Developers Ship It Anyway.
聽
馃挰
Error Messages
siliconopera.com
路
13h
turn_off_the_
borrow
_
checker
in you_can
聽
馃敀
Rust Borrowing
docs.rs
路
2d
路
Hacker News
machine review for the scientific record
聽
馃М
Combinator Calculus
pith.science
路
6d
路
Hacker News
LLM鈥檚 code is just untrusted text. Until you validate it.
聽
馃幃
Language Ergonomics
hack8s.com
路
1d
路
Hacker News
TrapDoor supply-chain campaign targeted npm, PyPI, and Crates.io packages
聽
馃摝
Package Managers
thecybersecguru.com
路
12h
路
r/LLM
,
r/coding
,
r/javascript
,
r/node
,
r/programming
Rust Is Hard for the Engineers with the Most Experience
聽
馃敀
Rust Borrowing
deepengineering.substack.com
路
4d
路
r/rust
Why I built wrkflw to validate and run GitHub Actions locally
聽
馃殏
Cranelift Backend
blog.gokuls.in
路
2d
路
Hacker News
Obsession
Log
: Tactile Switches
聽
馃捇
Terminal Control
evantravers.com
路
5d
The Rust
Borrow
Checker
Saved My Job 5 Times-Here鈥檚 Exactly How
聽
馃敀
Rust Borrowing
medium.com
路
2d
Oil Windfall Is the Only Thing Keeping Russia鈥檚 Wartime Economy Afloat, Yet No One Knows When It Ends, NBU Says
聽
馃搱
Earley Parsing
kyivpost.com
路
3d
From raw CoT to structural execution: Building an auditable "Observe-Hypothesize-Test" reasoning scaffold for production LLM pipelines
聽
鈿栵笍
Inference Rules
appliedaihub.org
路
3d
路
r/PromptEngineering
Speeding Up the Back End with Graph Theory (2019)
聽
馃搵
JSON Parsing
sensortower.com
路
3d
路
Lobsters
Triple-duty current loop calibrator
聽
馃搹
Linear Scanning
edn.com
路
4d
Type
out the code>
聽
馃幃
Language Ergonomics
haskellforall.com
路
6d
路
Lobsters
,
Hacker News
,
r/programming
Less-relevant results
7-Eleven Japan adds macaroni cheese sandwiches to its convenience store food range
聽
馃幇
Parsing Machines
soranews24.com
路
5d
sudharaathith/lang: A JS interpreter with Rust inspired syntax
聽
馃
Rust Macros
github.com
路
3d
路
r/javascript
LLMs: code is just untrusted text, until you validate it.
聽
馃幃
Language Ergonomics
hack8s.com
路
5d
路
Hacker News
Log in to enable infinite scrolling
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
Save / unsave
s
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