ska80

12 ms·

1. 91.▲
   Closos: Specification of a Lisp operating system (2013) [pdf](metamodular.com)

   3 points by ska80 7y ago|0 comments
2. 92.▲
   by ska80 7y ago

   Have you looked at LFE? http://lfe.io
3. 93.▲
   Gentle Introduction to Blockchain with Lisp(github.com)

   23 points by ska80 7y ago|0 comments
4. 94.▲
   Idris 2 now runs on the JVM(groups.google.com)

   1 points by ska80 7y ago|0 comments
5. 95.▲
   Next Browser v1.3.0 Release(github.com)

   2 points by ska80 7y ago|0 comments
6. 96.▲
   Common Lisp Style Guide(lisp-lang.org)

   114 points by ska80 7y ago|32 comments
7. 97.▲
   I'm writing a book about algorithms and Lisp(lisp-univ-etc.blogspot.com)

   407 points by ska80 7y ago|53 comments
8. 98.▲
   by ska80 7y ago

   from https://github.com/froggey/Mezzano/releases : "Running on real hardware: The hybrid image can be burned to a CD or dd'd onto a USB drive, and booted directly. It requires a 64-bit x86 machine, 2GB o
9. 99.▲
   by ska80 8y ago

   AFAIK Idris 2 (Blodwen) as a compiler still runs on the default C-backend used by Idris 1
10. 100.▲
    Apple has been blocking Telegram from updating its iOS app since mid-April(telegram.org)

    4 points by ska80 8y ago|0 comments
11. 101.▲
    Idris 1.3.0 released(idris-lang.org)

    2 points by ska80 8y ago|0 comments
12. 102.▲
    by ska80 9y ago

    Haskell has a great runtime and green threads.
13. 103.▲
    Telegram is blocked in Russia(translate.google.com)

    3 points by ska80 9y ago|0 comments
14. 104.▲
    by ska80 9y ago

    > I remember reading/watching in the news how Rusisa wants to outlaw Telegram, not because of piracy, but because the gov cannot spy on its people... It is actually happing now. Telegram can be blocked even today: https:/&#x2
15. 105.▲
    Russia is ready to disconnect from the global Internet(translate.google.com)

    4 points by ska80 9y ago|2 comments
16. 106.▲
    by ska80 9y ago

    SEEKING WORK - Remote only Email: ska80 at gmx dot com Proficient in: ● Java (SE, Spring Boot, RxJava, Kafka) ● Erlang/OTP ● Common Lisp (LispWorks) ● C (Systems Programming: GNU/Linux) Available immediately.
17. 107.▲
    by ska80 9y ago

    Version 1.0 was released last April this year.
18. 108.▲
    by ska80 9y ago

    A Language with Dependent Types: https://www.idris-lang.org
19. 109.▲
    Release of LispWorks 7.1(lispworks.com)

    3 points by ska80 9y ago|0 comments
20. 110.▲
    by ska80 9y ago

    Location: Bangkok, Thailand Remote: Yes (SE Asia, Europe or USA) Willing to relocate: Yes (Europe or USA only) Technologies: C, C++ (C with classes), Common Lisp (LispWorks), Erlang/OTP, Java/SE, Golang, POSIX Shell, Git, Subversi
21. 111.▲
    OpenBSD is the only one that already has fixed the bugs and security issues(twitter.com)

    1 points by ska80 9y ago|0 comments
22. 112.▲
    OpenBSD Gaming Resource(mrsatterly.com)

    4 points by ska80 9y ago|0 comments
23. 113.▲
    by ska80 9y ago

    Russia may block Telegram: http://edesknews.com/users-of-telegram-told-about-the-risks-...
24. 114.▲
    Pragmatic reasons for choosing Common Lisp(darkchestnut.com)

    5 points by ska80 9y ago|0 comments