skysight-inc/HackerNews huggingface dataset:
A socialist revolution? Do you mean that you'd like the US to become more like Sweden, a social democracy? Because it bears repeating, there is not a single desirable place to live on Earth that is not primarily governed by free market forces, including Sweden. Sweden, Norway, Canada...these are not socialist states.

Also, let's be clear about one more thing. Martin Shkreli is not a free market capitalist, he's a crony. Leveraging state patent systems to create abusive monopolies is not free market capitalism, that is textbook crony capitalism and the enemy of a free market. Without arbitrary state enforcement of medical patents on insulin and epipens, do you think that these would be exceedingly expensive items? Are you being bankrupted by Benadryl? Hardly.

There are absolutely elements of healthcare that are far better serviced by a command economy than a free market, and I think the weird hybrid system in the US is the worst of both worlds in many such cases. But a socialist revolution? Socialism is an authoritarian nightmare that cannot suitably answer any question related to scarcity or competence.
I have family in Government; they still aren't getting paid properly.
I'm amused by the amount of third parties (Sumologic for example) that have ServiceNow plugins. I'm curious what kind of usage metrics they have on the feature. I suspect it's just a feature parity/selling point but not actually used in practice, like EKS and managed SFTP on AWS.

Nowhere I've worked that used ServiceNow encouraged solving practical problems with it. A grand total of once I took a crack at something that would have been trivial if Sumologic could alert to ServiceNow. It became hilariously obvious in 3 or 4 back and forth emails with the gatekeepers that their 3 month testing process, 45 emails, and 16 meetings requirement for a one line change was not cost effective.

My time was better spent crafting an email forwarding rule that sent the related conversations to the trash and moving on to solvable problems.
> The alternative is that everyone gets access to sub-par care.

Sub-par care is excellent when the current reality is that most people don't get access to any care at all.

You must understand that the vast, vast majority of people don't go to doctors. They don't have dentists. When a poor person is in pain they will continue to be in pain until the pain goes away or they die.

When given that versus a shitty but free healthcare system, who wouldn't want to see a doctor? To get $5 prescriptions to medicine that can help them?

And remember, this is assuming the healthcare system will be shitty - universal healthcare has never been repealed in a country that has implemented it. Don't you think if the citizens of these countries were so fed up with free care, they would be protesting and electing candidates that promise to dismantle it? Even Boris Johnson has to tiptoe around privatizing the NHS because he knows how wildly unpopular that would be, even among his conservative constituents.
These terms are too simplistic: there are other goods to be had. We have emotions, like it or not. Going home at the end of the day feeling proud about something is better than feeling like the day was a minimal-effort waste. Even if you had infinite time, you still have an opportunity cost by trading that time for n $MONEY when you could have n plus happiness.
In the US if you leave your job for any reason you don't lose your insurance. You have access to the same plan for at least 18 months (some situations up to 36 months) through a law named COBRA. You have to pay all the premiums but that's what an emergency fund is for.
Interesting that they found cyclists are more likely to run red lights than scooter riders. Here's what a near collision between a cyclist and a scooter rider (who ran a red) looks like from the perspective of a cyclist (me): https://www.youtube.com/watch?v=qN_DGR7isB4

Over the years I've been amazed by the arguments other cyclists have used to justify running red lights. The "physics" argument mentioned in the article isn't convincing to me, because a cyclist's kinetic energy is lost relatively quickly to drag and friction anyway. Stop pedaling. How long will you coast? Probably not very long (i.e., over 100 meters) unless you're going downhill. Seems to me that cycling requires constant energy input and stop lights and signs aren't likely to contribute much to energy expenditures. (Maybe I should do the math...) Edit: I did the math here and the energy from stopping was higher than I expected: https://news.ycombinator.com/item?id=22257938

I think the time saved from running reds is much lower than most red light running cyclists believe, because anecdotally I observed that red light running cyclists tend to go fairly slow. I can recall keeping up with or catching cyclists who run red lights despite never running them myself.

I think cyclists as a whole need to stop running red lights. Yes, there's a double standard here, as most drivers seem okay with speeding if they're doing it, but can't tolerate rule-breaking from cyclists. But we shouldn't give drivers excuses.
Let's stop discussing a hypothetical. Analysts in this space are well aware of the cyclical nature of it, and have better data than some of the companies in question. The premise is false.

Cyclical trough/peak earnings normalization is decades old from industrial and resource sectors.
Top Attractions You Need to See in Algeria
At the risk of following the explicitly marked sidetrack/digression, those all sound like issues based on the assumption that only car traffic matters, rather than any issue inherent to bike lanes.
Facilitating distributed deterministic computation with WASI [video]
Analysis of the Joint Strike Fighter
Nonsense. A public good is something that doesn't run out when more people use it, such as knowledge. Medical care makes use of limited resources such as drugs, hospitals, doctors and nurses.
Bicycle attacks, because remembering that biclique attack is not spelled bicycle attack wasn't quite hard enough yet :-)
At any given time I have 100+ tabs open representing various lines of ongoing research. I've noticed link rot has gotten much worse over the last decade, to the point where I go through my tabs at least once a month now just to close the 404s of which there are always several. These links are rotting on the order of weeks/months, not even years. I notice it most frequently on pages that are selling something, I wonder if this is the result of some misguided SEO tactic.

Might as well start linking directly to the archive.org copy of content you want to make sense in a couple years.
I understand you're joking about Agile, but the previous holy path was waterfall, which was a hideously expensive way to get to failure.
I've looked into formal verification in the past and from what I've seen it boils down to either annotating your source code with constraints that are then checked to verify the software does what you say it does, or you write a specification in a separate language that is supposed to represent the intended functionality of the system and then you write the system such that it matches the specification.

The problem in both these cases is that "formally verified" just means that you verify your specification doesn't violate anything you've said it shouldn't, but you might have written your specification incorrectly, or your specification might not match what you say it matches, which then makes the whole thing irrelevant.

That's not to say there's no value in formal verification, but I tend to see the value more in verifying some tricky protocol or very concurrent thing works properly (because these often have subtle bugs that are very hard to detect from inspection), rather than as a way to verify that your whole system works.

Plus for autopilot, how would you even specify that? The problem is too big and ill-defined to be specified in any way that would be amenable to verification. Of course, individual sub-problems could be verified but that's no guarantee that the system as a whole works.
Cost saving measure.
Here is the job posting for systems software engineers on the Autopilot team [0].

[0] https://www.tesla.com/careers/job/autopilot-systemssoftwaree...
Those new to the site in the past couple years may not have seen it before.
Oy please. Some Lispers are stuck in the past with their ivory tower ideals, saddened that nobody wants their favorite flavor of Lisp anymore. Why can't you embrace the fact that Lisp just like any other idea does have right to evolve and change?

> Did Gauche stop existing?

Out of all the five people who ever heard about it, three probably stopped using it and for the rest, it may just be like it never existed - they've never heard about it.

Clojure on the other hand somehow managed to become third most popular JVM language and very popular alt-js language. Out of all PLs that can be considered somewhat esoteric, Clojure today is the most vibrant - it has more books, podcasts and conferences. More than Elixir, OCaml, Haskell, Elm, Purescript and even Rust.

Very few people used Guile, even before Clojure got some spotlight. So instead of whining why can't you be happy for the fact that people still want to use Lisp in 2020 at all?
I'm wondering how these values are determined too. I'm "following along at home" without any idea what I'm doing (though all the files, bytes, and offsets are matching with the tutorial... Also, if the original author finds this thread: amazing write-up - got me really interested in the topic!).

At the step where they remove the header with

dd if=uImage of=Image.lzma bs=1 skip=72

It results in a file that if I try and un compress it with `unlzma Image.lzma` it complains with "Compressed data is corrupt"

I don't know where the magic number "72" comes from. Is it likely that could be different on my machine (a mac)?

[edit: I think there's something else wrong - if I use `mkImage` to examine the uImage file I only get:

mkimage -l uImage
GP Header: Size 27051956 LoadAddr 78a267ff

Instead of image information]
I've never been to a bar that actually had the book. Is this a regional thing?
So it would seem. There's now a NYT article so I'll post that instead.
I think your industrial experience is a bit different than mine - but i must say even in mine, i think the toxicity was the result of high yearly % growth (50%+) and the new guys made the older guys nervous.

HR seems to me to be uniformally draconian-leaning. Ironically, our HR manager tells us of her nightmare job at IBM. EA well known either, and niether are the IT fabs, though its not exatly IT.

I think youre right though, and the evidence to that is that we still sort of function, as opposed to be burning this thing down. Though it sometimes seems it might happen. Heh!
Not entirely sure what you expect people to "argue back". Why not dial down the hostility and request a debate instead?
Yes, so it's great to see at least some of them get to the 1.0 version eventually (and I mean Kotlin = Java 1.0). Now if only we could get people off the pre-release versions of Java (which for some reason are named "Java 11", "Java 12" instead of "Java 0.9.1", "Java 0.9.2" as they should) and on to the real deal!

Seriously, I have great hopes for Kotlin. It corrects some Java's most egregious sophomore mistakes, it doesn't try (and fail) to be Haskell like Scala did, it's accessible AND has a major company behind it. Kotlin is surely something I wish I could use at work.
I think firmware images are typically not the fixed ROM code the CPU first encounters upon startup, even if they contain U-Boot. Especially if stored in NAND flash they probably aren't.

AR7 platform, for example, the MIPS core runs a small ROM that initializes RAM, then reads some blocks from flash. Not sure how much code you'd need to unpack a tar.gz but completely possible.
> ahrefs or semrush

OK I gotta ask: these 2 particular bots constantly scan my site once an hour. Why?
"Architectural Decision Record", see https://adr.github.io/
this is just imbecilic. But we reap what we sow. Welcome to American Capitalism in 2020.
This article has been submitted four times in total. This is the fourth attempt in four days.
I was reading "Bloomberg by Bloomberg" over the weekend and I thought his opinion on the topic was relevant since I believe Bloomberg was one of the first major workplaces that placed everyone in tight open-office type environments. My understanding of his opinion on the topic was: yes there are distractions but you also learn new things. Fundamentally I think there is considerable misunderstanding between people who subscribe to the above view and people (like me) who see considerable personal performance improvements when allowed to work distraction-free. It is not clear to me that "concentration spaces" and etc. are a solution/concession since IME most of the time they are filled with people on phone meetings; even if you find an empty one, you will still hear the people next to you due to the thin walls and the necessary loudness. Edit: the relevant part in the book was at page 163 for my edition in the chapter "Management 101".
Pesticide Police, Overwhelmed by Dicamba Complaints, Ask EPA for Help
The pay is _terrible_ for the skills required; I interviewed some time ago and would've taken an 50% cut in compensation to work there.
Simple, when you go visit someone in a private office you can close the door and have a long conversation about your topic and really hash out the details. If you turn around and start blabbering to one of your teammates in an open office plan, everyone within hearing distance will want to murder you. If you're not aware of this, I guarantee everyone within 30 feet of you is already wearing headphones and hates you.

So now you have to coordinate on Slack to go to one of the shared team meeting rooms instead. At that point you might as well have your conversation in Slack, even if the person is sitting right next to you. And that's the state of open offices today, co-located but void of any actual collaboration.

I've worked in single person offices, 2-3 person offices and open offices. 2-3 person offices where everyone works on the same thing is the best, by far. Remote work is the new private office, not quite as good as a 2-3 person office, but infinitely better than an open office.
The article is attempting to infer general safety data from a single intersection in Washingtion, DC. In that context I hold by my statement. Even for Washington, DC in general it likely isn't representative.
How to find hidden golden eggs in Google play store
Are they adding instructions to the language or working optimizing the JVM, though? My point was that someone writing the language targeting the JVM will compile to Java bytecode, so missing/suboptimal instructions are where they're mostly likely to feel pain.
Frankly, I'm disgusted by this. Expand VHA; provide universal care; healthcare is a human right!
What I don't like is low-effort memespeak on HN (even if I agree with the sentiment). This is one of the last places that has kept that at bay - until recently.
See also: The Strauss–Howe generational theory https://en.wikipedia.org/wiki/Strauss%E2%80%93Howe_generatio...
Mathfmt: Document mathematical Go code beautifully
As a thought experiment, imagine that a company offered each employee a choice - a private work area or a cacophonous open bullpen. You and I both know that 90% of the employees would choose the private work areas, and all five of you “extroverts” would move into the open area. What we have is an extremely tiny minority forcing their preferences on everybody else, not caring much about the negative impact. Of course, we also all know that open offices are about surveillance and saving a few dollars (on paper) and not about collaboration anyway.
The further down in the trenches you are the less you know about what those higher up in management are doing. The higher up in management you are the less you know about what the people down in the trenches are doing. That's fine because except for a few outliers both groups of people are doing the work that they need to do to make the company work.
(I want to tease the Long Now folks about their clock: Why not just make a big pitch drop "water" clock? I know, I know, it's not to their point, and FWIW I love the machines they make, but the reliability and simplicity of a 10,000+ year clock made of pitch has something going for it, ne?)
I think this is true, also based on my own (different) experience. I both live and work in SOMA, SF, which as far as I can tell was one of the worst ground-zeros when they started shoveling these things on the sidewalks.

The situation is far better than it was at first, but my experience as a pedestrian around them is still pretty negative. Some of the Moscone Center (which I walk past daily) conference-goers seem to treat them as a sort of entertainment thing and can be entitled pricks (it is always men) to deal with - I must admit I've become a bit of a grumpy local at the worst of them. I personally really don't care if ever choose to come back to my city - if you're too incompetent, drunk or whatever your problem is to avoid running in to stationary pedestrians, get off the damn thing.

But I realize the problem is not nearly so bad elsewhere.
All this happens in the USA, too.

https://vtdigger.org/2019/06/19/patients-face-frustrating-lo...

> At the beginning of the year, the wait to see a cardiologist at three of Vermont’s rural hospitals was more than 100 days, according to data from state regulators.

> At Southwestern Vermont Medical Center in Bennington, hospital officials reported patients would need to wait nearly 200 days to see a dermatologist.

> As of March, some of the hospital’s specialists, including cardiologists, ear nose and throat doctors, gastroenterologists and psychiatrists could only see between 20% and 30% of patients requesting appointments within 10 days.
Yep, and I've used those arguments to justify working from home permanently before.

Last time I just found out when the bean counters were coming around and worked from home the days they were in the office. When the plan came out and they hadn't figure out a slot for me I just told them I work from home and started doing it full time. Problem solved.

Caveat: It helped we were an acquisition. Roles and norms were very in flux. I'd done work in other areas to pass off all my onsite responsibilities to the purchaser.
> Just to get the alternate view out there too

This always comes up in these discussions. Extroverts say they prefer the open office format because they can talk to others. That's nice and all, but shouldn't you be working rather than satisfying your desire to talk to others? (The same goes for workers not in an open office not playing on HN all day.)
This is more or less my definition of the term "product engineering".

The one caveat is to be sure to also think about your team members as "users" of the code base.
Ask HN: How do you give and receive recognition at work?
I've noticed people I work with really respond to recognition at work in different ways. I think it's universally accepted we like recognition, but people seem to respond to the delivery in different ways. Wondering what you've observed about yourself and others when it comes to how feedback and recognition are delivered.
Sometimes a firing is a failure of the leader. Recognize that. All people have the ability to drive 110% on anything. It is the leaders job to find that spark and ignite it in his employees. A firing is a failure to do this and is sometimes necessary.
The converse is that you are saving lives by developing a system that is already safer in terms of fatalities per mile than human drivers in some conditions.
The best situation I had was two in an office (it was an academic institution just being started and there was plently of space at the time).

One other person means company if you both want to chat, and generally silence when you need to get stuff done.

As the institute grew I think they squeezed 5 people into tHe same office. Which meant random informal meetings appearing frequently. My productivity plumeted.
I was talking with a friend who works at a company HQ'd in NYC and he said that the average cost per person/desk was over 60k/yr. It was a lot higher than I was expecting.
In most states to qualify for that you have to be very poorly paid. And in many states, like Georgia for instance, Medicaid covers needy children, pregnant women, parents/caretakers, elderly, disabled and blind residents and people in need of nursing home care.

Good luck if you fall outside of that list.
This is really very good.
> actually in meetings 90% of the time

Or working from their home office. Which isn't an option for the common people.
It's worse than just small wheels, too. Most e-scooters have rigid wheels rather than air-filled ones, so the issue is compounded since the wheel can't deform enough to deal with bumps. This is one of the reasons I've stopped riding e-scooters in favor of bikes - after the third time having to dump the scooter and almost falling on my face because it hit a half-inch lip or pothole, I decided there are better methods of getting around.
I lived directly in the scooter epicenter. Mission Beach, CA.

They are dangerous if not throttled down and geofenced from walkway.

https://www.youtube.com/watch?v=aQv6YP5UGV8
Yes, this is what i have learned. Doing this with my partner. We both are aware, and trying hard. I joke and call it ego hacking. In my professional life i developed a very unique approach, i try to remain authentic, and show alot of understanding when people mess up. Sort of leading by example. Some friends say i let things go, that they would sue over.

And well, from my underatanding? Its the result of sentience - every sensing organ we have is connected to that big brain, and the systems compete for decision making. Negative tends to win since it proved protective thus far.

And addendum, we also evolved the ability to see pur own bullshit, but are sort of struggling with mastering it (called it religion, we allow it to get corrupted by power, etc) - but i can say for sure that meditation works.
The materials that go into that binary which don't come from the project itself are external dependencies.

There is a dependency on a Java VM implementation, GraalVM, and on a Small Clojure interpreter. That looks Node-ish to me, regardless of the application deployment model.

GraalVM has some kind of updater, "gu", that's looks reminiscent of npm:

https://www.graalvm.org/docs/reference-manual/install-compon...
It stands for Architectural Decision Records. More info here: https://adr.github.io. We use this at my work to keep a record of our decisions, as the name implies ;-).
I like this. Do you recommend any good stretching plans I could memorize and follow?
The issue in the US seems to be that even if you have a decent insurance plan you can still easily end up getting treatment by someone out of network. An anaesthesiologist or similar.
As a tech lead you may have to be 'the voice of the company' to your team members, and sometimes say 'no' to requests that you might actually think are reasonable, from a purely tech perspective. The impact on your relationship with the team depends a lot on whether you play yourself as part of the team - and are visibly aggrieved on their behalf - or become perceived as 'one of the managers'. Whether this is a problem or not depends on the corporate culture and whether there are other managers visibly involved.

Also, remember to reserve time in your day to deal with problems raised by the team. These will often occur when you are least expecting them. And some may be outside your own comfort zone.

On a positive note I found that being a tech lead made me a better team member for my own management, since I better appreciated some of the leadership challenges they were under. You'll sometimes be left stunned by how hard or well your team members are working to solve problems, and this can make it all worthwhile.
Loving the video at the bottom where they exhibit one of those people whose careers are tied to the success of their new open office layout. Very chef's kiss.