B W Bush boosted

Hold on a sec I've gotta shave this yak real quick

<3 years later>

Okay what were we doing?

B W Bush boosted
B W Bush boosted

'if you're a matrix.org user you should change your password now.'

It's running again, but:
'The hacker exploited a vulnerability in our production infrastructure'

matrix.org/blog/2019/04/11/sec

#infosec #matrix

B W Bush boosted
B W Bush boosted

@kaniini

Vows are spoken
To be broken
Feelings are intense
Words are trivial

B W Bush boosted
B W Bush boosted

Grad school etiquette Show more

B W Bush boosted
B W Bush boosted
@endomain @codesections The Nix language may be a bit unusual, but it is minimalist. You can learn all of it and how to use it productively in a few tutorial exercises.

The library and conventions in nixpkgs on the other hand are pretty difficult to find a single good source on, and will mostly have to be learned by reading other people's code and experimenting.

I should write a tutorial and best practices reference at some point, based on my experiences with buildRacket and other language-specific package build infrastructure.
B W Bush boosted
B W Bush boosted
B W Bush boosted

"The Eight Fallacies of Distributed Computing, L. Peter Deutsch

1. The network is reliable
2. Latency is zero
3. Bandwidth if infinite
4. The network is secure
5. Topology doesn't change
6. There is one administrator
7. Transport cost is zero
8. The network is homogeneous"

twitter.com/timurjs/status/111

B W Bush boosted

Finally made it to 1.0.0! A library to represent recursive and impure programs in #Coq github.com/DeepSpec/Interactio

B W Bush boosted

Which Programming Languages Use the Least Electricity? Show more

B W Bush boosted

Really impressive result: using generative adverserial networks to increase the resolution of videos!

Abstract: ge.in.tum.de/publications/2019
Video: youtube.com/watch?v=pZXFXtfd-A

B W Bush boosted
Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.