HackerTrans
TopNewTrendsCommentsPastAskShowJobs

RebelPotato

no profile record

Submissions

Federated Wiki

fed.wiki.org
4 points·by RebelPotato·قبل 3 أشهر·1 comments

Darn from inkandswitch: collaborative editing to your filesystem

github.com
3 points·by RebelPotato·قبل 4 أشهر·0 comments

Some Words on WigglyPaint

beyondloom.com
124 points·by RebelPotato·قبل 4 أشهر·25 comments

Beyond agentic coding

haskellforall.com
269 points·by RebelPotato·قبل 5 أشهر·90 comments

Trudging Through Nonsense

aphyr.com
4 points·by RebelPotato·قبل 5 أشهر·0 comments

Broken Proofs and Broken Provers

lawrencecpaulson.github.io
64 points·by RebelPotato·قبل 5 أشهر·14 comments

My Gripes with Prolog

buttondown.com
3 points·by RebelPotato·قبل 6 أشهر·0 comments

Pyspread, a Spreadsheet in Python

pyspread.gitlab.io
6 points·by RebelPotato·قبل 6 أشهر·0 comments

The Silent (R)evolution of SAT

cacm.acm.org
3 points·by RebelPotato·قبل 7 أشهر·0 comments

[untitled]

38 points·by RebelPotato·قبل 9 أشهر·0 comments

comments

RebelPotato
·قبل 5 أشهر·discuss
https://archive.is/rXPz2