ska80

11 ms·

61.
Single Page Web Applications in Idris(github.com)
4 points by ska80 3y ago|1 comments
62.
by ska80 3y ago
Location: Bishkek, Kyrgyzstan Remote: Yes (US & EU time zones) Willing to relocate: Yes Technologies: C, Zig, Common Lisp (LispWorks & SBCL), Clojure, Erlang/OTP, XSLT/XQuery, PostgreSQL, functional programming,
63.
by ska80 3y ago
Location: Bishkek, Kyrgyzstan Remote: Yes (US & EU time zones) Willing to relocate: Yes Technologies: C, Zig, Common Lisp (LispWorks & SBCL), Clojure, Erlang/OTP, XSLT/XQuery, PostgreSQL, functional programming,
64.
by ska80 3y ago
Location: Bishkek, Kyrgyzstan Remote: Yes Willing to relocate: Yes Technologies: C, Common Lisp (LispWorks, SBCL), Clojure, Erlang/OTP, XSLT/XQuery, PostgreSQL, GNU/Linux, functional programming, systems programmi
65.
by ska80 4y ago
Location: Bishkek, Kyrgyzstan Remote: Yes Willing to relocate: Yes Technologies: C, Common Lisp (LispWorks, SBCL), Clojure, Erlang/OTP, XSLT, PostgreSQL, GNU/Linux, functional programming, systems programming Résumé&
66.
by ska80 4y ago
Location: Bishkek, Kyrgyzstan Remote: Yes Willing to relocate: Yes Technologies: C, Common Lisp (LispWorks, SBCL), Clojure, Erlang/OTP, XSLT, PostgreSQL, GNU/Linux, systems programming Résumé/CV: contact Email
67.
Idris 2 0.6.0 is now available for the JVM(github.com)
162 points by ska80 4y ago|64 comments
68.
by ska80 4y ago
Location: Bishkek, Kyrgyzstan Remote: Yes (with 4+ years experience) Willing to relocate: Yes Technologies: C, Common Lisp (LispWorks, SBCL), Clojure, Erlang/OTP, XSLT, PostgreSQL, GNU/Linux, systems programming Rés
69.
GNU Common Lisp 2.6.13 is released(savannah.gnu.org)
4 points by ska80 4y ago|0 comments
70.
by ska80 5y ago
Location: Bishkek, Kyrgyzstan Remote: Yes (with experience) Willing to relocate: Yes Technologies: C, Common Lisp, Clojure, XSLT, PostgreSQL, GNU/Linux, systems programming Résumé/CV: on request Email: ska80 [at]
71.
Idris 2 version 0.5.0 Released(idris-lang.org)
8 points by ska80 5y ago|0 comments
72.
by ska80 5y ago
Ditto
73.
Idris 2 – 0.2.1 release for the JVM(github.com)
4 points by ska80 5y ago|0 comments
74.
by ska80 6y ago
Location: Bishkek, Kyrgyzstan Remote: YES (with experience) Willing to relocate: YES Technologies: C, Golang, Java 8+, JavaScript ES6+, Common Lisp (LispWorks), Erlang/OTP, Node.js, PostgreSQL, Redis, full-stack, systems programming Ré
75.
Idris Developers Meeting, April 2021(github.com)
2 points by ska80 6y ago|0 comments
76.
by ska80 6y ago
Common Lisp and Idris :)
77.
by ska80 6y ago
RefC is not optimized yet and intended mostly for portability for systems that lack Racket/Chez Scheme support or with memory constraints.
78.
by ska80 6y ago
> Note also the default target is Chez Scheme (Racket and Gambit supported) instead of C (which it still supports) because its faster. Idris 2 currently doesn't have C code generator. But you can still use external shared libraries
79.
Mezzano (LispOS) Release Demo 5(github.com)
7 points by ska80 6y ago|2 comments
80.
New JavaScript code generator in Idris 2(github.com)
164 points by ska80 6y ago|27 comments
81.
Closos: Specification of a Lisp operating system (2013) [pdf](metamodular.com)
90 points by ska80 6y ago|22 comments
82.
by ska80 6y ago
Location: Bishkek, Kyrgyzstan Remote: YES (with experience) Willing to relocate: YES Technologies: C, Java 8+, JavaScript ES6+, Common Lisp (LispWorks), Erlang/OTP, NodeJS, PostgreSQL, Redis, full-stack, systems programming, GNU/L
83.
by ska80 6y ago
Actually no. Familiarity with Haskell can actually make learning Idris more difficult :). It is better if you start from scratch when learning Idris.
84.
by ska80 6y ago
Idris 2 is a big step towards a production grade FP language
85.
Idris2 is now self-hosted(github.com)
2 points by ska80 6y ago|0 comments
86.
by ska80 6y ago
Location: Bishkek, Kyrgyzstan Remote: YES Willing to relocate: YES Technologies: C, Java 8+, JavaScript ES6+, Common Lisp, Erlang, NodeJS, PostgreSQL, Redis, full-stack, systems programming, GNU/Linux, OpenBSD, macOS Résumé/CV: On
87.
by ska80 7y ago
SEEKING WORK | Bishkek, Kyrgyzstan | Remote Technologies: C, Java, JavaScript, Common Lisp, Erlang, PostgreSQL, Redis, Node.js, React.js, full-stack, systems programming Résumé/CV: On request Email: kamils80@gmail.com
88.
Idris 2 version 0.1.0 Released(idris-lang.org)
4 points by ska80 7y ago|0 comments
89.
by ska80 7y ago
Location: Bishkek, Kyrgyzstan Remote: Yes Willing to relocate: Yes (Europe or North America) Technologies: C, Java, JavaScript, Common Lisp, Erlang, PostgreSQL, Redis, full-stack, systems programming Résumé/CV: On re
90.
The Common Lisp operating system, has its own Patreon page(patreon.com)
5 points by ska80 7y ago|0 comments

More ›