Pinned toot

Happy Saturday! Thanks to @tauli and @gimbar I'm happy to present you with 0.1.2 with a couple of important bug fixes. As a special bonus: It now also runs on 😺 hub.darcs.net/raichoo/hikari

Pinned toot

One of the first projects of @acmelabs is my book, since it's the version control of our choice. So if you are looking for something different than you might find this interesting. Here's the current draft: acmelabs.space/darcs-book/inde

raichoo boosted

WHAT PEOPLE THINK ETHICAL ISSUES IN AI ARE: wow.... we're creating... new life........

WHAT ETHICAL ISSUES IN AI ACTUALLY ARE: techbros worshiping the almighty algorithm, not caring to look at what bad patterns the machines are picking up (racism, sexism, etc) and how to avert them, and overreliance on neural networks meaning that said algorithms are treated as magical black boxes where nobody wants to (or can, really) point out exactly how the equation works (and why it may be faulty)

raichoo boosted

Dogwhistles 

raichoo boosted

I was reading “Why Dependent #Haskell is the Future of Software Development” [¤] (which is, I believe, a very bad title for a pretty good writing imo), and was pretty surprised by the encoding of bounded integers.

data Fin n where
FZ :: Fin (S n)
FS :: Fin n -> Fin (S n)

It makes sense, but I really prefer the ways of #coq (e.g., sigma-types and a regular <) to deal with such constrains.

Anyway, I am looking forward to see more depedent types in Haskell!

[¤]: serokell.io/blog/why-dependent

raichoo boosted

I'm told that Type-driven development with Idris will be part of @ManningBooks@twitter.com deal of the day tomorrow, along with some nice books on Haskell: dotd081619au at bit.ly/2Z6MS2E

Download it while stocks last!

raichoo boosted

The #gameoftrees FAQ summarizes our responses to several questions the internet was asking when the project first became known to the general public: gameoftrees.org/faq.html

raichoo boosted
raichoo boosted

"Minimum wage machine" produces one penny every 4.97 seconds when the handle is turned, the same rate of earning as the current federal minimum wage in the U.S. (\$7.25)

raichoo boosted

at #cccamp if you're interested in MirageOS unikernels, please come and talk to me. also happy for hands-on sessions :)

I imagine could also be somewhat useful if you want to make really sure that nothing accidentally grabs your keyboard while you are typing in some confidential stuff (like passphrases) into some application.

raichoo boosted
raichoo boosted

kiwifarms, blocks 

Had enough of using to debug on (had to use it because of keybinding overlap). So I implemented a new mode where I can instruct the compositor to redirect all keyboard input to a single client. Clients can not trigger this on their own, the compositor manages it.

raichoo boosted

#mastoAdmin

sorry for the bumpy ride, but bsd.network just disabled http/2 and restarted the web processes, due to a ton of vulns in the http/2 implementations in pretty much everything.

github.com/Netflix/security-bu

Basic tiling now works in on . Need to think a little bit about the inspired frame logic before implementing that, but once that is done I'm able to do pretty neat things with tiling :) Really need to clean up some pieces of code though, they started to smell a bit funny.

raichoo boosted

JZON looks sort of okayish, but it's a handwritten parser and rather obscure. github.com/karl-zylinski/jzon-

You know that things are bad when you are looking at the spec…

*sigh* The whole configuration file format thing seems to be kind of an ordeal. JSON is not a good choice, TOML doesn't have a BNF nor recent C implementation (only 0.4.0), UCL obeys Postel's law but on steroids. Looks like in the end I need to break out a parser generator…

Hrm, am I the only one who thinks that it's fishy that TOML does not come with an authoritative BNF? Thinking about the grammar first is kind of important for an input format… github.com/toml-lang/toml/blob

raichoo boosted
Show more
chaos.social

chaos.social - because anarchy is much more fun with friends.
chaos.social is a small Mastodon instance for and by the Chaos community surrounding the Chaos Computer Club. We provide a small community space - Be excellent to each other, and have a look at what that means around here.
Follow @ordnung for low-traffic instance-related updates.
The primary instance languages are German and English.