skysight-inc/HackerNews huggingface dataset:
This is just an opinion piece labeled "truths", but I see a few things differently than they do.

8. Kinda. Only when the new ideas impact intra-team boundaries.

8.2 - No. Formal methods will one day be mainstream. We're still learning how to agree on what constitutes the optimal syntax for software. We are getting closer, then will come the optimal forms.

10.1 - No. The Unreasonable Man Theory applies here. It's not better for software that they have to encounter nor for the industry in general (not that I agree with any of the specific paradigms mentioned).

10.2 - I see it differently. Probably because developers require evidence that their life will be easier by adopting specific behaviors. That's hard to do over long periods of time, especially when the esoteric practices are both partly codified ad-hoc choices and partly useful. See item 8.

11. No. If your interviews are over 2hours, your 'loop' is reflecting problems in your organization. When you hire an engineering manager, do they interview every single person they are going to be managing to see if they like them before taking their new job? C'mon.

12. No. Just because it's a problem doesn't mean it's solvable or needs to be solved. Laying effect at the feet of the cause is reasonable. This response is uncharacteristically unreasonable.

13. No. This has already happened (Max 737), so not even then.
Yes, we mostly agree! I do diverge on the 6 months issue - there is a notable decline in efficacy. In the US, a majority of the people who were vaccinated got their second shot >6 months ago, and only ~16% have gotten a booster. Combine vaccine efficacy decline starting at ~5 months with omicron immune evasion, and that means a big winter wave. Even with protection from severe illness, if a lot of people are getting sick, it will mean a lot of severe illness (large denominator).
> so nobody ever does outside of QA who does end-to-end black box testing and just kind of hopes they've covered all of their bases (hint: they didn't).

You don't need to cover all bases, in 99% of software. (And in the 1% where you do, you should probably be using formal verification.)

Testing is an investment and should be analyzed in terms of ROI. There is a cost to writing tests in advance, a cost to fixing bugs after writing the code, and a cost to shipping software with bugs left unfixed on rare codepaths. Sometimes TDD yields high returns indeed (usually for "library code" that (a) does something very complicated on a complex data structure; (b) is easily isolated from the rest of the system without writing tons of mocking infrastructure; (c) has a stable API that is not frequently refactored.) Often it does not. I've found that a combination of static assertions, black-box systems testing, and incrementally adding regression tests during debugging allows me to develop good code more efficiently than TDD the vast majority of the time. Your mileage may vary, of course.
As a counterpoint, when I worked for a private university (unrelated to healthcare) I was required to have up-to-date vaccinations. I was also not allowed to smoke on campus.

These kinds of workplace safety rules may be more common than you think.
New trading app wants to give retail investors a voice
TLS will prevent it in any realistic scenario.

If you have a shared secret to support doing an hmac then you can certainly set up tls correctly.
> when they're in fact penalizing people for saying the false statement.

Where did you take this from?

Let me quote https://help.twitter.com/en/rules-and-policies/medical-misin... directly

> False or misleading claims that people who have received the vaccine can spread or shed the virus (or symptoms, or immunity) to unvaccinated people.

That pretty clearly calls that claim false and misleading.
Depends on the person, but for me it makes a big difference.
US Currency says "In God we trust."
Bitcoin says "In Math we trust."
Obituary, for Ray Tomlinson and Email (2016)
Facebook/youtube/whatever else posing as a ministry of truth, yeah. They absolutely do know truth on any topic, even health, science. Sure they have right to block anyone they see fit? (/sarcasm)
There's no neutrality. There's just fb/meta machine that feeds of humans.
One thing to keep in mind with respect to that - often when teams grow you get more ivory tower types. Not that everyone wants to build an ivory tower, but you do get a lot of in-between. One thing to keep in mind about why the code was the way it was - it was designed that way to grow the company fast and to get customers. Nearly all companies that start that growth will face the inevitable - let's rebuild all of this from scratch. It doesn't mean your original contributions were worthless - no one would be working there if that was true.

In the end you may move more towards explaining to people how the company operates, how the data is processed and keep that going.
Traffic flood to this site for status reports on AWS
Oh. It wasn't just me.
Isn't it on S3 or something? And a few years ago we had that whole S3 is down situation and the status page was also down? xD
> It is still not clear to me what the advantages of using a functional language like F# vs writing C# code that avoids side effects and mutating objects in functions.

Personally, the thing I like about functional languages is that good practices are often the default way of doing things. For example, in OCaml, you can create mutable values with "ref", or a record with mutable fields with "mutable". You also have access to mutable arrays. But the default is immutable values, records and lists. Same thing with the compiler/type system: Hindley-Milner is a great default. OCaml also has a whole object-oriented system that works well, but the default is plain functions and data structures.

The difference between C# and F# or OCaml isn't as big as before these days. But having good defaults is, I think, very important.
And soon to be mass producing. They will be supplying 120k units the US army.
> But how many additional steps does it take to turn the process into CSAM scanning? It looks really close, even without squinting.

It’s a different feature that works in an entirely different way. There’s plenty of descriptions of how both features work out there, there’s no need to guess at what they might do.
It may not make any sense, but how does it lead to more risk? If you add a Java dependency but nothing calls it, then you're not vulnerable.
It hurts to see it the accidental implication that DeepMind came out of Google. DeepMind was one of the UK's greater recent creations and it got bought/absorbed for a pittance in exchange for custom TPUs.

I'll agree though that DeepMind would not have been able to exist really without Google's ongoing funding and hardware, so maybe it is Google's creation at this point.
You are close. You first rub the berry on your skin (or leaf, or whatever). Wait 24 hours to see if a rash develops. Then you taste it, wait another 24 hours. Then you eat one, and see if you get sick after another 24 hours. Now you can eat several, and build up from there.

Yes, that is a lot of time to go hungry and testing just one item. And then you still don't know what actually gives you nutrition vs just not killing you (for example leaves that you can break down such as leaf lettuce, vs eating grass).
location and structure matter in system design. even if the battery takes up more total space than an ICE no one is going to notice the car being 1 inch taller overall for consumer vehicles.
I’m very pro defund the police because I am very pro privatize the police. Local areas should be able to pay for their own police. A single police force cannot meet all requirements.

The fact that we have defacto private police is exemplified by:

- It is well known that wealthy neighborhoods get more patrols and faster responses.

- It is well known that if your restaurant or store gives free stuff or otherwise encourages police you will be better protected

- It is well known that opposing the police leads to poorer protection

All of these are not just well known but often backed up by the police themselves. Any store that says they want more accountability for police will get told “when you’re in trouble, don’t expect to get the best response” and so on.

There is a clear thing going on here. The police are clearly effectively privatized but the privatization is subsidized. Instead, let’s just remove the pretense.

I think we should just have police be privatized and regulated and whatever group of people can pay for them should be able to pay for them. Open up the market and stop funding the police out of state money.

That way, if you want to spend no money on the local police, you can defund them. If you want to spend lots of money you can fund them.

If you want to band together with your neighborhood, go right ahead.
> I doubt even a very skilled engineer would know how his own machine works all the way down

Knowing how it works, and being able to build a new one, are also two very different problems. For example, there are plenty of Computer Science folks who learned how to design chips (layout the circuits, write the microcode, etc) - but you need a whole extra background in EE and Physics to be able to fab said chip...
I'm sure they mean well, but I'd highly recommend to every user to be very careful about using services like this.

Do you know whether you can trust them? Is their operations mature enough for handling the attacks they are guaranteed to receive? After all, a system receiving requests by folks suspecting they are vulnerable, makes a highly attractive target itself. In fact, I wouldn't be surprised if we see services of this kind provided by malicious actors.

Really, people should just update, or only use offline tools for analysis and mitigation like [1] which they can audit and run locally.

[1] https://github.com/jerrinot/log4shell-ldap/
Augmented reality from an advertiser? No thanks. Sounds like something straight out of a dystpoian sci-fi story.
> the fundamental reason some people invest in it is... the beauty of mathematics?

Bitcoin is full of ugly warts though. While some other coins featuring much more beauty (simplicity and elegance) are near worthless.

Furthermore, most people speculating on bitcoin have a very limited understanding of the mathematics underlying bitcoin...
Maybe it is just a static website. Do they even have CSS for red? :D
Fire Code for Software
What‘s their reason to reject those reasonable projects?
> and as with any pandemic humans are great at finding solutions, (see covid)

My takeaway is the opposite: COVID is a lot simpler on a problem solving scale than climate change and we're not exactly doing well with COVID.
That's right. Author has a lot to learn.
And you don't think there should at least be some possibility to hold someone liable in case something goes _terribly_ wrong?
IKEA Ruined the Map of Sweden
Have you been involved in the code this whole time, or just getting back into it?
> But, rest assured, this will be the sixth time we have destroyed it, and we have become exceedingly efficient at it.

https://www.imdb.com/title/tt0234215/characters/nm0048127
> Hitler was appointed Chancellor by the president Hindenburg

In the same sense that Boris Johnson was appointed PM by Queen Elizabeth II; constitutional systems in which the head of government is appointed by the head of state, based largely on control of Parliament, but sometimes with bounded discretion where there is no clear parliamentary majority, are rather common models.

Had Hitler’s party not won the plurality of seats, or had other parties that could work together in a coalition had more seats, he would not have been appointed chancellor.

Controlling the largest bloc that can work together is winning a parliamentary election; not as total a victory as winning an outright majority, but—in the constitutional and political context in which the Nazis did it—a rather sufficient one.
1996/2022/ Archivo/ La Venus/ Masoch / Federico Herrero / Teatro Escuela Central
Here is a quick overview of Computer Vision click if it's canvas. We automatically understand that for you.
https://www.loom.com/share/efc779da15654f098b67c57772cec477

Here is the visual checkpoint (regression):
https://www.loom.com/share/b9448ba5e76e410089be6840053a8596
I have a friend who works at a company that uses HoloLens, their use case is so that mechanics working on planes can be remotely guided by a more experienced mechanic (not sure if they're engineers?) on what they have to do to repair the aircraft.
wrt price maker vs price taker, just to verify, batteries are a minor application for iron whereas lithium is the largest application (market). I ask because I hadn't heard that phrase before. (No reply necessary if I guessed correctly. :) )
I'm not arguing for mandating anything. And note that boosters boost, they are not for maintenance. A lot of existing vaccins have a booster without it being 'endless'. If Covid-19 mutates enough we might need different vaccins yes, perhaps that's what you meant, but I don't think those are technically boosters.

With "work" I mean they get rid of a large percentage of mortality, hospitalisation and (a bit less certain) long haul covid. How big that absolute risk reduction is differs per person.

But more importantly: I don't see our society getting through Covid-19 in a humane manner without vaccins. Without vaccins, the IC's will flood, or we'd need (suffocating) measures and a lot of patience. But I'm ver much open to different ideas here.
> Battery life doesn't matter, just plug your damn laptop

I see you subscribe to the John Hodgman school of laptop design.

https://youtu.be/gHG0cT_ck00
That was fun. Badges weren't working (daily checkin required) so the front desk had to manually activate them.

Slack wasn't sending messages and Pagerduty was throwing 500's.
Yeah, I didn’t mean to imply that Google created it or anything. For better or worse they are owned and supported by Google now though.
Well yes if it's a benchmark ;)
I think that is what we need to figure out. I think our current method of vaccination was a clever hack, designed to do something in the early days of the pandemic. I think there were good reasons for this, too: a traditional vaccine aimed at early COVID would not have been very effective, as once we were alerted to the real danger, the cat was already out of the bag, and new variants were only a matter of time, but likely could not be reliably predicted.

However, more than a year later, I think now we should not only catalogue the arising variants, but we should also make a serious attempt to move away from spike-protein based vaccines in favor of traditional, weakened virus vaccines.
But what TYPE of happy are you?
> Vaccines required at school while children don't get any kind of side effects of COVID19

Other than dying [1] you mean?

Dying aside, children can still spread the virus. I’m sure someone will make the straw man argument of “the vaccine doesn’t 100% prevent transmission”, which is true but no one claimed it did. It does however improve the situation.

[1]: https://data.cdc.gov/NCHS/Deaths-by-Sex-Ages-0-18-years/xa4b...
it's still decentralized...it's just a centralized version of it right?

just like Cavendish bananas are grown in multiple places...
The market is responding to its incentives and producing an optimized product, line goes up and all is right with the world.
> Real-time collaboration produces better software.

Why does every commercial editor seem to desperately believe we all want this?

Why would I, as an actual developer, want "pair programming but now there's lag"?

I didn't even like the pairing fad in the first place, I found it awkward, anxiety-inducing, and slow. Adding an additional software dependency just seems worse.
I don't think ARMv8 requires EL3 but even if it did there is no EL3 on the M1.

Booting Windows natively would require Microsoft's support since some rather invasive changes to the kernel would be required (FIQ support, DART instead of SMMU) on top of implementing drivers for everything.
The original paper states:

> This qualitative correlation would suggest that chip-scale experiments might be explored to attempt to measure tiny signatures illustrative of the presence of the conjectured phenomenon: a real, albeit humble, warp bubble.

The key word here is "conjectured". He didn't say he created a warp bubble.

I'm okay with publishing conjectures. If you think there's something interesting, let the world know.

Disclaimer: I'm not a scientist by any means.
> The fact that HTTP 1.1 speeds are even comparable, let alone faster in some situations, should at least tip the scale in its favor.

Are these realistic web browsing scenarios? Because that seems false. For most websites http/2 is a pretty significant performance win.
I would be willing to try what you're saying, but I don't think it would feel to me like in person feels. But maybe that's OK? It doesn't need to be the same experience as long as the outcome is the same.
The input resources used to create ASICs still would become available to be used to create other electronics, including other types of ASICs.
Plans are worthless, but planning is a useful exercise.

I can't find any agreement on who first said that, but it appears that several great generals have said something like that.
Parceiro: A powerful new upgrade for the 35-year old Amiga 1000 computer
RFP for systemic OSS sustainability improvements – grants up to $10K or $100K+
I vigorously agree that remote mentoring and training is a prime scenario for a collaborative editor, and I've used VSCode for it (in both roles).

OT... but I would go a little further than you and say that in my experience, I prefer to have the learner drive almost all the time, and to have the mentor step in and type only when necessary.
someone tripped over the fiber run i bet. Or, a cleaning person unplugged a router to plugin a vacuum (that actually happened but to a minicomputer iirc)
What brand / model did you get?
That is a shame. Anyone coming in after the fact to investigate an outage or glitch with their systems will need to look harder to find a known AWS outage. We can’t assume everyone looks at HN.
Project Estimation with the Monte Carlo Method
It's interesting that west-2 was quicker to create the incident (despite the issue starting a bit later there, at least by our experience), and while they both "identified" at the same time, west-2 also waited longer to call it resolved.

I assume there are different teams responsible for each, is the west-2 team just more on top of things?
I would say another problem with the underlying paper is that it uses quantum mechanical principles to compute its results, which we're then supposed to accept as something we can just inject into general relativity.

However, we know those theories don't go together very well, and I would certainly consider trying to create "warp bubbles" as an extremal condition for the combination of the two, so we shouldn't take such a combination too seriously. Not necessarily unseriously simply on the basis of this one thing... I believe Hawking's initial computations for black hole radiation plays a bit fast and loose with this distinction, albeit in a somewhat principled way, so it's not an immediate disqualifier. But it's definitely a Spock-eyebrow-raise and a "hmmmmm?"

Personally, I wouldn't be surprised that when we get the real theory of quantum gravity, if we ever do, that a lot of these "oh, look at this solution for general relativity!" obscurities go away, like wormholes, cosmic strings, the place in the Kerr metric that seems to lead to a new universe or some other exotic thing [1], singularities in general, and quite possibly, warp bubbles and other crazy solutions. This is the Occam's Razor, most parsimonious solution to the question "why is it that we look out in the universe and the craziest general relativity thing we see is black holes?"... the rest of these things are artifacts of the approximation that is general relativity.

[1]: https://en.wikipedia.org/wiki/Kerr_metric#Kerr_black_holes_a...
I run an adblocker, like about 27% of web users, sure.

Do you get substantively different experiences on those sites if you don't?
I'm ready to pay for my tools or get $dayjob to pay for them (I already pay for some things and have them pay for Jetbrains Toolbox bundle) and there are many of us.

If a product is significantly better and not significantly more expensive I'm in.

In fact I actively want someone to pay someone to take the newest Firefox and start publishing builds that fix the things Mozilla broke.
Right - it's am 80/20 thing. Sometimes debuggers are more useful.
In such a scenario, you're right that if the attacker will use physical violence against you, of course the device wouldn't save you from bodily harm.

But what about your sources? In this situation (if you actually can't remember the anonymous email address of your source), it's not your life that's being saved -- it's the identity and the life of the whistleblower.
No articles on ars since june, and twitter seems to indicate he's moved on from there - https://twitter.com/binarybits
Hopefully these boards have better availability. Normally I would use a Pi Compute Module or just a regular Pi to build a product. But I'm designing things around ESP32s now because I can actually get those.
Is this a US specific problem? In Germany companies need to maintain cap tables in a mandatory public registry (Handelsregister). You can request any company’s records against a small fee (which in fairness I consider very backwards, could be more open). There are some third party providers like NorthData making this data available publicly as well.
At least the cave man could go out and get water. Or have some reasonable expectation of finding food. Good luck!
I'm so glad that I'm not still the CTO of a startup. I would be getting dozens of e-mails from people without engineering backgrounds asking "Are we multi-cloud", "why didn't you make us multi-cloud"?
Age is something you should talk about.
I am impressed and scared about how quickly media coverage and "public outrage" scaled down after the first few weeks this feature was announced. While I agree with the technology and its mission, I'm glad that Apple walked it back while they try to improve its messaging and privacy.
You want to live under a dictatorship?

> A monarchy with an effective ruler selection process is probably best.

That's called an election.
The Omicron Question
LOL https://www.youtube.com/watch?v=S_XS1jaO5EY

This is what Russ Hanneman[1] startup would look like targeting people from three comma club

[1] https://silicon-valley.fandom.com/wiki/Russ_Hanneman
If the odds were high that people underwent meteoric career trajectories, that would imply that our sorting mechanisms for placing people into well-matched jobs worked very poorly. In general, I think these mechanisms work pretty well, so people typically end up in gradual career trajectories they're well-suited for.
>By the way, ALL OF THIS could be avoided if Microsoft and Apple provided an API to set the name displayed in Task Manager/Activity Monitor.

The problem is process lists should be showing the true state of the computer. It wouldn't be a good idea to hide the actual executable name. But it sounds like it could be useful to add another column for "label", so that threads could set a label and offer more insight on the process list.
Ask HN: What if you hate web development?
Is there hope for people looking to break into software engineering if they don't like web development? From the outside at least it looks like all the jobs are full-stack roles. Is it some kind of right of passage? Any advice for someone who genuinely wants to break/transition into this profession but wants to avoid web apps?
He's leaving it up for interpretation
> I don't care. I [switched to Linux]

That's short-sighted and self-centered.

You don't care about whether or not other people's rights are violated?

You don't see how normalizing rights violations could lead to downstream effects on you?