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

Performance-based Real-time ad bidding / MSR 2011
http://research.microsoft.com/en-us/um/people/nikdev/pubs/rtb-perf.pdf

97 viewsedited 10:54

MSR 2012
https://www.microsoft.com/en-us/research/publication/uniqueness-and-reference-immutability-for-safe-parallelism/

Microsoft Research

Uniqueness and Reference Immutability for Safe Parallelism - Microsoft Research

A key challenge for concurrent programming is that side-effects (memory operations) in one thread can affect the behavior of another thread. In this paper, we present a type system to restrict the updates to memory to prevent these unintended side-effects.…

94 views10:55

https://geektimes.ru/post/278814/

Solar Impulse завершил кругосветное путешествие

Solar Impulse Кругосветное путешествие «солнечного самолёта» Solar Impulse 2 завершилось успехом. Два часа назад летательный аппарат сел в Абу-Даби, городе,...

105 views11:04

http://www.techradar.com/news/computing-components/graphics-cards/amd-has-just-put-an-ssd-on-a-graphics-card-1325400

AMD has just put an SSD on a graphics card

Radeon Pro SSG will be ideal for VR content creation and the likes of 8K video post-production

96 views15:28

https://blog.rust-lang.org/2016/04/19/MIR.html

93 views15:49

Disadvantages of purely functional programming

TLDR: memory management is hard. Again.
http://flyingfrogblog.blogspot.com/2016/05/disadvantages-of-purely-functional.html

92 viewsedited 15:55

http://www.benstopford.com/2015/02/14/log-structured-merge-trees/

Log Structured Merge Trees

A detailed look at the interesting LSM file organisation seen in BigTable, Cassandra and most recently MongoDB.

93 views18:54

http://blog.paranoidcoding.com/2014/08/19/rethinking-enumerable.html

76 views09:04

http://matt.might.net/articles/metacircular-evaluation-and-first-class-run-time-macros/
still not $vau and first-class environments, but nice

78 views13:02

https://codewords.recurse.com/issues/four/the-language-of-choice

79 views13:02

Just-in-Time Static Type Checking for Dynamic Languages
https://arxiv.org/abs/1604.03641

Just-in-Time Static Type Checking for Dynamic Languages

Dynamic languages such as Ruby, Python, and JavaScript have many compelling benefits, but the lack of static types means subtle errors can remain latent in code for a long time. While many...

83 viewsedited 14:55

How can a dynamically typed language not actively prevent static checking? (related to previous one)
http://lambda-the-ultimate.org/node/5320

72 views05:57

First-class environments [are to modules and encapsulation what delimited continuations are to control flow]
http://lambda-the-ultimate.org/node/3861#comment-57967

71 views06:00

QBE - Minimalistic compiler backend
http://c9x.me/compile/

69 viewsedited 06:01

[very limited but reasonable] Eventrons: a safe programming construct for high-frequency hard real-time applications [in Java]
http://dl.acm.org/citation.cfm?doid=1133981.1134015

70 viewsedited 06:02

Ron Pressler [Scoped Continuations compose better than monads]
http://blog.paralleluniverse.co/2015/08/07/scoped-continuations/

70 views06:05

Kiselyov on delimited control
http://okmij.org/ftp/continuations/implementations.html

Implementing Delimited Control

Techniques for implementing and emulating delimited control in various language systems

66 views06:05

[esoteric language, used in the industry, formal reasoning]
https://en.wikipedia.org/wiki/Esterel

synchronous programming language for the development of complex reactive systems

68 views06:07

Ron Pressler Why Writing Correct Software is Hard
http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/

73 views06:08

David Moon "http://users.rcn.com/david-moon/PLOT/page-1.html" [no implementations yet]
http://users.rcn.com/david-moon/PLOT/page-1.html

72 views06:10