skysight-inc/HackerNews huggingface dataset:
> What do you disagree with?

The main thing I'm disagreeing with is undefining what CAP means. CAP is a very particular proof and the rest I think perhaps we need a new name for.

> CAP has a long history and was originally provided without a proof.

Irrelevant. All of database history is filled with what today is comparatively junk. The understanding has improved and we have better ways of talking about the particular subject matter.

> The proved version of CAP has a very strict definition, but it's not that useful in practice because most systems don't actually follow that model.

It is useful in what it proves, so don't bend the definition. This is my main point. You will have to invent another taxonomy perhaps. We have good names for all the typical consistency models I believe, so we can use those as a starter.

> Most notably, the CAP theorem is often still true when "consistency" is defined as weaker than "linearizable".

This is the type of reasoning that just muddies rather than clarifies.
Not a developer, like, at all. But, I see this in myself when I work in groups all the time. I get excited about the project, forge ahead on my own, come back with so much stuff, into which everyone else now needs to "fit". At which point the entirety of the collaborative intention is missed.
Can you elaborate on this one?
Seems to me that Omicron is essentially a vaccine in its own right. Highly attenuated and extremely mild to non-existent symptoms.

The best part is even the anti-vax crowd will be innoculated!
This reminded me of a recent talk: USENIX ATC '21/OSDI '21 Joint Keynote Address-It's Time for Operating Systems to Rediscover Hardware:
https://www.youtube.com/watch?v=36myc8wQhLo

At 9:00 the speaker lays out some pretty conventional criteria for an operating system (multiplex hardware resources, abstract the hardware platform, protect software principals from each other), and points out that these things are increasingly outside the scope of what people call "the OS". https://imgur.com/dODDwnQ
Are there any good options for me to switch to linux, if I'm forced to work on a windows project in visual studio 2022. I guess I can run a Windows VM but I fear performance degradation. Also I guess I could switch my IDE to Rider, but compiling to .NET Framework 4.8 would be impossible on linux I Guess (again It would be fine in a windows VM).
>That at some point they have to sunset tools that are not used by people any more (Like the Newsnet client, from what I remember) makes sense to me.

Yes. It doesn't make sense for someone investing in an editor/IDE though...
>Foobar2000 was such a golden age of music discovery... So much more exciting and engaging than fucking Spotify radio.

But what you describe takes work and Spotify radio and similar features from their competitors don't.

As someone who also built up a big library during the golden ages of music piracy, the primary benefit of the Spotify-like services is not their libraries. It is that they remove the need to do the work in both music selection and discovery. They provide a middle ground between just random music selection and entirely intentional selection. Sometimes I just want a specific musical vibe without having to design a playlist or choose a specific singular artist. In addition these services are smart enough to understand that vibe and mix new music in that fits that vibe which I therefore might also enjoy.

Is there anything that can adequately replicate this type of radio style listening while using one's own library that doesn't require them to spend hours and hours both proactively seeking out new music and meticulously updating their library's metadata using something like Musicbrainz (or whatever the modern equivalent now is)?
The assumption in Bagel is that pretty much all looping-like behaviors in a function context will be covered by iterators with chained methods; I’m borrowing (heh) heavily from Rust here (which doesn’t have pure-only contexts, but heavily encourages and supports doing things as expressions). A for-loop is a range, a for-each would just be iterating over an array, building up a single value would be a reduce, etc. There are some more gaps I still need to fill, but it should work pretty nicely for most cases.

Though of course, recursion is always still available as a fallback/preference
At no point in the history of the Shuttle program would it have been a mistake to shut it down. By any metric, I'd call it a failure.
> Realistically I wish someone would just write an orchestrator that runs Go processes and nginx and glues it all together.

Not quite what you're asking for but you can get close, on bare metal, with:

- ssh to set up a systemd service, scp to deploy your binary, then ssh again to restart your service

- dokku (containers are optional) with its cli

For the first option, once you've set up nginx on the server you can easily automate the addition of a new systemd service for a new app with a simple shell script. That done, it is a matter of less than a minute to add a new app and even quicker to update and restart an existing one.

For the second option, it is installed with a single bash command and supports Heroku build packs which means for many systems there's virtually (or exactly) no config needed. Just run the cli from within your app folder. If you do want containers they are automatically found and deployed too.

I've done most deployment methods from the simplest (above) through to complete Terraform builds, and once they are automated all that matters is that the method you choose supports your needs. Go for the simplest option that does that.
This is a bit of a nuanced topic with lots of shades of truth or context, and overall I agree with the article, but that said:

Sometimes you know your team is going to do the stupid shortcut if you let them and you save them from themselves by solving the robust solution before they have a chance to "be pragmatic" and pointlessly bikeshed about things that don't matter to waste your time. Sometimes you know it will take you a week to do it right or a week with input to do it half right and you just bite the bullet and do it right the first time and, to the articles point, suffer the consequences if or when you get it wrong or partially wrong.

Realpolitik is part of being a senior engineer. Sometimes you make the call to take the shortcut without mentioning it, sometimes you force the full solution with the big PR (or, even worse, a series of staged small PRs to make it look like you're taking feedback); but most of the time, if you're working somewhere good, you get to be completely transparent about what you're working on and the feedback you get is corrective and flexible.
Do western artists and corporations borrow stuff from other cultures and competitors? All 20th century rock & roll, most of hollywood, and pretty much all of pre-90s Silicon Valley is based on that premise.

That you think it's theft is a debatable/controversial point of view on Internet forums, but if that is to be the case, many more people/corporations from USA should feel threatened, not just a few chinese scapegoats which help avoid the elephant in the room: why would anyone own ideas in the first place? Ideas are born out of other ideas and every one benefits from that. Restricting knowledge sharing can lead to disastrous outcomes as Jonathan Blow brilliantly argued in a talk called Preventing the collapse of Civilization which appears to pop up on HN every so often: https://www.youtube.com/watch?v=pW-SOdj4Kkk
There is a link to a post at the top which gives a detailed overview https://seb.jambor.dev/posts/systemd-by-example-the-playgrou...

but the short of it is it creates a limited remote container and pipes the CLI back and forth.
Rust is exploring techniques to allow "the author of the code" to provide finer "separation" semantics without resorting to unsafe - this is what GhostCell, QCell, LCell etc. are all about though their "usability" is still low. There's plenty of ongoing research in this space, so feel free to stay tuned for more!
The tricky part for me is that sometimes I did actually need that input from others on the team. Sometimes it's all just bikeshedding and a waste of time, but sometimes it does help me from going down a rabbit hole that might have wasted weeks of development.

But regardless, I find that whole process exhausting and disempowering, even if there is sometimes a benefit from it.
This is a good resource: http://geminiquickst.art/
If you look at the comment above about the regular GEMM implementation, M1 actually can do that at 1.6 Teraflops.
Show HN: Run NPM Scripts with .envs
One is remediating the cause of the lead ingestion. That's a big reason for the testing: to identify the kids that are getting exposed to lead so that the cause of the exposure can be eliminated.

Yes they also treat for the high lead levels in the body, but that will not do much good by itself if the kid goes home to the same environment.
The main reason it’s illegal is that it creates perverse incentives against schooling.
Screen? Camera? Speed? Battery? I get that it is enough for you, and that's great, but let's not try to fool anyone that 6yo phone is a little bit old for most users in 2022.

Edit: Apple is dropping support for 2016 SE this year, so let's just not recommend it to anyone right now ;)
High Fidelity as well.
It's because people still defend it, or imply it was more worthy than it actually was. And because the same mistake is being repeated right now (SLS).
I almost never get spam outside of the spam folder.

What I get instead is that half of the messages in the spam folder are not spam.

This is actually even worse than just not having spam filtering. I still have to pick the spam out manually and ignore/delete it, but now I have to check two folders every day instead of one.
X/socket – observable APIs over any socket. A modern alternative to socket.io
The description of the "problem" is that the requirements specified in the beginning were wrong, and then the developer is blamed for solving exactly what was specified, and not constantly asking management every day "have you changed your mind?". I don't understand at all, how this is the fault of the developer, talk about expecting the developer to bend over backwards for any product manager. How is it not reasonable for management/PO to be responsible for 1. sending devs off in the wrong direction, and 2. not notifying them as requirements change?

This is just another way of saying "management is right, even when they're wrong, and you need to accept that".
I hate to post this multiple times, but the M1 has a dedicated matrix co-processor, it can do matrix multiplication at >1300GFLOP/s if you use the native Accelerate framework (which uses the standard BLAS API). The M1 Pro/Max can even do double that (>2600 GFLOP/s) [1].

46.78 GFLOP/s is not even that great on non-specialized hardware. E.g., a Ryzen 5900X, can do ~150 GFLOP/s single-threaded with MKL.

[1] https://github.com/danieldk/gemm-benchmark#1-to-16-threads
for context, nearly all medical biology research touts itself as a solution to the problem, but is really just a tiny component of a far larger ecosystem of research, development, and deployment.

To see how messed up things can get, take a look at Vioxx. I saw the entire life cycle of vioxx during my earlier career: from "we crystallized cox-1 and cox-2 and now we can make differential inhibitors that don't cause stomach bleeding" to clinical trials to the drug being taken off the market because the clinical trials failed to report serious problems.

So these days every time a person waves their hand and claims they solved a problem I ask what the direct and immediate effect on the actual problems will be and it also elicits an answer of "well, it's complicated... next we have to do <soandso> and <suchandsuch> before we can even put it in a human". genomics with all its claims for human health went through the same hype cycle. As did nanomedical diagnostics.

Personally I think AlphaFold proved its value from day one, by firmly establishing the knowledge (which had already been speculated) that everything you need to predict protein structures is a large enough collection of protein structures, a much larger collection of protein sequence relationships, and a collection of very savvy machine learning techniques to extract the maximum information from that to produce the most physically plausible model. It also showed that you could do all this without explicitly modelling the folding process itself, which is such a huge timesaver.
Intermittent fasting.
The problem is more or less all hardware manufacturers do that. There's variations: some bundle only the Windows backdoor, some bundle Superfish, some bundle Intel/AMD's anti-theft and ME/PSP features. That society is ok with that is a huge problem to say the least.
Sounds like Russian Roulette.

If they were as smart as they think they are - you'd think they'd come up with a system that wasn't so luck-dependent.
Right, this is basically a "human politics" thing.
> Some news companies have even started to explicitly adopt "advocacy over reporting" models, where they don't aim to be journalists in the original source of the word, but paid propaganda subscriptions.

This is a positive development. The problem is when motives are concealed, as in "objective" journalism.
Eh. Manufacturing has never gone down in GDP terms. It just seems to have gone down due to layoffs as a result of further mechanization of production.
Ugh, my worst development job ever was one that had mandatory full time pair programming. Full time pairing is one of the worst ideas ever conceived in the software world.
there isn't data in this paper to support going to human clinical trials. micromolar inhibitors are a starting point for further molecular development, not invivo cell work.
Did you miss the part where using an unpatched, always internet connected device is a huge liability? That's the point, he can't not get a new phone because they're cutting off security patches for the one he is using.
If only they had vaccinated 100% of the world all at once, including all animal reservoirs, these variants never would have emerged in the first place!
People love to bash apple for their “expensive” products but I see it as I’m paying for support as well. My 3(?) years old iPhone XR works like new, receive regular updates and the battery still hold fine (never changed it).

Whereas my android phone before that never saw an update besides a couple odd security patches after a lot of delay.

I intend to use this iPhone until apple drop support for it. Maybe in a year or two I will replace the battery. But so far it’s the best phone purchase I ever made.
The death counts aren't even accurate: https://www.dailywire.com/news/jordan-peterson-absolutely-no.... And the evidence that long COVID is generally bad is lacking as well.

The virus has no doubt been bad for many groups of people, but when the leading cause of death in the U.S. for adults 45 and under is drug overdose from a single drug, fentanyl, and when the excess deaths over the pandemic from suicides far outstrips COVID deaths for teenagers, it's time to pause and reconsider health from a more holistic perspective. COVID kills the elderly and those with a few other comorbidities like obesity and diabetes, but, for many, the risk factor is too low to justify the outrage people have over the unvaccinated, as much as it is the fault of the media and the established government for stoking this outrage.
what are they doing now though? Eventually, the student loan repayment delay expires, the covid unemployment goes away, any eviction moratoriums expire, and on top of it everything is more expensive than it was. I hope people who are leaving their jobs for less stressful or more accommodating jobs are increasing their income levels as well. There's going to be a big bill due when all the covid relief measures and savings evaporate.
Vue 3 is written in typescript and does type check props at both compile time and runtime.
I've never heard a difference between the two. Your confusion is confusing.
Also radioactivity, which also suits a Mars rover comparison.
I would argue they are not positioned well at all. Generally small businesses have limited inventory and limited cash on hand. So they have to now buy their inputs at an increased price while attempting to raise prices to sell outputs to customers that are cutting back due to their own reduced purchasing power. They then lose employees to businesses that are able to offer raises to their employees. They are also generally more limited in their access to capital than the larger companies.
How is Spectacle better integrated than Flameshot?
They're wider, but that's just because one "word" holds the whole instruction, instead of multiple bytes. In fact, reverse engineering efforts[0] (and the "RISC86" patent[1]) make clear that they're actually "vertical". Intel Goldmont (from [0]) has entries that are 176 bits each, but that's actually three (distinct) 48 bit uops and a 30 bit "sequence word".

Horizontal microcode is much simpler for in-order processors, but my understanding of this stuff seems like they wouldn't work well with the superscalar processors of today. Gating the hundreds of control lines seems (to me) like more effort than gating a few dozen bits of a uop.

[0]: https://github.com/chip-red-pill/uCodeDisasm

[1]: https://patents.google.com/patent/US5926642A
Does this include headphones that connect to my phone via bluetooth?
Same here, except it was the Galaxy Nexus that pissed me off so much to switch to Apple.
> Vaccines have failed to end the pandemic

This is all I had to read of your comment. Vaccines have helped immensely in preventing severe cases, which is a step towards normalization. Did you want vaccines to make people immune to a rapidly spreading and adapting virus? How many flus have you had? Still not immune to them?
I feel the same way. Lot's of experienced engineers don't like to be bothered too much, have the feeling they know best and just design and implement the way they have it in mind. Juniors on the other hand don't like to bring their beginners mistakes too much in the open, hence they work hard and long to avoid that. Both of these situation are largely sub-optimal. A good manager knows this and asks for feedback in time, in an interested way, without being too pushy.
They missed one reason why it can happen: Because doing things "the right way" is too slow, and the engineer is trying to skirt around process because the company moves way too slowly. Not out of malice or negligence, but out of a fear of the megacorp killing agility. I've seen entire teams at megacorps or governments try to keep others in the dark with projects that would be crushed under strict corporate rules.
If Android is what I get for $800, I'd hate to see what I get for free.
Cannot wait for their webpack replacement.
> So, as an order of magnitude, the price asked by Qualcomm for extended support is 1M$.

....and even if that estimate is two orders of magnitude too small, it's still basically pocket change for Google, which (based on about 30 seconds of Googling, so if I've misread I apologize) has been making tens of billions of dollars per quarter the past few years in net income.

[edit] Figured I'd link the source of my figures for clarity: https://www.macrotrends.net/stocks/charts/GOOG/alphabet/net-...
> here's no assurance that some artist made it

Correct. I do not see how it follows that a NFT minted by the artist who made it is a scam.

> 98% of NFTs will last at max few months

You make this mistake because you think the url matters. It does not. It is the collectors job to ensure the art survives. Agreement on what the token represents, either ad-hoc or through a hash is enough.

> at least I can sue Google if they publish on their ledger the hash of something I made and someone else sold without my permission...

True.

> People absolutely don't care about the item, proof is that the majority of items sold as NFTs would never ever have a market outside of the speculative bubble (and in fact they never had one before).

There is a speculative bubble, but art will remain hard to sell the less it is a short-term speculative investment, but the creation of this previously non-existent market is indeed the contribution here. Without the market, the spreadsheet is not interesting.
Take a look at some of the videos from the ship breaking yards in India, Pakistan, and Bangladesh. People working with no protective equipment at all, often barefoot, using torches to cut up ships full of lead paint, heavy metals, and asbestos.
The System/360 I/O channels are kind of like a DMA (direct memory access) controller, so I/O can happen in the background instead of making the CPU wait. The Raspberry Pi PIO is more of a programmable state machine for low-level I/O protocols. So they are kind of similar in that they offload I/O tasks from the main CPU. But they also act at different levels: a System/360 channel does something like reading a block of data from tape, while a PIO deals with individual up and down transitions on a line.
Agreed in principle. Cardio makes me feel good (I am borderline obese). I was in a good place at the start of the pandemic .. lost about 30 pounds by heavy exercise and completely cutting out take out food and junk food. Year 2 of the pandemic has been terrible for me (mainly due to responsibilities related to work and 2 little kids). I gained all my weight back and my eating is terrible again. I am actually scared of working out because it raises my appetite by a disproportionate amount :(
If you read the article, that is addressed there.
So you've reinvented SoundCloud?
quite the conspiracy. But I do suppose amazon sidewalk could be tapped into?
The web solved software distribution. Full stop. There only remain the edge cases, and that's where webasm wants to help.

Sun/Java wanted badly to solve this problem, but tried to do too much too soon. Java gave devs in 1999 cutting edge OOP tools for doing GUIs (e.g. Swing) but distribution was always the problem. Installing and running browser plugins was always error prone, and it turned out the browser was itself just good enough to deliver value, so it won. (With the happy side-effect of giving the world-wide community of devs one of the gooeyist languages ever to express their fever dreams of what application code should be).

The question in my mind is whether there is enough demand for the kinds of software webasm enables, especially given that other routes of distribution (app stores) have filled in the gaps of what the web delivers, and are generally a lot more pleasant and predictable to native devs.
https://en.wikipedia.org/wiki/Schmear
It's a good point. If you work at Google, just know that I'll be doing the same. If Google refuses updates for perfectly good hardware, then I'll move to the iPhone.
Actually scraping Facebook is really difficult. They have some of the most aggressive browser-fingerprinting out there. Archive.is gave up trying because their facebook accounts kept getting restricted, and each new account needed a new SIM card to sign up so they aren't free..
I don't know if this fits your KaTeX analogy, but citeproc has a javascript implementation. Uses CSL-JSON to render citations.

https://github.com/Juris-M/citeproc-js
This made me feel old. I don't consider night clubbing to be a special occasion. Either way I have done the night clubbing thing and don't see myself in one any time soon.
Not to mention that if you root them or install a custom firmware to keep using your device, most banking apps, Netflix and any games will simply refuse to run or weirdly crash (e.g. the Nintendo Switch companion app - which is a voicechat ffs).
I haven't thought about Clover in forever, but didn't it add tabs to your existing Explorer, versus being an Explorer clone plus tabs? The behavior required for the former probably looks a lot like malware to a heuristic detection engine.