Linkstream – Telegram

Linkstream

171 subscribers

36 photos

3 videos

2 files

958 links

Various links I find interesting. Mostly hardcore tech :) // by @oleksandr_now. See @notatky for the personal stuff

Download Telegram

About

Blog

Apps

Platform

171 subscribers

(there are Part 3 and Part 4 too)

79 views18:20

LISP satire + discussion
https://news.ycombinator.com/item?id=12230869

81 views18:24

"One document to learn numerics, science, and data with Python"
http://www.scipy-lectures.org/

85 views18:32

+ more links at
https://news.ycombinator.com/item?id=12179339

90 views18:33

ssh is a nice swiss army knife... if a bit too overstuffed with features
https://medium.com/swlh/ssh-how-does-it-even-9e43586e4ffc#.8ozo0gpug

Why aren’t we using SSH for everything?

Dozens of facts about the SSH protocol and why we should use it for more things.

93 views18:46

package manager madness
https://medium.com/friendship-dot-js/i-peeked-into-my-node-modules-directory-and-you-wont-believe-what-happened-next-b89f63d21558#.894kzpzbs

What Happened When I Peeked Into My Node_Modules Directory

Just absolute madness

97 views21:39

https://medium.com/@gaperton/introduction-to-nestedtypes-data-framework-69aff986287e#.mqpyyw4ih

Introduction to NestedTypes Data Framework

When we started our new web client project at Volicon two and a half years ago, there was no common agreement in an industry on how single…

97 views14:47

https://alastairreid.github.io/alastairreid.github.io/using-armarm/

alastairreid.github.io

Verifying against the official ARM specification

Part of the reason why the ISA-Formal technique for verifying ARM
processors is so effective and
so portable across different ARM processors is the fact that we directly use the
ARM Instruction Set Architecture (ISA) Specification in our flow.
That is, I…

97 views21:38

[seL4] Latest experimental RT kernel released
https://sel4.systems/pipermail/devel/2016-June/000831.html

106 views21:48

https://microkerneldude.wordpress.com/2016/06/16/verified-software-can-and-will-be-cheaper-than-buggy-stuff/

microkerneldude

Verified software can (and will) be cheaper than buggy stuff

Software is expensive. Verified software is more expensive (although not as much as people think). But we’re working on closing that gap, with the aim of making verified (highest-assurance) s…

120 views21:49

https://ts.data61.csiro.au/projects/TS/cogent.pml

115 views21:53

Xen exploitation part 3: XSA-182, Qubes escape
http://blog.quarkslab.com/xen-exploitation-part-3-xsa-182-qubes-escape.html

128 views21:57

every system is a distributed system now
https://www.somethingsimilar.com/2013/01/14/notes-on-distributed-systems-for-young-bloods/

141 viewsedited 10:08

[RU] http://akuklev.livejournal.com/1241488.html

Углеродные наноторы

Вот вроде как сейчас научились делать совсем хорошие одностенные углеродные нанотрубки с больших количествах и практически без дефектов. Научились делать их…

126 views08:54

[ICFPC]
[EN] https://github.com/cakeplus/icfp-2016-wild-bashkort-mages
[RU] http://users.livejournal.com/-adept-/129775.html

cakeplus/icfp-2016-wild-bashkort-mages

icfp-2016-wild-bashkort-mages - ICFP Programming Contest 2016 submission by WILD BASHKORT MAGES

139 viewsedited 09:14

Simit, a new language for physical simulations that lets the programmer view the system both as a linked data structure in the form of a hypergraph, and as a set of global vectors, matrices and tensors depending on what is convenient at any given time.
https://dspace.mit.edu/handle/1721.1/97075#files-area

139 views14:26

Burnout is caused by mismatch between unconscious needs and job demands
https://www.sciencedaily.com/releases/2016/08/160811171643.htm

120 views14:06

https://pseudoprofound.wordpress.com/2016/08/03/differentiable-programming/

Pseudo-profound samples

Differentiable Programming

Introduction If you haven’t already, read this very thought-provoking article on colah’s blog about the connection between functional programming and neural networks. I would bet that we&#821…

134 views15:12

http://www.raikoth.net/lololol.html

139 views16:53

thankfully everybody knows OO is not a silver bullet, but studying rants of experienced OO designers is still useful
http://www.bon-method.com/book_print_a4.pdf

160 views18:21