start | find | index | login or register | edit
Samstag, 1. Januar 2022 link

happy 2022, everyone!


Samstag, 12. Juni 2021 link

"waun s d amoe so weid bist / daun eascht schreib dei gedicht / und ned eea!"

-- h.c. artmann, nua ka schmoez how e xogt!

(in der oe1 radiothek: das ganze gedicht gelesen von hc artmann selbst. absolute empfehlung.)

1 comments (by taggy)

Dienstag, 17. Dezember 2019 link

alles neu macht der ... dezember: esa nun auch (nur) in https! o tempora.

1 comments (by taggy)

Montag, 15. Mai 2017 link

"This common and unfortunate fact of the lack of an adequate presentation of basic ideas and motivations of almost any mathematical theory is, probably, due to the binary nature of mathematical perception: either you have no inkling of an idea or, once you have understood it, this very idea appears so embarrassingly obvious that you feel reluctant to say it aloud; moreover, once your mind switches from the state of darkness to the light, all memory of the dark state is erased and it becomes impossible to conceive the existence of another mind for which the idea appears nonobvious."

-- Mikhail Leonidovich Gromov, as quoted in M. Berger, Encounter with a geometer. II, Notices Amer. Math. Soc. 47 (2000), no. 3, 326--340.


Mittwoch, 24. August 2016 link

Aus unserer beliebten "Ja, da bewegt sich was" Reihe:

"[At Google] we launch over 2 billion containers per week."

-- Ian Lewis, Developer Advocate; "Building a Scalable Python gRPC Service using Kubernetes", 2015-06 [source]

1 comments (by taggy)

Sonntag, 12. Juni 2016 link

"[At Microsoft] we have 5 acres of build machines and move 35 exabytes of data per day for source, build, and testing activities.)"

-- Gabe Aul, VP Engineering Systems Team [source]

1 comments (by taggy)

Dienstag, 6. Januar 2015 link

"Increasingly, the running OS is like the runtime of a functional program."

-- Joey Hess (?) [source]


Donnerstag, 24. Juli 2014 link

Some PowerShell essentials:

0. Activate the "RemoteSigned" execution policy for yourself:
PS> Set-ExecutionPolicy RemoteSigned -Scope CurrentUser
1. Install PsGet:
2. Install PSReadline:
PS> Import-Module PsGet
PS> Install-Module PSReadline
3. Activate PsGet and PSReadline in your profile for interactive use, and add some additional Linux/Bash-like keybindings. Create $env:USERPROFILE\Documents\WindowsPowerShell\profile.ps1:
if ($host.Name -eq 'ConsoleHost') {
Import-Module PsGet

Import-Module PSReadline
Set-PSReadlineOption -EditMode Emacs
Set-PSReadlineKeyHandler -Chord 'Shift+PageUp' `
-Function ScrollDisplayUp
Set-PSReadlineKeyHandler -Chord 'Shift+PageDown' `
-Function ScrollDisplayDown
Set-PSReadlineKeyHandler -Chord 'Ctrl+LeftArrow' `
-Function ShellBackwardWord
Set-PSReadlineKeyHandler -Chord 'Ctrl+RightArrow' `
-Function ShellForwardWord
Note, though, that the presence of even just an empty profile.ps1 significantly slows down PowerShell startup for me. (But it's still much faster than the ISE.)


Montag, 30. Juni 2014 link

"A programming language is low level when its programs require attention to the irrelevant."

-- Alan Perlis (1982). "Epigrams on programming". ACM SIGPLAN Notices Vol. 17, No. 9


Mittwoch, 2. April 2014 link

"Kx is announcing that the 32-bit version of its database Kdb+, and its expressive query language Q, [are] now free for commercial use."


Sonntag, 10. November 2013 link

"[create Pyret] is a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming".

Built mainly by [create Daniel Patterson] and [create Joe Gibbs Politz] of the PLT group (headed by Shriram Krishnamurthi) at Brown University.

First glance: mixing a non-sexpr (somewhat Lua-esque) syntax with chiefly [create Racket]-inspired semantics, and dynamic typing with strongly integrated facilities for dynamic checking (testing) and efforts towards gradual typing. Very interesting and promising!


Samstag, 15. Juni 2013 link

"On a cold afternoon you can float room to room like a ghost."

-- Okkervil River, Listening To Otis Redding At Home During Christmas


powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 8539 days • c'est un vanilla site