RebelPotato

4 ms·

1. 1.▲
   Smolts: A pedagogical IDE for a teaching language (eighty-twenty news)(eighty-twenty.org)

   4 points by RebelPotato 2mo ago|0 comments
2. 2.▲
   Logica: Enhanced Datalog Compiled to SQL(logica-lang.github.io)

   4 points by RebelPotato 2mo ago|0 comments
3. 3.▲
   A Hitchhiker's Guide to Reinventing a Prolog Machine(drops.dagstuhl.de)

   5 points by RebelPotato 3mo ago|0 comments
4. 4.▲
   Generalist – GEN-1.5: Embodied Foundation Models Are One-Shot Learners(generalistai.com)

   5 points by RebelPotato 3mo ago|0 comments
5. 5.▲
   Hister – Search engine for local files and visited webpages(hister.org)

   1 points by RebelPotato 3mo ago|0 comments
6. 6.▲
   Let's make the worst Htmx(zserge.com)

   142 points by RebelPotato 3mo ago|80 comments
7. 7.▲
   Anthropic runs like Wile E. Coyote into the brick wall of consciousness research(theintrinsicperspective.com)

   3 points by RebelPotato 4mo ago|0 comments
8. 8.▲
   Federated Wiki(fed.wiki.org)

   4 points by RebelPotato 7mo ago|1 comments
9. 9.▲
   Darn from inkandswitch: collaborative editing to your filesystem(github.com)

   3 points by RebelPotato 8mo ago|0 comments
10. 10.▲
    Some Words on WigglyPaint(beyondloom.com)

    124 points by RebelPotato 8mo ago|25 comments
11. 11.▲
    by RebelPotato 9mo ago

    https://archive.is/rXPz2
12. 12.▲
    Beyond agentic coding(haskellforall.com)

    269 points by RebelPotato 9mo ago|90 comments
13. 13.▲
    Trudging Through Nonsense(aphyr.com)

    4 points by RebelPotato 9mo ago|0 comments
14. 14.▲
    Broken Proofs and Broken Provers(lawrencecpaulson.github.io)

    64 points by RebelPotato 9mo ago|14 comments
15. 15.▲
    My Gripes with Prolog(buttondown.com)

    3 points by RebelPotato 10mo ago|0 comments
16. 16.▲
    Pyspread, a Spreadsheet in Python(pyspread.gitlab.io)

    6 points by RebelPotato 10mo ago|0 comments
17. 17.▲
    The Silent (R)evolution of SAT(cacm.acm.org)

    3 points by RebelPotato 11mo ago|0 comments
18. 18.▲
    Unum (Number Format)(en.wikipedia.org)

    1 points by RebelPotato 1y ago|0 comments
19. 19.▲
    Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone(rebelpotato.github.io)

    2 points by RebelPotato 1y ago|0 comments
20. 20.▲
    Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone(rebelpotato.github.io)

    2 points by RebelPotato 1y ago|0 comments
21. 21.▲
    DumPy: NumPy except it's OK if you're dum(dynomight.net)

    174 points by RebelPotato 1y ago|59 comments