RebelPotato - Hackdot

Djs: A JavaScript and ts engine for pi's codemode by earendil

Posted by RebelPotato on Monday November 02, 2026 @10:23PM
from the earendil-works.github.io dept.

https://earendil-works.github.io/djs/introduction.html

( Read More... | no comments | on HN )

Tom7/noperts: Reproducible nopert proofs

Posted by RebelPotato on Sunday November 01, 2026 @11:38PM
from the github.com dept.

https://github.com/tom7/noperts/

( Read More... | no comments | on HN )

Pi Durable on Cloudflare – Earendil

Posted by RebelPotato on Thursday October 29, 2026 @11:35AM
from the earendil.com dept.

https://earendil.com/posts/pi-durable-on-cloudflare/

( Read More... | 1 comment | 2 points | on HN )

Chord, distributed objects and hot reload for pi-durable

Posted by RebelPotato on Monday October 26, 2026 @06:05AM
from the github.com dept.

https://github.com/earendil-works/pi/blob/main/packages/chord/README.md

( Read More... | no comments | on HN )

Smolts: A pedagogical IDE for a teaching language (eighty-twenty news)

Posted by RebelPotato on Friday September 04, 2026 @11:04PM
from the eighty-twenty.org dept.

https://eighty-twenty.org/2026/09/04/smolts

( Read More... | no comments | on HN )

Logica: Enhanced Datalog Compiled to SQL

Posted by RebelPotato on Wednesday September 02, 2026 @02:36AM
from the logica-lang.github.io dept.

https://logica-lang.github.io/

( Read More... | no comments | on HN )

A Hitchhiker's Guide to Reinventing a Prolog Machine

Posted by RebelPotato on Tuesday August 25, 2026 @08:08AM
from the drops.dagstuhl.de dept.

https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.10

( Read More... | no comments | 2 points | on HN )

Generalist – GEN-1.5: Embodied Foundation Models Are One-Shot Learners

Posted by RebelPotato on Friday August 21, 2026 @09:41AM
from the generalistai.com dept.

https://generalistai.com/blog/gen-1.5

( Read More... | no comments | 3 points | on HN )

Hister – Search Engine for Local Files and Visited Webpages

Posted by RebelPotato on Wednesday August 19, 2026 @09:06AM
from the hister.org dept.

https://hister.org/

( Read More... | no comments | on HN )

Let's Make the Worst Htmx

Posted by RebelPotato on Friday July 31, 2026 @01:16AM
from the zserge.com dept.

https://zserge.com/posts/worst-htmx-ever/

( Read More... | 80 comments | 3 points | on HN )

Anthropic runs like Wile E. Coyote into the brick wall of consciousness research

Posted by RebelPotato on Tuesday July 14, 2026 @12:35AM
from the theintrinsicperspective.com dept.

https://www.theintrinsicperspective.com/p/anthropic-runs-like-wile-e-coyote

( Read More... | no comments | 3 points | on HN )

Federated Wiki

Posted by RebelPotato on Tuesday April 07, 2026 @01:12AM
from the fed.wiki.org dept.

http://fed.wiki.org/view/welcome-visitors/view/about-federated-wiki

( Read More... | 1 comment | 4 points | on HN )

Darn from inkandswitch: collaborative editing to your filesystem

Posted by RebelPotato on Monday March 09, 2026 @09:13AM
from the github.com dept.

https://github.com/inkandswitch/darn

( Read More... | no comments | 2 points | on HN )

Some Words on WigglyPaint

Posted by RebelPotato on Friday March 06, 2026 @08:21PM
from the beyondloom.com dept.

https://beyondloom.com/blog/onwigglypaint.html

( Read More... | 25 comments | 3 points | on HN )

Haskell for all: Beyond agentic coding

Posted by RebelPotato on Saturday February 07, 2026 @08:55PM
from the haskellforall.com dept.

https://haskellforall.com/2026/02/beyond-agentic-coding

( Read More... | 93 comments | 47 points | on HN )

Trudging Through Nonsense

Posted by RebelPotato on Thursday February 05, 2026 @09:17PM
from the aphyr.com dept.

https://aphyr.com/posts/405-trudging-through-nonsense

( Read More... | no comments | 3 points | on HN )

Broken Proofs and Broken Provers

Posted by RebelPotato on Wednesday February 04, 2026 @04:00AM
from the lawrencecpaulson.github.io dept.

https://lawrencecpaulson.github.io/2026/01/15/Broken_proofs.html

( Read More... | 14 comments | on HN )

My Gripes with Prolog

Posted by RebelPotato on Thursday January 15, 2026 @03:48AM
from the buttondown.com dept.

https://buttondown.com/hillelwayne/archive/my-gripes-with-prolog/

( Read More... | no comments | on HN )

Pyspread, a Spreadsheet in Python

Posted by RebelPotato on Sunday January 04, 2026 @04:48AM
from the pyspread.gitlab.io dept.

https://pyspread.gitlab.io/

( Read More... | no comments | 2 points | on HN )

The Silent (R)evolution of SAT

Posted by RebelPotato on Tuesday December 02, 2025 @12:56AM
from the cacm.acm.org dept.

https://cacm.acm.org/research/the-silent-revolution-of-sat/

( Read More... | no comments | 3 points | on HN )

Unum (Number Format)

Posted by RebelPotato on Friday July 25, 2025 @02:43AM
from the en.wikipedia.org dept.

https://en.wikipedia.org/wiki/Unum_(number_format)

( Read More... | no comments | on HN )

Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone

Posted by RebelPotato on Saturday June 28, 2025 @10:40AM
from the show-hn dept.

https://rebelpotato.github.io/dok.py/

( Read More... | no comments | on HN )

Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone

Posted by RebelPotato on Saturday June 28, 2025 @09:19AM
from the show-hn dept.

https://rebelpotato.github.io/doci.py/

( Read More... | no comments | on HN )

DumPy: NumPy except it's OK if you're dum

Posted by RebelPotato on Saturday May 24, 2025 @06:49AM
from the dynomight.net dept.

https://dynomight.net/dumpy/

( Read More... | 59 comments | 2 points | on HN )