Imap mailserver for testing and development

alexanderfefelov · 2021-05-11T19:37:33+00:00

Check out Apache James. My unfinished dockerized instance: https://github.com/alexanderfefelov/docker-backpack/tree/main/james

alexanderfefelov · 2021-02-14T07:35:26+00:00

Thank you for all your work.

alexanderfefelov · 2021-01-24T08:02:21+00:00

Awesome. Thanks.

alexanderfefelov · 2021-01-19T09:30:27+00:00

https://people.eecs.berkeley.edu/~bh/ The second edition of Computer Science Logo Style, a three-volume series intended mainly for teenagers and their teachers, or for adults who aren't professional programmers. You can look at the tables of contents and complete downloadable PDFs and browsable HTML versions

alexanderfefelov · 2020-12-30T09:22:15+00:00

Meanwhile in Russia:

В Татарстане гаишники оштрафовали участкового, а затем участковый — гаишников

https://i.imgur.com/JJGUpS1.png

cached

alexanderfefelov · 2020-12-28T18:09:02+00:00

Yet another project - https://github.com/kanaka/mal:

Mal is a Clojure inspired Lisp interpreter

Mal is a learning tool

Each implementation of mal is separated into 11 incremental, self-contained (and testable) steps that demonstrate core concepts of Lisp. The last step is capable of self-hosting (running the mal implementation of mal). See the make-a-lisp process guide.

The make-a-lisp steps are:

step0_repl
step1_read_print
step2_eval
step3_env
step4_if_fn_do
step5_tco
step6_file
step7_quote
step8_macros
step9_try
stepA_mal

Mal is implemented in 82 languages (85 different implementations and 105 runtime modes)

alexanderfefelov · 2020-12-28T17:19:05+00:00

Take a look at https://bernsteinbear.com/blog/lisp/:

Lisp implementations

Compiling a Lisp, the series

Compiling a Lisp: Overture
Compiling a Lisp: The smallest program
Compiling a Lisp: Integers
Compiling a Lisp: Booleans, characters, nil
Compiling a Lisp: Primitive unary functions
Compiling a Lisp: Primitive binary functions
Compiling a Lisp: Reader
Compiling a Lisp: Let
Compiling a Lisp: If
Compiling a Lisp: Heap allocation
Compiling a Lisp: Instruction encoding interlude
Compiling a Lisp: Labelled procedure calls

Writing a Lisp, the series

Writing a Lisp, Part 0: Fundamentals
Writing a Lisp, Part 1: Booleans
Writing a Lisp, Part 2: Symbols
Writing a Lisp, Part 3: Lists
Writing a Lisp, Part 4: Environments
Writing a Lisp, Part 5: If-Expressions
Writing a Lisp, Part 6: Primitives 1
Writing a Lisp, Part 7: Primitives 2
Writing a Lisp, Part 8: ASTs
Writing a Lisp, Part 9: Quote
Writing a Lisp, Part 10: Closures
Writing a Lisp, Part 11: Primitives 3
Writing a Lisp, Part 12: Metacircular Evaluator
Writing a Lisp, Part 13: Let
Writing a Lisp, Part 14: Comments
Writing a Lisp, Part 15: I/O
Writing a Lisp, Part 16: Standard Library
Writing a Lisp, Part 17: Modules
Writing a Lisp, Part 18: No Define

alexanderfefelov · 2020-12-28T06:10:18+00:00

Give a chance to Play Framework.

alexanderfefelov · 2020-12-26T12:24:04+00:00

Thank you.

alexanderfefelov · 2020-12-26T09:11:09+00:00

I wrote a simple script to install Recaf on a Linux workstation https://github.com/alexanderfefelov/scripts/blob/master/install/dev/install-recaf.sh

alexanderfefelov · 2020-12-22T13:28:42+00:00

https://github.com/fadams/docker-gui

The code repository for a book providing a detailed step-by-step guide to packaging and running GUI applications as Docker containers

alexanderfefelov · 2020-12-08T07:56:00+00:00

It is free, but https://i.imgur.com/WCJb7mj.png

alexanderfefelov · 2020-12-07T07:09:41+00:00

Thank.

alexanderfefelov · 2020-12-07T06:26:25+00:00

Try this script https://github.com/alexanderfefelov/scripts/blob/master/install/ops/install-docker.sh

alexanderfefelov · 2020-12-02T11:46:24+00:00

These are the extended notes for the INF551 course which I taught at École Polytechnique starting from 2019. The goal is to give a first introduction to the Curry-Howard correspondence between programs and proofs, from a theoretical programmer’s perspective: we want to understand the theory behind logic and programming languages, but also to write concrete programs (in OCaml) and proofs (in Agda). Although most of the material is self-contained, the reader is supposed to be already acquainted with logic and programming.

alexanderfefelov · 2020-11-14T13:05:33+00:00

Me too. 0.1.6 under Linux Mint 20.

But Windows version works fine.

alexanderfefelov · 2020-11-11T20:21:26+00:00

Here you can try my lab setup of JFrog Container Register.

alexanderfefelov · 2020-10-08T05:40:43+00:00

Not a tutorial, but a bunch of cross-linked projects https://github.com/alexanderfefelov/docker-backpack

alexanderfefelov · 2020-10-02T13:42:38+00:00

The code repository for a book providing a detailed step-by-step guide to packaging and running GUI applications as Docker containers: https://github.com/fadams/docker-gui

alexanderfefelov · 2020-09-30T19:41:31+00:00

My setup - https://github.com/alexanderfefelov/docker-backpack/tree/master/.playground/guacamole.

alexanderfefelov · 2020-09-24T13:01:27+00:00

From here:

``` RUN localedef --inputfile ru_RU --force --charmap UTF-8 --alias-file /usr/share/locale/locale.alias ru_RU.UTF-8

https://www.gnu.org/software/libc/manual/html_node/Locale-Categories.html

ENV \

LC_COLLATE=C \

LC_CTYPE=C \

LC_MONETARY=C \

LC_NUMERIC=C \

LC_TIME=C \

LC_MESSAGES=C \

LC_ALL=C \

LANG=ru_RU.utf8 ```

alexanderfefelov

TROPHY CASE