HNHacker News
TopNewBestAskShowJobs

jk4930

1,140 karma · joined March 14, 2008

Space, AI @ Berlin
submissionscomments
jk4930··on The Reality of Developer Burnout
When scientists burn out, that has probably more to do with the continuous grant hunting, bureaucratic nonsense, and backstabbing they're exposed to.

When PhD students or postdocs burn out, it's because of underpaid boredom, lack of communication about their research or job uncertainties, and a generally ungrateful and passionless environment.

I've never seen scientists burn out over failed experiments. They know upfront that (basic) research is hard and that 90% of their stuff is not working.

jk4930··on A Gamer Spent 200 Hours Building an Incredibly Detailed Digital San Francisco
There's something off. Someone used the Berlin Reichstag (parliament building) [1] as the model for the SF City Hall [2].

http://i.imgur.com/s2MmJ8B.jpg

[1] http://footage.framepool.com/shotimg/qf/252862096-reichstag-...

[2] http://www.aerialarchives.com/stock/img/AHLB3555.jpg

jk4930··on Leaked Pentagon video is a science fiction story about the future of cities
It's certainly based on empirical data, projections, and some model assumptions.

Urbanization: its drivers (jobs or other opportunities) and consequences (growth faster than the infrastructure or social structure can catch up), the demographic composition (a youth bulge with terrible consequences), the potential conflicts between ethnic and ideological groups etc., all that is known from what we observed so far and can be projected 15 years into the future.

Increasing complexity is a concern. But scale is the real killer. Who has the corresponding means to manage such numbers? They mentioned 100,000 of (potentially) revolting inhabitants in a city of 10 million (1%) as an example. How do you control them? Complexity means things become more opaque and surprising, uprisings have more hidden resources and connections, the criminal and other networks are harder to detect and contain.

Anyone interested in this challenge?

jk4930··on Ask HN: I'm an old programmer, do I qualify for diversity consideration?
Not on the right trajectory to retire as a startup billionaire with 30.
jk4930··on Dramatically Reducing Software Vulnerabilities [pdf]
Recent article and discussion: https://news.ycombinator.com/item?id=12612856 (A Hoare Logic for Rust)
jk4930··on European Court Allows Copyright Owners to Demand Open Wifi Networks be Secured
It's in P2P networks (e.g. BitTorrent), where people share content. While you download, you offer what you already have downloaded and that's associated with your IP. And that's their attack vector: you're distributing copyrighted content without a license.

After that file hosters (e.g. Rapidshare) became popular, where only one person is uploading and the downloaders are hard to identify and even harder to sue.

jk4930··on Randy Pausch Last Lecture: Achieving Your Childhood Dreams (2007)
Thanks for your many book summaries. Love those. Here's another good list: https://sivers.org/book
jk4930··on Berlin’s Startup Hub Wants to Prove It’s More Than Just a Scene
Some resources that could be helpful:

http://www.howtogermany.com/ http://www.exberliner.com/ http://www.meetup.com/berlin-expats/

Guess one could get help and exchange info there. But I'm speaking without experience here.

Could you (and others here) give some experiences with the issues you mentioned? Doctor, shopping for something more complex etc. I can imagine it's difficult with governmental stuff, but for the others I assume there should be solutions. E.g. going to doctors in expat-heavy boroughs, going shopping in tourist-oriented areas etc. But I could be completely wrong. So please tell me about your (negative) experiences and the barriers /showstoppers.

jk4930··on What is a Proof?
Compare a proof in a text book or most papers with this: http://us.metamath.org/mpegif/mmset.html
jk4930··on Ask HN: Relationship between OO and functional programming?
See https://wiki.haskell.org/OOP_vs_type_classes
jk4930··on Peter Thiel on the Global Economy, Technology, Artificial Intelligence [video]
Check out http://www.breakoutlabs.org/
jk4930··on Peter Thiel on the Global Economy, Technology, Artificial Intelligence [video]
You might like "The Birth of Plenty", the first chapter is online: http://www.efficientfrontier.com/ef/404/CH1.HTM

It's not the pragmatic business POV, but it has some highly interesting considerations.

jk4930··on How Far Is Europe Swinging to the Right?
Use an online translator of your choice for the following:

Deutschlandfunk (public broadcasting): http://www.deutschlandfunk.de/rueckkehr-in-den-irak-fluechtl...

Tagesschau (public broadcasting, left-leaning): https://www.tagesschau.de/ausland/rueckkehr-irak-101.html

Zeit (most widely read German weekly newspaper, centrist-left): http://www.zeit.de/politik/deutschland/2016-03/fluechtlingsk...

Explicitly no right-wing media, far from it in fact.

jk4930··on ‘Laws’ of Software Development
It took me two days to read it, so I'll provide a summary:

In a corporate hierarchy are the losers (bottom), clueless (middle), and sociopaths (top).

Losers: Economic losers in that they prefer a fixed monthly paycheck over their fair share for their contribution. Risk-averse. They know they made a bad deal and don't do more than expected. They play social validation games with each other to feel better in order to stand their fate.

Clueless: They believe in the corporate story and work more than they're payed for. They're promoted into middle management where they serve as a buffer between the top management (sociopaths) and the workers (losers). They execute all ideas from top management, from the stupid over the risky to the good. If something succeeds, the sociopaths take the credit. If something fails, the clueless take the blame.

Sociopaths: Nihilists who emotionally broke under the realization that no true values exist in this universe, so they're free to make values and goals up as they like. Those stories are given to the clueless to believe in. In every corporate life cycle exist different sociopaths. In the beginning they're the risk-takers with a vision and the willpower to push something new through. In established companies they kill off new and threatening ideas to protect the successful products. During decline they milk the company for the remaining values, then leave the sinking ship and hand responsibility over to the clueless to let them take the blame.

One important part are the different languages of the three classes. Losers have "game language", the social games they play to validate each other, but the talk and the content are unrelated to reality and don't advance them in the hierarchy. The clueless try to speak like the sociopaths but don't realize that one has to have stakes in the game (i.e. something to lose or something valuable to offer) in order to be taken seriously, so their language is full of empty phrases and threats. The sociopaths' "power talk" is full of hints (without commitments) that are only understood by equals and when they talk about something they have to lose or gain something -- it's about the real things, not the empty phrases the clueless use.

jk4930··on The K Language
I do love APL's syntax. It's part of the appeal for me.

That said, Red looks like a godsend. I was looking for something I can use without much setup and learning costs, that is small, elegant, efficient, fast, gets the job done, and is long-term maintainable. Red seems to fit the bill. I'm still evaluating it and it still looks good.

jk4930··on Sortix 1.0 Operating System Released
"Poor third party code tend to not compile which draw attention to it and is an opportunity to fix it. (...) The lack of compatibility constraints compared to other operating systems makes it possible to make a cleaner implementation."

I like what I'm reading here.

jk4930··on List your accomplishments
Welcome to the world of disclaimers, trigger warnings, and safe spaces.
jk4930··on Launch, Land, Repeat
It's called "Black Science Man" and the quote refers to this: http://i.imgur.com/IhASJV2.jpg
jk4930··on Life is Short
Love your website. Keep up the good fight. Thanks.
jk4930··on Audi's improbable project to put a rover on the moon
Around 100x80x50 cm. Between 30-40 kg (depending on payload).

The plan: Rover into the landing module (LM), LM into the rocket, rocket brings us to the right orbit where it releases the LM, from there to the Moon, soft landing.

jk4930··on Audi's improbable project to put a rover on the moon
I work for the team Part Time Scientists. AMA.

There's an older post: https://news.ycombinator.com/item?id=9916217

jk4930··on AMA: the OpenAI research team
I'll send you a mail tomorrow. Thanks.
jk4930··on AMA: the OpenAI research team
Okay. May I write you an email to establish the connection? I intended to contact OpenAI later this month, but now that we're talking...
jk4930··on AMA: the OpenAI research team
Do you have info materials about OpenAI I could use in AI events?

Will you work with 3rd parties to rise awareness and support, recruit talent and external collaborators (e.g. research groups)?

jk4930··on Modula-2 Reloaded – A Modern Typesafe and Literate Programming Language
Please let me join this thread with an ad for Ada, which belongs to the same family:

While I appreciate work on Modula 2, I'd like to point out that Ada (and its subset Spark with a focus on verification) already fulfills the project's goals (correctness, safety, reliability and readability).

Plus it's battle-proven (literally) and ready to use. There exists an open source version with the GNAT compiler and it's part of the GCC (and AdaCore is really into FOSS). The literature is sparse but high quality. Programs are usually of good quality and require fewer developers (compared to C++). Real-time, embedded, systems, high-integrity, concurrent, distributed programming -- it's all there. It's suitable for large, long-lived projects.

http://libre.adacore.com/

http://www.ada2012.org/

http://spark-2014.org/

jk4930··on Drawbacks of Freelance Web Development
http://www.kalzumeus.com/greatest-hits/
jk4930··on Next Generation Eclipse IDE
Delicious. I have traumatic experiences with Eclipse from 10+ years ago when I was forced in a uni course to write GUIs in Java. We had 14" CRTs and this IDE cluttered the entire screen, leaving me with a palm-sized field to type code into (I had to scroll horizontally in it to read an entire line of 80 characters). We couldn't customize the panels (the setup was provided by the sysadmin and frozen). I never touched an IDE or Java after it again. Even today I occasionally think back to this time and laugh in horror.
jk4930··on Post-human mathematics
Human brains are severely limited so the mathematics they invent is severely limited and everything new are small, understandable steps that build on huge piles of proven mathematics. A computer can create entirely new huge, complex ideas we wouldn't understand because they don't depend on making small steps.
jk4930··on How to act less stupid, according to psychologists
If we take calculated risks where we know about the small probability of success (in the case of startups) and perhaps employ risk-mitigating measures and justify the whole enterprise with the problem to be solved or the possible payoff, we're still confident but not ignorant (and thus stupid).

I don't experience that people call me somehow stupid for what I do. Perhaps because I tell them I know about the dangers, how I manage them, that my approach is not necessarily the best approach for other people (invalidating their choices).

jk4930··on So you're learning OCaml
I'd describe it more as uglyfied Haskell, but anyway: http://science.raphael.poss.name/rust-for-functional-program...
← PreviousPage 2 of 10Next →