skysight-inc/HackerNews huggingface dataset:
That's a category error. The formal spec isn't a proof, it's what is to be proven. Without a spec the notion of programming errors has no formal meaning. In that case, the complaints about the bug are always with respect to pleasantness. Given a formal specification, it's possible to write a program that will reliably satisfy that specification. And the tooling is better than ever. The Dafny language out of Microsoft Research is one interesting example. One can also do it by hand, possibly using an SMT solver to check one's work.
I was flabbergasted recently when I went to cancel an existing Amex card and was able to do it 100% online.

I suspect it was because I still have another card with Amex, and I'd bet that canceling it won't be as easy, but regardless kudos to Amex.
I tried CBD oil and that didn't really help.
A summary judgement can also be strategically useful as it tends to force the other party to spell out their legal arguments in detail earlier in the case. Even if the SJ is denied it can be beneficial in targeting discovery requests.
> However, it turns out that it is much easier politically to just use advertising to convince Americans to buy and drive big, gas-guzzling SUV/Pickups and let the CO2 do the warming.

Are you genuinely suggesting this or are you wasting people time?

Is your thesis American knew about CO2 and gauged how bad it would be and decided the positive effects from warming meant it was better to encourage greater CO2 output?
So what is needed here is some sort of data type that is replicated, and guaranteed to converge. A convergent, replicated data type… a CRDT! In this case it rather seems like you wanted a regular-old time stamp, not a lamport timestamp, which gives you a “last-write-wins register” CRDT.

But perhaps you wanted something that actually handles the conflicts, like for a list of subscribers to an event. In that case you would want to use a vector clock instead of a lamport timestamp, and then when neither clock dominates the other (aka when they are tied), you take both sets and merge them. This is an incomplete outline of the “add-wins set” CRDT.

I wish CRDTs were more mainstream :)
Don’t worry about interest worry about not making any payments, usually if you can pay off a little debt every cycle you’ll be fine
I wonder if this type of tech could be used for animating video game characters? Instead of trying to use motion capture or something like that, just record an actor making facial expressions that would drive the 3d model. It seems like they could achieve extremely realistic results.
Yeah bro, if you gotta problem working Christmas day then get a job somewhere else
Yeah it's packaged separately. I'm using git from Homebrew on macOS.
I don’t remember seeing someone do it well until Reddit, but thats my experience + memories that stuck. I’m sure it can be done bad, but I’ve been on Reddit for 13 years and I know I wasn’t too early. This was figured out by then. Yet it’s 2022 and the two car forums I look at work just like the forums I remember from the turn of the century.

I will say threaded doesn’t work well for a discussion where 2 or 3 people hold a conversation (like you would on chat). But that doesn’t seem to be the common case, at least for the forums I’ve been to (I could see other topics being different).
And is that pool getting an extra week to compensate for this week being removed?

And how true is the "whenever you like"?
This comment has drawn the ire of hackernews, simply for posing it, with a slight tilt.

The general consensus seems to be that good QA is highly valuable. As for if their pay were unfair, would they not leave for a better pay/safer working conditions?

My personal take is that people in the software industry don’t understand what terrible working conditions are. Running out of odwalla or having non-organic fruit in the micro kitchen is not terrible.
Their original firmware is open source? Or is custom firmware a hassle?
Hmmm, these seem less deranged than headings from the previous Markov-chain bots—and kinda less interesting because of that.

I guess Markov chains for the headings, Dall-E for images, maybe GPTx for comments. And/or the GPT models should be made wackier somehow—less coherent, perhaps.
That question is way above my pay grade. I’m not here to philosophize about the system I exist in.

I’m a litigator. The system is defined. The law is defined. I just operate within it.

Those types of questions/concerns are well addressed to your Congressperson. I’m merely letting folks know what the system is.
Those signs may seem scary, but they're just stating a basic fact that everyone already knows: If you commit copyright infringement, you have committed copyright infringement.
TSMC: Life Is a Beach, and Then You Make Dies
A Little Fun Goes a Long Way
Thanks for the tip. I was mostly curious about it as I had never used or heard of it. I have looked into gitk in the past, and also other GUIs but I find git easier to use via the CLI.
What's the alternative to caring about what my representative does then?
I'm working on an open source forum platform intended to compete with Reddit.
https://member.cash

It uses the concept of competitive moderation, allowing users to choose the moderators they want for any give sub. It's like anyone can maintain a killfile for a sub, then you can choose whoever is doing the best job and use their killfile.

It's got threaded discussions like Reddit and uses the blockchain as a database layer (for text, not images) to ensure persistence and freedom of speech.

It's a point now, I'd like try it out with some users. I'm looking for an existing forum that needs a software upgrade. Maybe you have a forum that's dying, or you're bored with managing but you don't want to abandon it or kill it off? Let's talk!
Well that would be fine and all but there are a zillion tech companies that allow remote work that pay reasonably well. It doesn’t mean they’re a world leader in remote work.

I worked at a small company that paid me a lot, gave me free stuff, perks etc. It doesn’t mean they’re a world leader in remote work. It just means they offer those things.

The point is — they are not a world leader in remote work. They are a tech company with perks and this is good marketing for them to convince people like you otherwise.
> Engineering pays well because you are supposed to work magic.

I thought it was because you have to pay people a lot to spend time around engineers who say things like this.
I agree, I wonder if those doing the frequent and fraudulent charge backs are paying 1000s in credit card interest yearly, and are actually good customers for the banks.
In Python 3.11, you can use the "-P" flag or the "PYTHONSAFEPATH" environment variable to avoid adding cwd to sys.path

https://docs.python.org/3.11/whatsnew/3.11.html#summary-rele...
I wish this was true. It was once true if everyone I interacted with, but that was self-selection bias. I opened up my bubble and found plenty of people that have absolutely no ambition whatsoever. I don’t know if they never had it, or if it just got drilled out of them due to circumstances, but there it is.
I’d encourage interested readers to look at some of Leslie’s other papers. His work from decades past was very forward thinking and useful in today’s world.

His work has directly shaped how many distributed systems reach consensus. Including recent projects like Solana. Also check out VDF and proof of history.
well, when the whole company shuts down its actually a lot nicer. Do it in the summer or winter whatever, but it's nice to not miss anything and really let work stop
I've been reading PDFs on a tablet since I got a Barnes and Noble Nook a long time ago. It works pretty well on an Amazon Fire Tablet, never mind an iPad. It's enough I can take a whole library with me on the bus. It's no wonder that the library at my Uni is a shadow of what it used to be since there is limited interest in physical books.
There's OpenBB https://openbb.co
Interview with James Maslek on TalkPython https://www.youtube.com/watch?v=BbqvRqMbVFU
Biopod: A Polyvalent Farm
> christian focused

It really isn't.
Perhaps we run in very different circles, but I would be pretty surprised to see them!
Copyright is a mechanism used to protect privacy in these situations. When you don't have copyright, you are stuck needing a court to protect your privacy. Copyright is also what is required to prove in order to get stuff taken down by IA when the content is not obviously illegal or personally identifiable information (or at least it was when I last needed to deal with it).
Instead of "update without compiling", maybe it would be better to attach an archive of the source to the binary, so you can update by compiling? Or maybe attach some suitable intermediate format?
Just wanted to say I love this. Happy for your sis and also thankful for her and all the other medical staff for going through what they went through
Microsoft Teams down for thousands of users
If you, like me, were confused: Salesforce owns Slack.
People striving to do what they want is generally a good thing, I think. A lot of innovation and benefit to society results from that.
2S25 Sprut-SD light amphibious anti-tank gun
We are the fortunate ones

Who've never faced opression's gun

We are the fortunate ones

Imitations of rebellion

We acted it out

We wear the colors

Confined by the things we own

We're not without

We're like each other

Pretending we're here alone

https://youtu.be/OCy5461BtTg
It's amazing how this article talks about seemingly every old popular forum software from back in the day, reassures us that new forums can still be set up, and completely avoids mentioning the name of the most likely candidate for setting up a new forum: Discourse. He even links to a Discourse instance!

> Rosie Sherry recently moved from an open Discord to focus more on a forum platform for her community.

(No idea who that person is, btw.)
Just think of the human organization that is orders of magnitude larger - the government.
after JUCE got acquired by ROLI, everything went downhill from there.
The um and uh style of this was weird. There are some other issues too, I think the article needs some proofreading and editing.
Since when does letting people borrow books from a library violate copyright law?

I could go up to my local library with a dump truck and load it up with books if I wanted to, I'm not making copies, so I'm not violating copyright, period. Copyright protects the publisher's ability to proliferate the stock of books, not to police the use of existing stock.
Also known as, "if we could give you a pay cut, we would, but we cant. I hope you leave the company so we can save costs".
Looks really neat.

The documentation is really short, which is a good thing to me as it seems simple. Algolia feels way too overkill for some static sites so a simpler one is appreciated.

I couldn't find how it compares to Algolia anywhere. One thing I could clearly notice in the xkcd demo (and even the documentation) was speed. Algolia has instant searches on such a large site like HN[1].

The UI is at par, or even better than Algolia, with so many customisation options.

Of course, Algolia is a mature project and this is in its infancy. I hope this takes off and proves to be a worthy competition.

1: https://hn.algolia.com
what is the problem? there are lots of frameworks that shield you from the VST SDK.
Unconscionable to me that folks would work to actively suppress what seems like a very real emergence of a well known longstanding set of issues.

This isnt fear porn. This is the reality of planet earth & it's inhabitants facing up to what we've done. Put your own neck in the samd if you must but for heavens sake dont actively suppress our awareness. Let voting take it's own way with things.
it will never be polished like a VST plugin is, written in C++
"Drones" in this context probably means more like "light unmanned fixed-wing aircraft" than quadcopters. Same type of machines that are used to drop bombs.
I think the best years are over for Netflix.
The hard awakening is here to make content that the users want and they are a movie/tv content company, not a „tech company“.

Their Engineering Blog is great, some really great projects, but sometimes and even more and more there are projects that left me asking: „Why so complicated“

At scale everything is a problem, but some „solutions“ seem „well we have staff, money and time for nice funny stuff“ vibe.

Like inventing batch jobs, but more complicated
you know what the key to recovery is? buying used DVDs
This one amuses me. You skip the long-windedness of the front page to look at the pictures. Your eyes are caught by two example user interfaces: contact forms. The one on the left looks great. The one on the right looks awful. Yet it's the one on the left that has the big red X next to it. So you backtrack to read why they're wrong. The reason is because borders "feel" busy and cluttered. Nothing empirical. No data to back it up. Just "feelings".

This led me to believe the whole website/book is going to be like this, so I haven't read any further. I'm sure it's great.
See also: the 1920s proposal to dam the Mediterranean[1] and various plans to expand lower Manhattan[2], some of which were executed.

[1]: https://en.wikipedia.org/wiki/Atlantropa

[2]: https://en.wikipedia.org/wiki/Lower_Manhattan_expansion
My God Amazon's PTO policy is terrible. I made the assumption that it would be quite good, but even an O&G company I used to work for had better than that.
If you really want to learn, visit github.com. There are over 200 million freely available, open source code repositories for you to study and learn from.
"I'm not standing still; I am lying in wait."
Ask HN: I don't read fiction, how much am I missing out on?
Aside from the readings way back in school, I haven't touched any fiction. I haven't felt the need for it (I went into the sciences), and in general I just no longer have the patience to follow entire storylines (eg I also don't watch any shows).

However, as I spend more time in social science and humanities spaces, I find myself running into literary references (especially the classics) more often that I would have expected, to the point where I'm now wondering how much am I missing out on if I don't understand these references? How much am I missing out on if I've never read these classics, or just fiction in general?

Ironically, I feel that now as an adult I'd appreciate these a lot more than back then when it was required.

If I were to try reading fiction, especially the classics, where/how should I start? Maybe some shorter titles that may help pique my interest in fiction? Any particular works that are must-reads, more so than the others?
https://truecostblog.com/2010/05/27/fuel-efficiency-modes-of....
I agree with the feeling of being annoyed by pay to win. But I don’t think that Microsoft should be dictating what players can and cannot do on private servers.
There is no grounds for a civil lawsuit if no damage was actually done. Furthermore, the parties bringing suit have to be the ones who were damaged.
You're delusional if you think we would still have phones at all in the setup you are hinting at but not really explaining .

The idea that you can just not work is not realistic.

The "pointy stick" you are talking about is nature, as in we will die without working to survive. You aren't entitled to the labour of others to ensure your survival.

You can either work at survival, eg: growing food to eat, building shelter, making clothes, etc, or you can have others do that while you provide something else.
Doesn’t the need for locks make it incredibly slow?
Microsoft tweaks Store policy for open source once again
> Trust can be built between engineering and infosec teams

Yes it can, and I have worked with 'good' infosec people who were all about improving practices together. That attitude goes a long way - developers (well, the good ones) want to ship secure stuff and want to fold in best practices.

But the profession is unfortunately rife with people who don't know as much as they think they do, and who wade in heavy-handed, laying down the law to developers who might have been round the block once or twice themselves...

I wonder if it wouldn't be better to have a hybrid role that is part of engineering but has specific responsibility in this area, rather than as is often the case, an external party (or a separate team) which is perceived as adversarial.
> Generally jobs that suck are the easiest types of jobs to automate because novelty is interesting.

This isn't true even with jobs that only involve computer files.

I present to you the bane of my existence: The Somewhat Structured File. It has just enough structure you can almost process it using an easy-to-understand grammar, but there are enough inconsistencies in the file to preclude any clean solution. Every time you think you have a working parser, your program crashes because of an impossibility in the data, which means you've found another exception to the general rule you'd generated inductively by paging through the file. The file contains many white swans but plenty of black, brown, and purple swans as well, no two precisely alike. The code ends up as ugly as the data, epicycle on epicycle, because there's no pretty way to parse an ugly file.

People say Excel isn't a database, but not even Excel could have created some of the files I've seen. School bus routing has some horrors.

Moving on from my woes, I give you the entire field of nursing. True, 90% of the problems of the nursing field are due to administration and the healthcare systems of the world in general, but the other 90% are caused by patients, patients' families, and the very nature of disease and medicine. Automating nursing is far-horizon Strong General AI stuff, if that.
I don't know how anyone would think that timeline is in any way possible. Not gonna happen.
I don’t care as long as I can finally use firefox or chrome on my iphone and FINALLY play vp9 webms.

Also, I use a few mobile apps with web push notifications, so there is that too! Webkit still doesn’t support neither.

Im hyped.
> Devs shouldn't be isolated or left to just code. Bypassing TPMs, PMs, and talking directly to the customer always reveals more about the problem, in less time, and with higher accuracy

This is a super common misunderstanding for recent CS grads. School projects being well defined and fully spec-ed can make newgrads expect that's what their work ought to be. Good PMs and TPMs are super valuable, but their value doesn't come from spec-ing work or anything like that. A good engineer always talks directly to the user, and a good PM works to facilitate that
Honestly, not much.

Over time, I've found more and more fiction to be formulaic and not enticing. Mostly to make a quick buck.

Not to mention, internet induced ADD makes works of the old masters inaccessible.

I remember one time, the internet told me to read this book - The KingKiller chronicles. An amazing rating almost everywhere. The reality? It's laughably bad. Like middle school bad. And this is a top fantasy book?

Self improvement is possible without fiction. Nothing to see here.
Or even electric trucks (could be self driving eventually) on exisiting roads. Use transit lanes to prioritize sharing and more efficient use of said roads.

It has to be more energy efficient.

I get the drone idea for emergency medical supplies like blood, or even as an ambulance.
Here's a challenge. Determine the carbon footprint of a pencil. Milton Friedman writes:

"Look at this lead pencil. There’s not a single person in the world who could make this pencil. Remarkable statement? Not at all. The wood from which it is made, for all I know, comes from a tree that was cut down in the state of Washington. To cut down that tree, it took a saw. To make the saw, it took steel. To make steel, it took iron ore. This black center—we call it lead but it’s really graphite, compressed graphite—I’m not sure where it comes from, but I think it comes from some mines in South America. This red top up here, this eraser, a bit of rubber, probably comes from Malaya, where the rubber tree isn’t even native! It was imported from South America by some businessmen with the help of the British government. This brass ferrule? [Self-effacing laughter.] I haven’t the slightest idea where it came from. Or the yellow paint! Or the paint that made the black lines. Or the glue that holds it together. Literally thousands of people co-operated to make this pencil. People who don’t speak the same language, who practice different religions, who might hate one another if they ever met! When you go down to the store and buy this pencil, you are in effect trading a few minutes of your time for a few seconds of the time of all those thousands of people. What brought them together and induced them to cooperate to make this pencil? There was no commissar sending … out orders from some central office. It was the magic of the price system: the impersonal operation of prices that brought them together and got them to cooperate, to make this pencil, so you could have it for a trifling sum."

https://thenewinquiry.com/milton-friedmans-pencil/

It's a hopeless task. You're never going to get an accurate accounting of carbon footprints by looking at the end result. Not a chance.
Maybe not at the presidential level, but you can definitely do so at the local and legislative level if you get involved in your party's local nominating committees. The alternative is running every presidential election like a California recall election, which is a famously dysfunctional process.
Oh I have no idea when qemu wouldn't be doing those, but I wasn't very clear about precision.

The x87 unit has control bits that you control (shocking!) behaviour of the unit, one of the things you can control is the precision it will operate at operate. People think that if the x87 unit is in the lower precision modes it's possible to simply use the common 32 or 64 bit FPUs, but the x87's 32/64 bit modes only impact the mantissa, not the the exponent so they reduced precision modes are still not interchangeable with fp32 or fp64.
A little story about the `yes` Unix command
Ask HN: How to attract beta users for my productivity SaaS?
I started as a side project, and after 6 months of development, I feel my baby is ready for some beta users. Coming from an engineering background, I had no experience in marketing. I am not looking for a large number of users, only maybe 100 for testing and feedback purposes.

I started with the idea of managing all contents and tools better (into a single contextual workspace).
Here is the website for more details: https://www.superusapp.com/
Tesla Q2 2022 Financial Results and Q&A Webcast
It depends on quickjs for the JavaScript implementation, which should be fairly simpler to compile on a hand rolled Linux. I'm not so sure about PCRE though
In my experience, it is the vast minority of cases. Most of the content of the IA is not in the public interest, now or in the future. It is crap. It is noise. It is the contents of the Internet at a point in time. Actual information is the wheat in the chaff, and why you need search engines to find it. We know this, because of the Usenet archives that are intermittently available. Almost completely useless apart from people having a giggle at how the Internet used to be, a quick browse and search for naughty words. And a few gems in the mountain of noise, in such dire need of curation people hardly know it exists and barely justifiable enough for libraries to keep it alive.
Are the minor details of some random companies leave perks really news worthy?
This: Work, like, love.

Build something that works.

Then make it likable.

After that, go for lovable.
You can't just file for bankruptcy if you are making money. I guess the mass numbers of people filing where not making any money. That is the real issue. Why weren't they making enough to at least get forced into a repayment plan?