4949
Tamarin Prover
The Tamarin prover: a security protocol verification tool in that supports falsification and verification
Haskell  from twitter_favs
5 days ago
Comfortable learning curve for learning Elixir — part 1
Start learning from very beginning! Tag 🤓👧👦 friends👍
🔖 on Medium - more articles are coming!
elixirlang  from twitter_favs
19 days ago
Coraline Ada Ehmke: Antisocial Coding: My Year at GitHub
I am finally ready tell my story.

“Antisocial Coding: My Year at GitHub”
from twitter_favs
20 days ago
Twitter
Thank you for proving everyone wrong
from twitter_favs
21 days ago
Predicting the Success of a Reddit Submission with Deep Learning and Keras
New blog post up: Predicting the Success of a Reddit Submission with Deep Learning and Keras
from twitter_favs
29 days ago
Untitled (https://www.youtube.com/watch?v=PUXJ3R1F2oU)
NLP rockstar (and summer visitor) Mirella Lapata gesticulates and talks about the field
from twitter_favs
4 weeks ago
Twitter
Exceedingly helpful deck: “Automating Data-analysis Pipelines” by and ,
from twitter_favs
4 weeks ago
(429) https://twitter.com/AndrewYNg/status/878328923087556610/photo/1
Launching my new project! Hope will help many of you: deeplearning.ai More announcements soon.
deeplearniNgAI  from twitter_favs
4 weeks ago
Twitter
Clever algorithm to find out whether or not 2 words are anagrams
from twitter_favs
5 weeks ago
Twitter
Why are we going so slow?
(Ignores large elephant walking across room)

retrospective  kanban  agile  kaizen  from twitter_favs
6 weeks ago
Twitter
Predicting characters using , release the dataset on soon. Medium post:…
Keras  Simpsons  from twitter_favs
6 weeks ago
Boring Haskell | Eventsourced aggregates in Haskell
So about that blog post I’ve been tweeting about: Boring - Eventsourced aggregates in Haskell
Haskell  from twitter_favs
7 weeks ago
Conversations with Technology Leaders: Erik Meijer - ACM Queue
has a discussion with Erik Meijer in 's "The Soft Side of Software." …
from twitter_favs
7 weeks ago
Twitter
has a discussion with Erik Meijer in 's "The Soft Side of Software." …
from twitter_favs
7 weeks ago
Twitter
No worries, surgeons. You're good for > 35 years :-)
AI  from twitter_favs
7 weeks ago
Lambda Explorer
Online REPL for lambda calculus
from twitter_favs
7 weeks ago
Twitter
some reasons a programming language's ~community~ matter, unless you plan to start by creating the universe.
from twitter_favs
7 weeks ago
Twitter
My 3 different ways for doing backprop in : 1) high level optimizer, 2) tf.gradients, 3) from scratch…
TensorFlow  from twitter_favs
8 weeks ago
[1606.08954] Greedy, Joint Syntactic-Semantic Parsing with Stack LSTMs
Waleed and Matt's new NLP podcast We extended Stack LSTMs to do joint syn-sem parsing!
from twitter_favs
9 weeks ago
Twitter
If you only watch one talk about Elixir, this is my pick. There's a recording from -…
from twitter_favs
9 weeks ago
At last, summer ending for Popovich - San Antonio Express-News
“Shut the hell up,” Popovich tells himself. “It's not all going your way.”
basketball  life  coaching  stoicism 
10 weeks ago
Announcing SyntaxNet: The World’s Most Accurate Parser Goes Open Source
Announcing SyntaxNet: The World’s Most Accurate Parser Goes Open Source
from twitter_favs
10 weeks ago
Twitter
As a senior dev, I disagree. Feedback from junior devs is critical to me. If they don't understand it, even if it's…
from twitter_favs
12 weeks ago
filesystem - What is the rationale for the `/usr` directory? - Ask Ubuntu
RT : very nice Unix lore about /usr/ and /usr/bin here, a very fine diversion. thank you, unix historian.
from twitter_favs
12 weeks ago
Twitter
Today is April 25th 2017, Japan Time.

Kaneda from AKIRA gets his license today.

AKIRAの金田の免許取得日キタ━━━━(゚∀゚)━━━━!!
from twitter_favs
april 2017
Twitter
. "So, Alec, why do you recommend running servers in a firewalled encl…
Onion  from twitter_favs
april 2017
Untitled (https://sebastianraschka.com/pdf/books/dlb/appendix_f_numpy-intro.pdf)
Some PyML readers were missing a NumPy intro. Just put one together; turned out comprehensive. Hope it’s useful! :)
from twitter_favs
april 2017
Naive Bayes and Text Classification
This was awesome, as a ML enthusiast I found it to be the clearest explanation for naive bayes classi.cheers
from twitter_favs
april 2017
Twitter
I was playing with cowsay and now my Ansible playbooks are like this. I think I'll just keep that.
from twitter_favs
april 2017
Twitter
"Clean code written with TDD" = many programmer's definition of high quality software.

ISO standard on sw quality…
from twitter_favs
april 2017
Machine learning hasn't been commoditized yet, but that doesn't mean you need a PhD · fast.ai
Machine learning hasn't been commoditized yet, but that doesn't mean you need a PhD
from twitter_favs
march 2017
Ultra-rich man’s letter: “To My Fellow Filthy Rich Americans: The Pitchforks Are Coming” – TIP
You show me a highly unequal society, and I will show you a police state. Or an uprising.
world  life  future 
march 2017
Microservices and the First Law of Distributed Objects
Watch me wave my hands and bore you with arbitrary and irrelevant opinions on microservices VS. distributed objects:
from twitter_favs
march 2017
Twitter
Culture is not about yoga and company chefs. It's about the decisions that you make and the example that you set. —…
from twitter_favs
march 2017
« earlier      
2006 _share accessibility advocacy ai ajax algorithms amazon analysis analytics apache api apple architecture article articles astronomy atom atompub aws bash basketball bigdata blogs books brasil browsers bsd business c caching cheatsheet code comics commandline comparison computer concurrency cool css culture data data_science database databases datamining deployment design desktop development distributed distros django ebooks economics editor education elasticsearch elixir emacs engineering enterprise erlang essays extensions fedora festu firefox football framework freebsd freedom fun functional future games geek gentoo git google guide hacks haskell history howto html html5 http ibm internet it java javascript json kernel languages learning library libs licenses linux lisp mac machine macosx management math media messaging metaprogramming microsoft ml mobile mongodb movies mozilla music mysql need_tags network nfl nlp nosql oop openid opensource optimization osx papers patterns performance perl philosophy php physics plugins politics postgresql presentation productivity programming protocols psychology python r rails redhat reference rest ruby rubyconfbr scalability science search security semanticweb shell smalltalk soa soap social software softwarelivre space sports standards starred statistics strategy subversion sysadmin sysop systems technology telco testing tips tools toomuchfreetime tutorial ubuntu unix usability video vim visualization voip w3c web web2.0 webdesign webdev webservers webservices webstandards wiki windows wireless wordpress world wsgi xml

Copy this bookmark:



description:


tags: