Deputy Sheriff The Viking Programmer – Telegram
Deputy Sheriff The Viking Programmer
@thevikingprogrammer
248 subscribers
1.36K photos
161 videos
41 files
1.29K links
Download Telegram
About
Blog
Apps
Platform
Join
Deputy Sheriff The Viking Programmer
248 subscribers
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
59 views
Deputy Sheriff The Viking Programmer
Relatable
57 views
Deputy Sheriff The Viking Programmer
60 views
Deputy Sheriff The Viking Programmer
48 views
Deputy Sheriff The Viking Programmer
https://en.m.wikipedia.org/wiki/Fjölnir_(programming_language)
Wikipedia
Fjölnir (programming language)
programming language
60 views
Deputy Sheriff The Viking Programmer
http://97.76.183.58:4000/CgiStart?page=Single&Language=0
50 views
Deputy Sheriff The Viking Programmer
53 views
Deputy Sheriff The Viking Programmer
53 views
Deputy Sheriff The Viking Programmer
77 views
Deputy Sheriff The Viking Programmer
56 views
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.
75 views
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.
81 views
Deputy Sheriff The Viking Programmer
https://www.androidauthority.com/bluetooth-headphones-quality-915637/
56 views
Deputy Sheriff The Viking Programmer
http://www.toodarkpark.org/computers/humor/shoot-self-in-foot.html
52 views
Deputy Sheriff The Viking Programmer
hlcs.pdf
206 KB
61 views
Deputy Sheriff The Viking Programmer
56 views
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
57 views
Deputy Sheriff The Viking Programmer
https://youtu.be/RhvixN6cL_E

Why this is a thing, I do not know.
YouTube
ASMR show: Lenovo ThinkPad X220 💓 ASMR Refurb Unboxing
In 2017 this six year old intel i5 laptop refurbished and upgraded with SSD remains more than capable for day-to-day business tasks running Windows 10. Subsc...
77 views
Deputy Sheriff The Viking Programmer
66 views
Deputy Sheriff The Viking Programmer
Forwarded from ?midi
https://github.com/huginn
https://tox.chat/
https://forum.xda-developers.com/showthread.php?t=1715375
https://asciinema.org/
https://github.com/jtdaugherty/brick
https://github.com/pimutils/khal
https://github.com/pimutils/vdirsyncer
https://github.com/scheibler/khard
https://github.com/libfuse/sshfs
https://github.com/ledger/ledger
https://github.com/dreamer/scrot # suggested from trev
https://github.com/soimort/translate-shell
https://github.com/chubin/wttr.in
GitHub
Huginn
Create agents that monitor and act on your behalf. Your agents are standing by! - Huginn
63 views
Deputy Sheriff The Viking Programmer
Forwarded from Hacker News
JSLinux with RISC-V 64-bit
Article, Comments
6 views