skysight-inc/HackerNews huggingface dataset:
Invading our Solar System was worth the risk for Tri-Solaris. Because of the Dark Forest nature of the universe they could not just pick a star where they thought there was no life, as life there could just be especially good at hiding. When they found earth they found a luxurious planet containing a race which was ignorant of the true state of the universe and technologically incapable of doing anything about it anyway. On top of all of this, our solar system was very close by :). Their own star system was hellish compared to ours, they needed to leave.

The final book in the series does a good job showing why Earth was a good option for them. Tri-Solarians knew far more about Earth than they could reliably determine about most nearby star systems.
Recently overclocked L5639 from 2.13Ghz to 3Ghz and saw a noticeable difference but not sure how pronounced that is for a i7-3xxx at 3.5Ghz to an i7-8xxx at 5Ghz

There's definitely a difference between the L5639 at 3Ghz and a i7-6700HQ (2.6Ghz base) in my laptop
As a big Ocaml fan, the syntax is one of my least favourite aspects of the language.

Two things that I find particularly annoying are constructors (which don't have the same syntax as funciton calls) and the multitude of shift-reduce ambiguities that don't do the thing that you want. For example, in the following code the W gets parsed as part of the inner match:

match foo with
| X -> match bar with
| Y -> 1
| Z -> 2
| W -> 3

A lot of this could be remedied by having more expression terminators. ReasonML uses C-like curly braces but even a simple "end" token to close the match expressoin (similar to what Lua does) would already be enough.
I don't understand the math of this sort of launch vehicle. Any rocket launched at a high altitude still needs to accelerate up to orbital velocity, which is orders of magnitude more energy than is saved by starting out moving at a sub-sonic speed and a high altitude.

The layers of complexity here can't be worth it economically. Is this a solution in search of a problem?
> Congratulations, you've found the goose that laid golden eggs. And now you say all geese lay golden eggs.

I mean I saw these signs frequently. Although yes, on the whole, people are pleasant and accommodating. This 'discrimination' will not ruin your life. It's a mild inconvenience and personally I don't care about it.

Essentially my point is that you're probably not going to move to Japan and integrate yourself into society. You'll always be an outsider, and you may sometimes be shunned in an explicit way, which is quite shocking.

And I believe you're right that it's illegal to discriminate on this basis there.
Do you remember roughly how much they cost?
The Flight of the Conchords' song "The Humans are Dead" https://www.youtube.com/watch?v=B1BdQcJ2ZYY starts with "It is the distant future, the year 2000". It was released in 2008. I mean, yeah it's a piss-take, but there was always this big thing about the year 2000 being the distant future when robots would be ruling the Earth.
There is a work-in-progress second edition of "Real World OCaml" book [1], which has many small but vital updates corresponding to the modern state of OCaml and its infrastructure. Moreover, I recommend checking the Lwt [2] from the beginning for working with multithreading. OCaml Ctypes [3] library for creating FFI stubs without a single line of C and Cstruct [4] for working with C structures. If you want to interact with some Python code or script your OCaml program with Python - you can use Pyml [5] library. OCaml universe also has a good library for numbers crunching and scientific computing (including primitive Machine Learning) - Owl [6]. For writing OCaml instead of JavaScript, it is possible to use BuckleScript [7]. And if you are starting a new project in OCaml - I recommend using the most modern buildsystem - dune [8]. It is very simple to use and with a less overhead than others. I found also Angrstrom [9] is very useful for implementing binary and text format parsers.

Utop [10] and ocaml-jupyter [11] are the best choice for experimenting, browsing the API and testing some small things.

[1] https://dev.realworldocaml.org/toc.html

[2] https://ocsigen.org/lwt/manual/

[3] https://github.com/ocamllabs/ocaml-ctypes

[4] https://github.com/mirage/ocaml-cstruct

[5] https://github.com/thierry-martinez/pyml

[6] https://github.com/owlbarn/owl

[7] https://bucklescript.github.io/

[8] https://dune.readthedocs.io/en/latest/quick-start.html

[9] https://github.com/inhabitedtype/angstrom

[10] http://github.com/ocaml-community/utop

[11] https://github.com/akabe/ocaml-jupyter
Show HN: Text and audio summarization API
If it's going to fly at such a large speed, what is the proposed mechanism to stop it? This thing would instantly burn as soon as it reaches any planet's atmosphere. Could Alpha Centauri's gravity field capture this spacecraft somehow? Doesn't seem likely.
This is true to some extent (IMO Elm and Haskell) but I think at least being exposed to one functional language will make anyone a better developer in all languages.

I started programming in Clojure, Clojurescript, and now messing around with OCaml. The primary language I use at work is Ruby.

The aspect of FP that really helped me even be a better Ruby developer was just having way less shared state. When you have less shared state, and small functions doing one thing with as little side effects as possible it really makes code cleaner and it makes your software behave in much more predictable ways.

I know what some are saying "Well that seems like what you should be doing anyway..." That is true but at least working with a FP language really drives this home and for me did more for code quality improvement than anything else. In fact now when I look at most Ruby code even in big high quality projects I am like why??? Ruby gives you so many ways to do things without shared state (blocks) yet so many choose to set instance variables all over, or store stuff in variables in memory.

I still am not sold on strong static typing such as in Haskell, and yes I get the opinion of what you said about that community. I am not sure though if it is because I am bad at it, or it truly takes more work than it saves you in the future. I just find with FP as in Clojure and OCaml it gives me a lot of gain without ever getting in my way. So it is worth trying, and even if you keep working in a large imperative language, FP experience will help you not fall into the holes of large shared state.
Memory usage is still terrible with Java but at least there are plans to address part of it with value types etc. But for a web service performance is pretty good (just look at techempower benchmarks and the fact that most high scale companies use Java for a significant part of their infrastructure). If you need to talk about startup time you don't need scalablitiy or really want a different solution/architecture.
I think most people have enough intelligence to realize something is wrong. Why go to the doctors at all then? Surely my problems must be normal for humans. Sure, as a young child you'd not think about it. But as an adult, you're telling me you wouldn't question that? Come on.
I think also, it would help diminish forking. Mind you, forking is important to OOS. I get that. But if, especially early on in a project's birth, (e.g.) two groups focused on one product (e.g., library) instead of each trying to do it "alone" I think on average we'd have better OSS instead of more of it.
Certainly their core business model of teens sexting is still strong?
Thanks. Reading it in that light, it suddenly makes a lot more sense. I guess I took it more serious, because I assumed that he actually owned that entire IP block. It's probably just the block of his ISP.
> Taiwan no longer exist according to China

Is there any government which believes that Taiwan is an independent country? I thought there were only three positions being held:

1) The People's Republic of China is sovereign overall of China, including mainland and Taiwan.

2) The Republic of China is sovereign overall of China, including mainland and Taiwan.

3) <whistling as we trade with both>
Show HN: The World's First AI Content Marketer
My initial experience with Home Assistant has been very frustrating. I filled my house with HomeSeer HS-WD100+ and HS-WS100+ wall dimmers/switches. I thought I was safe as they are best sellers in zwave devices. But Home Assistant doesn't seem to support them without elaborate workarounds that, as a noob, I haven't been able to penetrate. The forums have been talking about a solution coming soon ... for years now. In the meantime I'm stuck with a house full of home automation that I can't automate.

I may be too dumb for this, but I do manage to survive as a full time developer, in linux, using yaml daily. Yet the learning curve on Home Assistant has been brutal.

Can Home Assistant improve on this? Can we someday buy best selling devices and expect them to work with it? I realize that Home Assistant is not intended to be and will never be as noob friendly as the proprietary consumer hub software. But can it at least get friendly enough for a professional dev to figure out how to turn on a light without several weeks worth of head banging?
Automated Customer Survey Analysis in Your Spreadsheet
If they are a higher risk, it's just risk mitigation. If English teacher foreigners are 25x more likely to break their lease than a Japanese person making the same salary, then it's not worth renting to them for the same price.

You can call it whatever you want, but it's part of being a foreigner. If you don't like it, then stay in the country of your citizenship/heritage.
A bit offtopic but: has anyone used SML (https://www.smlnj.org/) for anything serious?

I fell in love with this language in University long ago (in the 90s), but I have never seen anyone use it in the wild.
Personal breakdown in an area at cycling distance from a big banking center (Otemachi):

- 1 bedroom in a quiet neighborhood, small designer appartement: $1100/mo

- 1G fiber: $23/mo (special 1 year price, need to change vendor yearly, ~$40 otherwise. Search on kakaku)

- monthly expenses: $400 restaurants & groceries, $100 subway

(Source : I've been living in Japan for two years)
The OP is making stereotypes, and they aren’t universally true (as is usually true for stereotypes).

Japan is a big place. There are all kinds of people, and plenty of innovative organizations. It’s frankly embarrassing, the amount of nonsense that people are spouting in this thread.
I can understand why you say Three-Body has a rather traditional solution, but I would argue said solution is misdirection. The first book is really just setting up the real meat of the story, in the 2nd and 3rd books.
Common Lisp avoids the confusion of "which one am I using" by giving you two separate functions, MOD and REM: http://clhs.lisp.se/Body/f_mod_r.htm
This is simply delicious.
Court has confirmed coordinated raids of Zwiebelfreunde in Germany were illegal
Many of them literally can't. My general recommendation is to avoid home automation devices with a network connection. If you're using things like Z-Wave and Insteon, they can't talk to the Internet, they're not network devices, and they rely on an RF adapter or the like to talk to your PC. If you control the computer/software they talk to, you control what information can get out.
You should be able to look through the supported Home Assistant components. MQTT, as mentioned, is a good example. You could also do a RESTful interface and use the REST component

https://www.home-assistant.io/components/#all
From the descriptions above they do sound similar.

I last remember going to Best in the early 90s somewhere in Northern Virginia. I have a boom-box CD player I got there, IIRC. The CD player doesn't work much, but 99% of time I just have a phone or tablet plugged into a cassette adapter, and it still sounds great.

Best was replaced by Circuit City over the course of the 80s and early 90s and now that niche is filled by Best Buy, at least here in the mid-Altantic east coast.
I'll have to go through with some of the same steps to see if a recent problem I had is related to this.

In my case it was actually being triggered by a piece of monitor management software that came with the LG ultrawide monitor that I use. No significant CPU load, no memory issues, plenty of cores in an older HP workstation with a Xeon Processor, 48 gig of RAM and a Samsung SSD. When that display management software was running a text editor couldn't even keep up with displaying text as it was typed.

Edit: rereading some of the original 2 articles, yeah, I'm not going to be running the same kinds of tests - even if I did it'd take too long to develop the knowledge base to be able to interpret my results adequately.
Seems like the bigger theme in the article is that the company is being run by a child.

Edit: I should perhaps expand on this. TFA repeatedly mentions Spiegel's tender age and his inexperience, and it points out that one of his core management techniques is a thing he picked up in prep school.
I noticed you mentioned before that you are currently a company founder; was your full pair-programming experience at a previous job? Was that what it was like, and were you forced to work with an individual in which that was the dynamic?

My guess would be that full pair-programming wouldn't be uni-directional (you type, I tell you what to type, all day, every day), but I could definitely see that being the worst-case scenario.
Yup. But I think the game changes when you bake those things into the platform (e.g., GitLab).
Working on legacy codebases better designed than I could have come up with hasn't been much of an improvement for me. There is a certain quality of "habitable" for a codebase that tends to get tossed when people create a tightly abstracted object-oriented design. Peter Norvig and Richard Gabriel in their writings mention organizing software "fractally" from top to bottom, which I haven't really been able to figure out yet, other than it must involve some careful use of repetition. Apparently, it can help create those qualities.
Sounds reasonable.

The way people talk about them often feels to me like they are language constructs.
Thanks balloob. Tried all the solutions in the thread. None worked for me.
I don't know if I'd call it depressing. I think the results are more an indication of how we use search engines in general than an accurate portrayal of the human condition. We search out answers to our questions and solutions to our problems, right? I'd guess it's pretty rare for someone to enter a string like "I'm 20 years old and I'm in perfect health!" or "I'm 38 years old and I've never had a cavity" in a search box.
Still, kind of interesting to see the types of things a demographic wants answers to.
Show HN: Repository with a collection of books
in Hungary: "Blockchain Technologies and Applications"

https://portal.vik.bme.hu/kepzes/targyak/VIMIAV17/

( 2018 spring: https://inf.mit.bme.hu/edu/courses/blockchain/materials )
No, but in a case with a clear paper trail it wouldn't be hard to send a very clearly worded cease and desist showing exactly what damages are expected and how easy it is to prove.

Depending on the size of the company would also be possible to raise a big PR fuss, get on top of Hacker News, etc.

Plus there is DMCA takedown, google's tools, etc. Those are trivial to use.
This is literally one of very few ways capitalism can continue expanding.

Our per-capita production have long passed absolute minimum of things needed.

Now it is about convinience, but marginal gains are less and less.

For manufacturing to continue to increase, things have to rot after they had been paid for.
I feel old to use Snapchat but what I care about :
word on the street - possible crypto integration shhh...
a lot of college students.
A whole OS and it's still on the relatively small side for an Electron app...
Absolutely.

If they tried to uphold that least-favourable interpretation, then I would be reaching for anti-competitive laws, and other consumer protections, and perhaps even contract law as they say downloading the software, so you can see the license, is binding.

It seems difficult to have a legal argument that it should be binding at all.
What package manager? `opam install merlin` should just work.

OCaml has a relatively immature ecosystem, but merlin is a great tool.
Opposite for me. I don't know many people over 18 who don't use Snapchat. Even parents of most my peers(late 20s - mid 30s) use it. It has largely replaced iMessage or SMS for exchanging dumb pictures of day-to-day things (e.g. Your dog doing something silly/cute)
They do. The same EULA will have different binding in the US and in Europe, for example. In many EU countries companies cannot draw arbitrary EULAs. If some sections infringe on consumer rights, then these sections simply don't apply and cannot be enforced. In essence, Intel can write whatever they wish in the EULA, but the consumer can do whatever they want as well. Depending on consumer's jurisdiction, it can create problems or not. US judiciary system is particularly unpleasant to the regular Joe, but the rest of the world is not. Go figure.
California Lawmakers Pass Bill to Erase Old Pot Convictions
This has made my day.
Sorry to hijack the thread:

I recently was trying to decide which language to pick up next: Lisp, OCaml, F# or Haskell (I know a bit of Lisp and Haskell already, as well as some Standard ML).

It came down to two: OCaml and F#. The former has poor support in Windows (work machine), and the latter has less poor support in Linux (home machine). So I decided I'll probably go with F#. I've been told the syntax is quite similar, so how difficult is it to translate an F# program to OCaml. Are all the patterns the same that one can do a more or less 1:1 translation while still being canonical?
pretty good, this has motivated me to do an online post about my own take at similar issues. However I do not assume 12-tet, just the ocatave, so it's slightly different.
People who have money want to see that money grow. You can't get around this.

How many companies have you worked for in your 3 years? Maybe you just need a change of environment. The programming field is vast. It's possible to exercise personal morals in your work, you just have to do it at the right time, which is the job application process. For example, if you're morally opposed to gambling, you can decide that you will never work on gambling software and just not apply to those companies. Likewise, if the corporate/capitalist world gets you down, you can just work for non-profits.

Now, if you believe software development as a whole is unethical, then as a software developer you really can't do much with that conviction. I personally don't see automation as "automating people away." I see it as unlocking new types of labor that are actually more valuable. The example I like to use is agriculture. The invention of the combine automated most of what was considered "farm work," but it didn't destroy the agriculture industry in America; it actually expanded it.

Maybe you don't really feel that software development is unethical, but just... not fulfilling. That's not strange at all. At some point in your career, the things that motivated you to achieve more as a junior developer just don't anymore. You're looking for a higher calling. You may want to find that outside of work, by volunteering at a charity or leading a Meetup group or something.
Took this course when I started moving towards software development and I thought it was great. It has a higher academic level then most introductory courses and its been great for developing intuition about the craft
This isn't terribly fair.

Spending 12.5% of profits on charity seems pretty laudable to me. The article complains about $57.3 million in bonuses, but the linked article neither gives that figure nor provides a timespan. Half a million per year — a number from a different linked article — for CEO compensation seems pretty fair for a national ogranisation.

Agreed that shipping stuff to third-world nations is bad for their industries, but what's the alternative? The article also complains that Goodwill throws out garbage.

The complaints about the wage paid to the disabled are misplaced, I think. I don't believe anyone can seriously write, 'Disabled people aren’t inherently less productive employees,' as does a linked Huffington Post article. It seems pretty reasonable that the choice is between low-paying jobs for the disabled or no jobs at all. Likewise, I think 'people with disabilities are not a burden' could only be written by someone who's never dealt with the mentally disabled.

The complaint about unsafe work places lacks context. Any workplace is potentially dangerous (even we office workers must worry about electrocution!). The key unanswered question is how does Goodwill compare to other organisations? If they're worse, that's bad — but if they're not, then what exactly is the problem?

The complaint about performance quotas could be turned around: perhaps those explicit expectations are necessary in order to provide jobs to low-IQ workers.

The concern about tax subsidies applies to every charity. Note that this campaign appears in part to have originated at the Socialist Worker, which would like to see the State take responsibility for all charitable endeavours — all under the expert guidance of the well-compensated, empensioned civil service. That's merely trading one set of well-compensated managers for another.
> ...notify me when laundry is done

You could hook into the buzzer circuit for this notification.
As some anecdata, my mid-twenties group of friends and I use snapchat frequently. My brother is a freshman in college and he uses it with his friends as well.

For whatever reason, starting "streaks" has become popular with my friends, where the same friends will snap me everyday and expect a snap in reply so that our counter of consecutive days increases over time. I hate to admit it, but I enjoy this gamification of the service, and it has resulted in me checking snapchat everyday for more than 650 consecutive days. I know it's been that long because that is my longest snap streak, but the truth is that I am rarely the one that breaks the streak so it has probably been much longer than that. There is also definitely a feeling of disappointment and relief when a large streak is broken.
I wouldn't call it racism, either. Recognizing that different cultures and peoples are different isn't racism, and I wouldn't ever expect people to treat me as a Japanese, because I'm not one. That doesn't mean I'm not treated as an equal, it just means I'm not treated as the same (as I'm obviously not).

I'm thinking of writing a blog post or something about this in a positive light, since most of what you read about Japan in English is from the perspective of people who have a bone to pick with their experience. There's positives and negatives of being an integrated minority in what is by some definitions an ethnostate. I might even say there's some "minority privilege," depending on the situation.
That definitely makes a lot of sense, and I also value the balance between hashing out an approach together and the silence and focus that thinking at my own pace allows. I've never worked at a job with permanent pairing and don't plan to, but I'm always interested to hear what it's like on the ground. Thanks for sharing!
Thanks a lot. I wouldn't have expected Switzerland and Germany to have such different traffic laws.
Unfortunately that involves actually reading the reviews instead of looking at the rating.
> https://github.com/SystemsApproach/book/tree/master/publishe...

epub, mobi & pdf
Thanks. I'll have to look into that. Might not work for my use-case (AC units).