start | find | index | login or register | edit
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


Mittwoch, 20. Februar 2013 link

Nice features for a modern multi-person chat tool: Flat-threaded replies. User mentions. Permanent history. Searchable history. Limited editability for quick typo corrections. Integration, integration, integration. Permalinks (net-native). Lightweight markup including links (more integration). Code formatting (more integration).

(Just a quick braindump.)


Freitag, 11. Januar 2013 link

The sources for the REBOL 3 alpha were opened up a month ago, rekindling the interest of many who got turned away by the former stagnation. One issue encountered regularly, is that to play with Rebol 3 right away, you had to build from source yourself. Well, no more! I'm happy to announce fully automated builds of Rebol 3 binaries along with a website for conveniently downloading them:


While these builds are unofficial in as far as they are not provided (or endorsed) by REBOL Technologies, they are built from the unmodified mainline R3 sources.


Mittwoch, 12. Dezember 2012 link

REBOL 3 is now open source. Have a look at the full announcement or even better, fetch the code right away:


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