4487
GNU Guix and GuixSD 0.16.0 released — 2018 — Blog — GuixSD
GNU Guix and GuixSD 0.16.0 released — 2018 — Blog — GuixSD
from twitter
3 days ago
Twitter
RT : I'm really excited to tell you about a new paper I've completed here and . Th…
from twitter
4 days ago
First baby born after deceased womb transplant - BBC News
First baby born after deceased womb transplant - BBC News
from twitter
5 days ago
Twitter
We love so much, we put together this very epic and totally legit commercial so more people would embrace…
Clojure  from twitter_favs
8 days ago
Twitter
Dynamic Typing vs Static Typing
from twitter
9 days ago
How to Deal with Difficult People on Software Projects
How to Deal with Difficult People on Software Projects
culture  programming 
10 days ago
Twitter
Want to make the world a better place without working 80 hour weeks?

Join us to help improve the Dhall configurati…
from twitter_favs
13 days ago
Open sourcing our shared configuration for remote pairing
Open sourcing our shared configuration for remote pairing
from twitter
19 days ago
Twitter
Writing some test suites, and realized that you can property test for *equality* of lenses

forall f. Functor f =>…
from twitter_favs
19 days ago
Errata Security: Some notes about HTTP/3
Did not think I would see the possible end of TCP in my career. But I think this may do it..
from twitter_favs
20 days ago
What is your least favorite thing about Haskell in 2018?
What is your least favorite thing about Haskell in 2018?
from twitter
22 days ago
Twitter
Censure antiterroriste : Macron se soumet aux géants du Web pour instaurer une surveillance généralisée – La Quadra…
from twitter
24 days ago
Twitter
0.15 is slowly rolling out to the Hackage.
Thanks to everyone made patches for this release (and…
servant  from twitter_favs
27 days ago
text-utf8: An efficient packed UTF-8 backed Unicode text type.
Today I learned about the `text-utf8` package. It's like `text` but internally backed by UTF-8 instead of UTF-16:
from twitter_favs
28 days ago
Twitter
I added a more compact way to print typed hole errors to GHC this weekend.
from twitter_favs
29 days ago
Twitter
Combien de livres vous reste-t-il à lire avant votre mort?
Vous avez 40 ans:
Lecteur moyen: 546/504
Lecteur «vor…
from twitter_favs
4 weeks ago
Twitter
Découvrez ce Meetup : Onyx: Distributed computing for the cloud with Clojure; & Haskell shell scripts…
from twitter
4 weeks ago
2018 State of Haskell Survey · taylor.fausak.me
RT : I am excited to announce the 2018 State of survey! Please take a few minutes to fill it out. Thanks!
Haskell  from twitter
5 weeks ago
Twitter
Gmail Creator and YC Partner Paul Buchheit on Joining Google, How to Become a Great Engineer and Happiness - Triple…
from twitter
6 weeks ago
[ANN] servant-http2-client: Servant clients over HTTP2 (consider it a technical preview, feedback welcome) : haskell
Here we go, first release of servant-http2-client , for you to play over the WE and hate me for the bugs
haskell  from twitter_favs
7 weeks ago
Twitter
Creating an imagine like the one used in the Vertigo movie poster
from twitter_favs
7 weeks ago
Recreating the graph used in the Vertigo movie poster
Creating an imagine like the one used in the Vertigo movie poster
from twitter_favs
7 weeks ago
ghc-justdoit: A magic typeclass that just does it
Now that GHC-8.6 is out, you can finally use with a released version of GHC. Enjoy not having to write code!
from twitter_favs
8 weeks ago
Self-healing material can build itself from carbon in the air | MIT News
Self-healing material can build itself from carbon in the air | MIT News
from twitter
8 weeks ago
Dynamic programming - Wikipedia
Bellman explains the reasoning behind the term dynamic programming in his autobiography, Eye of the Hurricane: An Autobiography (1984, page 159). He explains:

"I spent the Fall quarter (of 1950) at RAND. My first task was to find a name for multistage decision processes. An interesting question is, Where did the name, dynamic programming, come from? The 1950s were not good years for mathematical research. We had a very interesting gentleman in Washington named Wilson. He was Secretary of Defense, and he actually had a pathological fear and hatred of the word research. I’m not using the term lightly; I’m using it precisely. His face would suffuse, he would turn red, and he would get violent if people used the term research in his presence. You can imagine how he felt, then, about the term mathematical. The RAND Corporation was employed by the Air Force, and the Air Force had Wilson as its boss, essentially. Hence, I felt I had to do something to shield Wilson and the Air Force from the fact that I was really doing mathematics inside the RAND Corporation. What title, what name, could I choose? In the first place I was interested in planning, in decision making, in thinking. But planning, is not a good word for various reasons. I decided therefore to use the word “programming”. I wanted to get across the idea that this was dynamic, this was multistage, this was time-varying. I thought, let's kill two birds with one stone. Let's take a word that has an absolutely precise meaning, namely dynamic, in the classical physical sense. It also has a very interesting property as an adjective, and that is it's impossible to use the word dynamic in a pejorative sense. Try thinking of some combination that will possibly give it a pejorative meaning. It's impossible. Thus, I thought dynamic programming was a good name. It was something not even a Congressman could object to. So I used it as an umbrella for my activities."
programming 
9 weeks ago
Twitter
React: expectation vs. reality

(check out other comics here )
from twitter_favs
9 weeks ago
Honestly-undefineds - Rakhim.org
React: expectation vs. reality

(check out other comics here )
from twitter_favs
9 weeks ago
Twitter
Somebody needs to give an award. Kudos to Gabriel and co for getting a massive 40x speedup in the pars…
from twitter_favs
10 weeks ago
Software disenchantment @ tonsky.me
And this is exactly the difference between math and programming:
from twitter_favs
11 weeks ago
Linux 4.19-rc4 released, an apology, and a maintainership note - Linus Torvalds
Linux 4.19-rc4 released, an apology, and a maintainership note - Linus Torvalds
from twitter
12 weeks ago
Twitter
Another argument in favor of Dhall to replace YAML/JSON for configuration. Dual to HLint: Using Dhall to generate H…
from twitter
12 weeks ago
Untitled (https://repology.org/graph/map_repo_size_fresh.svg)
RT : nixpkgs-unstable is killing it:

arch has slightly more packages, but they're not as up to date.
nixos  from twitter
september 2018
Twitter
RT : Do I know anyone at Apple who can help advise Nix-on-Darwin on the OSS CF/CoreFoundation pain we’re experiencing?…
from twitter
september 2018
Twitter
One issue some friends have with ghc is that it is unforgiving. I explained that being like that is a…
from twitter_favs
september 2018
TempleOS
Terry Davis the creator of TempleOS has passed away.
from twitter
september 2018
Twitter
damn valgrind is spicy as hell
from twitter_favs
september 2018
Twitter
When You Should Use Lists in Haskell (Mostly, You Should Not)

HaskellPDF  Haskell  from twitter_favs
september 2018
Twitter
I made a hot take generator. If you have bad opinions, you can get them here without all the effort of thinking abo…
from twitter_favs
august 2018
Twitter
RT : I love all things FP & I'm a really dedicated learner/teacher, enjoy innovation/problem solving, 10y+ exp as dev ba…
from twitter
august 2018
« earlier      
af architecture art auth best bittorrent blog book c c++ cappuccino category chart checklist chiptune cinemagraph clojure color comic compiler computer computer_science continuousintegration cool cqrs cs css culture cv database dataviz demotivational deployment design development devops dialectique dream dweb elm emacs entreprise federation fractal fun functional funny game gem gif git google graph graphics hacker halogen haskell haskellpdf heroku history hn hosting html5 humor humour image images inspiration introduction ios iphone javascript latex learning lifestyle lisp list mac marketing math mathematics meetup ml monads movie music network news nix nixos nlp no_tag node.js org-mode organisation pdf performance philosophy physics picture politic presentation pricing pro productivity programming psychology purescript python read recette reference relativity religion rest rpg ruby scalability science security servant sf shell short_movie sociology sophia-antipolis sql startup startups statistic stream-computing svg theory time todo tolookat tools torrent tutorial tutorials typography ui unread via:popular video vim visualization vps wallpaper web webdesign webdev webgl webhosting website weechat work yesod zsh

Copy this bookmark:



description:


tags: