| 1. | | Data Oriented Programming (DOP) in Java (nejckorasa.github.io) |
| 4 points by ska80 4 months ago | past |
|
| 2. | | Why I Program in Lisp (funcall.blogspot.com) |
| 286 points by ska80 4 months ago | past | 273 comments |
|
| 3. | | Before you can have Smalltalk, you must first defeat capitalism? (mgaudet.ca) |
| 14 points by ska80 10 months ago | past | 11 comments |
|
| 4. | | Single Page Web Applications in Idris (github.com/stefan-hoeck) |
| 4 points by ska80 on July 19, 2023 | past | 1 comment |
|
| 5. | | Idris 2 0.6.0 is now available for the JVM (github.com/mmhelloworld) |
| 162 points by ska80 on Feb 27, 2023 | past | 64 comments |
|
| 6. | | GNU Common Lisp 2.6.13 is released (savannah.gnu.org) |
| 4 points by ska80 on Dec 21, 2022 | past |
|
| 7. | | Idris 2 version 0.5.0 Released (idris-lang.org) |
| 8 points by ska80 on Sept 18, 2021 | past |
|
| 8. | | Idris 2 – 0.2.1 release for the JVM (github.com/mmhelloworld) |
| 4 points by ska80 on July 22, 2021 | past |
|
| 9. | | Idris Developers Meeting, April 2021 (github.com/idris-lang) |
| 2 points by ska80 on March 9, 2021 | past |
|
| 10. | | Mezzano (LispOS) Release Demo 5 (github.com/froggey) |
| 7 points by ska80 on July 25, 2020 | past | 2 comments |
|
| 11. | | New JavaScript code generator in Idris 2 (github.com/idris-lang) |
| 164 points by ska80 on July 9, 2020 | past | 27 comments |
|
| 12. | | Closos: Specification of a Lisp operating system (2013) [pdf] (metamodular.com) |
| 90 points by ska80 on July 4, 2020 | past | 22 comments |
|
| 13. | | Idris2 is now self-hosted (github.com/edwinb) |
| 2 points by ska80 on May 19, 2020 | past |
|
| 14. | | Idris 2 version 0.1.0 Released (idris-lang.org) |
| 4 points by ska80 on April 1, 2020 | past |
|
| 15. | | The Common Lisp operating system, has its own Patreon page (patreon.com) |
| 5 points by ska80 on Dec 24, 2019 | past |
|
| 16. | | Closos: Specification of a Lisp operating system (2013) [pdf] (metamodular.com) |
| 3 points by ska80 on Dec 21, 2019 | past |
|
| 17. | | Gentle Introduction to Blockchain with Lisp (github.com/bor0) |
| 23 points by ska80 on Oct 25, 2019 | past |
|
| 18. | | Idris 2 now runs on the JVM (groups.google.com) |
| 1 point by ska80 on Sept 7, 2019 | past |
|
| 19. | | Next Browser v1.3.0 Release (github.com/atlas-engineer) |
| 2 points by ska80 on Aug 5, 2019 | past |
|
| 20. | | Common Lisp Style Guide (lisp-lang.org) |
| 114 points by ska80 on July 23, 2019 | past | 32 comments |
|
| 21. | | I'm writing a book about algorithms and Lisp (lisp-univ-etc.blogspot.com) |
| 407 points by ska80 on July 23, 2019 | past | 53 comments |
|
| 22. | | Apple has been blocking Telegram from updating its iOS app since mid-April (telegram.org) |
| 4 points by ska80 on May 30, 2018 | past |
|
| 23. | | Idris 1.3.0 released (idris-lang.org) |
| 2 points by ska80 on May 26, 2018 | past |
|
| 24. | | Telegram is blocked in Russia (translate.google.com) |
| 3 points by ska80 on April 13, 2018 | past |
|
| 25. | | Russia is ready to disconnect from the global Internet (translate.google.com) |
| 4 points by ska80 on March 5, 2018 | past | 2 comments |
|
| 26. | | Release of LispWorks 7.1 (lispworks.com) |
| 3 points by ska80 on Nov 14, 2017 | past |
|
| 27. | | OpenBSD is the only one that already has fixed the bugs and security issues (twitter.com/0xba11e) |
| 1 point by ska80 on Aug 8, 2017 | past |
|
| 28. | | OpenBSD Gaming Resource (mrsatterly.com) |
| 4 points by ska80 on Aug 5, 2017 | past |
|
| 29. | | Pragmatic reasons for choosing Common Lisp (darkchestnut.com) |
| 5 points by ska80 on April 24, 2017 | past |
|
