User:Bkil/Interests

'''Note that this is only a preliminary upload, many items are missing! (especially non-computer related articles)'''

Interested in (note that interest does not always imply fluency)

=Maths= Eisenstein series, Hairy ball theorem, Ulam spiral

=Graphics= Pixel art scaling algorithms, Seam carving

=Logic= Drinker paradox, Scientific method

=Cognitive science= Commonsense knowledge (artificial intelligence), Semantic search, Lojban

=Computer science=

MISC
Curry-Howard correspondence, Persistence (computer science), Threaded code, Linked timestamping

Computation
Genetic programming, OpenStack, GPGPU, Multiseat configuration, Nonlinear dimensionality reduction, Proof-carrying code

Legacy programming languages
SPARK (annotated Ada subset), Cyclone (type-safe C), Cython, Java Modeling Language (annotated Java)

Preferred programming languages
Erlang & Elixir (actor based light FP), Haskell (_the_ standardized FP), Haxe (AS & OCaml-inspired), Objective Caml, renamed OCaml (ML with objects), CAL (Haskell-inspired), Scala & Kotlin (high-level Java), Genie (C and GObject based, clean syntax), Rust (strongly typed low level)

Research programming languages
ATS (ML-derived), Fan (high-level Java & C#), Fortress (maths & Haskell-resembling), Timber (O'Haskell-inspired strict embedded)

Libraries
AWT, DirectFB, FLTK, Javolution, Nano-X, Qt, wxWidgets

Methods
Maintainability, Modular programming, Software testing, Static code analysis

Tools
Expect testing glue, Java Pathfinder, Lightweight markup language, Retrotranslator

General
Debian, OpenBSD, Unix philosophy

Alternative
GNU-Darwin, Haiku, Inferno, OpenIndiana

Minimal
Contiki, SymbOS, Mini Linux, Squawk virtual machine

Reliable
EROS, Minix

Quality
Docker, User-mode Linux, OpenVZ, Nemesis, Xenomai

Security
GNUnet, Simple public-key infrastructure, YaCy

HW
PDP-8, Domino computer

Ergonomy
Quiet PC, Sonification

Pearls
Algorithmic art, Low-complexity art, Quine, Demoscene

=Ecology= Aeroponics, Bicycle, Clean coal, Crosswind Kite Power, Darrieus wind turbine, Land sailing, Real-time ridesharing, Renewable energy, Shared transport, Soft energy technologies, Sustainable living, Tree bog, Wind lens

=Computer engineering= BEAM, Soft core, Microcontroller, PID controller, Software-defined radio

=Psychology= Choice blindness, Computer addiction, Echo chamber (media), Lookism, List of cognitive biases, Wason selection task,

=Games= Space Travel, Connection game, Programming game