skysight-inc/HackerNews huggingface dataset:
A fun detail of this work is that it uses a formal-methods-based verifier (designed outside of Microsoft) that accepts a wider range of programs than does the Linux verifier, which is itself kind of nightmare fuel.

https://vbpf.github.io/assets/prevail-paper.pdf

The verifier in this paper also has some biting limitations; for instance, you can't resize a packet in it, because they don't account for pointer invalidation. I wonder whether they've since implemented these verifier features, since they'd be problematic for compatibility otherwise.

Additionally, the PREVAIL paper explicitly doesn't verify program termination, which is kind of a dealbreaker for kernel BPF.
> Check out its flat "10-foot UI" from 1999

That doesn't look flat whatsoever. There are plenty of three-dimensional layout elements in that UI.
Isn't Splunk a much better example than Datadog?
> Did it have a big bump at front, and then decrease over time? Or have you seen other bumps later on?

It had a spike at launch when I announced it on my mailing list and then it tapered. It's held pretty steadily since then. If you're curious, I wrote a thing about the launch here: http://journal.stuffwithstuff.com/2014/11/20/how-my-book-lau...

But it's a technical book on programming, so the whole economic and time model are just totally different compared to fiction. My model was to serially publish it online for free. There's a link to the mailing list at the top of each chapter. When I finished a chapter, I'd put it online and tell people about it. That did a good job of building up the mailing list. Then when the print edition was done, I could use that to tell people about it.

I had absolutely no expectation of this, but somehow having it online for free has been really good for actually selling copies too. I don't know if it's because it raises the book's profile, or because people can try before they buy, or maybe that just feel grateful that they don't have to buy? Either way, it worked out way better than I expected.

> I'm fairly certain that it's like you say, and that fiction will go the way of poetry and become to niche to make a living from it. But I'm going to at least give it a go and see what happens!

I really hope you're successful. Even if the money is falling out of it, fiction is the best way I know to share insight about the human condition with others. We'd be poorer as a species without it, regardless of what capitalism thinks.
Wow, I'm really stoked to see this!

This could be a game-changer for the infosec community in particular - now, if you want to get into internals, such as tracing file system and registry calls, you've got to write drivers. And drivers are very tricky to write, and it's very easy to miss corner cases - which can result in the dreaded BSOD. Plus, drivers need to go through a verification and signing process by Microsoft.

Having access to that capability from user-mode, without having to write drivers... that would be amazing.
We updated that one — thanks!
This. RTFM
because this post and the linked bloomberg post was frustratingly light on detail:

- the blizzard spreadsheet: https://docs.google.com/spreadsheets/d/119RI3oS9XNOjq2X8VLpU...

- visualizations: https://imgur.com/a/OBG7Fch
The bigger point is that there are few countries in the world where I can say "on this particular issue you can go fuck yourselves" to the top law enforcement agency and actually have a % chance of not being shot or put behind bars for it. America ain't perfect, but I've been to about 40 countries and if I had to choose, I'd bet on America 10/10 times.
How did you get into this... I am assuming you didn't come up with the idea/method since there seems to be competition out there already.

How long have you been at it and, when you decided to take the plunge, how long did it take you to get everything set up and going before your first publish (as in figuring out the ropes)?
lets see:

- intra eu Banking which is decades ahead of the US[1]
- having universal driving licenses and ID cards valid throughout a continent and beyond[2]
3: High standards of food safety [3]

i could name a couple more, but i get you get the point.

1: https://en.wikipedia.org/wiki/Single_Euro_Payments_Area
2: https://en.wikipedia.org/wiki/European_driving_licence
3: https://eur-lex.europa.eu/summary/chapter/30.html
Yeah, I have heard of it, and thanks for mentioning it to those who may not have. Like others have said, these have very few of the same guarantees people might be looking for in institutional accounts, especially that it's not FDIC insured or other legal obligations. They are also subject to risks like bugs in smart contracts or even larger ones like in the settlement/blockchain layer. And how disputes may be settled in these systems legally has not been tested and is still under question. They are also not a good fit for standard checking account features that e.g. Wealthfront Cash has. Sadly, the amount of users actually using cryptocurrency for real-world transactions is still really small. [1]

I think all this stuff around yield farming, liquidity pooling, etc. is super cool, but I think the standard advice applies: "don't put in more than you are willing to lose". Given all the unknown factors and risks I would not use it for my emergency fund or savings, and right now I would think about it more like a rather risky, potentially high-return investment. Even if these products are marketed as "protected accounts", they all say that loss of principal is possible.

[1]: See https://medium.com/swlh/how-many-people-actually-use-bitcoin.... The 2018 Chainalysis report estimated 13.5 million Bitcoin users with 2.3 million using it to make regular payments. Who knows how many of these payments correspond to "real-world" goods and services, but I'd guess it's not much. Compare this to Paypal with 300 million active users.
And we likely have learned from this! The plant likely had something like Menthol (from various mint) or Eugenol (clove, nutmeg, basil, etc) [0]. Both of these are examples of items where we found and isolated the compounds responsible for the desirable effects. Both of these are used as mild local anesthetics.

Or he gave you some coca leaves to chew on since cocaine was one of the first really strong local anesthetics. A lot modern anesthetics are synthesized but based on the structure of cocaine, but without that pesky drug addiction and nasty side effects. This includes lidocaine, which what they do typically use at the dentist.

[0] https://en.wikipedia.org/wiki/Local_anesthetic#Naturally_der...
I've always found its type checking to be perfectly fine, but hearing its not the best I might look into the others.
BlockFi's interest is a very attractive offer, but the risks you're exposed to aren't very transparent.

What could happen that would impact the exchange rate of this 'Stable coin'? What risks exactly is one taking on for the 8.6% interest?
Gracias, parce, por su respuesta! :) (Incidalmente, el lugar donde quería buscarme un apartamento es Medellín.)

> All complex have "administration" that everyone pay, but this is mostly in "closed complex".

Would this administration also take care of fixing things and taking on the role of "arrendador" if I, as the owner, rent out the apartment to someone else? (Provided I pay them, of course.) Or would I have to hire someone else for that?
I guess "Meat can make a rare appearance" and "very regular" are subjective.

I grew up in a metro area, and can say that my family, relatives, and friends, have had some kind of meat (mainly chicken, beef and pork) at least 3-4 times a week for main course. And curated meat in sandwich snacks again another 3-4 times. I don't think there were many times I have gone more than 1 day without any kind of meat.

And of course as you mentioned every holiday/celebration must have some kind of meat, mostly goat.

And that's before you grow up and start eating out.

That's what I meant "very regular". Maybe by western standards it still isn't too much.
Average cost of healthcare in the US is ~$15,000 a year for a family of 4. When you're working full time, your employer generally covers most of your healthcare with a small amount contributed by you, and this employer contribution is counted separately from your salary. It depends on the employer, but the cost to you is generally in the range of $1,000-$6,000 a year.

So no guarantee of health care coverage after losing your job etc. but it's basically only ~$6,000 extra a year out of your salary at worst. So a $150,000 job in the U.S. is roughly equivalent to a $144,000 job in Europe (before you get into housing and food prices etc.)
Would you be down to give an approximate range for salary?
Who says the ghostwriter is not an expert on the topic? The above is quite similar to a startup incubator, there is a demand in the marketplace that's unmet, one hires people to meet that demand and develop a product after which customers buy it.
That's generally true, but if it's a historical source that's still available elsewhere, then the particular link doesn't have so much historical value.

Occasionally I'll post archive.org links or similar alternatives as pinned top comments, so readers looking at the old thread can have access to the article. In the past we've changed the top link to archive.org also, but I'd rather not encourage that.
I don't think comparing discoverability of features in Desktop Linux to Windows Server is fair at all.

And really, if you want to talk about discoverability between Linux in a server role and a Windows Server... Windows Server wins by an absolute landslide. But I don't think discoverability is all that important when you're talking about server administration.
> Yes, in the sense that all engineering design errors are human error. This is why we have critiques.

I'll agree to disagree... this is the reason we have automated tests, not why we have critiques.

If you plot the quantity of human intervention in software development over time, I believe we will clearly see machines taking over in due time.
> We're talking about expected values though

No, what people are talking about is the actual game show.

They are doing a statistical analysis of how the actual game show works, in real life.

So nobody is talking about a different, hypothetical situation, where the universe is reset, or the game show host brings out a new contestant every time.

Instead people are talking about how the actual show works. And your scenarios that you bring up, are not relevant, and therefore wrong.

> so it's a useful thought experiment.

No, it is a different thought experience that applies to a different situation.
As if UNIX was any better with its archaic configuration files and cryptic commands to avoid typing one extra character.

Most of the stuff I learned about UNIX required actually buying books, not much different from Windows.

Drop someone on a proper UNIX just with man to see how far they go joining a NFS server or logging in via yellow pages.
Because they are professionals. Software engineers, lawyers, doctors... skilled people who have creative control often put pride into their work as a means of expressing their talent and enthusiasm, even if it doesn’t make a direct tangible difference.
Right, so if another species does what we do, then we'd be lucky if we were inside the 200 ly radius of them at a time where they sent enough signals for us to notice?
Some point of views from an average italian person:

Nobody really cares about the Savoia family.

It mostly appeals to old women that have an old-fashioned romanticized view of monarchy. By the way, the Savoia family wouldn't even be legitimate heir to the (non-existant) "throne". The would-be legitimate heir faimily tree doesn't care that much because they have their own activities (they have their own activities). Yet they still have a fight from time to time.

Not sure if youtube provides accurate auto-generated translation, but Giopizzi (an italian youtuber) talked about this whole thing here: https://www.youtube.com/watch?v=3_5QvMBSIKM

Emanuele Filiberto recently started exploiting his name to sell dresses and stuff. It looks cheap, honestly, it's the kind of stuff that would make you look dumb.
On the other hand B&N had a lot more books. The small bookshop was typically filled with the same trash that I'd never read. (that is the definition of trash book: one the person making that claim would never read - those retailers stocked them because that is what most people read)
I looked at the salaries people are posting, and what I am seeing is people (at least the ones comfortable with posting this kind of info on the Internet) rapidly climbing from $30-50k/yr USD to $75-150k/yr USD.

These are excellent wages. They may be lower than outside the video game industry, but by any other standard they are phenomenally good wages, in the top 1% globally and at least the top 10-20% in developed countries. In terms of income, these people are unambiguously part of the upper class.
Procrastination as an Optimization Constraint
It's also possible to work on games or game like software at FAANG, not crunch (although FAANG companies have plenty of other toxic qualities that can make them worse than a game job in subtle ways) and get paid a FAANG salary.
All I remember about OpenEmbedded/Yocto was trying to wrap my then teenage brain around it a decade or so ago when it was the build system / distribution of choice for Beagleboards (via Angstrom).

Ended up going with buildroot instead at the time...
I too thought of this video and it is what introduced me to this particular form of "art". It's a good critique.
I thought they agreed to not compete in the Unix world when they sold Xenix? Is it because SCO is dead that they can jump right into Linux?
Now I want to know if I could hijack someone's machine by sending them a malicious tshirt.
Well how young is young? I certainly lied on that "are you 18" question plenty of times.
The whole "do it for the love of the craft not money" is bullshit propaganda that only serves to keep labor costs low. The entities on top are large multi-billion dollar corporations who are running a business, just like any other industry. And this has been more and more apparent in recent years seeing just how anti-consumer the video games industry is getting.

If a Google recruiter told me "take a low salary and work 70+ hours a week because you love writing software and all your coworkers love writing software and it's a great environment" I'd (justifiably) laugh at their face – enough though I really do love everything about software. But somehow this is completely fine in gaming.
The Discovery of the Bering Strait
NTSB: Preliminary report on fatal Tesla crash in Spring, Texas [pdf]
Think Outside the Banana. Eat the Peel.
Hmm it might take some getting used to but I've actually found it quite straight-forward to comprehend and reason about.

The nice thing is that, since TypeVars are ordinary variables, you can re-use them / import them in multiple modules and avoid a lot of boilerplate code.
HAMMER's ability to snapshot an arbitrary directory is still something I deeply deeply deeply respect & wish btrfs or zfs had.

I'm not sure the status but HAMMERFS also supposedly was going to have solid transparent encryption, which is something I wish btrfs did. I'd really like to be able to take a fs snapshot, send it to a friend, have them load the snapshot volume, but be unable to access it. But as soon as I did show up at their place with my keys, we could instantly unlock it & use it. I understand ZFS does a better job of this all, but balancing ZFS pools & adding drives has always sounded impossibly hard compared to btrfs's "it just works" adding-drives to RAID scenarios.
totally. I basically do blog + stripe, selling 1.5k copies with an ASP of $90, and I keep 97% of it. it was a pretty productive use of 2 months (altho i do spend about 2-3 hours a week continuing to market it and to serve the book community)

would have loved to use leanpub but it had issues, as already reported to leanpub support :)
ddrescue is pretty good; it strides over the disk reading in big chunks, and writes out a map file of which chunks failed. Then it goes sector-by-sector over the failed chunks to fill-in the holes.
reminds me of the now-infamous Pepsi "Breathtaking" design document https://www.goldennumber.net/wp-content/uploads/pepsi-arnell...
> You definitely don't want a 30 years old C++ book except for some sort of historical research purpose.

I think even here it depends on what you're trying to get out of it. I wouldn't read K&R to get the latest information about how to write modern C, but I read that book once every 5 years or so because there are timeless aspects at its core. This is even more true of a book like SICP.
I think if you read the fine print, it is quite possible to get hit by high out of pocket costs in surprising circumstances, but also if you have an extended illness. You may very well have had great coverage, but it's all to easy to end up in a uncovered circumstance. Most medical bankruptcies are people who have health insurance.

Also as the average age of many high tech companies increases, expect more cost limiting changes from offered benefits.
Until we have metamaterials to make super flat lenses, smartphones will suck compared to full frame or MF cameras. Especially when it comes to low light performance.

Modern mirrorless cameras paired with fast 1.2 lenses basically have night vision. No smartphone comes close.
See also CNBC article about this:

NTSB releases preliminary report on fatal Tesla crash in Spring, Texas

https://www.cnbc.com/2021/05/10/ntsb-releases-preliminary-re...
You crossed badly into flamewar and personal attack in this thread. We've had to warn you about this kind of thing before. We ban accounts that do it repeatedly, so please stop and don't do it again.

You can make your substantive points without any of that, and it's also in your interests to do so!

https://news.ycombinator.com/newsguidelines.html
Mate was fully ported to GTK3
It's a little different. I think there has long been a thing were many people dreamed of spending a fraction of their retirement writing their memoirs, or something along those lines. It was a dream in roughly the same category as owning a sailboat or moving to the islands. Kind of a "one of these days" leisure aspiration.

Today—because we are all so intensely culturally obsessed with financial success—"being a writer" means writing stuff right now and doing it well enough to make a living off of. Where before, many dreamed of writing as a thing to do after they've earned most of their wealth, now it is a means to it.
Take the local one here, faktisk.no:

They'll do real fact checks, but are very selective on what to fact check.

So a journalist from the state broadcasting service states on TV that "these soldiers will shoot at anything that moves".

She says that about what is known by everyone who has a clue to be some of the more restricive and professional soldiers that exist.

Will it be fact checked if I submit it?

No. I tried.

They'd rather publish a bunch of factual but funny and trivial fact checks than pointing out that a mainstream reporter is - at least in my opinion - lying through her teeth to make people hate a certain small nation.
I think these points aren't really fair, since Alpine predates a lot of the work that went into making the alternatives possible. Alpine predates Distroless by over a decade, for example.

As for DNS, it's extremely unfair to blame musl for properly implementing the POSIX standards for name resolution. It's not Alpine's fault that so many people wrote software which explicitly depended on specific glibc quirks. If anything, it's a good lesson on the dangers of monocultures, and how even FOSS software is at risk.
Just scrolling through the first page of links there it looks like a whole lot of clickbait garbage or overtly scammy looking shit.
That is pretty reasonable thing. In science we do peer review. So why not in fact checking? Not that peer review process isn't corrupted in many ways, but still it is there.

Not that I think similar process was possible in fact checking...
Here is a recent comment from Dropbox engineers about the state of tracing tooling on Linux compared to Windows: https://dropbox.tech/infrastructure/boosting-dropbox-upload-...

Is their assessment correct? If so, how comes that we got DTrace in 2019 and now eBPF ported to Windows? Are they trying to consolidate all tooling into one platform?
Google is certainly not investing in research in this space for "wellness and accessibility", they're doing it for the sake of gaze tracking for ads.

Google is an advertising company, first and foremost.
Theoretically then, an author could release a new chapter every week, charge subscribers $8 or $9 a month

I'm not paying > $40 to read a single book over the course of multiple months, even for authors that I absolutely love. With my reading habits, I couldn't even afford to pay that much across the volume of books I read if most of my favorite authors switched to such a model.
> But if you're already growing enough to survive on, the marginal effort to grow a whole lot more than that is not so big.

You're forgetting that people like to have kids, and those kids like to eat, too.

> And you probably already grow more than you need anyway, so that you don't starve in bad years.

IIRC, this problem was usually solved by having good relationships with your neighbors so they'd help you when you had a bad year. There's whole host of reasons why individualist solutions probably didn't work: e.g. storing surplus food for long periods using pre-modern technology is not as easy as it may seem.

> Seems to be that even subsistence agriculture will inevitably provoke some sort of economy, as long as other people are around.

But not necessarily a market economy.
Two things about these:

1- Having domain names be impossible to seize sounds like an anti-feature for most businesses. If somebody pwns my company or I have a disgruntled sysadmin I don’t want them to be able to indelibly transfer my domain name to themselves with no recourse. Alternatively, if I lose the cryptographic keys to my domain name, am I just completely hosed?

2- No renewal fees ever sounds like an anti-feature to everybody who isn’t a squatter.
A lot of the reason for these design trends is that no one has the courage to think differently, so you get huge numbers of companies all looking virtually identical.

It's a bit like 'nobody gets fired for buying IBM/McKinsey' etc...no one challenges product managers and marketing when yet another adobe illustrator generated Memphis style brand identity & UI is unveiled, complete with multi cultural inclusive visual banality. At some point this will suddenly be deader than an animated gif of a flame and the next trend will quickly become ubiquitous.
Please don't reply to a bad comment by breaking the site guidelines yourself. Your comment would be just fine without the swipes at the beginning and end.

https://news.ycombinator.com/newsguidelines.html
Simply increase the cost of the ransom. I don't think it's necessary to make it even a criminal thing, it could just be a tax: Ransom Sales Tax. Of course if you try to pay under the table then it'd become a criminal tax avoidance issue.
Bash is simply outdated. It grown organically and thats what you got. Now you have zillion scripts and situation is even worst then with cobol.

PowerShell was made by Unix people after 2+ decades of bash experience. It solved hundreds of things.

Yet people complain it didn't solve few or it takes a bit more to load (no, verbosity = RTFM). You can't ever please I guess.
Hopefully the Tor operators have improved their process for handling this since a few years ago when the e-mail address for contacting them about malicious exit nodes went to someone whose email provider bounced any emails containing the names of some of the main targets for these attacks and who didn't seem to be able to understand the attack once you did somehow get through to them...
Source, am actually familiar with the true rate of return for properties over a long enough time span to judge.

And what is it?