Top New Trends Comments Past Ask Show Jobs

RebelPotato

no profile record

Submissions

Federated Wiki

4 points·by RebelPotato·il y a 3 mois·1 comments

Darn from inkandswitch: collaborative editing to your filesystem

3 points·by RebelPotato·il y a 4 mois·0 comments

Some Words on WigglyPaint

124 points·by RebelPotato·il y a 4 mois·25 comments

Beyond agentic coding

haskellforall.com

269 points·by RebelPotato·il y a 5 mois·90 comments

Trudging Through Nonsense

4 points·by RebelPotato·il y a 5 mois·0 comments

Broken Proofs and Broken Provers

lawrencecpaulson.github.io

64 points·by RebelPotato·il y a 5 mois·14 comments

My Gripes with Prolog

3 points·by RebelPotato·il y a 6 mois·0 comments

Pyspread, a Spreadsheet in Python

pyspread.gitlab.io

6 points·by RebelPotato·il y a 6 mois·0 comments

The Silent (R)evolution of SAT

3 points·by RebelPotato·il y a 7 mois·0 comments

[untitled]

38 points·by RebelPotato·il y a 9 mois·0 comments

comments

·il y a 5 mois·discuss

https://archive.is/rXPz2