8001
Twitter
Why isn't there a startup that takes my {list of characteristics/interests/loves} and runs a bunch of linear regres…
from twitter_favs
3 hours ago
Twitter
Ce matin je lance Artifices Intelligents, un blog destiné à traiter d'intelligence artificielle, de son im…
from twitter_favs
7 hours ago
Twitter
Can't you counts how many are typesafe?
from twitter_favs
19 hours ago
Twitter
"Amazon has hired more than 150 Ph.D. economists in the past five years, making them the largest employer of tech e…
from twitter_favs
20 hours ago
Twitter
“give your daughters difficult names. give your daughters names that command the full use of tongue. my name makes…
from twitter_favs
yesterday
Twitter
We need a clippy plugin that generates these
from twitter_favs
yesterday
Twitter
Where, when and how much do young Swiss people drink? A new study based on smartphone data collection provides answ…
from twitter_favs
yesterday
Twitter
Last week's U.N. climate report gave a terrifyingly clear picture of a world on the brink of locking in catastrophe…
from twitter_favs
2 days ago
Twitter
Bitcoin accelerating our dive off the cliff is just the most universally destructive self own and it becoming mains…
from twitter_favs
3 days ago
Twitter
If coding doesn't feel like being totally lost and having no clue what you're doing, followed by hours of trying di…
from twitter_favs
3 days ago
Twitter
We presented the core ideas of GRIN at 2018.
slides:
video:…
haskellx  from twitter_favs
4 days ago
Grin-HaskellX2018 - Google Slides
We presented the core ideas of GRIN at 2018.
slides:
video:…
haskellx  from twitter_favs
4 days ago
Twitter
Realizing the numeric's tower sucks ass for the 4th or 5th time in my life , and making myself calm by looking up f…
from twitter_favs
4 days ago
Twitter
Hi Jack. Thanks for the feedback. Which homeless programs in our city are you supp…
from twitter_favs
5 days ago
Emulating the elegance of JavaScript's `new Array` in Haskell · GitHub
Someone finally ported JavaScript’s ‘new Array’ semantics to Haskell
from twitter
6 days ago
Twitter
32 linearly actuated legs make an omnidirectional robot - formally the shape is a "rhombic triacontahedron".…
from twitter_favs
6 days ago
Twitter
One of the most nakedly honest formulations I’ve seen of US FP ever. “Who gives a crap about human rights when 100…
from twitter_favs
6 days ago
Twitter
A new paper on eliminating -point timing channels with a DSL implementing code transforms t…
llvm  floating-point  haskell  from twitter_favs
6 days ago
Twitter
Best thing you’ll see all day.
from twitter
7 days ago
Twitter
Action shots from the defence of our most recent PhD graduate, Janwillem Swalens. His dissertation “A Multi-Paradi…
from twitter_favs
7 days ago
jon sterling (@jonsterling) on Twitter
tfw you're unleashing a really cool new proof assistant
from twitter_favs
7 days ago
Twitter
Formal verification of helicopter automatic landing control algorithm in theorem prover Coq. ~ X. Chen, G. Chen.…
from twitter_favs
7 days ago
Audiobooks | Downpour.com
If you're into audio books, has lower prices than Amazon's Audible or Apple's iTunes and th…
from twitter_favs
7 days ago
Twitter
If you're into audio books, has lower prices than Amazon's Audible or Apple's iTunes and th…
from twitter_favs
7 days ago
Twitter
Of course but still, with the price we pay, they could at least get a server to reliably serve a JSON f…
from twitter
8 days ago
Twitter
The real shame is once again that the hard problem (getting buses to arrive on time) is here solved reliably, while…
from twitter
8 days ago
Twitter
It might not be easy to accurately report arrival times in real-time, but the least you could do is harden your web…
from twitter
8 days ago
Twitter
Hey , I think it’s time you hire some real iOS developers, your app has been reporting incorrect timetables…
from twitter
8 days ago
Twitter
Why is Blink more secure?

Next to simply allowing other rendering engines, Apple would also have to gr…
from twitter_favs
8 days ago
Dieter Rams scolds Apple in new Gary Hustwit movie
*Dieter Rams is tired of the way that Silicon Valley carries on. Apparently his faith in them hasn't been restored
from twitter_favs
9 days ago
Untitled (https://nadav.amit.zone/blog/linux-inline)
Reaction:
1. Oh god why
2. I thought it was only JavaScript engines that did things like th…
from twitter_favs
9 days ago
Twitter
Reaction:
1. Oh god why
2. I thought it was only JavaScript engines that did things like th…
from twitter_favs
9 days ago
Twitter
Library for writing typed, functional event sourced services in based on cats and shapeless. Uses for…
akka  Scala  from twitter_favs
10 days ago
Twitter
RT : Swiss research couldn’t thrive without international networks. Therefore Switzerland must be seen as a reliable con…
from twitter
10 days ago
Twitter
has just open sourced a few libraries. The DataFixerUpper is something special; really didn’t…
Microsoft  Minecraft  from twitter_favs
11 days ago
(429) https://twitter.com/i/web/status/1048705487213142016
Richard Eisenberg seems to agree

"Here is the definition for the Fin type. This one's I think rather hard to und…
from twitter_favs
11 days ago
Twitter
Hello, Scala, my old friend
I've come to deal with you again
Because a service that has been condemned
Requires run…
from twitter_favs
11 days ago
GitHub - alexwl/haskell-code-explorer: Web application for exploring and understanding Haskell codebases
Haskell code explorer: Web application for exploring and understanding Haskell codebases
from twitter
12 days ago
Twitter
Today's market action reminds me of when the BBC and Boris Yeltsin had this exchange:

BBC: Do you speak English?…
from twitter_favs
13 days ago
Twitter
We open a new chapter in software architectures for effect handling: GHC’s new DerivingVia extension enables us to…
from twitter_favs
14 days ago
Twitter
In Russia’s arctic wilderness, the remnants of one of the Soviet Union’s most tragic gulag projects now lies largel…
from twitter_favs
14 days ago
Twitter
Great article on why we should enjoy our hobbies, not because we are good at it, but because we enjoy it: “The gent…
from twitter_favs
14 days ago
Twitter
Has the ‘Self’ type already been introduced yet? If not my guess would be that they didn’t want to…
from twitter
14 days ago
Hercules CI
🎉 Announcing together with — Continuous Integration service for Nix users launching beta in November.
from twitter_favs
15 days ago
Twitter
Millennials across the globe just dropped their avocado toast and catpuccino in horror.
from twitter_favs
15 days ago
Twitter
the jury is still out. some people think that you need to suffer through some pain to appreciate rust. I pe…
from twitter_favs
15 days ago
Twitter
Great post, really enjoyed it! Would love to hear your thoughts about learning Rust instead of C as a…
from twitter
15 days ago
Twitter
Really excited about this talk being up! Should give people a good overview of what I've been working on for the pa…
from twitter_favs
15 days ago
GitHub - haskell/haskell-ide-engine: The engine for haskell ide-integration. Not an IDE
FWIW I had no problem building for GHC 8.2.1, 8.2.2, 8.4.2 and 8.4.3 on Mojave using Stack.
from twitter
15 days ago
Twitter
PAPER:

Someone writes 2 numbers on 2 slips of paper. You pick a slip of paper, see the number and try to guess whi…
from twitter_favs
15 days ago
Twitter
My preferred anecdote from when I moved to Switzerland was being at a bus stop and one…
from twitter_favs
16 days ago
Twitter
How to use Nix to automatically create multi-layered Docker images, allowing a high amount of caching between image…
from twitter
16 days ago
Twitter
"The Rational Keyboard is an experiment in harmony on the rational number line. It's kind of like a piano with infi…
from twitter_favs
16 days ago
Twitter
Either algebraic automata theory ( ) or analytic combinatorics (…
from twitter_favs
16 days ago
Krohn–Rhodes theory - Wikipedia
Either algebraic automata theory ( ) or analytic combinatorics (…
from twitter_favs
16 days ago
Twitter
TLA+ for modeling and verifying concurrent systems as I’ve so far always stuck to functional properties of determin…
from twitter
16 days ago
Twitter
If you had free 40 hours to study one CS or SE topic, what would it be and why?
from twitter_favs
16 days ago
Twitter
some of the original notes on Conway's game of life, written out on a typewriter. they are so beautiful and endeari…
from twitter_favs
16 days ago
Twitter
Such a shame. Organ donation really ought to be opt-out instead of opt-in.
from twitter
16 days ago
Twitter
Hnífsdalsvegur 8, 400 Ísafirði
from twitter_favs
16 days ago
« earlier      
3d akka algorithms animation api app architecture art assembly async authentication backbone backup bitcoin book books browser business c canvas career categorytheory cats chat chess chrome clojure clojurescript cloud cms cocoa code coffeescript compiler computation computer-science concurrency coq coroutines course crdt cryptography cs css css3 culture data database datastructures debug debugging dependent-types deployment design development devops distributed-systems dns docker documentation dom dotty dropbox ebook ecc economics economy editor education effects elmlang email entrepreneurship erlang ferguson font formal-verification fp fp101x framework free-monads functional functionalprogramming future gamedev games garbage-collector generator ghc git github go golang hacking happiness hardware hash hashing haskell heartbleed history hosting html html5 http humor icons idris innovation interview ios iphone java javascript job jquery json jvm language language-design latex learning lifehacks linux lisp llvm logic lua mac macos markdown math mathematics mobile monads mooc music mvc mysql neovim network networking nginx node.js nodejs nosql nsa objective-c om online open-source opensource os osx p2p papers parser parsing peg performance philosophy php physics plt plugin politics postgres presentation privacy productivity profiling programming promises psychology purescript python rails react reactive reactjs reactnative reader recursion recursion-schemes reddit redis redux reference research responsive rest ruby rust rustlang rx rxjs sass scala scaladays scalajs scalaz scaling scheme school science search security server sexism shapeless shell smt software space sql ssl startup startups static statistics strangeloop swift switzerland talk talks tech technology ted templating test testing tex tls tool tools tor transducers tutorial type type-theory types typo3 typography ui ux vector video virtualization visualization vm web webgl webrtc writing

Copy this bookmark:



description:


tags: