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
Both Julia and Scala people are trying to generalize numeric types. Julia approach can be found in the docs and issues on the compiler itself, and Scala approach is a library:
https://github.com/non/spire
CIA Hacking Tools Leak (looks too polished though)
https://wikileaks.org/ciav7p1/index.html
#gamedev #cg Hashed and Stochastic Alpha-Testing (I3D '17)
http://cwyman.org/papers/i3d17_hashedAlpha.pdf
Fast, simple and unbiased importance sampling (Baker '87)
https://en.wikipedia.org/wiki/Stochastic_universal_sampling
Making Least-Squares estimation robust using iterative reweighting
https://www.sebastiansylvan.com/post/robustestimation/
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