Linkstream – Telegram
Linkstream
173 subscribers
32 photos
3 videos
2 files
899 links
Various links I find interesting. Mostly hardcore tech :) // by @oleksandr_now. See @notatky for the personal stuff
Download Telegram
K-Best Solutions of MSO Problems on Tree-Decomposable Graphs '17
veeeery interesting indeed
https://arxiv.org/abs/1703.02784
Beyond IEEE754 Floating Point: Next Generation Computer Arithmetic

A new data type posit for direct drop-in replacement for IEEE754.
- Simpler hardware implementation from 2 to thousands of bits.
- Larger dynamic range, higher accuracy, better closure under arithmetic operations, and simpler exception-handling
- Unlike unum arithmetic, posits do not require interval-type mathematics or variable size operands, and they round if an answer is inexact, much the way floats do.

Talk: https://www.youtube.com/watch?v=aP0Y1uAA-2Y
Slides: http://web.stanford.edu/class/ee380/Abstracts/170201-slides.pdf
ManyDSL: A Host for Many Languages
https://arxiv.org/pdf/1612.03488.pdf
Modeling Universal Instruction Selection (ICPPCP'15)
> This paper introduces a graph-based universal representation that unifies data and control flow for both programs and processor instructions.
https://www.sics.se/~rcas/publications/HjortCastanedaEa_CP_2015.pdf
Simple Model of Spiking Neurons
Eugene M. Izhikevich, IEEE Transactions on Neural Networks '03
http://www.izhikevich.org/publications/spikes.htm
Community dynamics, emergent behavior and self-organization, all in 72 hours
http://sudonoscript.com/reddit-place/
Improved Optimal and Approximate Power Graph Compression
for Clearer Visualisation of Dense Graphs [2013]
https://arxiv.org/pdf/1311.6996.pdf
A Scope Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
remark: still, the whole universe smells like totally unsuitable notation for the task
https://gallais.github.io/pdf/draft_fscd17.pdf
What do Constraint Programming Users Want to See?
Exploring the role of Visualisation in Profiling of Models and Search
http://marvl.infotech.monash.edu/~dwyer/papers/cpprofiling.pdf