programmer, mathematician, ultra runner wannabe, chess player.
Toronto
Joined August 2008
- Tweets2.2K
- Following1.7K
- Followers405
- Likes3K
Pinned Tweet
Hey I build a thing for chess players!
The site will analyze your games and generate custom puzzles from your blunders and missed opportunities. Check it out!
tacticforge.fun/
#chess #puzzles
I built Pagehaus: hosting for plain HTML sites, the way it used to work.
Upload with SFTP or in the browser. Share a header across pages with <!--#include -->. Contact forms with no backend. Free subdomain, or your own domain.
pagehaus.app
ad3mar retweeted
We asked ten Claude Sonnet 5.5 agents to use Lean to prove the lowest-energy arrangement of seven electrons on a sphere (the Thomson problem, with N=7).
Within 15 hours, they produced a 17,895-line proof, accepted by the Lean kernel, showing that the answer is a pentagonal bipyramid.
Coding agents forget the decisions you made last week. You correct it, it apologizes, and three sessions later it does the same thing again.
I built a memory for that out of the agent transcripts already on your disk, and anchored to your code through your git history.
Rejected Futures. Open source, runs locally.
github.com/jern-ai/rejected-…
It reads your Claude Code transcripts, flags the turns where you corrected the agent or made a call, and keeps each one as a claim with your own words and the date.
When a later prompt touches the same thing, the claim appears in the agent's context before it starts.
It is not a gate. Claims are context. The agent decides whether each applies and says so when it departs from one.
uv tool install git+github.com/jern-ai/rejected-…
rf scan
rf setup claude-code --write
Install takes 10s. Claude Code only for now; Cursor and Codex support are next.
github.com/jern-ai/rejected-…
ad3mar retweeted
A prompt is a suggestion the model follows until it doesn't.
Jern Cloud is a coding agent whose rules the runtime enforces: a policy file in your repo, and no route to the shell, filesystem, or network around it.
Every session ends in a pull request.
jern.ai/?source=x
ad3mar retweeted
SuaveHooks is live — a webhook platform built with Suave + F#.
Capture, inspect, transform, and route webhooks (Stripe, GitHub, Shopify, any provider) with live tail, multi-target delivery, and type-safe transforms.
Free to start → suavehooks.com
ad3mar retweeted
Suave v3.4.0 shipped with complete HTTP/2 support.
suave.io/docs/http2.html
ad3mar retweeted
Like @davidbessis and others, I think that Hinton is wrong. To explain why, let me tell you a brief story.
About a decade ago, in 2017, I developed an automated theorem-proving framework that was ultimately integrated into Mathematica (see: youtube.com/watch?v=mMaid2jY…) (1/15)
