Profile

Cover photo
Carsten Führmann
Lives in Erlangen, Germany
790 followers|262,430 views
AboutPostsPhotosYouTubeReviews

Stream

Carsten Führmann

Shared publicly  - 
 
Some serious "keep it in the ground" action in Germany. Over 4000 people shut down one of Europe’s largest lignite coal mines for over 48 hours. Great!

As an aside, I always feel weird when watching a demonstration, because I find it very hard to turn myself into a commercial for anything. In my youth, I couldn't even wear the T-shirt of my favorite rock group, because I'd feel embarrassed about my own showyness. Imagine how hard it is for me to join a demonstration and prance about, doing protesty things. I wasn't at this demo, but I was at another in Nuremberg a while back. Because I think this really must be done.
4
1
Wolfgang Linke's profile photoMichael Ringland's profile photo
2 comments
 
+Wolfgang Linke indeed, but we need to be pushed. Like these people.
Add a comment...

Carsten Führmann

Shared publicly  - 
 
Cherry blossom in Franconia, and Donald-Duck hydrants

The cherry trees bloom right now in Franconia. They don't seem to care that the arctic has decided to usurp us, dropping temperatures to the freezing point. I'm proud of my photo against the azure sky, because ten minutes before that snow was falling from a leaden cloud cover. That's April for you. And then suddenly there was Donald Hydrant Duck.


6
Add a comment...

Carsten Führmann

Shared publicly  - 
 
Amazing: Bernie Sanders, in this 2011 speech, criticizes the offshore tax heaven Panama. In particular, he is suspicious about a stand-alone trade agreement the US have made with Panama despite that country's tiny economy. (Via +Matthew J Price .)
3
1
Add a comment...

Carsten Führmann

Shared publicly  - 
 
Today, I found a tiny ball of fur in front of our house. That is, a tiny ball of fur with little Dracula wings. When prodded gently, it moved a bit and squeaked piteously. I thought it was a dying baby bat. I was so sure it was doomed that I considered putting it out of its misery.

Then I thought "Am I right to be so sure?" I called the animal shelter and was asked to bring the fur ball to their specialist, a lady who cares for everything with wings. She told us: it's not a baby bat, its an adult male dwarf bat. And it's just cold and hungry, probably surprised by renewed cold weather. She'd warm it, feed it worms, and put it with the others. Yes, there were others! They are very social animals, they get along well with each other. The others, the lady said, would likely teach my bat how to hunt and feed properly.

When the weather gets warmer, they are released. And every year, the lady said, more come out of the cage than went in. Not because they procreate in the cage. The females are often already pregnant when they reach the animal shelter. The pregnancy normally takes 6 weeks. But when it's cold and the animals hibernate (sort of), the pregnancy gets put on hold, the lady said. And in the lady's cage, the pregnancies are reactivated. 
11
Tom Nathe's profile photoWolfgang Linke's profile photoCarsten Führmann's profile photo
7 comments
 
+Tom Nathe​ Nice story! My bat fits into yours ten times over, I didn't know they get so large!
Add a comment...

Carsten Führmann

Shared publicly  - 
 
Depressing survey of cycling in Berlin. Summary: for years, there has been a strategy for fixing bike lanes, based on a survey among the populace. There is a big budget. But it's not being spent. Except on bike cops. And the bike cops spend most of their time chasing cyclists.
 
Könnte man in #Erlangen genauso drehen und die Ergebnisse wären identisch...
 ·  Translate
Was wird für die Ausbesserung der Radwege in Berlin getan? Das Video zeigt: Offensichtlich zu wenig.
4 comments on original post
2
Add a comment...

Carsten Führmann

Shared publicly  - 
 
Fussballspiel Elektrobit vs. Flüchtlinge /
Soccer match Elektrobit vs. Refugees

My wife Moni's employer, Elektrobit Automotive, co-organized a soccer match between their employees and refugees from camps in Nuremberg and nearby Forchheim. A great time was had by all. (Except two with minor injuries, but hey, that's soccer.) /
Der Arbeitgeber meiner Frau Moni, Elektrobit Automotive, hat ein Fussball-Match zwischen den Mitarbeitern und Flüchtlingen aus Nürnberger und Forchheimer Unterkünften organisiert. Die Stimmung war bombig. Allerdings gab es zwei Leichtverletzte :(

+Frau M

 ·  Translate
7
Frau M's profile photoThomas Wolf (Hachtl)'s profile photo
2 comments
 
+Robert Leibinger​ und? Warst du auch dabei? 😊
 ·  Translate
Add a comment...
Have him in circles
790 people
Denise D. Hill's profile photo
SmoochBooth's profile photo
ha pham's profile photo
Frau M's profile photo
Patrick Jobst's profile photo
Kelly Allen's profile photo
Scott Stephan's profile photo
Hansraj Chanda's profile photo
Kenny Goddard's profile photo

Communities

14 communities

Carsten Führmann

Shared publicly  - 
 
Cycling near Erlangen with +Frau M​ today. Ran into a herd of sheep and goats, very near the city. One sheep fell in love with +Frau M​ (understandably) and insisted on protracted grooming.
4
Frau M's profile photo
Frau M
+
1
2
1
 
The sheep had a large-sized heaving belly. I took pity on the poor pregnant creature and tried to soothe it despite my bad back. Turns out the beast was simply hot and breathing heavily to cool down; she was also fat but not with lambs but from eating tons of grass and flowers. My bad...
Add a comment...

Carsten Führmann

Shared publicly  - 
 
The universe must surely have entered a weird state, for how else could I have posted this StackExchange answer concerning Real Analysis? But maybe, knowing myself, I shouldn't be surprised. Originally I just wanted to learn Quantum Mechanics. While doing so I realized I needed some Functional Analysis. While tackling that, I realized I didn't even know how the fundamental theorem of calculus looks for the Lebesgue integral. So I studied that.

And it turned out quite the detour, involving absolute continuity, Vitaly coverings, the Rising Sun Lemma,, bounded variations, and more.

Finally, I got stuck in an unexpected place, the simple-looking monotone differentiation theorem. It took me embarassingly long to understand why Dini derivatives of a monotone function are measurable. My StackExchange answer is about that. Actually, Banach showed that the Dini derivatives of every measurable function are measurable, but I don't have access to Banach's paper, and the proof by Kannan and Krueger contains a step I don't understand...
2
Frau M's profile photoJohn Baez's profile photoCarsten Führmann's profile photo
15 comments
 
I found a simpler proof and replaced it on math.stackexchange.
Add a comment...

Carsten Führmann

Shared publicly  - 
 
+Sascha Lobo​ zum staatlichen Totalversagen bei der Verfolgung behördenbekannter Attentäter. In jeder Hinsicht lesenswert. / An article about the abject failure in pursuing known fundamentalist criminals. Fifteen of seventeen attackers had been on warning lists, eight should have been traced, but efforts were too feeble.
 ·  Translate
1
Add a comment...

Carsten Führmann

Shared publicly  - 
 
Goodbye ancient thorn!

I saw the dermatologist today because a spot at my ankle, which had been there for a quarter century, seemed to expand. The doctor wanted to send a skin sample to the laboratory, but it turned out to be a rose thorn that had been there all those years!
20
Bruce Elliott's profile photoJames Karaganis's profile photoTimothy Gowers's profile photoCarsten Führmann's profile photo
19 comments
 
+Timothy Gowers​ I wonder if it could still have sprouted into a tree. (After the removal, of course:)
Add a comment...

Carsten Führmann

Shared publicly  - 
 
Avaaz has taken out this ad in the International New York Times. How can the Force not be with us after this?
Breaking!! This morning Avaaz took out this ad in the International New York Times, calling on five key leaders to make a 100% clean energy deal. Let’s flood their offices with our ad calling on them all to be Jedis and ‘choose the light’. Click to send the ad now.
2
Add a comment...

Carsten Führmann

Shared publicly  - 
 
I've written a thorough blog post about using the language TypeScript to create quality web code: http://carstenfuehrmann.org/typescript-quality/. The post comes with a demo project on GitHub: https://github.com/cfuehrmann/GameOfLife and a hosted version: gameoflife.carstenfuehrmann.org.

Even if you're not interested in the blog post, you may want to play around with the hosted app. It's very plain, but trying out different settings can be strangely addictive.

The blog post discusses various aspects deeply: the rise of JavaScript, quality-assurance measures, the nature of TypeScript, module systems, and build systems.

The background to the whole enterprise:

JavaScript has long fascinated me, not because it is a great language (opinions on that differ), but because it is the only language that can be run by every computer owner. I myself would love being able to write great apps that everyone could run straight away. As a software engineer (mainly from the non-web world), I know that JavaScript lacks important features that help maintain code quality as the application grows. In particular, JavaScript lacks a static type system.

TypeScript is statically-typed language that "transpiles" into JavaScript. It addresses some of my woes. To learn more, I created the demo application. The point about the application, besides using TypeScript, is that it has a full blown build system (based on "Node.js" and Grunt), and uses full-scale test-driven design (using QUnit).

#typescript #javascript

+Philip Wadler

3
1
Eli Viertel's profile photoCarsten Führmann's profile photo
2 comments
 
+Eli Viertel There's something that's clearer in my mind now than when I wrote the blog post:TypeScript is essentially just the new-ish JavaScript version ECMA6Script plus types. If you delete the types from a TypeScript program, it's still a TypeScript program, but one that is also a JavaScript program. In places where TypeScript can't infer a type, it implicitly uses a type called "any". Where TypeScript does infer a special type, the programmer can widen that type by using an "any" type annotation. As a result, you can make an TypeScript code completely compatible with legacy JavaScript by simply using the "any" type in those TypeScipt parts that call the legacy code.
Add a comment...
People
Have him in circles
790 people
Denise D. Hill's profile photo
SmoochBooth's profile photo
ha pham's profile photo
Frau M's profile photo
Patrick Jobst's profile photo
Kelly Allen's profile photo
Scott Stephan's profile photo
Hansraj Chanda's profile photo
Kenny Goddard's profile photo
Communities
14 communities
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Erlangen, Germany
Story
Tagline
Such a big playground, so little time.
Introduction
I am a computer scientist and software engineer, born in Germany. I hold a computer science PhD from the University of Edinburgh (UK). Until early 2005, I was a lecturer at the University of Bath (UK). Then left academia to try myself in a software company back in Germany, where I still work. 

My academic research was concerned with programming languages, logics, proof theory, and category theory. I am still interested in those areas. In recent years, driven my industrial work, I have developed an strong interest in software engineering. Around 2013, I developed an interest in theoretical physics, but time permits me only to dabble.

Besides, I am an atheist and humanist. I also love to loose myself in books, music, computer games, and the internet. My wife and I have two lovely cats. 
Bragging rights
Computer Science PhD from Edinburgh University
Work
Occupation
Theoretical Computer Scientist, Software Engineer
Basic Information
Gender
Male
Es gab bei unserem Besuch die Auswahl zwischen drei sehr ansprechenden Menüs. Unseres hatte sieben Gänge, und jeder einzelne davon war hervorragend, mit Ausnahme eines Nudelgerichts, das "nur" gut war. Die Bedienungen waren sehr freundlich und behielten stets den Tisch im Auge. Die Gaststube ist klein und zweigeschossig, und sehr urig und bequem. Im Erdgeschoss hat man Einblick in die offene Küche. Man zahlt je nach Menü zwischen 60 und 90 Euros. Das ist die Sache aber auch Wert. Ich kann das Fischer definitiv für besondere Anlässe empfehlen.
• • •
Public - a year ago
reviewed a year ago
1 review
Map
Map
Map