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
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
Exploring the role of Visualisation in Profiling of Models and Search
http://marvl.infotech.monash.edu/~dwyer/papers/cpprofiling.pdf
High-Quality Ultra-Compact Grid Layout of Grouped Networks
http://marvl.infotech.monash.edu/~dwyer/papers/gridlayout2015.pdf
http://marvl.infotech.monash.edu/~dwyer/papers/gridlayout2015.pdf
How to achieve a real tetrachromatic vision. Looks reproduceable, at least easier than most other vision enhancements :)
https://arxiv.org/abs/1703.04392
https://arxiv.org/abs/1703.04392
Forwarded from The Art of Programming
somebody tell me WHY do they teach in school that geometry problems should be solved Properly and Decently with compass and straightedge alone, ignoring beautiful things like this? (ru-wiki has more examples, incl. N-gons, doubling the cube, etc)
https://en.wikipedia.org/wiki/Neusis_construction
https://en.wikipedia.org/wiki/Neusis_construction
Final Stage (4K intro by 0x4015 @ Revision 2017)
4k is really the new 64k
https://www.youtube.com/watch?v=rML-KvlWk5s
4k is really the new 64k
https://www.youtube.com/watch?v=rML-KvlWk5s
YouTube
Final Stage by 0x4015(Revision 2017)[4K INTRO COMPO|60FPS]
Final Stage by 0x4015(Revision 2017)[4K INTRO COMPO|60FPS]
URL: http://www.pouet.net/prod.php?which=69657
XEON x5650 OC4GHz / GTX 1070 / 24GB RAM
Facebook http://www.facebook.com/w0lfHD
Twitch http://www.twitch.tv/w0lfstream
Steam Group http://steamcomm…
URL: http://www.pouet.net/prod.php?which=69657
XEON x5650 OC4GHz / GTX 1070 / 24GB RAM
Facebook http://www.facebook.com/w0lfHD
Twitch http://www.twitch.tv/w0lfstream
Steam Group http://steamcomm…
The Hidden Agenda User Simulation Model (IEEE'09)
http://mi.eng.cam.ac.uk/~sjy/papers/scyo09.pdf
http://mi.eng.cam.ac.uk/~sjy/papers/scyo09.pdf
nice one! (TLDR: Transhumanism looks eerily similar to an evolutionary offspring of Christianity)
https://nplusonemag.com/issue-28/essays/ghost-in-the-cloud/
https://nplusonemag.com/issue-28/essays/ghost-in-the-cloud/
n+1
Ghost in the Cloud | Meghan O'Gieblyn
A new, more pernicious thought had come to dominate my mind: transhumanist ideas were not merely similar to theological concepts but could in fact be the events described in the Bible. It was only a short time before my obsession reached its culmination.…
https://en.wikipedia.org/wiki/Argonne_National_Laboratory my new favourite lab %)
A Summary of New Results in Mathematics Obtained with Argonne's Automated Deduction Software
*This page covers work up through 1995.
http://www.mcs.anl.gov/research/projects/AR/new_results/
*This page covers work up through 1995.
http://www.mcs.anl.gov/research/projects/AR/new_results/
A Logarithm Too Clever by Half — on functions which can never be computed exactly, even with arbitrary-precision arithmetic
https://people.eecs.berkeley.edu/~wkahan/LOG10HAF.TXT
https://people.eecs.berkeley.edu/~wkahan/LOG10HAF.TXT
Infiniswap - using free cluster memory as swap; great demonstration of the power of randomized and decentralized algorithms
https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/gu
https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/gu
Datasaurus Dozen: Generating Datasets with Varied Appearance and Identical Statistics through Simulated Annealing
https://www.autodeskresearch.com/publications/samestats
https://www.autodeskresearch.com/publications/samestats
Autodesk Research
Same Stats, Different Graphs: Generating Datasets with Varied Appearance and Identical Statistics through Simulated Annealing
Why graphical representation and visualization are so important to...