skysight-inc/HackerNews huggingface dataset:
The problem with complex type systems is that they force you to spend a lot of your development time thinking about type structures and their relationships (in a universal way) instead of thinking about actual logic (in a more localized way).

For example, when you introduce third party modules into your code, sometimes it's impossible to cleanly reconcile the type structures exposed by the module with the type structures within your own system... You may end up with essentially identical concepts being classified as completely different types/classes/interfaces... It creates an unnecessary impedance mismatch between your logic and the logic exposed by third-party modules.

This type impedance mismatch may discourage developers from using third-party modules altogether. That might explain why dynamically typed languages like JavaScript and Ruby have such rich third-party module ecosystems compared to that of statically typed languages.

Unless there is a single standardized and universally accepted type system which is fully consistent across the minds of all developers of a specific language/platform (for all possible applications), then a type system makes no sense at all; especially a complex one.
It wasn’t tech related. Highly regulated and unfortunately quite unnecessarily politicized.
Do any of these studies even acknowledge the possibility that poverty may also select for individuals with low IQ?

How can we take these studies seriously when there is such a taboo on asking uncomfortable questions?
Well, it's MIT licensed and pushes most drivers into user space, so no one has to contribute drivers back at all. : /
I really wish we had app stores actually require vendors to submit source code and build instructions so that the app store would build it themselves and publish it. Something like F-Droid even if the source code is not publicly available.
Yikes. On pretty much any ThinkPad except for the X1 series, replacing the keyboard is a five minute task you can do yourself, and Lenovo will overnight you a new keyboard. The only tool needed is a #1 Philips screwdriver.

Alas, the X1 Carbon and X1 Yoga abandoned this design. The keyboard is no longer a CRU (Customer Replaceable Unit). It's a complete teardown to get to it. But if you get the onsite service option they will send someone out the next business day to replace it.
The sed command doesn't get the indentation right, though, as the article says it could be indented by two or four spaces.
FlureeDB, a Practical Decentralized Database (2017) [pdf]
1. Marrying my wife.

2. Not leaving her when things got hard.

3. Having children.

4. Learning how to program.
The Thirty Million Line Problem [YouTube]
Image based in the photos taken previously from the wife of Ian Anderson, it seems.

What the artist could have done is paint as many new versions of the image as he wants and sell them.
Traveling slowly for almost two years. I tried staying at least a week in each place and at least a month in each country. Stayed in some places like Peru for longer (9 months total).
How about the puri.sm laptops?

Also although I still love my 2013 MBP and macOS it’s really annoying that Apple have things like Split View that can’t be run from the keyboard.

It’s like they’ve forgotten how professionals use Macs at speed.
Isn't that pretty much the orbit of a comet?
The point is they still have to spend the money to make keep their flows positive otherwise they'll bleed customers to the other 3 and die eventually.
Also with Unix domain sockets and file descriptor passing.
You said that in intent and methodology they are like scientists. My point was that the use of random assignment and the experimental method makes them completely different from scientists. Experimentation using random assignment is a different beast than collection of extant or real world data. You may disagree but if you do I think you should read a bit more about the importance of these methodologies.
would you share any games you made?
Fibratus: Tool for exploration and tracing of the Windows kernel
Similar story here. I managed to spill coffee on my MacBook Pro 2015, which I had been really happy with -- great performance (max out with CPU, RAM and 1TB SSD).

I got the new 2017 model, and really hated the keyboard, but also really disliked the Touch Bar and lack of Escape button. I'm not at all concerned with the lack of USB or SD card reader, though I was disappointed with the lack of performance improvements over the 2015 model.

So I returned it, and bought a brand new 2015 model. Except it turns out they changed it! It no longer has a dedicated AMD graphics card. It's an integrated Intel Iris Pro with less VRAM, and it seems really underpowered compared to the old AMD Radeon on my previous model.

The lower graphics performance is especially noticeable if you turn the Retina setting to scaled (like 1.5x, which I prefer). It's not just that apps render a bit more slowly -- I get the sense that there's some GPU memory transfer bottleneck that's happening that causes sudden pauses in UI rendering across the entire OS. And it's something that makes the whole computer slow down with use; rebooting (or restarting Safari) speeds things up again. Typing in Slack or VSCode has noticeable lag, and switching between Spaces results in a significant pause, and the switching animation stutters something fierce. I would go so far as to say that scaled Retina is unusable on this model.

I looked the model ID, and it's "MacBookPro11,4". The model that has a dedicated GPU is "MacBookPro11,5" and was discontinued in October 2016. So it looks like it's impossible to get a 2015 MBP with a dedicated graphics card right now. You can't plug in an external GPU, either; while High Sierra now supports it, it's only supported on the newer models via Thunderbolt 3.

This is really frustrating. I've been using Apple laptops since 2006, and this is the first time when I can genuinely say that none of their products are good enough. I've even looked at the possibility of switching to a Linux laptop, but Linux distros are nowhere near macOS in terms of cohesiveness and UI, and while the laptop models I've looked at (ThinkPad T480S, Dell XPS 15, System76 Oryx Pro) admittedly have much better specs than Apple, none of them stand out as being particularly good.

I'm now hoping that Apple will see sense this year and offer a non-Touch-Bar model with some kind of non-butterfly keyboard. But I'm not hopeful.
Yeah, I agree about smarter parameter search and training. That was a big theme at ICLR this year.

Fwiw, here's the paper on RNN architecture generation referenced earlier.

https://arxiv.org/abs/1712.07316
I have used the following image[1] on a server of my old company where we had a problem and no one with privileges was available. It gives you a root shell. I added my public key to the authorized_keys of root.

[1] https://hub.docker.com/r/chrisfosterelli/rootplease/
I think the chances of MagSafe coming back are slim. I’m debating getting the last updated 15 with the old style keyboard and MagSafe to hold me over for a while...
I’m seeing a little bit of a waterbed effect here. The author has replaced the basic type with one that matches it in name. You will never accidentally send CustomerId to CartID because the compiler will fail... but now we’ll nees to dig through the code to find out whether customer ID should be an int, int32, String.... what the heck is it anyway?

In scala can I not just say foo(item1=item1) even if foo takes only 1 arg?
One of mine was not worrying about what other people thought of me.
When I interview somebody that seems like a jerk I wouldn't want to work with, no matter how strong their technical chops, I try to say it directly in the evaluation. "Bad culture fit" sounds like a cop-out.
Life
- Dropping out of a for-profit college and moving from Atlanta, GA to San Diego, CA

- Focus on my own goals

Career
- Javascript! Javascript! Javascript!
- Starting my own company
I'm much more familiar with sed than ed, so here's how I would to this:

sed '/baz/{s/.*/&\n&/;s/baz/elephant/2}' input.txt

or, slightly more readable

sed '/baz/ {
s/.*/&\n&/
s/baz/elephant/2
}' input.txt

The first substitution appends a copy of the line to the pattern space, the second substitution replaces the second occurrence of "baz" with "elephant".

This being said, I went ahead and bought the book mentioned in the article [0] - a neat little read.

[0]: https://www.michaelwlucas.com/tools/ed
Quitting tuba.
That was one of the inspirations for my work. His simulation is Lagrangian (particle-based) while mine is Eularian (grid-based).
1. Moving out of Russia (to Canada)

2. Picking up jogging - really helped me to fight anxiety and started thinking straight
which options? I also was impressed with ascii cinema
I don't think you 'pick' your kids, unless you foster first... but you can raise them right, and that makes all the difference.
Cool idea. However It’s the DB that usually leaks the password, not the stack*

Assuming we’re talking about Scala and not C.
I guess even with equal ownership it would be beneficial to decide who has the final say on things. "A pirate ship has to have a captain." Rather have the business die because of bad choices than the inability to make choices.
Everyone I know with good posture are physically fit, none of whom have “retrained a faulty idea of one’s position in space”. The sense we have that someone is fit generally comes from their posture.

Does this idea-retraining work as well as the gym? Do you know examples of unfit people with great posture through idea-retraining?

Of course we all know unfit people who are always straining to “sit up straight” and so forth, which always seems unnatural. Perhaps these people are the target market for this idea-retraining?
> ... and the AUR, which everyone knows are not officially endorsed or reviewed ...

Uh, not everyone. I ran Manjaro for a bit and found that many of the things I ran were available via AUR. The usual thing I'd find in a search was usually something like:
sudo pacman -Sy
sudo pacman -S yaourt base-devel
yaourt -Sy
yaourt -S gpodder
(That's the entire reply, BTW.) At some point I started to wonder what the provenance of these packages was and what the security implications were. I might have looked for information on the security risks of these packages but this is the first concrete claim I recall seeing about the subject. Probably a good thing I'm not running Manjaro any more.

I do run Ubuntu and have some snaps installed (Golang, VS code among others) and I'm now wondering if it would be possible for a malicious developer to substitute compromised snaps for the official ones. My understanding is that they update silently and automatically so I wouldn't even know about updates if I didn't check logs.
Just in case you haven't considered it, and it's applicable for your situation, one can use docker for that purpose:

docker run --rm -v $PWD:/something some-image-with-curl curl -o /something/destination http://example.com/something
Taking a sabbatical and going to the Recurse Center (http://recurse.com)
I agree with number one. There aren’t many decisions anyone can
make which are %100 guaranteed to improve your life. That is one of them.
Show HN: How to fund Funeral
Kotlin: 35% Android developers now use it
> When people demand affordable rent but do not get it, many still cry "injustice!".

Well, it can be interpreted as an injustice. If you have a society that can realistically provide housing and food for everybody, is it not injust to deny handing these things out? The answer depends on what society you're going for. The optimum path is probably neither the extreme of the state providing everybody with everything he needs , nor a dog-eat-dog world in which the idividual gets nothing, no matter his situation.
Traveling all over the world... while young.
The why do the majority of Russians want a return of the USSR, with higher numbers among older generations?
Learning to program.

Lifting, learning to count calories, healthy habits in general.

Staying out of the sun.

Moving out of the rust belt.

In preparation for moving, moving back in with my parents and getting close with them after a period of about a half decade of taking my family for granted.
The interesting thing about rotary-wing craft is that they actually work sort of independent of altitude (as long as everything stays subsonic.) As air pressure decreases, lift at a given rotor RPM decreases - but the drag on the rotor also decreases, so the RPM increases and it ends up providing the same amount of thrust. The reason helicopters on Earth haven't flown very high is not because of the rotors, but rather the engines, which require more air than is present at high altitude. For electric motors, that is not a problem.
On this page, https://news.ycombinator.com/item?id=17055920 is the nitpick for energy.
I wrote a blog post that goes into a lot more detail into some of these techniques, in case anyone wants to dive deeper

- http://www.lihaoyi.com/post/StrategicScalaStylePracticalType...
- http://www.lihaoyi.com/post/StrategicScalaStyleDesigningData...
A huge difference is that these languages doesn't force you to use type checking everywhere. You can use just in the more complex pieces of you source code. It would be nice to see how tools, like refactoring, would handle it.
Those impedance mismatches are equally present in dynamically typed code. The only thing types do is help make it obvious when there are problems with composition.

I work in Haskell with many other Haskell developers and a wide variety of Haskell mindsets. It’s a very complex type system we use a lot of, and so far, the issues you mention are so minor and worth it.
Very nice indeed, I can't access the article because I'm automatically redirected to https://www.seuhistory.com/ when I click.
submodules always seem good in theory, but fall apart anytime they need to be updated on a regular basis as part of a dependency ecosystem. We tend to use them as shorter term solutions when we have something we know we want to be an “official artifact” eventually but don’t want to spend the overhead setting up a build/publish for that library.

In the sense of working with git submodules, it can be quite painful sometimes, as most HN readers here know. The process of installing and updating them, in my experience, does not follow the principle of least astonishment. When dealing with a project using multiple submodules and switching between different branches, it’s difficult to get the right combination of submodule dependencies on the first try.

submodules are a tool like any other and should be used as such. For us that usually means that we want to make a semantic separation between two different projects but in reality that only one project uses another for awhile and so it makes sense to have the less overhead of the submodule dependency vs “real” dependency.
NEED a CREDIBLE HACKER?
I'll say you contact Q U A D H A C K E D @ G M A I L . C O M for your equifax, transunion credit repair and expunging of negative remarks from your credit report, he's such a saviour. i just wish i met him much early i wouldn't have suffered for that long. after the whole credit repair . well it took almost a month but i love how progressive the effect of all he did on my credit score was . i will gladly recommend the firm to anyone in need of a credit repair hack. send a message to them on their E-mail. Q U A D H A C K E D @ G M A I L . C O M .. help yourself today so you don' get to the point of desperation like i was .
* My parents leaving Romania for the US (on the Greencard lottery) when I was 10.
* Leaving a large company to work on a product I believed in (Airbnb 2012).
* Not paying too much attention to my peers and doing what felt right: not getting a service job as a teenager and freelance coding(even when my effective hourly rate ended up being lower than working at Subway), becoming a farmhand after working as an engineer; taking a job at an art hedge fund in NYC while living in rural Washington.
* Viewing money as a side product rather than a goal.
(in no order and i might have left out some)

1. Traveling and living overseas for over half of my twenties. Gave me a world and multi-cultural perspective.

2. Getting emotional healing from an abusive childhood. Gave me confidence to pursue life from a place of healing and peace.

3. Getting married to my wife who I share everything with, including being work partners.

4. Having children which has opened up a whole new aspect of wonder, curiosity and adventure.
Quitting alcohol. Going vegan. Learning a trade (programming).
Yeah, I don't know if it's the origin of the phrase but College Students Are WIERD is the popularizer.

The point being that a bunch of psychology undergrads taking surveys because it's required of them is not necessarily a good way to draw conclusions about the species.
>So training in a glycogen depleted state (back then we called this bonking) is bad news if you want to increase your aerobic threshold

These is a difference between burning glucose as the primary fuel source, depleting it, and bonking vs using fat as the primary fuel source to begin with (there is no bonking).

But basically glucose store empty pretty quickly and if not refueled the body shuts down to conserve the limited glucose for the brain because that is it’s primary fuel source (the body shut down is the bonking).

When in keotsis, the burning of fat produces a by product, ketones, which is a different source of fuel for the brain. So when in ketosis when burning fat as the primary fuel source (which is essentially limitless compared to glucose) there is no bonk because 1. You don’t run out of fat (like you would glucose), and 2. As you burn fat you produce ketones to fuel the brain (which isn’t happening when burning glucose as the primary fuel).

For example my last marathon I ran in ketosis I did with only water and electrolytes (no fuel), I cant do that if I’m not in ketosis.

Your point about being able to more efficiently increase the aerobic threshold while using glucose sounds right.
Do you use any phone?
If the question about business life, leaving an SV-based company. Otherwise, marrying and having children.
Honestly, your best bet might be to switch to Windows and make do with the WSL.
> In scala can I not just say foo(item1=item1) even if foo takes only 1 arg?

Why would you want to do that? That's less succinct than foo(item1). What are you really asking?
TR-3B filmed in all it's glory
That’s a really interesting history. I took a very traditional route. How did you end up positioning yourself for jobs like the art hedge fund? In my experience that would have required some amount of real life social connections or hustling. Just curious... for my kid’s sake.
She's still active, I see her at Pennsic.
Living below my means, both when I was "poor" and now that I have more money.
1). Marrying my wife

2). Sticking it out in CS undergrad when I was having a hard time with the material instead of dropping out

3). Leaving shitty jobs(though I could've left sooner at each instance) for greener pastures

4). Instead of resorting to drugs or alcohol to deal with bad times and loneliness in my life, turning to running instead and running the Marathon des Sables(and unrelatedly but subsequently finishing my pilot's license) which made me believe in myself
“You'll worry less about what people think about you when you realize how seldom they do.”
Similar for anyone interested:

https://github.com/tuvtran/project-based-learning

https://github.com/AlgoryL/Projects-from-Scratch

https://github.com/rby90/Project-Based-Tutorials-in-C
10 Observations from Dropbox's S1
I wonder what it would do if you compiled a small Lisp or Scheme interpreter that included eval with it.
Yagmail: sending mails from Python the easy way
1. Seeing a doctor about my anxiety issues.

2. Deciding not to pursue a career in software development. I enjoy programming way more as a hobby that I can take a break from whenever I want.
So Starbucks could make you their backend, for $15/mo...
yeah, that's going to scale...
Thanks, the blockchain part is recent and isn't relevant. Otherwise it's super simple idea: strong derivation based on something anyone can remember (username + pw) + website origin = strong non-reusable credentials w/o hardware.

It's definitely would be more successful being part of the browser, but Web Auth API is too slow to move so I went out to make a PoC instead. In the end: I hate electron apps now :) Also I now know what kind of effort is needed to change the auth space... I don't believe it will happen short term :/ It's too hard and too little incentive to change things.

The only perk of being outside the browser is being able to auth regular desktop apps like Spotify or Btc wallets. But yes, 99% are web apps so seamless in-browser login would make more sense.
Taking the huge step of quitting a well paid normal job as a software developer to become a freelancer. It has been much more rewarding than I expected.
This question is far less interesting than how you made those best decisions. We make decisions constantly, and any of those have a chance to be good or bad depending on circumstances. Just because "moving to a different country" was great for randomPoster35 doesn't mean that moving is generally a good idea.

My best decisions were made with a feeling of rightness. Even when it was hard, either involving sacrifice or letting other people down, I was able to think about them and know that they were the right decisions to make. Years later, it's obvious to me that I did the right thing in that scenario. Now that I've learned to trust that sense, it's easier for me to make good choices without endless hand-wringing.
Staying sober, leaving bad relationships and jobs, helping other people/volunteering, educating myself and getting a job that pays reasonably well.
I tried to look up studies regarding ketogenesis, but most of it was pretty flimsy.
I'm not even talking of GUIs, I'm talking of exchanges like this:

root@server:~# ip route add 192.168.1.0/30 10.0.0.1

Error: either "to" is duplicate, or "10.0.0.1" is a garbage.

The "help" is literally a dump of the grammar, which doesn't contain enough detail to add a route (the syntax of PREFIX is not described). The error message is bafflingly useless. Of all the options available relating to routing, the two I use most are "route a network via a gateway IP" and "remove a route" and I'm going to guess that those are the two most common operations for most people not doing any advanced networking.

Note that this is the replacement to the old "route" command, which had a single line of help: "inet_route [-vF] add {-host|-net} Target[/prefix] [gw Gw]" which is way way more helpful for this use case!

Of course it's possible to go into `man ip` and then find routing help is elsewere and go into `man ip-route` and at the bottom of a 400 line document there is /a single example/ of adding a default route which doesn't include a subnet definition, and then to decode that the error message about duplicate/garbage means "you didn't add the word "via"" and then to backtrack into the grammar dump and trace where that was mentioned.

And of course this is but one tool.

And of course it's better for many use cases that it be stable and performant than that it be frilly.

But all over, it feels like this. Usability, quality error messages, making the common things easy and discoverable, are all afterthoughts with priorities somewhere between "caveat user" and "it's free so shut up" and "we refuse to change it because ~POSIX~" and "usability is for wimps, Linux is for clever people (where clever means 'able to edit a text file and willing to do everything the hard way')" and "we benefit from people buying RedHat Certifications so why should we make it any easier than we have to?".

I'm not saying it's incapable or unstable or useless, but I am saying usability for common tools and overall experience is really, really, really, really poor. With possible exception "install Ubuntu/Mint/flavour-of-day and run FireFox to get to your Googles".