External Content not shown. Further Information.

Popular Culture:

• Mann beschädigt Auto mit einer Fleischwurst
• Gerichtsurteil: Vater muss WhatsApp von den Mobilgeräten seiner Kinder entfernen – mit Realität hams die Juristen offenbar nicht so.

Nerd Culture:

• Toasteroid Prints Custom Images On Your Bread

Science, Software, Hardware:

• Die NASA stellt Forschungspapiere frei ins Netz
• What I learned as a hired consultant to autodidact physicists (via)
• Hask is not a category
• Acoustic Prism (via)

Zeroth World:

• Poopocalypse: Robotic vacuum cleaner is said to run over animal feces

Comics/Images/Audios/Videos/Games/Art:

• "ADOLF" // Mercedes-Spot 2013
• The doctor has some news
• Growing Up
• Burka
• Old Gods

I just watched the new film "Star Trek Beyond". I expected the worst. And I was still disappointed. It is amazing. It is like they actively tried to make this film bad in as many ways as possible. The film feels like a B-Movie with too much budget for CGI.

I will black out spoilers in this review.

Ok, honestly, I am a Trekkie, and it is hard to really satisfy me. But this film is really beyond my worst expectations (pun intended). This film is not only bad by Star Trek standards. If you really want to watch it … I'd recommend waiting until it is shown on TV. It's not worth the money.

I really have to force myself to say anything good about it. But well, let's start with the few good things, just to be fair: They did introduce the universal translator, which was – conformant to the story – only a prototype at that time. Furthermore, I think Zachary Quinto does a very good job playing Spock, and Karl Urban does a very good job playing McCoy. Both show that they are very good actors. The Xindi are mentioned, and there are some subtle references to the original series. And a foto of the old crew is shown. And apparently they spent a lot of money on special effects, which are mindless for the largest part, but beautiful.

The story of the film is trash. I mean seriously … a story that bases on a life drinker?

There is no real motivation behind the "bad guy's" intentions. I have read that this film was all about questioning the goals of star fleet, and that he should have valid points. I don't see any valid point except when you count his Hitler-style position on war. He just wants to kill. But then again, why does he use this inefficient kind of weapon. His "bee armada" seems pretty strong, and there are other gases that he could put into the vent of this (unrealistic) city.

He is not interesting by any means. The acting is miserable. And except for the major "plot twist" that he is a human there is nothing surprising about him. Btw, he said that most of his crew died. How did he come to get his "bee army" and all the pilots in it? Why is he a human and still talking in that alien language by default?

Nothing is logical or consistent or interesting about the main storyline. When the alien that lured them into the nebula said that Krall wants to "save you from yourselves", I hoped that this might be a story about the temporal cold war, because there was some artifact that could be used as a weapon. There would be so many possibilities of consistent stories that would somehow satisfy me as a Trekkie and not require major changes to the rest of the film.

On the other hand, even if you are willing to accept the mindless story with all its inconsistencies, they did not make anything out of it. The bad guy has no personality. The fight scenes are boring. The dialogues are predictable.

The side stories of the movie are not really developed either. The struggles Kirk has in the beginning are completely irrelevant for the rest of the movie. Spock's struggle is shown a few times, but I account that to Zachary Quinto being such an excellent actor.

And what the fuck were they thinking when they decided that some metal music sent to the bee army would make them instantly explode? Was this intended as a reference to Mars Attacks?

So I guess, that is what they meant when calling the film "Star Trek Beyond": We are beyond Star Trek. We have to face the fact that we must live without it now.

My recommentation to paramount: Maybe ask Terry Gilliam or at least Uwe Boll to direct the next Star Trek film.

It is a well-known fact that :

Assume we wanted to prove . We can then, by the schema of specification, define the sets and . We constructively know that both sets are non-empty: At least and . Therefore, is a set of non-empty sets, and therefore, by the axiom of choice, there is a function such that and , that is, we know that and . Trivially, , hence, . Similarly, . Hence, . On the other hand, , therefore also . Contraposition (which is constructive in this direction) yields . Hence, .

Now, in my opinion, the problem here is not the axiom of choice. Let us recall what the axiom of choice says: If we proved that every set in a collection has an element, then we can find an element for every such set. I find this principle very constructive: If we can prove that something exists, then we can find it. As long as we cannot prove the existence of things that we cannot find, the axiom of choice should not do any harm to constructivity, as far as I see – correct me if I am wrong.

Of course, if you can prove the existence of things that you cannot find, the axiom of choice might make the situation worse. And in my opinion, in the case of ZFC, in this proof, the schema of specification is the actual culprit. Whcih is why I wonder why even some "constructive" set theories have a similar axiom scheme. For some reason, the impression that "smaller" sets are always simpler than "larger" sets is prevalent, and from that perspective, separation is not a problem. I wonder where this comes from.

Even without any deeper knowledge of recursion theory or logic, it should be clear that while the set of natural numbers is rather simple, there are subsets which are more complicated. Of course, you can encode the halting problem into a subset of , but you don't have to go that far: Consider the set of prime numbers. It is intuitively more complicated than . (This somehow reminds me of the concept of entropy, considering the "amount of information" encoded in a set. Not sure whether there is a formal correspondence, though.)

An obvious limitation one could impose to comprehension-like schemes would be that the propositions used need to be provably decidable. This would break the above proof in the sense that would be decidable from the start. And it makes more sense in a constructive setting: If we assume that we can decide a set, the resulting set would still be decidable. Not sure whether there exists a constructive set theory with such an axiom, though.

Just my two cent. Feel free to enlighten me if I am wrong.

Sorry for the delay. Been busy.

Popular Culture:

• Saudi-Arabien frischt Fatwa zu Pokémon auf

Science, Software, Hardware:

• Here’s How A Camera Adds “10 Pounds”
• Zerstört: Teenager kritzeln auf 5.000 Jahre alten Felsplatten rum
• Es scheint Kakerlaken zu geben die lebendige Jungen gebären (via)
• Die Thermodynamik von Sudokus
• A History of Computers
• The 7 Biggest Problems Facing Science

Zeroth World:

• Cats, Dogs Go Hungry as Internet-Connected PetNet Plays Dead

Comics/Images/Audios/Videos/Games/Art:

• My Kite
• Great Prophet
• Pikachu
• Condensation
• Mehr was mit Menschen
• Loophole
• The One
• That's all I needed

Quotes:

• I fucking LOVE science. is handed peer reviewed journal Haha nonono I meant CGI pictures of space with misattributed quotes as captions.

External Content not shown. Further Information.

Popular Culture:

• Granny fills in €80,000 artwork thinking it's a crossword
• Steuerungen deutscher Wasserwerke über das Internet manipulierbar
• Studie zeigt, das kaum jemand AGB liest und versteht – da gabs doch mal so ne SouthPark-Folge mit dem Human CentiPad.
• Reichsbürger bedrohen Merkel und Gauck und greifen zur Malta-Masche
• Unglück in Spanien: Stier tötet Torero – Ich freue mich über keinen Toten. Aber ich freue mich darüber, dass vielleicht die Bereitschaft zu Stierkämpfen dadurch sinkt.

Science, Software, Hardware:

• Bees suffer from pollution confusion, says new study
• Artificial pancreases set to make living with diabetes easier by 2018

Zeroth World:

• Auch wenn das wohl kaum jemand noch nicht mitbekommen hat: Mobile Game Pokemon Go für Raubüberfälle missbraucht, Australian Police Issue Warning to Pokemon Go Fans After Trainers Show Up at the Station

Comics/Images/Audios/Videos/Games/Art:

• Snail
• Nothing to watch
• Academic rejection letter
• The Work Cycle
• NSFW Always with you
• Friends
• Mindestlohn
• Das Isses

External Content not shown. Further Information.

Popular Culture:

• Schlepper im Zweiten Weltkrieg – ein sehr aktuelles Thema.
• Nobelpreisträger fordern Gentechnik in der Landwirtschaft – nichts dagegen, aber bitte unter staatlicher Kontrolle und ohne Patentgespamme.
• Trabi rutscht auf Schneckenschleim aus und überschlägt sich
• Vom Brexit lernen

Nerd Culture:

• Objekte verändern im Spiegel ihre Form
• Magical Wheels Let This Car Roll in Any Direction
• Just 8 Videos of Lava Destroying Everyday Items
• 8 Things Only Night Owls Will Understand
• Offizielle Richtlinien für Fanfilme zu Star Trek veröffentlicht – oder anders ausgedrückt: fuck you

Science, Software, Hardware:

• Wunderkind verkauft sich besser
• Sind 52 Prozent eine Mehrheit?
• Wieso kannten die Menschen der Antike die Farbe Blau nicht?

Zeroth World:

• Loan sharks demand nude photos from students
• Horse Diving is a thing

Comics/Images/Audios/Videos/Games/Art:

• Ich hätte lieber 100 Nazis als Kunden, als einen Asylanten.
• Not Much
• Worm
• I'm supporting Vlad
• Alter Ego
• Self-Improvement
• The Frog Prince

Quotes:

• Remember when we cried as kids and our parends said "I'll give you something to cry about."… …We thought they were going to hit us, but instead, they destroyed the housing marked, quadrupled college tuition and melted the ice caps.

External Content not shown. Further Information.

Popular Culture:

• Wimpel belasten Klima – Danach würden zwei Standardfähnchen zu einem erhöhten Spritverbrauch von "bis zu 0,5 Liter je 100 Kilometer auf Autobahnen oder Überlandfahrten" führen.
• Lasst uns das Drogenproblem lösen
• Gründer von dm fordert Bedingungsloses Grundeinkommen
• Australians bathed inside rotting whales to 'cure' rheumatism
• The strange case of William West and William West

Nerd Culture:

• Gerichtsverfahren gegen Star-Trek-Fanfilm Axanar geht doch weiter

Science, Software, Hardware:

• Franz: Ein Messenger, sie alle zu bündeln
• Antidepressiva bei Jugendlichen weitgehend wirkungslos
• The Most Important Article On Psychiatry You Will Ever Read
• Names Mooted for Four New Chemical Elements
• Should We Skip Mars for Now and Go to the Moon Again?
• BSI: Cyber-Feuerwehr für große Hackerangriffe soll 20 Personen umfassen
• Forscher bitten darum, intakte Insekten einzusenden, um die Verbreitung der Tiere kontrollieren zu können.
• Wüstenpflanze erntet Wasser aus der Luft
• So viel Plastik könnte man bei Gemüseverpackung einsparen
• No more heart-in-a-backpack for Michigan man
• Latest bionic leaf now 10 times more efficient than natural photosynthesis
• Intel's Cunning Plot to Kill Stack-Hopping Exploits at CPU Level

Zeroth World:

• Sweden Bans Lowercase 'm' in M&Ms Logo Trademark Dispute
• Datenleck bei Hipp: Adressen und Passwörter bei Mein BabyClub abgegriffen
• There Now Exists A Vitruvian Man Action Figure
• The World's Ugliest Color Is Being Used to Save Lives

Comics/Images/Audios/Videos/Games/Art:

• I think I found all those missing US jobs...
• Brexit, etc.
• Color in Games
• Legal Weed
• Love Life
• Today's Society
• Flying
• Motivational Cat
• Approaches in Life
• Chess with Bin
• Puns hurt People
• Fitting In
• Under the Table

Quotes:

• Every corpse on Everest… …was once an extremely motivated person
• New beginnings… …are often disguised as painful endings.

External Content not shown. Further Information.

Mein Gott wurde in letzter Zeit viel über die AfD berichtet, ich hab einiges in meinen Bookmarks. Aber immer nur über irgendwelche Idioten die irgendwelchen Müll von sich geben. Mir ist das zu doof, wie viel unverdiente Aufmerksamkeit diese Partei bekommt, drum verlinke ich darüber nichts mehr. Wenn jemand einen Grund braucht die AfD nicht zu wählen, möge er ihr Programm lesen.

Popular Culture:

• Interview zur Integration von Flüchtlingen in den Arbeitsmarkt – "Aber lassen Sie uns doch realistisch bleiben, auch bei den Kosten. Für die Flüchtlinge, die im letzten Jahr kamen, betragen sie 0,5 Prozent unserer Wirtschaftsleistung. Im Vergleich zur Finanzkrise sind das Peanuts." :3
• Mittelmeer will keine weiteren Flüchtlinge aufnehmen – Dabei wäre da doch so viel platz.
• 7 Things You'll Understand When You're Tired All the Time
• Mittelblinker zum Signalisieren von Geradeausfahrten wird ab 2017 Pflicht – wenn ich mir anschaue wie doof die Leute sich bei abknickenden Vorfahrtstraßen verhalten könnte das sogar fast Sinn machen.
• Norwegen will angeblich bis 2025 Benziner und Diesel-Autos verbieten
• Landwirt stellt Produktion auf Biomilch um – ich sehe nicht das Problem.
• Church hides refugees from state in Bavarian beauty spot – es ist ein trüber Tag wenn ausgerechnet die katholische Kirche zum Bewahrer der Moral wird.
• Dashcam: Wann sie vor Gericht als Beweis­mittel zugelassen wird

Nerd Culture:

• Null Island (via)
• Scooter singer finally reveals how much the fish cost

Science, Software, Hardware:

• EU will Forschungsergebnisse kostenfrei veröffentlichen
• United Internet verschärft "Spam-Bekämpfung" – meiner Meinung nach verschärfen sie bloß die Schwierigkeit, kleine und private Mailserver zu betreiben. Sinnvolle Konzepte gegen SPAM gäbe es genug.
• Russia Thinks It Can Use Nukes to Fly to Mars in 45 Days
• Fahrradladegerät
• The Fallibility of DNA Evidence – "Most interesting to me are the parts on the proprietary algorithms used in DNA matching"
• Facebook-Messenger wird bei immer mehr Nutzern aus mobiler Web-Variante gerissen – wenn deren App nicht noch viel Minderwertiger wäre als ihr Webinterface sowieso schon ist, oder wenn es nicht so viele Idioten gäbe die Facebook trotzdem nutzen, sodass man es einfach droppen könnte, würde mich das ja nicht weiter stören.
• How do food manufacturers calculate the calorie count of packaged foods?
• Nix as OS X Package Manager (via) – why are there still people using Macs?
• Bausteine des Lebens auf Komet Tschuri
• Wohnmodul für Raumstation ISS erfolgreich aufgepumpt
• Dropbox will soon require Kernel access – what could possibly go wrong?
• Computer Generated Math Proof is Largest Ever at 200 Terabytes

Zeroth World:

• Rauchen schadet auch Ihrem Computer – naja, zumindest E-Zigaretten. Zumindest potentiell. Oder so.
• Berlin politician crusades for health of skateboarding dog

Comics/Images/Audios/Videos/Games/Art:

• SJW
• Spoiler
• Carnivores/Vegetarians/Vegans
• Rope
• Lunch Money
• Zelda
• No one understands me
• The snooze fairy

Quotes:

• People wait all week for friday, all year for summer, all life for happiness.