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
Programming Languages
💻 Programming Languages
PL Theory, Compilers, Type Systems, Syntax
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
39
posts in
11.0
ms
When
Types
Intersect and Effects Get Handled
λ
Functional Programming
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
Introducing Soteria: A New Generation of
Static
Analysis
for Rust
🤖
Automated Reasoning
Content type:
Blog
soteria-tools.com
·
6h
6 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
quasitriangular Hopf 2-algebra in nLab
🔷
Category Theory
ncatlab.org
·
5d
5 days ago
Actions for quasitriangular Hopf 2-algebra in nLab
Implementing
Monads
with Async Zig
λ
Functional Programming
Content type:
Blog
platypro.net
·
1d
1 day ago
·
Hacker News
Actions for Implementing Monads with Async Zig
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
➗
math
lix.polytechnique.fr
·
11h
11 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Create Your Own
Programming
Language
with Rust
🔗
Concatenative Languages
createlang.rs
·
1d
1 day ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
Issue 527
λ
Functional Programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
Co-Creator
of Haskell: Functional
Programming
, Thinking in
Types
, Useless Languages | Simon Jones
λ
Functional Programming
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Introducing Jo — Secure
Programming
for the AI Era
🤖
Automated Reasoning
Content type:
Blog
jo-lang.org
·
5d
5 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
A
programming
language
for humans.
λ
Functional Programming
crowdhailer.me
·
2d
2 days ago
·
Lobsters
Actions for A programming language for humans.
clj.rs Clojure implemented on Rust
λ
Functional Programming
clojure-diary.gitlab.io
·
3d
3 days ago
Actions for clj.rs Clojure implemented on Rust
Rayforce
⚙️
Algorithms
Content type:
Code
github.com
·
4d
4 days ago
·
Lobsters
,
Hacker News
Actions for Rayforce
Open
source building blocks for computational design. Est. 2006
🖥️
GPU Programming
thi.ng
·
3d
3 days ago
·
Hacker News
Actions for Open source building blocks for computational design. Est. 2006
Discovering Multiscale Deep Formulas in Complex
Systems
via Neural-Guided
Lambda
Calculus
λ
Functional Programming
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus
Enter the WasmForge:
Compiling
Sliver into WebAssembly
🏗️
LLVM
Content type:
Blog
praetorian.com
·
6d
6 days ago
·
r/netsec
Actions for Enter the WasmForge: Compiling Sliver into WebAssembly
Less-relevant results
Porting the ThinkPad X61 to Coreboot
🔧
Hardware Hacking
Content type:
Blog
blog.aheymans.xyz
·
1d
1 day ago
·
Hacker News
Actions for Porting the ThinkPad X61 to Coreboot
How
TypeScript
infers
type variables
λ
Functional Programming
norswap.com
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for How TypeScript infers type variables
Architect-Ant: Editable Automatic Furnishing of Architectural Floor Plans
🎯
Fine-Tuning
Content type:
Academic
arxiv.org
·
17h
17 hours ago
Actions for Architect-Ant: Editable Automatic Furnishing of Architectural Floor Plans
Ratatui 0.30.1 is released!
📈
Options Pricing
ratatui.rs
·
5d
5 days ago
·
r/rust
Actions for Ratatui 0.30.1 is released!
Presentation: Platform Teams Enabling AI - MCP/Multi-Agentic Tools Across Linkedin
🔍
Information Retrieval
Content type:
News
infoq.com
·
5d
5 days ago
Actions for Presentation: Platform Teams Enabling AI - MCP/Multi-Agentic Tools Across Linkedin
Page 2 »
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