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)
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!
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 http://bit.ly/2Z6MS2E
Download it while stocks last!
at #cccamp if you're interested in MirageOS unikernels, please come and talk to me. also happy for hands-on sessions :)
i was once reply-guyed by someone from kiwifarms because i'd forgotten to defederate from them.
i blocked this person first and then defederated.
when i later came across the same thread elsewhere i could see that they'd been notified of the block through a bot -- something like "this user has blocked you because of this post".
so yes, malicious servers are already automatically notifying their users of blocks, and it sucks
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.
Basic tiling now works in #hikari on #wayland. Need to think a little bit about the #herbstluftwm 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.
JZON looks sort of okayish, but it's a handwritten parser and rather obscure. https://github.com/karl-zylinski/jzon-c
You know that things are bad when you are looking at the #YAML 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… #YaccShaving
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… https://github.com/toml-lang/toml/blob/master/toml.abnf
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.