skysight-inc/HackerNews huggingface dataset:
Hiring people comes with a high degree of risk. That is why you have a probation. Reading code is also risky. I usually forget why I did what I did and more often than I would like to admit the BLAME is mine - a resignated "..who wrote this?" often turns into - a-ha, it was me.

Resumes is good in the same way grades are good. They might get you to the interview, so don't knock it down just yet.

The hard skills are absolutely important! But the soft skills are equally so. When you talk to your candidate your first impression will be the most important indicator on wheter you will be able to endure working on varieties of task in the immediate future and far away future.

My favorite soft metric is to take them to lunch and observe how we can interact, talk and <sic> hygiene.
It’s not a car company, it’s a battery+software company with some wheels (literally) attached, hence part of the high valuation. It took me a while to realize this, had I put my money on this back then I would have had more money right now (10x times, I’d say).

The likes of Mercedes and VW are orders of magnitude behind, both when it comes to batteries and especially when it comes to software
The secret guide to find remote jobs [for Indian Developers]
> However I find it makes it too difficult to mutate through shared references

It's not that difficult, you just need to use UnsafeCell<…> or one of its safe derivatives (each of which has some potential runtime overhead) to keep the semantics tractable.
I still don't understand how this has anything to do with "user intent". What makes you think that the default user intent is to allow tracking? Would it have been better if the browser asked the user to choose? Do you think user intent would have been respected if it was presented as an opt-in setting? (ie. 99% of user would just click ok without opting in)

The reason why this flag doesn't work has nothing to do with user intent. We wouldn't see all these GDPR banners that make it difficult to opt out if anyone actually cared about user intent.
I'm not sure it is. Software development has become more decentralized and more complex than it was 20 years ago. It's also much more accessible to more people who may be great programmers but not really aware of code/repository security.

Most software developers do not sign their git commits. And if they do, they probably aren't doing it properly (store keys on a YubiKey or only use QubesOS with an isolated dev qube and split GPG).

If you do any sort of dev work, you really need to isolate that activity from the other things you do online and generate a signing only GPG subkey and handle it properly and sign all of your git commits. I think this is vital to ensuring code integrity as if you do not do this, you probably won't even realize when someone has tampered with your code.

Hope this helps.
I mean if the UK were to provide transportation into the UK they wouldn't arrive, as you call it, "illegaly". How do you seek asylum in the UK through proper channels, in your opinion?

That said, it reminds me of the EU paying Libya and Turkey to keep migrants/asylum seekers from crossing over to Europe. I'm not convinced the migrants are being treated fairly.

The "fix" for reducing migration isn't to raise up walls and barriers, but to help improve circumstances in the country of origins; improve stability and economic outlook and the like. That said, another approach to reduce migration to the UK seems to be to make it less attractive.
I meant “these” as in “dubious trading, maybe even money laundering”, not “candy stores”. Post edited to clarify.
I'm not sure what you mean by "select by type". I can say that you can define new types:

type a = int;
type b = int;
type c = (a | b);

Which seems to be what you're angling for here? I also suspect that you're approaching this from a Rust- or Zig-like background where enums and tagged unions are closely related; this is not so in Hare.
Typing this from shanghai now.

It is crazy that CCP is again on the course of self destruction.

Maybe this sort of self destruction is inevitable for every single major power. It is just a matter if one can correct the wrong and change course before it is too late.

USA ditched Trump by election. Putin is doing shit to Russia.

It is happening in China now.

Chinese people can put up with CCP because we have been through too much disasters. A stable and somehow rational one-party rule is NOT so bad as long as stability is maintained and people's private space is respected to an acceptable level.

Shanghai is right now at the edge of breaking this unwritten agreement between CCP and the people. If this goes on for a few more weeks, there will be social unrest.

I am not optimistic about it.
Why do people keep choosing :: over simply .? How does adding more visual noise help anyone?
I have been increasingly tormented by repetitive music, whether it's something I heard recently or something my mind made up. it's got to the stage where it's practically incessant at every moment of every day. I also grind my teeth to the beat which dentists have commented on. on one hand I feel blessed that it's not voices but on the other I wish there was a pause button
My little country of 5 million people spent a whopping $40 million USD on this expo. I hope we got our money's worth [1]

[1] https://i.stuff.co.nz/business/opinion-analysis/128187098/ho....
That sounds super dubious, the SEC forced him to publicly lie in a settlement? Sorry, I am not buying it. You would have to put at least a dozen SEC lawyers on suicide watch after such a deal. And not only did they force him to lie in a settlement, now he suddenly breaks what he agreed to in that settlement without any consequences, so what was that settlement worth to begin with.
And I’d argue that that’s right! As the post says, there’s no LSP in core VS Code either!
I'm not saying "law is bad". I'm saying that the process of prohibiting a behavior after it happens is too slow and ineffective for Big Tech. As it was for many other industries before, but particularly now for Big Tech.

What needs to happen is for privacy-minded tech people to propose and lobby solutions to governments that make it impossible for companies to violate these rights in the first place, and then governments making it a law for this technology to be used by all companies. E.g. the DNT header could've been one such solution, but the fact it was never made part of a law is what led to it being abused for ironically tracking itself, and now abandoned altogether.

We're in this mess because governments fundamentally don't understand technology and how to police it. Either that, or they're willfully complacent with the status quo because it benefits them as much as the corporations.
Am I missing something fundamental here? What have London sweet shops got to do with UK government spending? Rents on Oxford Street, perhaps? Or is this a foreign key problem?

EDIT: I think the parent poster has added a last line to clarify, or maybe I missed it to begin with. Makes sense now.
I remember the original plan was for many bus routes to be removed from Oxford Street once Crossrail opened. Is that still the plan? I can't see any recent news on this.
Yes. There have been several bores drilled, but no viable source of geothermal energy has been found. Additionally, there’s concern about potential contamination/interference with the study of Erebus, which is a fairly unique bit of geology.
FWIW, frequently I've wished that languages had a version of https://www.chiark.greenend.org.uk/~sgtatham/coroutines.html built-in for implementing iterators, like Python generators, or somewhat similar to async/await. Porting the macros to C++ suffers because switches can't jump past declaring local variables with required constructors, and my hacks around this issue were ugly and error-prone. I haven't learned C++ coroutines yet, but they seem confusing.
Deep Science: AI simulates economies and predicts which startups receive funding
No, there are no plans for first-class metaprogramming. The purpose of exposing the parser, type checker, module system, etc, in the standard library is to allow for users to more easily build custom Hare tooling. The closest thing you could get to metaprogramming with this is some assistance with code generation.
They might be a good team. A team of undergrads built Facebook.

On the other hand, they might be a terrible team. A team of undergrads built Facebook.
Less annoying colors when dealing with semi-stable system where you need to jump into tty :)
There is difference between judging people based on what they claim to be their portfolio and based on everything they have on github. What you describe sounds like a portfolio.

But for many people, their github is more of free backup space. They dont curate it. The whole "stop reading what they done seriously and look only at what is in their github" is the issue.
Induced demand is a thing, make driving less convenient, and more people will take the tube/crossrail/bus.

There are plenty of examples of successful pedestrianised shopping streets, e.g. Stroget in Copenhagen, Buchanan St closer to home in Glasgow, La Rambla in Barcelona.

Doing some rough measurements in Google Maps, Oxford St is roughly the same width (if not slightly wider based on the samples I measured) than La Rambla. And our weather is marginally better than Cophenhagen and Glasgow, so one can't attribute success only to nice weather.
Workers Are Winning the Return-to-Office War Because They’re Right
Not every aitocrats attemots at white washing work as good as hosting the Fifa World Cup or the Olympics. Formula One seems to be polular as well.
> Most of the conversations on this forum are above my skill set

Just a different type. Interesting insight.
Ask HN: What is your iOS/Android/serverless go-live checklist?
You've had an iOs and Android MVP built by an agency, you're about to go live and officially handover, what's in your go-live checklist?

Bonus points: it has a 'serverless' backend in AWS
> which is a show stopper for me since I've invested a lot into my neovim config.

Level of confidence just 0.4, but, if you invested the same amount of time into IntelliJ platform, you might have got more out of it. The “advanced semantic features” rabbit whole is as deep as “advanced vim”, it’s just less popular :-)
Limit Django users to one single group
I appreciate that. I really do hate to be critical of open source work. I just feel this is an important issue.
Isolating failures to small, restartable components, instead of letting them spread to the entire system, is a bug in your eyes?! Do you think rust-analyzer wouldn't ever crash if it were loaded and tightly integrated into the address space of VS Code?

Completely bug-free software is a desirable, but utopian goal. What do you think why processes with separate address spaces were invented? Would you rather go back to the Windows 3.1x days where a bug in a single program could bring down your entire system? Do you believe those programs were "easier to make robust because the errors [were] visible to developers"?

> "If you are driving on the highway and some component dies midway, you just open the cover and press a button on the broken component and it restarts itself! Isn't that much better than waiting two weeks for some repairman to repair it?"

Yes, that would be much, much better than waiting for two weeks while being stranded in the middle of nowhere.
When the deal succeeds TWTR will also become private.
His point is poorly expressed in that case. Let's look at the quote again.

>Contrast this with Emacs and Vim. They just don’t have proper completion as an editor’s extension point. Rather, they expose low-level cursor and screen manipulation API, and then people implement competing completion frameworks on top of that!

People don't implement competing completion frameworks on top of "low-level cursor and screen manipulation API". There are more high-level APIs included in Emacs, such as completion-at-point.
To quote company-mode's website:

>The CAPF back-end provides a bridge to the standard completion-at-point-functions facility, and thus works with any major mode that defines a proper completion function.

To me the author misrepresents what Emacs has built-in and what package writers use.

Technically company-mode isn't third party, it's part of GNU Emacs. It needs to be downloaded, yes, but it's not third party.
Emacs needs a package recommendation engine (I know VS Code has this, awesome!).
> Is there any plan for metaprogramming/macro (not preprocessor) in Hare?

We don't plan to add anything like that. Hare strives to be simple and straightforward. Metaprogramming would not fit it well.

Closest thing in this direction that we tried was reflection, but that didn't turn out to play along with the rest of the language either, so it was removed.
It can be worse. As I understand it, this person just wants to see code. I'd imagine that sending a zip file, or express willingness to do some small assignment would suffice too.

Meanwhile, I have been blocked from applying for a position multiple times because the online form required me to enter a LinkedIn profile, which I don't have. It would require a lot of time to create a profile and message all my relatives and past co-workers to build a nice looking network.

I just treat this as a sign that we were probably no a good match anyway.
Thank you for the resources, I'll look into these details in more depth!
These places are often on business-rates-only leases. For the landlord, they're a cheap way to keep costs low while they wait for a proper long-term tenant.

For the tenant, well, cheap way to get a prime address to run a cash business, maybe....
"generally bad and annoying" breaks whatever ideal of 'free speech' one might have. The most concrete thing Musk has said is "twitter should just follow the laws of countries", but spam bots are not illegal - USPS cannot unilaterally ban junk mail because that breaks the first amendment

Interviewer: You've described yourself, Elon, as a free speech absolutist, but does that mean that there's literally nothing that people can't say and it's okay?

Musk: Well, I think obviously Twitter or any forum is bound by the laws of the country that it operates in. So obviously there are some limitations on free speech in the US, and, of course, Twitter would have to abide by those rules. [...] No, I think, like I said, in my view Twitter should match the laws of the country

Quite a struggle for an international website, where the majority of users are outside of the US, to just say "we should follow the laws of countries" as if there's one single internationally compatible law for that.
The people pushing to have all desktop programs isolated from each other by default in the name of "security" are making the same mistake.
> We have seen over the years that it's very easy for social media companies to die rather than adapt

I’d also argue that it’s very easy for a social network to be so dedicated to adapting for growth that it loses character. For example, how every single app these days seems to have a “story” feature.

In fact, Twitter had one too: fleets. They were pushed by an activist investor and flopped horribly. Best case Musk is a wonderful steward for the company, worst case we see ideas like fleets and much worse and Twitter loses much of what makes it unique in the first place.
+1. Additionally, in general, I personally prefer to keep work and leisure separate. Things that I bring to the awareness of potential / future employers are selected and curated, and distinct from places where I keep the half-baked stuff I do for fun for my own consumption.

It's certainly possible to get from my real name to my leisure activities and vice versa with a concerted effort, but the first page or two of a casual Google search won't do it.
While any modern operating system is the living counter point, so far it's manageable.
How much would it cost to keep a place like this running for a month? Rent + wages, assuming it needs just 1 full time staffer. Their stock doesn't go bad very fast at least, so if they do pack it in they can sell most of it on to someone else.

That said, money laundering is pretty much everywhere; there's so many shops that don't really seem to get any business. Over here there's tons of phone shops, they sell phones, subscriptions (the provider is often plastered all over), phone cases and repairs, but I don't believe they get much traffic at all.
It's up to the local council to allow (or not) outdoor seating for restaurants. Likewise for allowing (or not) cycling.

Plenty of cities have pedestrianised streets with a similar width to Oxford Street, and I find them very pleasant.
I like this theory!
> Morgan Stanley only covers part of the total deal and Musk still needs to find a solid 21 billion from somewhere

Is Musk’s reputation so bad that he, the owner of a car company that turned the car industry on its head (by proving that electric cars were possible) and pushed a massive paradigm shift in the lithium ion battery industry/market (maybe helped with the meteoric rise in demand mobile devices in the last decade as well, admittedly) not be able to find and convince a consortium of investors to put money towards the buy out?

Maybe I’m too stuck on thinking of this as like the purchase of a sports team…
This'll probably get me downvoted but I suspect the comments come from a position of insecurity as older tech people with kids and without much spare time are afraid a line on their CV might not be competitive with 20 somethings with a shiny github profile.
what does china govt know that rest of the world doesn't know about current spread of virus...??? Such extreme measures make me think we are missing something
So you jumped to that its because our society is too good?

Dont all americans have like 5 TVs on showing Fox News 24/7?
> Buy it only if you get it cheap. Or buy used.

If you takeaway a valuable idea, what’s that worth to you? The time I spend reading a book is far more valuable than whatever the cost of the actual book is. I can’t imagine factoring a discount into the decision making process.
IIRC there was a piece in a recent Private Eye that investigated one of the operators of these stores. I seem to remember that they went into administration repeatedly owing VAT and other taxes.

As you say little or no official follow up to deal with the issue or stop it happening again.
The government needs to spend money on the judicial system, otherwise we can't prosecute criminals and society is infested with them.
> you can't fill the headcount for an entire year

Why couldn't you?
Emissions: those are present (now) emissions. The paper I quoted (read above) is about future emissions (median up to 110g CO‐eq/kWh by 2050), bumped up by lowering ore grades.

Recycling: however breeders are AFAIK the most efficient way to tackle this (however it is so difficult there is no adequate industrial reactor, after ~70 years of prototypes and research). Other ways don't seem very appealing, for example France ceased to recycle in 2013.

Yes, since the 1980's a fair amount of Grand Plans aimed a extracting uranium from seawater. Nothing industrial yet. I won't hold my breadth.
Even if they're not likely to win in a court battle, most people don't want to risk a dispute over something trivial.

Would you expect a little game jam game created in a weekend to lead to an ownership dispute with an employer? - Probably not, but I'm aware of a case where it has happened...
Virtual sliderules may help. See https://www.sliderules.org/;
We do not have first-class iterators, but we do have an iterator pattern which is common throughout the Hare standard library. As an example, here's how you can enumerate the nodes in a directory:

let iter = os::iter("/")!;
for (true) {
const entry = match (fs::next(&iter)) {
case let ent: fs::dirent =>
yield ent;
case void =>
break;
};
fs::println(entry.name)!;
};
Why would you publish code that was written during working hours?

Why not publish an university project, a learning exercise, or something you built for fun? Surely there is more reason to create something than you're getting paid to do it, right? Or are artists just silly?
> In the derstandard.at model, the site is inaccessible (and also does not set any cookies, or perform any other tracking options) until you choose either A or B, so the amount of clicks are the same.

The amount of clicks is definitely not the same; choosing to subscribe will certainly require filling in a dozen fields of personal information, provide credit card details, etc. The friction difference between 1 vs. 2 clicks is trivial compared to the friction added by a full subscription flow.
I think that Westminster Council's needs and requirements on businesses and landlords on Oxford Street is probably underestimated though. But I agree, there's something really shady going here.
I wonder what graduate course they teach this in.
> Purchasing power for the average worker is flat[2]. In some sense, it's like the middle class has been working for fifty years without a raise, only now two people in the household need to work

That “flat” wage is accounting for inflation according to your own link. So not only would a single earner be doing just as good today as back then, adding a second income means they are raking in twice the spending power as back then.

The only thing that has changed are expectations. People want way bigger houses, nicer cars, computers, smart phones, more meat, dental care, better medical care, etc. Worst of all (from a financial perspective), they want both of their average kids to spend 4 years at an expensive university.
Are you implying that there are no wealthy people in South Africa?

Not to sound “attacky” but that seems extremely naive.

Truthfully, he comes from wealth, but not close to the wealth he has today; his father owned half of an emerald mine for example.

He is quoted as saying (about his youth): "We had so much money at times we couldn't even close our safe"
The suggestion is that they are fronts for money laundering which would normally be investigated by the government (HMRC I guess?), but isn't being due to underfunding.
Maybe be less zealous and aware of your assumptions?

Your assumption is that memory safety has to be baked in the language. It could be baked into proof assistants that are part of (optional or add-on) tooling, like what sel4 does. A simpler language makes this more possible, and the things that a proof assistants can do go far beyond what rust is able to provide, without sacrificing compilation speed or other forms of optimality (e.g. avoiding the heap) when you don't want or need such a high level of security guarantee (e.g. writing a cli tool that never sees the internet)

As for me, I'm terrified that rusts complex macro system will hide/obfuscate discovery of other forms of security regression, like timing or energy side channels.
It’s hard being a full-stack Tortoise developer.
And "main" is shorter (better I think) than "master".

Although I don't think anyone ever seriously thought that "master" branch meant the "lord" branch.
Disclaimer: I work for Gurobi, but these views are my own.

---

I'm sorry to hear that you find our licensing frustrating. It is true that in the past we focused a lot on local deployments holding on to the notion of a physical machine. However, we have added a few licensing options that you might find interesting, specifically the Web License Service (https://www.gurobi.com/web-license-service/), where you can get a short-lived JSON Web Token inside of a Docker container which renews automatically. You can find our Docker Hub images here (https://hub.docker.com/orgs/gurobi/repositories).

There are also other ways like the Instant Cloud (https://www.gurobi.com/products/gurobi-instant-cloud/) which give you a very scalable SaaS approach.

Feel free to reach out to me (<lastname>@gurobi.com) to discuss more!