skysight-inc/HackerNews huggingface dataset:
Our production stuff runs on Linux, so we just wrap it into docker and that's that.

Personally, I develop on Mac and it runs natively there the same as on Linux.

Windows binaries for the tooling releases I used to build with a cross-compiler, but more recently, GH actions looks attractive enough to take that role.

Edit: Sorry, could have been clearer. The build system is just running the binary directly via nim cpp -r in development, and for production it's nimble. The dockerfile is handcrafted, but of trivial complexity.
I watch and very much enjoy his Twitch streams, and he's definitely and obviously very intelligent, but I'd say not necessarily more than a top ~70th percentile HN commenter who works in software engineering. I don't think he's necessarily a genius, but just super curious and motivated and confident in his ability to learn anything if he dedicates enough time and practice.

You can see his learning and motivation process in his streams, when he dives into something he's totally unfamiliar with. It's very inspiring and fun to follow along with (partly because he clearly is having fun). He really enjoys learning things and has the kind of ego (not in a bad way) that just doesn't let anything stop him from trying to catch up on any concept in any field, even if he's totally "veering outside his lane" and going in blind (like his COVID-19 bioscience streams). He has a deep, almost hypomanic hunger for knowledge, and keeps Googling things until he understands everything he's reading. I think a lot of it's psychological and not purely IQ/cognitive speed, though of course it helps.

If anyone's curious, you can find an archive of his streams here: https://www.youtube.com/c/commaaiarchive
Not that again, please...
First look at the Playstation 5 user interface – and it could be a game-changer
The github’s link to the Twitter profile appears broken to me, was interested up to then
https://nim-lang.org/blog/2017/10/02/documenting-profiling-a... -- Not sure how good the VSCode debugging integration is, but all the requirements are there including gdb/lldb. Word is JetBrains folk wrote a new Nim plugin too. Personally, I like the `writeStackTrace` bit.
The more of these types of posts and books I read, the more depressed I become. Work feels very pointless, especially when I start noticing the "bullshit" jobs around me and just how much of my day is spent tending to tasks created by this bloated waste-of-time bureaucracy. It's gotten to the point where it's almost impossible to do anything that actually benefits our users anymore.
that's not quite a fair comparison. Greece is a bunch of islands with rough terrain in much of the mainland.

A better comparison to southern California would be the Iberian peninsula. Spain and Portugal have pleasant weather and are well connected to the industrial heart of Europe.

Many want to live in these countries but most can't make a living there.
The difference between all those eras and today is the bandwidth of a home Internet connection. Virtually everywhere in America, and much of the world, now has cheap access to 100+ mbps connections. Even during the 2008 recession, ultra-clear high-definition video conferencing wasn't possible.

Add on top that the Covid quarantine has completely removed all social stigma or weirdness around remote work. You have a never before seen threat to high-cost/high-productivity powerhouse metros like SF, NYC and DC.
If it’s related to your neck then it’s tension related, that’s one form of tinnitus, one that can be remedied. When you have actual ear damage, it’s quite another story :)
The performance shouldn't be surprising, as it compiles via C (So it benefits from 50 years of work on C compilers), and almost all of the language constructs compile to essentially equivalent C code.
I've never heard this reasoning before, are you saying the reason competitive healthcare services/pricing doesn't exist is because competing healthcare providers within a region are disallowed?
[I work on kind amongst other things...]

If you want to turn your host into a node you can do this with --vm-driver=none in minikube or better yet just use `kubeadm init` directly. In KIND we point people to the latter -- the main thing we're doing is running inside a disposable container "node" of which you can have many.

Assuming you don't actually want to turn your host machine into a node managed by Kubernetes, you'll want to stick Kubernetes in a VM or container. If the rest of Kubernetes is in this container or VM, it doesn't make sense to be running containers out on the host, things like mounting volumes won't work, you need a consistent filesystem between kubelet and the container runtime.

With kind it's also important that we simulate multi-node and multi-cluster, which is not viable with a single container runtime instance.

Without actually running Kubernetes against the hosts's runtime you can't share storage. The way docker desktop does this is to run Kubernetes with docker as the node's container runtime while only supporting a single node/cluster in a VM and expose the same runtime for building.

For our test workloads it's important to have different clean clusters constantly for different tests / projects.

KIND and microk8s have made a bet on containerd, as kubernetes is actively moving away from dockershim towards CRI, so even if we exposed a node runtime you can't build with it.

It's indeed space-inefficient, but it's a tradeoff in isolation between projects etc. For multi-node you're going to wind up with multiple copies anyhow, and a lot of projects we work with wind up needing some multi-node testing.
Don't leave us hanging, what was the issue? (and was it fixable!)

EDIT: @mrtksn, thank you for editing and elaborating your post.
Choosing a Search Engine – Between the Hacks
And would that be a bad thing? If the tool is good, FOSS users will get a competitive advantage over AWS.
Strong evidence for a benefit is often measured by death or something extremely severe.

When using other clinical endpoints cherry-picking is to be avoided. [1]

> For a trial to stop early for benefit, the observed effect on the composite end point ideally should be consistent in the individual components.

[1] https://www.ahajournals.org/doi/full/10.1161/circheartfailur...
None of these application processors I reviewed have out-of-order execution. Cortex-M7 microcontrollers have icache/dcache. You can run bare-metal code on any of these application processors and it will behave more or less like a microcontroller. The lines are really pretty blurry, but the MMU is the big dividing line in my opinion (but it's obviously open for discussion).
relevant: https://www.youtube.com/watch?v=GurNiNV5XvY
Cigarette ads aren't political. Cigarettes are a product, not an opinion or set of beliefs.

Nobody walks into a shop and asks for a pack of '20 Right Wing', or '20 Menthol SJWs'
The #1 job of a manager (in all fields) is to keep his people working. It doesn't matter if it is engineering, manufacturing or the local burger joint. A managers #1 job is to keep his people working.
In urgent circumstances where the demand for hospital services are high, a twenty percent improvement in recovery times is the same as increased capacity.
Whichever the baby chose, that became A, the other became B.
Airspeak and her sister Seaspeak. Fabulous reduced grammars and controlled vocabularies.
For the other folks in the room, Atlas Search allows you to eliminate the sort code here, introduce autocomplete, and speeds up performance dramatically. Available on the free tier. You can read about it here: https://docs.atlas.mongodb.com/atlas-search/
I think that's a common misconception here. Common cold viruses are very frequent targets of research - not with the end goal of creating an actual vaccine for a specific cold virus but for covering blind spots in our insight and processes that can be weaponized to create a vaccine when an outbreak happens. I'd say that our system is working - developing several working vaccines for a novel virus in under a year is pretty darn impressive.
Wow that is hideous
and that's exactly my point. you need to specify 'formal logic', otherwise, it's underspecified.
Probably it should be the "big None" but the people best positioned to do something about it are inherently conflicted.

Three of the Big Four are head-quartered in London†, and so the most likely avenue to better regulate them would begin in Westminster. But Westminster has for many years been in the hands of Tories, who have successfully hoodwinked the British people into believing that somehow all the awful things Tories keep doing would be fixed if only they had more Tories in charge of everything. The Tories pay the Big Four piles of tax payer money, including to "fix" problems caused by other members of the Big Four. For some reason the proposed answer often seems to be "Pay Big Four firms more money" perhaps they could pay a Big Four firm to find out why that is?

† All of the Big Four are organised as Groups, so that a relatively small company - in three cases based in London - handles the global brand, while independent businesses in dozens of countries share that brand, intellectual property and so on. Legally it is possible to pretend these aren't the same firm, although it sure is convenient how easily senior employees move between one of the independent businesses and the others as they wish...
Thanks! Yeah it's definitely been a challenge, but I think it's worth the effort to try to make sure we're keeping incentives properly aligned and really get things right before we try to scale up!

> I think monetizing a privacy product without having the user pay is extremely hard. There will need to be an extremely high amount of transparency everywhere.

I would agree with this wholeheartedly -- we're still very early stages, but trying to keep things as open as possible in terms of our tech & intentions with everything.

> but also receive a lot of public funding.

Curious what sources you receive public funding from?
Not quite - logical implication maps to function types in programming via the Curry-Howard isomorphism:

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...

i.e. knowing "A implies B" is like having a function that accepts a value of type A and outputs a value of type B.
As someone that uses Teams. It's not pleasant to use on a Mac.

My coworkers use Windows PCs and they all have a ton of fun problems with things as well.

I'm not so sure switching to Teams is a better move than Slack.
That's some really, really shitty behaviour - it actively seeks to screw over an OSS project they benefit financially from!

Given how much AWS relies on developers, it boggles the mind how they get away with this kind of behaviour.
Yeah, I think the worst case is that Victorian houses divided into 4 condos revert to being a single house again.
I honestly, don't think this is a fair assessment. For years, there has been a huge argument about what they should teach as far as CS goes. Logic is definitely important, but do you really fault a degree program and a kid's (young adult) ability on something that is never stated that way in the real world? Most people just want to graduate and get on with life. They learn what they need to pass and then move on, and there is nothing wrong with that. I put this in the same boat as all those logic puzzles they asked in the mid 90's early 00's. Ok maybe someone given enough time should be able to figure it out, but there are a lot of people out there that will do just fine at a job without being able to answer it on the spot.

Bertrand is definitely in a league of his own as far as skill and intelligence, but he comes from a different era than today. I'm not insulting his age, but I do think that we need to take into account what has changed over the last 35-40 years. Things seem so much more complex than before. Even source control is complex. I feel for people just starting out these days. It's a give and take. You have to gloss over some things to make time to teach about others.
The Poetic Body of the Benedictine Charism
A weird example since a 1920s San Francisco house was really a local nadir of domestic architecture, slapdash work that was adequate in a time of abundant wool and heating fuels. Most 1920s SF houses aren't worth what it would cost to dismantle them, or at least they wouldn't be if there wasn't a land use and planning crisis in that city.

A modern house would have a tiny fraction of the energy demanded by 1920s SF tract housing, and 100% less interior mold.
For me its worse when my introversion is acting up. Its like having a song stuck in your head. It really only goes away if you engage with the rest of the world.
Ask HN: Questions for Engineering Managers
Posted this before but because of no responses (and I wanna see whats the best time to post) trying again.

Hey ya'll. The title mentions q's for EM's but would love input from anyone who has experience or an opinion. Q: Did you get hired in a new company / team as an EM, or transition within the same team?
Q: Do you keep on building your technical knowledge? In your experience, is there a need for doing that or does experience gained in people management skills remove that requirement

Q: How good of an engineer would you rate yourself when you made the transition? Did you ever think 'I don't know enough eng yet'?

Q: Do you manage teams in the same technical domain you worked in before? Have you been an EM for teams in different domains? Did that have some effect / no effect / needed tech ramp up?

Q: Have you moved back to an eng role? Was that easy? Difficult? Have you ping-ponged between the two?

Context: I'm a senior (whatever that means) engineer, and casually considering moving more towards the management side (currently a tech lead for a team). Enjoy / have some people skills so this kind of work is attractive to some extent
Now I read the thread here and still don't know the answer. I too am a bit stuck with the word "implied". Is it if A is true, B must be true?.

I answered the question without reading further and wrote this:

not A:

- obvious: can not be A;

- and maybe relevant in the context but no true insight: could be B, could imply A, could imply B

Exactly the same for B (can not be B, etc.)

Hope I'm hired now.
'Implies' is a term with a formal meaning in logic. You don't get to question a domain simply because one of its pieces of jargon has other interpretations in the vernacular.
Wwwxxx
Sadly, every generation has to re-learn that the scorpion can’t help itself from stinging.
FYI: Linux is licensed under GPL v2. AWS uses Linux extensively.
The last 20 years have seen enormous strides -- in no small part due to social media -- in a number of progressive movements. The unfiltered nature of the web let all ideas be shared freely. Now that the left believes they have the numbers they would like to throw the filters on.

Regulation of how speech is presented is a regulation of speech and shouldn't be restricted.

The authoritarian streak I see from people I might agree with on policy is terrifying.
"I personally believe the evidence will come soon" is not the same as having that evidence.

As the excerpts I've cited demonstrate, the WHO's statements at the time are longer than what can be fit in a single 280 character tweet. The tweet is accurate; the WHO was also issuing far more detailed statements including cautions about exactly what you assumed at the time - that further information was likely to arrive later.

Again:

> According to a timeline of events, Van Kerkhove, who is also the WHO’s technical lead for the COVID-19 response, also said that human-to-human transmission wouldn’t be unexpected, since that is what occurs with SARS and MERS, which are also coronaviruses.

They were making the exact point you claim they didn't make.
I bet Echo's spec was "man pages" but in my living room.
>S3 gives you a url to a variable length block of durable storage that you can use to store data.

nitpick: it doesn't. you control the url, because it's based on the key that you provide. malloc gives you an arbitrary pointer. it's closer to mmap (where you control the address), but even that's different because the address you provide is merely a hint.
It's been hard to get respect since scientists admitted they didn't know how bees could possibly fly.
Meh. I notice it most when the insomnia is acting up and I lay in bed waiting for sleep which doesn't want to come.
I had the experience of changing to colemak and then spending maybe two months not practicing deliberately. Progress was slow. But then, I started practicing every day and I was back to my qwerty speeds within a few weeks. The incidental practice you get from typing in your everyday life isn't enough to quickly get learn a new layout, unfortunately.
This worked for me. You don't hear about it much because they're nothing to sell.

https://www.youtube.com/watch?v=wNjDBOJfMfY
Amazon SNS will no longer send Apple Push Notifications next month
In 2015 Apple announced a new token-authenticated HTTP/2 push endpoint that replaces the old certificate-authenticated binary endpoint. Last November Apple announced that they will be shutting off the binary endpoint next month.
Amazon SNS has never supported the new endpoint and still doesn't, meaning that existing SNS integrations will stop working in a couple of weeks.
Original Brendan Fraser's personal website from 2004 is still up
I've been following frequency therapeutics as well. I don't think the Neuromod treatment would provide much help to me. My tinnitus does not bother me in any meaningful way. The bothersome thing for me is hearing loss. Noisy environments interfere with my ability to hear conversation. Some frequencies I simply cannot hear. Some noises, cheap/bad audio in the higher frequencies for instance, actually hurt my ears. When the hair clippers get close to my ear, it is nearly painful. A lot of people think that is odd because hearing loss should mean I don't hear it. As a musician and audio lover, I would pay a relatively large amount of money to have normal hearing.
You provided one specific example, I explained how trivial that example was to hack around. Since then there's been nebulous pearl-clutching about how security is bad. If you had provided specific examples of how you think things are difficult, I would have explained how wrong you are. Unpinning certs is easy. Removing embedded certs is easy. Hooking verification functions is easy. If you possess the hardware, you win.
Thoughts on Improving Online Communities
I don’t use Twitter, so please remind me: did the site allow linking to articles or documents that Snowden stole[0]? And isn’t a hack just theft by other means? If Twitter benevolently censored linking to those docs then at least we have consistency.

[0] - Yes, it’s more involved than “stealing” because Snowden acted as a whistleblower, but I’m trying to draw a comparison.
How about the cathedrals that are scattered across Europe? Some took centuries. People worked on them their whole lives knowing they’d never see the end result. Compared to that, a 45-year bridge seems quick and practical.
lol, CA is certainly not a low tax place :)
Ask HN: What are other career options as a CS major?
I go to a top ten school where I am studying computer science and at the moment a second major in math. I can pretty much see my future right now, and I don't really like it. Like everyone else around me I'll probably go into SWE or (more likely with a math background) finance, as is extremely popular at my college. While these jobs do interest me, I don't really want to be a SWE day-to-day. I really like making things and while I always have really enjoy programming, I'd like to use it as more of a tool to solve problems that I find interesting, not really for developing large software. I think a job as a quant or something at a finance firm would be interesting, but they're incredibly competitive. I don't really see myself going to grad school, and I don't really consider academia an option. I don't exactly know what an answer to this question looks like but, what realistic career paths are there for someone like me? I'd really like to consider starting my own business / being self-employed but I'm not sure how realistic this is. Are there any books, resources you'd recommend?

TLDR: what career options besides finance and software engineering do I have as a cs major?

Thanks!
I really wish a license like this existed, especially for libraries.
Hell, can you show an example from the author's own company? That company's about page has a blurb on contributing back to open source that seems to be on par with what Amazon does to contribute to open source, and the author is sponsoring 4 people on GitHub, but where are the loud proclamations that people are clamoring for in this thread? Whose shoulders are being stood on there? Is checklyhq.com really running a SaaS offering without benefiting from many, many more people than the outward stance suggests?

This whole thing is very reminiscent of the Occupy Wall Street movement. People are very sensitive to the injustices they perceive themselves as having to endure especially in relation to those wealthier than them. But where's the willingness to jump out of local scope and apply the same principle globally (and reflexively)? It seems to be absent.
No. That part of the code was designed before W3C Web Annotation standards were released.
Agreed. From the wording in the article, you can say it's arbitrary or personal but not random.
iOS and iPadOS 14 – An Exhaustive Review
It's really not just a problem with English. I'm learning Japanese currently and its absolutely filled with homophones that only change based on context.

For instance 子(child) 古(old) can both pronounced as "ko"

I only have a vocab of ~300 words but I can list at least a dozen or more off the top of my head. Far more than my experience with English.
"That's a big Twinkie."

-- Winston Zeddemore
Why Employees Who Speak Up Sometimes Remain Silent
I've always thought of the WHO as serving an audience of public health experts for the member nations. Then those nations can decide what the best response is within their borders.

When I remember back on the news about the other recent pandemic scares (ebola, swine flu, zika), I don't remember hearing any mention of the WHO. I'm sure it happened, but not nearly as much as CDC. We hear about their announcements a lot more often now, but how much is that due to being cast as antagonists by DC?
You're right, it was wishful thinking of me to assume that a competitor would be morally responsible and more profitable than Facebook.
It's well known that Joe Kennedy was at least a defeatist (when it came to the British), and arguably a Nazi German sympathizer. Please don't ask for citations on basic, easily verifiable facts, it comes off as lazy, flippant, and ignorant.
I read both MR and HN regularly, but anyone who thinks the quality of comments on MR are better is completely delusional.
Ah, okay. Yes, it's ambiguous to the point of being a trick question to me.
I said in February, I will say it again. Facebook, Twitter and YouTube are sources to be avoided when we can also look at prime sources or more reputable ones that "a guy on YouTube". If anything, YouTube was too late to block certain content.
At AWS, many engineers I knew looked up to S3 as sort of some impossible miracle, an unfathomable marvel of God.
“if somebody wants to trade with you, your first thought should be 'what does he know that I don't?'"

I think the economic term is adverse selection: https://www.investopedia.com/terms/a/adverseselection.asp