setra

40 ms·

391.
California man fights DUI charge for driving under influence of caffeine(theguardian.com)
93 points by setra 10y ago|100 comments
392.
SSC: Contra NYT on Economists on Education(slatestarcodex.com)
1 points by setra 10y ago|0 comments
393.
Haskell: Why I prefer typeclass-based libraries(yesodweb.com)
1 points by setra 10y ago|0 comments
394.
by setra 10y ago
Watching various media outlets they tend to say something along the lines of: "Russia hacked the election!". Reporting on the hack of the DNC / Podesta, followed by saying that Russia attempted to influence the US election. B
395.
Construction of real algebraic numbers in Coq(hal.inria.fr)
3 points by setra 10y ago|0 comments
396.
by setra 10y ago
What even is this? I see some beagleboards in the 3d renderings provided as the backgrounds. However little information on anything related to their claim or what they do.
397.
The Type Theory Podcast(typetheorypodcast.com)
2 points by setra 10y ago|0 comments
398.
Tox Considered Harmful(zetok.github.io)
1 points by setra 10y ago|0 comments
399.
Locust: An open source load testing tool(locust.io)
3 points by setra 10y ago|0 comments
400.
Linus Tech: Intel CPU Innovation.. Or Lack Thereof?(youtube.com)
1 points by setra 10y ago|0 comments
401.
C++ Memory Mapped STL Containers(github.com)
4 points by setra 10y ago|0 comments
402.
by setra 10y ago
Followed by the cost of the government paying for their children (who will be citizens), because they certainly won't be able to afford to take care of several children on those low wage jobs. School, and welfare programs will add up,
403.
Mercury Lang: Prolog Meets Haskell(mercurylang.org)
5 points by setra 10y ago|1 comments
404.
BrowserFS: an in-browser filesystem with many back ends(github.com)
121 points by setra 10y ago|20 comments
405.
Haskell-based Infrastructure(abailly.github.io)
3 points by setra 10y ago|0 comments
406.
Linux (2003)(urbandictionary.com)
108 points by setra 10y ago|42 comments
407.
SEL4: Mathematically Verified Software Kernels (2014) [pdf](sel4.systems)
96 points by setra 10y ago|34 comments
408.
by setra 10y ago
This is big news! Those of us who have been using protonmail have be waiting since the beginning for the ability to use clients.
409.
by setra 10y ago
IQ and education level are well correlated. It would be odd if that did not also correlate with success.
410.
DigitalOcean Agent for Additional Droplet Graphs(digitalocean.com)
2 points by setra 10y ago|0 comments
411.
Dotsies: Space optimized font for computers (5 vertical dots)(dotsies.org)
1 points by setra 10y ago|0 comments
412.
by setra 10y ago
Nix is used / usable in production. Guix is still pretty far away.
413.
Daala: Modern video compression for the internet(github.com)
146 points by setra 10y ago|38 comments
414.
logic programming with miniKanren: an interactive Tutorial(io.livecode.ch)
1 points by setra 10y ago|0 comments
415.
Differences between miniKanren and Prolog(minikanren.org)
2 points by setra 10y ago|0 comments
416.
South Korea Defense Super AEgis II Robot Turret-Sentry(youtube.com)
1 points by setra 10y ago|0 comments
417.
Respecting Boundaries with Inhomogeneous Kernels(chrisstucchio.com)
1 points by setra 10y ago|0 comments
418.
Sokal affair(en.wikipedia.org)
3 points by setra 10y ago|0 comments
419.
by setra 10y ago
Generated: If one examines textual theory, one is faced with a choice: either reject Marxism or conclude that the raison d’etre of the reader is deconstruction. It could be said that the subject is interpolated into a postsemantic nationali
420.
by setra 10y ago
This only applies at the small scale. As software is run on many machines the cost of increasing performance easily pays for itself.

More ›