AI agents: pdata is read-only prediction-market data across 8 platforms. Agent guide: https://pdata.world/agents.md Verbose index: https://pdata.world/llms-full.txt OpenAPI: https://api.pdata.world/openapi.json MCP server: https://api.pdata.world/mcp MCP descriptor: https://api.pdata.world/api/v1/mcp-info
p
|
data
v0.1
news
147
Home
Markets
Hubs
Odds
News
147
Map
Monitor
clean
paper
mono
sign in
Programming language Stock · Lean 4 17% — Manifold odds
markets
·
Science and Technology
·
Part of: AI Model Odds →
open
trade on
↗
event
32 outcomes
Programming language Stock
·
Science and Technology
·
ends Dec 31, 9999
P
vol cum
M5.2k
vol 24h
M0
outcomes
32
ends
Dec 31, 9999
outcomes
click to inspect →
L
Lean 4
17¢
· 0.0
pp
P
Python
8¢
· 0.0
pp
R
Rust
8¢
· 0.0
pp
T
TypeScript
5¢
· 0.0
pp
H
Haskell
5¢
· 0.0
pp
showing 5 of 32
see 10 more ↓
This market never resolves. Trade according to sentiment on each programming language
programming
technology-default
programming-languages
market
selected outcome
Lean 4
rank #1
L
17¢
· 0.0
pp
24h change
vol cum
M52
vol 24h
M0
spread
n/a
ends
Dec 31, 9999
timeline
opened
· Jun 5, 2024
open
closes
· Dec 31, 9999
Lean 4 · prices over time
24h
7d
30d
all
−24h
now
volume · by outcome
hover a column to inspect
no volume history
similar markets
suggested by pdata
kalshi
Top Coding AI this week
Claude
96
¢
▲ 1.0
pp
Kimi
2
¢
▲ 2.0
pp
ChatGPT
1
¢
▲ 1.0
pp
+6 others
$1.4k 24h · 9 markets
manifold
In 2029, will any AI be able to construct "reasonably" bug-free code of >= 10k LOC from a natural language specification? (Gary Marcus benchmark #4)
yes
91
¢
· 0.0
pp
M0 24h · 1 market
polymarket
Will Lambda's valuation hit __ by December 31?
↑$10B
40
¢
▼ 12.5
pp
↑$12.5B
29
¢
▲ 2.0
pp
↑$9B
66
¢
▲ 7.0
pp
+5 others
$990 24h · 8 markets
kalshi
Top Coding AI this month (DeepSWE)
ChatGPT
12
¢
· 0.0
pp
Claude
85
¢
· 0.0
pp
DeepSeek
2
¢
· 0.0
pp
+5 others
$84 24h · 8 markets
manifold
Smeth Stock [Hopefully Not Permanent]
yes
81
¢
· 0.0
pp
M0 24h · 1 market
polymarket
Will Lambda's valuation hit __ by August 31?
↑$12B
2
¢
▼ 11.5
pp
↑$10B
14
¢
▲ 12.0
pp
↑$8B
60
¢
▼ 0.5
pp
+6 others
$178 24h · 9 markets
+6 more