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
🏛️ CoreFoundation
C API, Core Types, Collections, macOS Foundation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8591
posts in
266.3
ms
Show HN: Running an LLM Inside
Scratch
github.com
·
58m
·
Discuss:
Hacker News
🔧
ppx
C-- Home
cs.tufts.edu
·
2d
·
Discuss:
Lobsters
⚙️
Compiler Design
Go -
Unit
&
Integration
Testing
linkedin.com
·
20h
·
Discuss:
r/programming
🧪
Property-Based Testing
Allocators
from C to
Zig
antonz.org
·
5h
·
Discuss:
Hacker News
🏃
Escape Analysis
Kuzu
database company joins Apple’s list of recent
acquisitions
9to5mac.com
·
1d
🍎
Apple
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Toward Linking
Declined
Proposals and Source Code: An
Exploratory
Study on the Go Repository
arxiv.org
·
1d
🔄
Reproducible Builds
Proof-oriented
Programming in F*
fstar-lang.org
·
13h
·
Discuss:
Lobsters
🔗
Curry-Howard
Rust
Coreutils
v0.6.0 Release: 96.28%
GNU
compatibility with safety improvements
github.com
·
1d
·
Discuss:
Hacker News
🏗️
Dune
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
·
22h
·
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
🔠
Type-Level Programming
The Solution to Prompt Injection: Mapping
SSL/TLS
Trust Architecture onto LLMs [pdf]
solvingpromptinjection.com
·
14h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Hybrid
Pooling
with LLMs via
Relevance
Context Learning
arxiv.org
·
2d
🎯
Hindley-Milner
elm-native –
scaffold
hybrid mobile apps with Elm, Vite, and
Capacitor
cekrem.github.io
·
1d
·
Discuss:
r/javascript
,
r/programming
🔌
IOKit
Apple
Acquires
New
Database
App
macrumors.com
·
1d
·
Discuss:
Hacker News
🍎
Apple
Lessons
from
Zig
vinniefalco.com
·
16h
·
Discuss:
Hacker News
🐫
Embedded OCaml
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
2d
·
Discuss:
r/programming
🔢
Algebraic Data Types
Deferred
member
initialization
in C++
sandordargo.com
·
1d
·
Discuss:
Lobsters
📝
Nix Language
Function
Calling
& Tool
Schemas
dev.to
·
4d
·
Discuss:
DEV
λ
Functional Programming
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
19h
·
Discuss:
Hacker News
🔬
Static Analysis
So we have any for
interface
{} and
nil
reddit.com
·
4d
·
Discuss:
r/golang
❓
Existential Types
Loading...
Loading more...
Page 2 »
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