6367
(404) https://twitter.com/XenoKovah/status/912011064304267264
RT : Fascinating look at the new EFI integrity checks in High Sierra. I knew nothing about this.
from twitter
16 hours ago
Twitter
How does deep learning work? The key may be forgetting:
from twitter_favs
16 hours ago
Twitter
Monospaced Programming Fonts with Ligatures via
from twitter_favs
2 days ago
Twitter
“There is an actor reference which does not represent an actor but acts only as a pseudo-supervisor for the root gu…
from twitter
3 days ago
Kafka as a message queue
Slides from my meetup talk: How to implement a message queue on top of ?
Kafka  London  from twitter_favs
4 days ago
Twitter
I kinda wish I had never followed . I would be much less grumpy about computers not working the righ…
from twitter
4 days ago
(500) http://Twitter.app
In other news, scrolling in on a brand new MBP 2017 i7 lags like crazy. I miss the time when was behind it…
from twitter
4 days ago
Twitter
Just rebooted and it started up right away. Kinda tired of rebooting/re-pairing devices but at least it still works…
from twitter
4 days ago
We need a completely new Brexit hit squad, and fast, to deliver the visionary deal we require
We need a completely new Brexit hit squad to deliver the visionary deal we require - Allister Heath
premium  from twitter_favs
4 days ago
Twitter
Watch her presentation here:
from twitter
4 days ago
Twitter
Reminds me I should finish my port of the soundness proof of STLC did in Dafny.
from twitter
4 days ago
Stainless
RT : Anyone interested in porting this to subset of ?
from twitter_favs
4 days ago
Twitter
RT : Anyone interested in porting this to subset of ?
from twitter_favs
4 days ago
Software Foundations
RT : It appears that Software Foundations has morphed into 3 volumes!
from twitter_favs
4 days ago
The Eta Programming Language
Would be nice to have a Rust-based runtime for Haskell though. Now that there’s even a JVM one:
from twitter
4 days ago
Twitter
Time to rewrite Go in Rust?
from twitter
4 days ago
Twitter
Time to rewrite the JVM in Rust?
from twitter
4 days ago
Clever Machines Learn How to Be Curious | Quanta Magazine
Intrinsic reward systems are being tested in the Mushroom Kingdom.
AI  from twitter_favs
4 days ago
Twitter
Intrinsic reward systems are being tested in the Mushroom Kingdom.
AI  from twitter_favs
4 days ago
Twitter
Implementation can be found here:
from twitter
5 days ago
Untitled (https://pp.info.uni-karlsruhe.de/uploads/publikationen/ullrich16masterarbeit.pdf)
Sebastian Ullrich: Simple Verification of Rust
Programs via Functional
Purification
from twitter
5 days ago
Untitled (https://infoscience.epfl.ch/record/230242/files/EPFL_TH7636.pdf)
RT : Blanc: Verification by Reduction to Functional Programs

(This is the thesis describing the Leon system)
from twitter
5 days ago
Pijul - New release - Pijul 0.8
RT : New release of Pijul (a distributed version control system based on a sane theory of patches) by
from twitter
6 days ago
Twitter
When you use Facebook "OSS" you're participating in a scheme cooked up by F…
from twitter_favs
7 days ago
Twitter
Error: undefined is not a function
from twitter
8 days ago
Twitter
RT : To exit neovim, just unlift the current monad and project onto the terminal object
from twitter_favs
8 days ago
Twitter
Maybe not the only one, but currently the most useful one for sure.
from twitter
8 days ago
CTAN: Package tengwar
Of course there’s a LaTex package for Tengwar, the written language mostly used by Elves in LotR:
from twitter
9 days ago
"introductory course" on microcontroller-based "embedded systems" that uses Rust
"introductory course" on microcontroller-based "embedded systems" that uses Rust
9 days ago
Untitled (https://japaric.github.io/discovery/)
"an "introductory course" on microcontroller-based "embedded systems" that uses "
RustLang  from twitter_favs
9 days ago
MagicHaskeller: An Inductive Functional Programming System for Casual/Beginner Haskell Programmers
Cool! MagicHaskeller: Specify a function by writing a predicate, get functions generalizing the specification.
from twitter_favs
10 days ago
Twitter
i’m assuming you’ve seen this paper? I’m hopeful to see more work like this and production systems aroun…
from twitter_favs
11 days ago
Verified cryptography for Firefox 57 | Mozilla Security Blog
Formally verified crypto from MSR project Everest coming soon in Firefox:
from twitter_favs
11 days ago
Bay Area Rust Meetup May 2016 | Air Mozilla | Mozilla, in Video
Spark is considered harmful. I’m hopeful something like this will destroy it long term: - rust rules :-)
from twitter_favs
11 days ago
Twitter
I guess it also depends what one sees their phone as. I see mine as a complement to my laptop as well as…
from twitter
11 days ago
Twitter
I agree 100%. I change mine every 4 years or so, so I don’t feel like an addict but ymmv. Though then I…
from twitter
11 days ago
Twitter
I won’t buy one anytime soon, but having some insights from a friend at Apple into what it took to relea…
from twitter
11 days ago
Twitter
Disregarding the marketing, it’s a great incremental upgrade. We can’t have a first iPod/iPhone/Mac-styl…
from twitter
11 days ago
Abstracting Definitional Interpreters: Functional Pearl
Great paper on abstracting definitional interpreters to obtain sound symbolic execution engines:
from twitter
11 days ago
Improved iPhone AR Capabilities Produces The Machines – VRFocus
ARKIt and Unreal Engine combines to create strategy title The Machines for iOS11:
AR  from twitter_favs
12 days ago
Twitter
ARKIt and Unreal Engine combines to create strategy title The Machines for iOS11:
AR  from twitter_favs
12 days ago
Untitled (http://goto.ucsd.edu/~gleissen/papers/brisk.pdf)
Bakst, Gleissenthall, Kıcı & Jhala: Verifying Distributed Programs via Canonical Sequentialization
from twitter_favs
13 days ago
Twitter
Nice! Looking forward to the EP :) Gotta make a big marketing campaign thought and designed…
from twitter
13 days ago
Twitter
“It lulls you into thinking it is reasonable, but when you are not looking it stabs you in the back and aliases all…
from twitter
14 days ago
bytestring/Internal.hs at master · haskell/bytestring · GitHub
“This function […] unpicks the seams of reality (and the 'IO' monad) so that the normal rules no longer apply.”
from twitter
14 days ago
parking_lot::deadlock - Rust
interesting, a deadlock detector activated by a compile time feature
from twitter_favs
14 days ago
Twitter
UI libs seem to be, surprisingly, performing at-par (if not better) than UI libs.
Purescript  Haskell  GHCJS  from twitter_favs
14 days ago
Twitter
Yes. I want a distributed PL that can only compute the subset of things that can be verified by othe…
from twitter_favs
15 days ago
Twitter
Cop pulls over a black man for failure to signal, walks to his car with his gun drawn... Black dude is my fucking…
from twitter_favs
15 days ago
Twitter
fd - simple, fast and user-friendly alternative to find - written in (did I mention it's fast? 😁)…
rustlang  from twitter_favs
15 days ago
Untitled (https://newrepublic.com/minutes/144735/we-naming-hurricanes-exxon-chevron-not-harvey-irma)
RT : New study out today asserts 50% of temperature increase & 32% of sea level rise was caused by just 90 companies
from twitter_favs
15 days ago
Announcing Squeal - Morphism
Squeal, a deep embedding of PostgreSQL in Haskell:
from twitter
15 days ago
git.haskell.org - ghc.git/commit
RT : Semigroup now a superclass of Monoid in GHC head!
from twitter
17 days ago
Twitter
RT : Lots of people are rating Al Gore's new movie. Not many of them have actually seen it.
from twitter
17 days ago
Al Gore’s New Movie Exposes The Big Flaw In Online Movie Ratings | FiveThirtyEight
RT : Lots of people are rating Al Gore's new movie. Not many of them have actually seen it.
from twitter
17 days ago
Twitter
John Wiegley : Using Coq to write fast and correct Haskell : Fiat for fun and profit ( bytestring example )…
from twitter_favs
17 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 chat chess chrome clojure clojurescript cloud cms cocoa code coffeescript compiler computation computer-science concurrency 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 future gamedev games 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 markdown math mathematics mobile monads 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 scheme school science search security server sexism shapeless shell smt software space sql ssl startup startups statistics strangeloop 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: