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
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
Deputy Sheriff The Viking Programmer
https://youtu.be/a0YrCABCOEY
YouTube
SICP Anime Opening (1080p)
This was from an old internet swf, I remastered it in glorious 1080P
TWeb.init({scrollToPost:'thevikingprogrammer/157'});
