.: NinjaTrappeur :. @ninjatrappeur@mastodon.social
I write free software.
I am into functional programming.
- Website
- https://alternativebit.fr
Dear mastodon.social pen pals, I moved there @Ninjatrappeur .
You can unfollow this account.
#Eink compatible terminal emulator: Done
Wooden handcrafted enclosure: Done
Acceptable frame rate: in progress.
https://mastodon.social/media/ME-5QjNkscrU3lHn3Ks
Dear mastodon.social pen pals, I moved there @Ninjatrappeur .
You can unfollow this account.
A good sized interview with me thanks to @deadsuperhero over on We Distribute https://medium.com/we-distribute/faces-of-the-federation-christopher-allan-webber-on-mediagoblin-and-activitypub-24bbe212867e
We talk about #ActivityPub, #MediaGoblin, and some of my plans for the future of my work in this space
The Lambda Calculus: Practice and Principle
http://homepages.inf.ed.ac.uk/hleather/publications/2016_lambdacalculus_wf.pdf
Check out my (~15m) talk at @opendevconf@twitter.com where I explain why it's critical that free/libre/open source software projects shouldn't rely on proprietary tools: https://www.youtube.com/watch?v=U_nK6nP_RCY
It's a talk version of https://mako.cc/writing/hill-free_tools.html from 2010. Sadly still relevant.
Nice, Tor 0.3.3.6 is out. With it comes a clear tor_api.h for embedding it on other projects.
Let's FFI that!
https://blog.torproject.org/tor-0336-released-new-stable-series
Unreal Gold is currently is free on steam for 48 hours, just sayin'
[Datcast 0x02]
In this episode, we learn what's a #gopher directory and we use them to generate a phlog index.
Man, da vinci resolve is actually a pretty decent editing suite nowadays. It evolved a lot since last time I check up.
Its color-grading tool is AMAZING, but you probably already know that.
The audio eq and compressor is actually far better than premiere's one.
Perfs are premiere-pro grade.
It does not cost you half a car per year and have a really decent free tier.
IT IS LINUX COMPATIBLE: no need to dual boot anymore!
I guess I'll switch to this at the end of my adobe CC subscription!
Ladies and gentlemen, I present you an initial port of the #Kaleidoscope #keyboard #firmware to the #ErgoDox!
https://github.com/keyboardio/Kaleidoscope-Hardware-ErgoDox
Tested on an ErgoDox EZ, so far so good. Mind you, this is a rough port. There is no debouncing yet, and some of the features of recent EZs (such as the RGB underglow of the EZ Shine) are not supported yet, and there may be bugs here and there. But the very basics work.
I wanted to do this for so long, and I finally succeeded.
There was a q on here recently about #plume that was basically "why do we need a federated bog site?"
The reason is that long-form writing is an investment and needs the social component to thrive. We had that with RSS/comments, but Twitter and Facebook killed those.
A federated blog platform would mean: more hosts for users to choose from. Easy feedback loop via mastodon, pleroma, etc.
I'm tired of maintaining my blog, but I would be very interested in porting the content to #plume.
I will open up my gopher server for all interested beings.
Spread the love:
gopher://vernunftzentrum.de:70/0/ckeen/phlog/2018-05-14-Opening-up-for-residents.md
Trending on reddit: https://hackwithlambda.github.io/reading-group/
First item: "why functional programming is the correct way to program" - WTF, really? I'm triggered.
No wonder some people end up qualifying FP programmers "FP bulldogs."
This kind of church war really needs to stop.
@nightpool are you trying to get me to say "petnames"?
Because the answer is petnames https://github.com/cwebber/rebooting-the-web-of-trust-spring2018/blob/petnames/draft-documents/making-dids-invisible-with-petnames.md
Is #pleroma supporting "gnu social groups"? ie !group
Can anyone recommend a recent book (perhaps within 5 years) on compiler design and implementation, specifically with llvm in mind?
