External Content not shown. Further Information.

Popular Culture:

• MHH schlägt Alarm: Tödliche Gefahr durch Giftpilz ~ Allein in der vergangenen Nacht gab es 17 Fälle in der MHH oder der Klinik gemeldet wurden, bei denen sich Flüchtlinge und Asylsuchende am Knollenblätterpilz vergiftet hatten. ~ man gönnt sich ja sonst nichts.
• Wie hänge ich einen Rollstuhlfahrer auf? ~ ein wichtiges Problem!
• Pegida in London ~ Exportweltmeister!
• Faktencheck zur Sterbehilfe
• Freies W-LAN ohne Freiheiten kommt ~ Deutschland über alles

Nerd Culture:

• An Implicit Viscosity Formulation for SPH Fluids

Science, Software, Hardware:

• The sad state of web app deployment
• Quantum Zeno effect
• Darwin on a chip
• Fuzzy string matching using cosine similarity
• Microsoft Send ab sofort auch für Android ~ wer hätte gedacht dass ausgerechnet M$ versucht Mails zu retten.
• Gravitationswellen ~ bin ich der Einzige, den das an Ätherwind-Experimente erinnert?

Zeroth World:

• Werbedienstleister hoffen auf finale Lösung gegen Adblocker ~ um wieder Herr über die Bildschirme der Bürger zu werden!
• Verwanzte Wälder

Comics/Images/Audios/Videos:

• Sexual harrassment
• The Product
• Steak
• How much is the Langkornreis?
• GUNKL - Die großen Kränkungen der Menschheit
• Police Raid
• Horrorvision Superintelligenz
• The Lion Kill
• Francis Pope
• Make it rain
• Polar Bear
• You Win
• Exorcism

Quotes:

• ADD? ADHD? Sign up… …for concentration camp now!

(Sorry, this one is a German pun. Does not work in English.)

External Content not shown. Further Information.

And again no comic :/

Popular Culture:

• Große Uranvorkommen im Iran gefunden ~ na dann bringen die USA denen doch bestimmt bald Demokratie und Menschenrechte :3
• Frage und Antwort: Youtube-Videos auf Facebook ~ hauptsache kompliziert.

Nerd Culture:

• A Slo-Mo Tasering Is Highly Unsettling ~ and dangerous…
• Prize-winning cat-on-your-keyboard detector
• A transparent plastic ball filled with helium floats in an all white room

Science, Software, Hardware:

• Scientists Can Now Make THC from Yeast
• MIT Scientists Can Now 3D Print Optically Transparent Glass ~ so probably beautiful lamps will soon become cheaper.
• Paralyzed Man Successfully Given Prosthetic Hand That Can Feel
• Smartwatch kann zu Spionagezwecken missbraucht werden ~ man kann damit auf Tastatureingaben Rückschlüsse ziehen. Überrascht das irgendwen?
• Bioelectronic nose sniffs out bacteria in water ~ it utilizes lab-grown human olfactory receptors, combined with a carbon nanotube field-effect transistor ~ SciFi.
• Kamerabasierte Kopf- und Mimiksteuerung für Computer
• Patient receives 3D-printed titanium sternum and rib cage
• HIV-Präventionsmittel Truvada: Wirkung mit Schattenseiten ~ Eine Studie zeigte: Das Medikament schützt gegen HIV. Doch rund die Hälfte der Probanden infizierte sich mit einer anderen Geschlechtskrankheit ~ genau. Und bestimmt schürfen sich die hälfte der Leute die einen Fahrradhelm tragen irgendwann die Knie auf.
  • Computer Science Courses that Don't Exist, But Should ~ Writing Fast Code in Slow Languages

Zeroth World:

• This Watch Will Light Your Cigarette ~ why don't they just built in a vaporizer?
• Using Samsung's Internet-Enabled Refrigerator for Man-in-the-Middle Attacks
• Ballantine's invents glass for sipping whisky in space

Comics/Images/Audios/Videos:

• Special Delivery
• Tumblr
• Migrant Crisis
• Meaning and Happiness
• Lifestyle
• Reincarnation
• The Giver
• Carolin Kebekus: Wie blöd Du bist
• Security vs. Privacy (via)
• Advent
• Waste of time
• Der Streik der Dummies
• Three Wishes
• Eingebaute Vorfahrt
• Reincarnation
• Refugees in Europe
• Politician
• Are we there yet

Quotes:

• 'Go to bed, you’ll feel better in the morning' is the human version of 'Did you turn it off and turn it back on again?'

External Content not shown. Further Information.

Liebe Anbieter des mobilen Zwischennetzes. Ihr habt das Netz wunderbar mit LTE ausgebaut. Wohl nicht unerheblich mit Steuergeldern, dennoch honoriere ich das sehr, denn das Internet ist ein wichtiger kultureller Faktor geworden, und jeder sollte Zugriff darauf haben.

Aber: Ihr alle drosselt. Eine Drosselung nach 10 Gigabyte mag ok klingen, doch ich als Mensch der oft pendelt würde ich zum Beispiel gerne in Remote-Desktop-Sessions arbeiten, ohne danach auf das Trafficniveau meines Geburtsjahres gedrosselt zu werden. Nun ist es ja so, dass in den meisten Verträgen steht, dass die Verfügbarkeit von Hochgeschwindigkeitsinternet keineswegs gesichert ist. Technische Gründe, sowie lokale Überlastungen, können immer entstehen, die Verfügbarkeit des Notrufs muss sichergestellt werden, und sicherlich lohnt sich Ihr Geschäft nicht ohne Overcommitting. Dafür habe ich (eigentlich kein, aber ich will mal nicht so sein) Verständnis.

Ich kann mir allerdings nicht vorstellen, dass der Traffichunger in Zukunft abnehmen wird. Was ich mir dementsprechend wünschen würde, wäre ein Tarif nach Vorrang-Modell: Für eine bestimmte Datenmenge (10GB scheinen momentan der Standard zu sein) hat man Vorrang, wie bisher auch, und erhält im Rahmen der technischen Möglichkeiten die hohen Geschwindigkeiten. Danach kann man, wie jetzt ebenfalls, gedrosselt werden (aber vielleicht nicht gleich auf 32k, wenn das möglich wäre, sondern auf irgendwas, mit dem zumindest einfache Dinge noch funktionieren – aber das nur am Rande). Allerdings wird man nur soweit gedrosselt, wie es notwendig ist, um den Kunden mit Vorrang ihr schnelleres Internet zu ermöglichen. Sollte sich also Beispielsweise in einer Funkzelle nur eine Person befinden, so bekommt diese die volle Geschwindigkeit trotz Trafficverbrauch. Nun bin ich technisch nicht hinreichend informiert um sagen zu können, ob dies wirklich ins Gewicht fällt, aber ich würde einfach mal ins Blaue vermuten, dass gewisse ungenutzte Reserven vorhanden sind. Ich persönlich wäre durchaus bereit, einen gewissen realistischen Aufpreis für so einen Service zu zahlen, und ich bin sicher, dass es einen Markt dafür gäbe. Das Fehlen echter Flatrates im mobilen Bereich ist für mich ein großes Manko.

External Content not shown. Further Information.

So much work. No comic. Sry.

Popular Culture:

• Kann Tamme Hanken Pferde heilen? ~ die Antwort wird euch sicher so sehr überraschen wie mich…

Nerd Culture:

• Kuju PourOver Means You Get A Real Coffee In The Woods ~ Melitta Bentz would turn around in her grave.

Science, Software, Hardware:

• World's first magnetic "wormhole" produces magnetic monopole
• Youtube führt bald die Paywall ein ~ Mei. Gibt genug Alternativen.

Zeroth World:

• Taco Bell Testing Taco Shell Made From Crispy Chicken ~ which reminds me of something.
• US-Startup will Nashorn-Horn drucken

Comics/Images/Audios/Videos:

• Stop Motion How To: Mecki Introduces Himself 1952 ~ I watched this from a real old film in elementary school :3
• Refugees in Hungary
• Viktor Orbán in Brussels
• Ohne Waffenexporte
• Ungarischer Gulasch
• Video Games
• Ausländer
• Windows Evolution
• Plunder (via)
• Parenthood in one picture
• Americans in a nutshell
• Mankind blows it
• Kempelen's speaking machine ~ from 1791 (!!)

Quotes:

• Being a sociopath is like being cool… …If you think you are, you're probably not.

External Content not shown. Further Information.

Popular Culture:

• Wieso geht es bei Jura nicht um Gerechtigkeit?
• Was im Supermarkt erlaubt ist
• Why Do All Records Sound the Same? (via)

Nerd Culture:

• 10 cool tricks and illusions you can do with liquids
• Largest Airplane Eaten

Science, Software, Hardware:

• Was leisten Wissenschaftsverlage heute eigentlich noch? ~ "Es ist ein Gefühl, wie jemandem per Telefon das Töpfern beizubringen."
• Paypal schafft Passwörter ab ~ Wenigstens ehrlich! Ist ja nicht so dass es mit Passwörtern sonderlich sicher designed wäre.
• Firefox Tweaks (via)
• The Hidden Bias of Science’s Universal Language (via)
• i3-compatible window manager for Wayland (via)
• Wie sich Wind speichern lässt
• 'Metabolic Switch' Toggles Our Cells to Store or Burn Fat
• CSU-Stadträte wettern über Limux ~ Ein Trauerspiel.

Zeroth World: - German gadget clamps down on Nutella thieves ~ Deutschland! Fick ja!

Comics/Images/Audios/Videos:

• Finches
• Nice Glasses
• Boah!
• USA DNA
• Back To School
• Never Famous
• NSFW If I asked you…

Quotes:

• I'm first world poor… ~ …which means I own a smart phone and an expensive laptop so I can go online and check that I have no money in the bank.

External Content not shown. Further Information.

Sorry, too much work, again no comic this week.

Popular Culture:

• World Overshoot Day 2015
• Verbreitung von Essensfotos kann rechtswidrig sein
• 9 Facts About Computer Security That Experts Wish You Knew
• Glass-bottomed "sky pool" will let swimmers freestyle above the street below

Nerd Culture:

• Journal of Universal Rejection
• StashPad Holds Your Booze and Cigars Discretely
• Escalator Skiing
• Everyone's a Winner With These Windows 3.0 Cards by Susan Kare
• Ferrofluid Clock

Science, Software, Hardware:

• Diamonds from the sky
• Dinosaurierspuren bei Hannover freigelegt
• Microsoft will Stromstöße bei Erhalt einer Nachricht verteilen ~ Spaßfakt: Ich hatte die selbe Idee schon länger, und die Leute denen ich davon erzählte fanden es albern ɛ: ~ nur schade dass ich sie nicht hab patentieren lassen. Naja, wenigstens werden das hoffentlich bald alle Schlaufone haben.
• Relativistic lattice ~ I wonder whether the bulb-ish thing that forms in the front at high speeds has the shape of a circle? If anyone knows, please tell me!
• Samsung’s 16TB SSD ~ a bit too expensive for me, but nice that technology evolves.
• Programming PIC microcontrollers in OCaml

Zeroth World:

• Cardboard Laptop For Your Cat

Comics/Images/Audios/Videos:

• Done with Drugs
• Ambition
• Monsanto GMOS
• Toys
• Do Something
• Internal Investigation
• How Cats End Up With Nine Lives

Quotes:

• I don't understand why rappers hate the fact that people ILLEGALLY download music … …yet all they rap about is committing illegal activities.

Using state monads works well with Haskell, but as soon as you try to actually verify your software, it gets a lot harder. I am a fan of uniqueness types – they fit well into the framework of MLTT, and can be statically checked. Idris has experimental support. However, it can be undesirable to have purely syntactical extensions that lie outside of the scope of the type system. Extending the type system is possible but not the method of choice – in my opinion, the type system should be as simple as possible.

DiffArrays follow a different pattern: They are destructively modified in the backend, but their interface is referentially transparent: Old versions of the destructively modified array can be recreated. In theory, the overhead is limited to changing an old reference, as long as the array is used in a linear fashion. Native Coq uses them. Their definition is:

type 'a t = ('a kind) ref
and 'a kind =
  | Array of 'a array 
  | Updated of int * 'a * 'a t

That is, a diffarray is a (mutable) reference to an object that is either an array, or a key-value-diffarray-triple. Changing the value of an index in a diffarray "feels" like creating a modified copy of it. As soon as an old version of the array is modified, the array is copied; in this case, the algorithm will be slow.

There is a canonical equivalence relation between two diffarrays, namely the one that relates diffarrays which map the same key-value-pairs. As long as we are only using the interface for creating modified pseudo-copies of an array and reading its elements, there is no way to distinguish between arrays that are equal modulo this relation. If we forget for a moment that every diffarray is a mutable reference that points to an array or another such reference, we get the following algebraic definition of diffarrays:

Looking up the nth element would become

The equivalence would become . Any function that only uses our defined lookup function to access our array structure cannot distinguish equivalent diffarrays. We could as well work with . Especially, we could even replace an occurence of one representation of an array by another one, without significantly changing that term's behavior – but replacing one term with another is the same as destructively modifying a reference. And that is exactly what a diffarray is: Destructively modifying parts of terms, but in a way that cannot change the term's behavior.

And I assume that most uses of Haskell's unsafePerformIO are of this kind: They implement some stateful operation, but encapsulate it into a referentially transparent interface that makes different states indistinguishable.

Maybe by using the above construction, it would be possible to encapsulate some of such use cases into a dependently typed framework. Maybe in the form of quotient types, or in the form of higher inductive types.

Update: There appears to be a paper about basically the same thing. It might be even more useful than I thought, persistent arrays can be implemented better with mutable state. And furthermore, I was thinking about how this kind of thing could be used for memoization. I think it is undoubtedly useful.