jk4930

9 ms·

31.
by jk4930 10y ago
My first Hello World in Ada was 2.3 MB, but I'm sure it was the most safe and reliable Hello World in existence.
32.
by jk4930 10y ago
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
33.
Rocket AI: 2016’s Most Notorious AI Launch and the Problem with AI Hype(medium.com)
5 points by jk4930 10y ago|0 comments
34.
OpenAI and Microsoft(openai.com)
162 points by jk4930 10y ago|25 comments
35.
by jk4930 10y ago
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&
36.
by jk4930 10y ago
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 dem
37.
by jk4930 10y ago
Not on the right trajectory to retire as a startup billionaire with 30.
38.
by jk4930 10y ago
Recent article and discussion: https://news.ycombinator.com/item?id=12612856 (A Hoare Logic for Rust)
39.
by jk4930 10y ago
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 c
40.
by jk4930 10y ago
Thanks for your many book summaries. Love those. Here's another good list: https://sivers.org/book
41.
by jk4930 10y ago
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
42.
by jk4930 10y ago
Compare a proof in a text book or most papers with this: http://us.metamath.org/mpegif/mmset.html
43.
by jk4930 10y ago
See https://wiki.haskell.org/OOP_vs_type_classes
44.
by jk4930 10y ago
Check out http://www.breakoutlabs.org/
45.
by jk4930 10y ago
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 considerati
46.
by jk4930 10y ago
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:/
47.
by jk4930 10y ago
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
48.
by jk4930 10y ago
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,
49.
by jk4930 11y ago
"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.&
50.
by jk4930 11y ago
Welcome to the world of disclaimers, trigger warnings, and safe spaces.
51.
by jk4930 11y ago
It's called "Black Science Man" and the quote refers to this: http://i.imgur.com/IhASJV2.jpg
52.
by jk4930 11y ago
Love your website. Keep up the good fight. Thanks.
53.
by jk4930 11y ago
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.
54.
by jk4930 11y ago
I work for the team Part Time Scientists. AMA. There's an older post: https://news.ycombinator.com/item?id=9916217
55.
by jk4930 11y ago
I'll send you a mail tomorrow. Thanks.
56.
by jk4930 11y ago
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...
57.
by jk4930 11y ago
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)?
58.
by jk4930 11y ago
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&#
59.
by jk4930 11y ago
http://www.kalzumeus.com/greatest-hits/
60.
by jk4930 11y ago
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

More ›