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 design, language theory, type theory, PLT, language features
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82
posts in
5.0
ms
Building with AI Agents: Mapbox DevKit MCP Server Demo at BUILD 2025
⛳
Code Golf
Content type:
Blog
mapbox.com
·
2d
2 days ago
Actions for Building with AI Agents: Mapbox DevKit MCP Server Demo at BUILD 2025
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
⛳
Code Golf
Content type:
Discussion
news.ycombinator.com
·
1d
1 day ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
Ratatui 0.30.1 is released!
⚙
Programming Language Design
ratatui.rs
·
5d
5 days ago
·
r/rust
Actions for Ratatui 0.30.1 is released!
nCMD: Benign-Anchored
Feature
Selection for Imbalanced Network Intrusion Detection
⚙
Programming Language Design
Content type:
Academic
arxiv.org
·
20h
20 hours ago
Actions for nCMD: Benign-Anchored Feature Selection for Imbalanced Network Intrusion Detection
Software Engineering is the new Manufacturing Engineering
⚙️
Compiler Design
halecraft.org
·
5d
5 days ago
·
Hacker News
Actions for Software Engineering is the new Manufacturing Engineering
Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years
🔒
STM
Content type:
News
coindesk.com
·
5d
5 days ago
Actions for Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years
Release Pyrefly v1.1.0-dev.2 · facebook/pyrefly
🧪
Software Testing
Content type:
Code
github.com
·
3h
3 hours ago
Actions for Release Pyrefly v1.1.0-dev.2 · facebook/pyrefly
Where the f*ck is the Excalidraw markup table?
⚙
Programming Language Design
Content type:
News
Content type:
Blog
larkmatter.substack.com
·
4d
4 days ago
·
Substack
Actions for Where the f*ck is the Excalidraw markup table?
I bet everything on eight weeks: solo #1 on MTEB English v2
⚙
Programming Language Design
Content type:
Blog
sentimark.ai
·
3d
3 days ago
·
Hacker News
Actions for I bet everything on eight weeks: solo #1 on MTEB English v2
Strict stability of extension
types
⚙
Programming Language Design
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
Focus is Motivation
λ
PLT
Content type:
Blog
scotthyoung.com
·
6d
6 days ago
Actions for Focus is Motivation
Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left
🔒
STM
ethresear.ch
·
4d
4 days ago
Actions for Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left
What is AI SAST?
⚙
Programming Language Design
Content type:
Blog
aikido.dev
·
4d
4 days ago
Actions for What is AI SAST?
Mental causation is not load-bearing
λ
PLT
lesswrong.com
·
3d
3 days ago
Actions for Mental causation is not load-bearing
lbj96347/nemotron-3.5-asr-ios: On-device, offline speech recognition for iPhone/iPad using NVIDIA's Nemotron-3.5-ASR Streaming 0.6B (multilingual) via CoreML.SwiftUI app with mic capture + audio file import, RNN-Tdecoding, and live benchmark metrics (latency, RTF, memory).
🚀
Performance
Content type:
Code
github.com
·
20h
20 hours ago
·
Hacker News
Actions for lbj96347/nemotron-3.5-asr-ios: On-device, offline speech recognition for iPhone/iPad using NVIDIA's Nemotron-3.5-ASR Streaming 0.6B (multilingual) via CoreML.SwiftUI app with mic capture + audio file import, RNN-Tdecoding, and live benchmark metrics (latency, RTF, memory).
Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN
λ
PLT
Content type:
Blog
medium.com
·
5d
5 days ago
Actions for Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN
SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
🎩
Haskell
universetoday.com
·
4d
4 days ago
·
Hacker News
Actions for SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
Inside the New X Labs Funding Model for Quantum and Photonics
🔒
STM
spectrum.ieee.org
·
6d
6 days ago
Actions for Inside the New X Labs Funding Model for Quantum and Photonics
Syntax-driven
Incremental
Program
Verification
of Matching Logic Properties
📐
Lean 4
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Syntax-driven Incremental Program Verification of Matching Logic Properties
Reversible Numeric Composite Key (RNCK)
⚙
Programming Language Design
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Reversible Numeric Composite Key (RNCK)
Sign up or log in to see more results
Sign Up
Login
« 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