Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Pavel Panchekha’s Blog
pavpanchekha.com
Unary Functions in an E-graph
pavpanchekha.com
19w
19 weeks ago
6 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Unary Functions in an E-graph
Can LLMs accelerate science? An experiment.
pavpanchekha.com
21w
21 weeks ago
Discussed on Hacker News
HN
Discussed on Hacker News
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Can LLMs accelerate science? An experiment.
The Token Production System
pavpanchekha.com
28w
28 weeks ago
Discussed on Hacker News
HN
Discussed on Hacker News
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for The Token Production System
Agent Harnesses Are Just Shells
pavpanchekha.com
39w
39 weeks ago
Discussed on Hacker News
HN
Discussed on Hacker News
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Agent Harnesses Are Just Shells
How to Start AI Coding
pavpanchekha.com
39w
39 weeks ago
9 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for How to Start AI Coding
Should CSS Be Constraints?
pavpanchekha.com
39w
39 weeks ago
Discussed on Hacker News
HN
Discussed on Hacker News
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Should CSS Be Constraints?
We'd be Better Off with 9-bit Bytes
pavpanchekha.com
56w
56 weeks ago
Discussed on Hacker News
HN
Discussed on Hacker News
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for We'd be Better Off with 9-bit Bytes
Distinguished (for me) Papers of PLDI'25
pavpanchekha.com
63w
63 weeks ago
9 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Distinguished (for me) Papers of PLDI'25
Testing My M1 Simulator
pavpanchekha.com
66w
66 weeks ago
7 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Testing My M1 Simulator
Simulating Double-Double Addition Algorithms
pavpanchekha.com
66w
66 weeks ago
1 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Simulating Double-Double Addition Algorithms
Some Surprising Quantifier Elimination Operators
pavpanchekha.com
67w
67 weeks ago
1 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Some Surprising Quantifier Elimination Operators
LIN-graphs, an Egraph modulo T
pavpanchekha.com
67w
67 weeks ago
7 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for LIN-graphs, an Egraph modulo T
Egraphs Modulo T (Attempt 1)
pavpanchekha.com
67w
67 weeks ago
9 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Egraphs Modulo T (Attempt 1)
Deciding Equality for Trigonometric Expressions
pavpanchekha.com
67w
67 weeks ago
1 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Deciding Equality for Trigonometric Expressions
How Operator Fusion Affects Error
pavpanchekha.com
68w
68 weeks ago
2 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for How Operator Fusion Affects Error
The Promise of P-Graphs
pavpanchekha.com
41w
41 weeks ago
Discussed on Hacker News (2 threads)
HN
Discussed on Hacker News (2 threads)
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for The Promise of P-Graphs
Absorption in Double-Double Arithmetic
pavpanchekha.com
68w
68 weeks ago
2 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Absorption in Double-Double Arithmetic
The Fastest TwoSum on an Apple M1
pavpanchekha.com
69w
69 weeks ago
7 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for The Fastest TwoSum on an Apple M1
FastTwoSum Is Faster Than TwoSum
pavpanchekha.com
69w
69 weeks ago
Discussed on Hacker News
HN
Discussed on Hacker News
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for FastTwoSum Is Faster Than TwoSum
ChatGPT o3 is the Real Deal
pavpanchekha.com
71w
71 weeks ago
9 min read
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for ChatGPT o3 is the Real Deal
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Continue reading
c
Post Actions
Love post
a
Like post
l
Dislike
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
Discover
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
Like
Save
Dislike
Report