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
🐫 ocaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3737
posts in
74.8
ms
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
6d
·
Discuss:
Hacker News
✅
formal methods
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
·
21h
·
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
🔄
compilers
adrihd/voyters
: A deep dive into the voynich manuscript using a NEW language by merging Cyrilic, Arabic and Middle Eastern alphabets.
github.com
·
9h
·
Discuss:
Hacker News
🔄
compilers
Microgpt.py
gist.github.com
·
18h
·
Discuss:
Hacker News
,
Hacker News
⚙️
systems programming
Redefining
Go
Functions
pboyd.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
⚙️
systems programming
Show HN:
Vela
– Modern programming language
compiling
to native code via LLVM
github.com
·
2d
·
Discuss:
Hacker News
🔄
compilers
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
19h
·
Discuss:
Hacker News
⚙️
systems programming
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
13h
·
Discuss:
Hacker News
✅
formal methods
Figure
skating
is the
oldest
winter Olympic sport, starting 1908 Summer Olympics
nbcolympics.com
·
45m
·
Discuss:
Hacker News
🗄️
databases
Standardizing
HLSL
devblogs.microsoft.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔄
compilers
Hard
problems
in social media
archiving
alexwlchan.net
·
35m
·
Discuss:
Hacker News
🗄️
databases
Alzheimer's: from causes and risk
factors
to models and
interventions
nintil.com
·
35m
·
Discuss:
Hacker News
🗄️
databases
Download
the map of your city for
offline
use
practicalbetterments.com
·
35m
·
Discuss:
Hacker News
🗄️
databases
The Great Em
Dash
Panic
of 2024 Was Wrong
josezarazua.com
·
38m
·
Discuss:
Hacker News
⚙️
systems programming
Show HN: An AI agent
covering
all first-line hotel and
Airbnb
communications
polydom.ai
·
1h
·
Discuss:
Hacker News
⚡
query optimization
Benchmarking
Claude C
Compiler
dineshgdk.substack.com
·
2d
·
Discuss:
Substack
,
r/programming
🔄
compilers
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
3d
·
Discuss:
Hacker News
✅
formal methods
Large Language Model
Reasoning
Failures
arxiv.org
·
3d
·
Discuss:
Hacker News
✅
formal methods
Show HN: The
Algorithm
's Favorite Child
next.chatbotkit.com
·
30m
·
Discuss:
Hacker News
🗄️
databases
The
e-signature
service built for AI agents
saysigned.com
·
44m
·
Discuss:
Hacker News
✅
formal methods
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