HNHacker News
TopNewBestAskShowJobs

ska80

638 karma · joined January 3, 2013

Seasoned software engineer

[ my public key: https://keybase.io/skaaks; my proof: https://keybase.io/skaaks/sigs/v0SkGCRsmzV1VArnmh6MAMs9GE81-d-q5hWy36WYH10 ]

submissionscomments

FuguIta – An OpenBSD-Based Live System

fuguita.org·12 pts·ska80·
0

Zig 0.16.0 Release Notes

ziglang.org·166 pts·ska80·
42

Nyxt Browser 4.0.0

github.com·3 pts·ska80·
0

Data Oriented Programming (DOP) in Java

nejckorasa.github.io·4 pts·ska80·
0

Why I Program in Lisp

funcall.blogspot.com·286 pts·ska80·
273

Before you can have Smalltalk, you must first defeat capitalism?

mgaudet.ca·14 pts·ska80·
11

Single Page Web Applications in Idris

github.com·4 pts·ska80·
1

Idris 2 0.6.0 is now available for the JVM

github.com·162 pts·ska80·
64

GNU Common Lisp 2.6.13 is released

savannah.gnu.org·4 pts·ska80·
0

Idris 2 version 0.5.0 Released

idris-lang.org·8 pts·ska80·
0

Idris 2 – 0.2.1 release for the JVM

github.com·4 pts·ska80·
0

Idris Developers Meeting, April 2021

github.com·2 pts·ska80·
0

Mezzano (LispOS) Release Demo 5

github.com·7 pts·ska80·
2

New JavaScript code generator in Idris 2

github.com·164 pts·ska80·
27

Closos: Specification of a Lisp operating system (2013) [pdf]

metamodular.com·90 pts·ska80·
22

Idris2 is now self-hosted

github.com·2 pts·ska80·
0

Idris 2 version 0.1.0 Released

idris-lang.org·4 pts·ska80·
0

The Common Lisp operating system, has its own Patreon page

patreon.com·5 pts·ska80·
0

Closos: Specification of a Lisp operating system (2013) [pdf]

metamodular.com·3 pts·ska80·
0

Gentle Introduction to Blockchain with Lisp

github.com·23 pts·ska80·
0

Idris 2 now runs on the JVM

groups.google.com·1 pts·ska80·
0

Next Browser v1.3.0 Release

github.com·2 pts·ska80·
0

Common Lisp Style Guide

lisp-lang.org·114 pts·ska80·
32

I'm writing a book about algorithms and Lisp

lisp-univ-etc.blogspot.com·407 pts·ska80·
53

Apple has been blocking Telegram from updating its iOS app since mid-April

telegram.org·4 pts·ska80·
0

Idris 1.3.0 released

idris-lang.org·2 pts·ska80·
0

Telegram is blocked in Russia

translate.google.com·3 pts·ska80·
0

Russia is ready to disconnect from the global Internet

translate.google.com·4 pts·ska80·
2

Release of LispWorks 7.1

lispworks.com·3 pts·ska80·
0

OpenBSD is the only one that already has fixed the bugs and security issues

twitter.com·1 pts·ska80·
0
Page 1 of 2Next →