Deputy Sheriff The Viking Programmer
@thevikingprogrammer
248
subscribers
1.36K
photos
161
videos
41
files
1.29K
links
Download Telegram
Join
Deputy Sheriff The Viking Programmer
248 subscribers
Deputy Sheriff The Viking Programmer
https://www.quantamagazine.org/graduate-student-solves-quantum-verification-problem-20181008/
Quanta Magazine
Graduate Student Solves Quantum Verification Problem
Urmila Mahadev spent eight years in graduate school solving one of the most basic questions in quantum computation: How do you know whether a quantum computer has done anything quantum at all?
Deputy Sheriff The Viking Programmer
Deputy Sheriff The Viking Programmer
Did you know:
Scientists for many years have debated whether or not these artifacts were hammers or not. They eventually concluded that they are, after they found an artifact that says "I am a hammer"
Deputy Sheriff The Viking Programmer
https://rolltop-indigo.blogspot.com/2018/10/the-big-list-of-rpg-plots.html?m=1
Blogspot
The Big List of RPG Plots
What follows is a scrap of trivia . . . my collection of RPG plots , in abstract form. I built this by examining the premises of hundreds o...
Deputy Sheriff The Viking Programmer
Deputy Sheriff The Viking Programmer
https://youtu.be/fVBck2Zngjo
YouTube
Idris: Type safe printf
Demonstrating creation of a type safe printf function using Idris, a dependently typed programming language.
The result is here:
https://gist.github.com/puffnfresh/11202637
Deputy Sheriff The Viking Programmer
Relatable
Deputy Sheriff The Viking Programmer
Deputy Sheriff The Viking Programmer
Deputy Sheriff The Viking Programmer
https://en.m.wikipedia.org/wiki/Fjölnir_(programming_language)
Wikipedia
Fjölnir (programming language)
programming language
Deputy Sheriff The Viking Programmer
http://97.76.183.58:4000/CgiStart?page=Single&Language=0
Deputy Sheriff The Viking Programmer
Deputy Sheriff The Viking Programmer
Deputy Sheriff The Viking Programmer
Deputy Sheriff The Viking Programmer
Deputy Sheriff The Viking Programmer
Forwarded from
?midi
https://github.com/Gabriel439/Haskell-Morte-Library
GitHub
GitHub - Gabriel439/Haskell-Morte-Library: A bare-bones calculus-of-constructions
A bare-bones calculus-of-constructions. Contribute to Gabriel439/Haskell-Morte-Library development by creating an account on GitHub.
Deputy Sheriff The Viking Programmer
Forwarded from
?midi
https://github.com/maiavictor/formality
GitHub
moonad/Formality
An efficient proof language. Contribute to moonad/Formality development by creating an account on GitHub.
Deputy Sheriff The Viking Programmer
https://www.androidauthority.com/bluetooth-headphones-quality-915637/
Deputy Sheriff The Viking Programmer
http://www.toodarkpark.org/computers/humor/shoot-self-in-foot.html
Deputy Sheriff The Viking Programmer
hlcs.pdf
206 KB
Deputy Sheriff The Viking Programmer
TWeb.init({scrollToPost:'thevikingprogrammer/156'});
