skysight-inc/HackerNews huggingface dataset:
> No matter how much research they do, a partisan of the best might not ever know as much about motorcycles as the partisan of the worst who takes a series of hare-brained cross-country motorcycle trips on a bike that barely runs, and ends up learning a ton about how to fix their constantly breaking bike along the way.

I don't know much about motorbikes, but I do about mountain bikes. Since it's so expensive, your first bike can and almost should be a shitty one, just to validate you like the sport. But once you determined you like it, you're so much better off investing in a good, stable, reliable bike, and go into harder terrain, rather than risking your life on simple trails with a shit bike. For once it will be more fun, but also you'll progress faster with equipment that you already over-class.

If the point is to maximize your enjoyment of life, I think generally speaking it makes sense not to spend on stuff that doesn't matter. But saving your nickels and pennies on stuff you actually enjoy doesn't make any sense, because it will in fact make your experience worse.
Yes. This reminds me how you can turn a macbook/laptop into a touchscreen [0].

[0] https://www.anishathalye.com/2018/04/03/macbook-touchscreen/
> Actually the downed jet pilot mentions DC, NYC, and a few other cities getting nuked.

Oh, that's totally possible. It's been a long time since I've seen the movie, and I just recall that nukes didn't feature in the plot at all.
Still digging... https://en.wikipedia.org/wiki/Bagger_293
I forgot about that video, made me laugh. Thanks. But also, pretty accurate description. Maybe that's why she doesn't play chase as much anymore.
> However what's interesting in this case, and what I would agree isn't clear, is the person bringing the case isn't the copyright owner though.

You're right, which is why SFC's case is entirely a contract law case. SFC argues (1) the GPL is a contract between the software creator and Vizio, (2) Vizio has a contractual obligation to publish their modified source code, and (3) SFC has the right to sue because they are a third-party beneficiary of that contract.

Here, this decision only states that SFC's contract claims aren't preempted by the Copyright Act and therefore the case belongs in state court. The case was originally brought in state court, but Visio successfully argued that SFC was essentially making a copyright law claim disguised as a contract claim, and therefore the case belonged in federal court. (Edit: I was wrong about the procedure. See reply by dragonwriter.)

So, now it's back to state court where the court will decide whether there is any merit to the contract claims.
I was once on this bandwagon, but I think it was just confirmation bias reflecting the way I used the internet at the time. The non-siloed internet is bigger than the pre-siloed internet ever was.
Neil here, CEO of Axiom, glad it’s working out for you! Would love to hear what custom alerts you’ve set up.

Our goal is to provide some out-of-the-box alerting tuned to Vercel deployments as we learn more about how devs are using Axiom & Vercel!
Then don't? If you want to recreate Gemini on the web, just use curl to download assets and consume them that way. This doesn't seem to be about you or the GP specifically consuming the Web this way, this seems like people who want to create a _network_ of other people who consume the Web this way, which is essentially the same as gatekeeping.
Copyright on it is 1996
Main thing missing in this thread is that Bots can do things that doesn't involve actively tweeting. Things like liking, following, etc. Even clicking a hashtag has some effect on the Twitter algorithm. Furthermore, the most important metric for Twitter advertisers is Impressions. You primarily pay with impressions on Twitter as an advertiser. Does Twitter show ads to bots/fake/spam accounts if they match the #hashtag criteria or target audience to pump up the impression numbers?

Are these are the fake accounts that are lurking around without posting a tweet, but impacting the mDAU?

"Active" definition needs to be more precise than simply tweeting.

If I were an investor or an advertiser, I would drill into these details.
So enterprise-class firewalls can presently identify and block the QUIC protocol entirely. (If you have such a firewall, I recommend this! Nothing supporting QUIC has no fallback.) Hopefully that level of intelligence will eventually make it down to at least prosumer-grade firewalls, but the folks who buy D-Link and Linksys stuff are probably out of luck.
Fork it and change this to -

> algorithm improvements and better n-gram statistics

GPT-3

And you got a startup going.
Sounds like an elaborate ad for AlgoExpert

Facebook, Google generating insane annual profits. I would buy the dips on those.
>What if all smartphones formed a mesh network? There aren't enough prisons in my country for all those criminals.

There don't need to be. You publicly gruesomely execute the first 100 or so you catch, and the practice of running a mesh node on your cell phone will fall so far out of fashion that the network breaks.

Societal shortcomings cannot be fixed via tech alone. If you can't build a society resilient to authoritarianism in the first place, tech will not help you. It can be used to increase resilience, but that's far from fixing the problem by itself.
What part of it is most socialist? (Honestly asking and curious, I'm terribly ignorant in the more niche -isms of potential political-economic organization)
meh. this is exactly what was always available.

The catch is, as soon as you migrate you will lose your gvoice number, since that is not included in the "all free services will be migrated".

And then it will be too late to research alternatives as you lost your number and will start paying (and then realize your old number is long gone :)
Beyond Compare (not free) seems to have all kdiff3's features, plus some nice features for comparing tables (CSV or Excel) (although you need to tweak the defaults to make them actually useful). Also, it has syntax highlighting in its diff view, and I find its directory diff nicer than kdiff3's. I haven't used it for merging yet though; although it has three-way merge, I just am more familiar with kdiff3 and trust it since I've been using it for more than 20 years now.
Checkout baseql.com to generate a GraphQL endpoint from Google Sheets
The amount of times in my career where the performance would be even measurable between these 2 styles is vanishingly few. If I cared I could just use #filter_map or a classic for-each loop. If we're assuming the project is written in Ruby in the first place, clearly we're not valuing performance that highly.

The more important thing is the ruby version is chainable and more readable—and that matters far more often.
>With things like the pi zero, the cost of a machine that can endlessly run full video is vastly eclipsed by the screen to present it on. So simple palette animations are now pointless.

it's not pointless -- constraint often produces beauty in unexpected ways.

Piet Mondrian's art wouldn't have been improved by access to millions of colors and microscopic detail; the rigorous constraints are what produced his entire style.

plus as a developer the idea of using the least amount of machine to accomplish something is incredibly appealing to me; it's like a more extreme version of code golf.
Those are open jobs which is great to see. Is there a way to see the existing number of employees working on webkit?
it is only fixed with static typing and no generics (i.e. C/Fortran). If you have a generic array supertype, a statically typed language would let you write exactly the same bug.
It works like this in every other engineering discipline. Except for software, were we somehow pretend that these level of bugs are something normal.

Even the avionics and carmakers get software right, why cant we?
Depends on your country. In Australia, our banks are among the most regulated and survived through the GFC with barely a scratch.

Regulation is proven to work in the financial system. You just need to make sure you have enough of it which often the US hasn't. But in recent years that has been fixed up.

Also it's a false comparison. There is one Tether and tens of thousands of banks.
Maybe we can use Terra UST now.
8% is indeed quite high. My gut would be more that this is the selection bias, though. Folks that are looking for things such as meditation to help with mental health, are more likely to have trouble with mental health. Such that I am still suspicious of this data.

I should say that I'm fine with the idea of pushing for caution. I just have major suspicions when a practice is pushed with a mentality that you need expert guidance to get layman benefits.

I should also state that my personal stance is that the majority of meditation, if it is working, is not working for the reasons that the practitioners think it is working.
Yeah it's BPE. OpenAI has a nice tool that allows you to play with the tokenizer https://beta.openai.com/tokenizer.
Yes, "just" port ~16 years' worth of Ruby. No sweat.
I had the same thought. Not many water and air trains going around.
Ansible for very small scale projects. It is not scalable for larger unreliable clusters. You probably need to go to salstack if you need any scale.
Neither extreme makes sense as an absolute, however I think there is more truth in "the worst" or maybe "the ok" or "the threshold after which diminishing returns take a nosedive", we certainly shouldn't be owned by our possessions and the vast majority of people can't afford the best of everything.

However for select items it is worth taking "the best" route - the key is to not be owned by them even then, find the best item (for a usually more subjective definition of "best") and use the fuck out of it, because that's what it's for. Identifying when it's worth getting "the best" is the trick to learn, but it should be a low number of items.

I think the problems comes when "best" is distorted into something highly biased towards aesthetics, taste or status - which is a consumerism trick - I'm not a brutalist, I understand aesthetics are important to the human experience, but when those attributes become the main focus people start behaving weirdly, and not necessarily in a healthy way.
> but dare pointing it to a developer and he will tell you

Sadomasochism runs deep.

If you’re not suffering for your craft, you’re not a Real Programmer.
„I did the same and it got stolen!“ —- me
Good point. Anyway, the original example reduces to this. After the first measurement [it doesn’t really matter which one is considered as first] we have a couple of complementary states +/- for the measured axis but it’s not well defined for other directions and in general a second measurement will break the symmetry.
(Promscale team member)

That's definitely our goal: to offer a solution that is very easy to self-host that covers most of the features APM products provide within Grafana so you don't have to go back and forth between different tools. And a key advantage is that you can customize the experience and extend it in any way you want because it's made of editable Grafana dashboards populated with data from SQL queries.
You are wrong.

This debate is long since settled. Use the cloud, and devote that mental capacity to building things customers will pay for.
More importantly, you had to hack shit together as fast as possible to get a dice roll at the $50B business or bust game.
For sure. But I think what's going wrong is a little different.

E.g., there's a mode that highlights the current line. And there's a mode that let's you run a shell inside a buffer.

And for some reason, the current line highlight doesn't work on the most-recent (waiting for input) line.

OK, actually looking at this a little more closely, I think it's because shell mode does some sort of thing where it redefines the "start" of the line to not include the shell prompt, and I guess whatever is doing the line highlighting is using that same notion of "start" of line. So on a line that just contains the prompt, the line highlighter thinks the line is zero length, and highlights nothing.

I think this is typical of lots of emacs problems. You have all these modes that interact w/ each other, w/o strong models of the interactions, so you end up with a bunch of little bugs.

(And because there's combinatorially many different ways you can combine modes, I don't think testing is ever really going to help you here. You just need formal structures and coding styles that guarantee or lend themselves more to correctness.)
kdiff3 easily beats it, if only for its 3-way merge, manual line alignment option and general robustness.
To me, not showing existing prices is customer hostile and a bit shady. That said DO has always been expensive to me.

hetzner, OVH, or the swarth of VPS hosts on lowendbox.com is preferable to me.
As long as there's people who can appreciate the art for what it is, isn't it serving its purpose?

It doesn't have to serve a utility. It's a beautiful, clever intersection between math and visual art, and that's all it has to be.
Lukashenko urges Russia-led CSTO military alliance to unite against West
I wonder if it's the whole "russia might drop nukes or EMP-blast a large portion of the globe because of what's happening with ukraine, i better EMP protect my electronics in case they get fried"
I’m honestly more excited by helix at this point, though I’m still using emacs with doom and daemon mode setup.

The thing about helix is… it starts instantly and let’s say 90% of what I care about
from the web-page:

It does not require training data - instead it uses statistical information about the frequencies of the letters and n-grams in the English language.

and from this it should also be noted that it won't apparently be able to extract passwords, as least those which aren't "n-grams in the English language".
this is not true anymore, chromium added support for other color spaces this year
>the great charm of cats is that it is impossible to tell the difference between "No, I don't understand you." and "I understand you perfectly well, but I plan to ignore you completely until I feel like responding"

It’s totally the same thing with retired racer greyhounds. Gentle, stoic, sleep 20 hours a day, and literally zero eagerness to please. They’re the most catlike of dog breeds.
Flagged again. Why? This isn't the clearest/best article, but flagged?

Again, it's kind of adrift a bit. But it feels fairly topical & reasonably interesting. It doesn't seem incindeary.
Oh, I’m so looking forward to my next coding interview.

“Okay, could you show me on the whiteboard how you might go about writing a program that can reverse a string?”

“Great, so I’m going to start by initializing a simple transformer-based neural network with 175 billion parameters and 96 attention layers, and I’m going to train it on a corpus of 45 terabytes of data tokenized into about 500 billion tokens…”
Right. What non-programmer is going to think to turn a word into character list with positional metadata sprinkled in.
Can You Use Formal Verification on a Table Top Game? (Solutions)
IDRAC still uses non-ssl connection for fetching upgrades by default. They all seem so bad on many levels regarding security without even diving deep.

I hope safe virtualization (where host can't access guest stuff) become a standard for hardware, but it still feels backward.
They are definitely succeeding at figuring out how not to do it then.
> Please note that bitcoin mining is a fraction of a fraction of all energy use in the world

A fraction of a fraction is still a fraction. If you're going to make an argument about actual energy usage, please quote actual numbers.

> [...] as an industry, well ahead of its peers in terms of green energy usage.

Bitcoin is not an industry. An industry has a product or service. Bitcoin's "service" is subsidising greed and speculation using natural resources - at the expense of everyone else. Blockchain, as a data structure, is a solution in search of a problem. So far the only "value" I'm seeing is runaway speculation.

It does not matter which source of energy Bitcoin is using, it's fundamentally still based on the premise of proof of waste. It doesn't matter that it's "green", the same green energy could have been used to burn less coal elsewhere; or we could've avoided building the power plants to begin with. Ethereum is at least trying to move to proof of stake, although they're consistently under-delivering.

> [...] there a a very substantial number of other industries that are in orders of magnitude worse to our environment [...]

This is very true. But what is also true, is that another actor being worse doesn't justify your endeavor's own crimes. Just because your neighbor is beating their partner, doesn't mean you can kick a stray cat.

> Using electricity to separate money and state is well worth the cost to me.

And that's exactly what is wrong with proof of waste: it's worth the cost to *you*. You've never asked *me*, if it's OK for you to destroy the planet that *I* am also living on, let alone if I share your views on how noble the goal is.

Separating money and state sounds like a bold wish. https://news.ycombinator.com/item?id=29322172#29323906

Please don't take this comment as an attempt at a personal attack - I have no way of knowing your actual stake, what I'm trying to protest is the game itself.

> edit: bring forth thy downvotes, HN.

Don't worry, they're coming to both sides. I would always prefer to see arguments rather than downvotes, so thank you for taking a stance.
Accepting some form of unbacked currency does not give the currency intrinsic value and therefore make it backed. El Salvador made bitcoin legal tender, which means that USD or Bitcoin could be used to pay property taxes there, that doesn't mean that suddenly Bitcoin is backed by El Salvador property.
In Rust what you wrote is just how it works because it's how move was defined in the language, but I think in C++ at most you could say that this is how people conceptually try to arrange for things to happen, and at that point we're back to "Wrong by Default".

All the C++ compiler actually gives you is destruction at end of lexical scope, and then it's your job as programmer to do what people actually wanted instead.

Historically what you do in C++ is copy things a lot, or work with pointers. Modern C++ offers a move, but for backwards compatibility reasons it had to preserve that behaviour where the destruction happens precisely when you leave scope, so, move "hollows out" objects, leaving something which can be destroyed later.

Thus it's your job, when implementing a C++ type, to ensure that the "real" work happens whenever a programmer would expect, leaving just some shell to be properly "destroyed" later when scope ends. Whereas for Rust you just implement Drop correctly and the compiler arranges for it to happen promptly.
Git supports revision ignore files for tools like git praise/blame, so that excuse that they don't want to reformat everything to avoid git praise blowout can be easily worked around by checking in an ignore revisions file and pointing them how to use it.

Github even has public beta support for it, though they require a specific name for the ignore revs file: https://docs.github.com/en/repositories/working-with-files/u...
sequel of https://bellmar.medium.com/can-you-use-formal-verification-o...
(https://news.ycombinator.com/item?id=30977062 with 0 comment)
Nothing is stopping BTC from crashing to zero, so why is it not crashing to zero?
Damn, from an accelerationist standpoint the supreme court just seems to be trying to catalyze social upheaval. Pretty unreal
You're assuming the people having issues realize Calm is the source. Also a DAU is not always someone meditating.
The main difference between Julia and python is that most of the "core" python ecosystem has had a lot more dev time put into it. Google, Facebook, and Microsoft all have hundreds of full time developers on major python packages.
Hi, author here.
I have almost two years of history on my machine right now.
It's 77k history records which takes up 126MB.

The amount of saved context is currently excessive. When I started the project I didn't know exactly what I would need so I included a lot of things that were never used.

I do plan to reduce the history records to about 16 fields which should more than halve the space requirements.
I haven't done this yet because I need to safely convert the existing history records people already have to the new reduced version during update which is tricky.
True, IF software were actually built like bridges, as in actually engineered, effects calculated, simulated, and tested ahead of time, according to required standards, only by people who are trained. licensed, and insured to do such work, and with the expectation that it will be built once (not updated with patches on an ad-hoc basis). Oh yes, and all subject to strong liability.

Instead we have project who care only about shipping their latest favorite features yesterday to meet the over-promised new capabilities to the new client/market, and figure any problems will get caught with the update cycle, and the coders scrambling to ship the first thing that'll compile and pass the test screens, with QA being a minimally funded function as yet another cost center to be minimized... Oh, and all liability for failure is disclaimed or fobbed off on the consumer for their failure to maintain proper opsec. Oh, and in many cases, the blame is put squarely on anyone who finds such a fault instead of on the builder (e.g., when the governor recently tried to jail a journalist who found an egregious flaw in a state website).

So, yeah, it SHOULD never be the case if there were proper development and proper QA. But it hasn't happened in a half century of large commercial software. So, we do really need pentesters. They're just delayed QA after all.
Laymen here: How can they introduce numberless BTC? I thought that was the crux of what makes this different from fiat: you can only transact from one address to another, no institution in between.
My contribution: FreeBSD 13.1 boots significantly faster than FreeBSD 13.0; in EC2 it's over a 2x speedup.

I'll be talking about this at BSDCan in a few weeks. (Virtual conference, so it's not too late to sign up!)
GC used in GR implies conservation of energy due to the GL4 symmetry with respect to the time dimension in its differentiable geometry along with Noether's theorem. A breakage of GR on the cosmic scale might be with the super oscillatory phenomenon appearing around an isolated and fairly inactive dark star ("black hole") when a star passes in line behind it and the corresponding frequency bump in the spectrum as light is "mirrored" or trapped around the dark star is observed. Systems that do not adhere to the requirements of the FT could show perpetual motion while the causality proposition seems less likely to find violations, although a duality is "rough"ly around those two.
I think it's not just between files, but within a file.

The backup process opens some N byte file and starts copying it. Some portion of the file is backed up until byte K. At that point the application writes a transaction whereby some of the data is written above K, and some below K. The backup continues and backs up half the transaction above K, combining that with the old data below K before the transaction happened.

If the application structures its scattered write transactions such that they write in increasing offset order, then maybe it's okay.
fall back to earth? pretty sure more demand for rubles would only add pressure for it to go up, other things equal. TFA seems to hint as much: "It was unclear whether President Vladimir Putin's demand for gas payments in roubles had also supported the currency"
Big fan of beyond compare