skysight-inc/HackerNews huggingface dataset:
> You even have projects like otvdvm, running wine on windows to support older programs (or dosbox, which I think everyone is a lot more familiar with).

Note that otvdvm isn't the same as DOSBox which emulates everything. Otvdm passes the calls to the native 32bit APIs and it relies on the fact that Windows does preserve backwards compatibility. It wouldn't work without it.

DOSBox on the other hand only needs a framebuffer, an audio device and an input device to work and does everything else itself.
> IMO this kind of just moves the goalpost from "prove the program never panics" to "prove the program never hits the `None` or `Err` path" which is functionally identical in most use cases.

If my goal is to show that a piece of code never panics, then it suffices to show that the None or Err path doesn't panic; I don't need to show that it's never hit.
No, the bug was in the withdrawal code. Concurrency bug, numerous simultaneous withdrawals have a high change of succeeding and you are able to withdraw more than your actual balance. Very common in amateur coded websites.
So they were complaining about being held to an agreement to priority (essentially a price cap) for 25% of power they made in exchange for being handed a monopoly on power generation with infrastructure paid for by the public?

And the feed in tarriff acumulated a quarter of a nuclear reactor's worth of extra liability which they are now being paid?

You seem to be really reaching to claim this is somehow unfair. Especially considering the other side of the deal where taxpayers or utility customers who are victims of new nuclear plants are just told 'fuck you, you're paying the price we made up even if we don't generate any power' or 'we made one in another country and failed really bad so you get to pay half' or 'whoops, we only put aside 1/4th of the money needed to decomission...have fun paying another billionperGWbyeeee' or 'we racked up a quarter trillion dollar cleanup bill but we made you sign a treaty saying we only have to pay 0.5%, have fun'.
The UK newsagent WH Smith’s established the look of their stores in 1852. If you have a chain shops with the same owner, it’s hard to imagine why each branch would use a different design.
Maybe there are incorrect situations, though.
The service is still getting done, it just costs 10x or 100x what it "needs" to, so that everyone along the way can make more profit.

Not great for the person paying, but great for the people getting the money!
Yeah, I'm surprised every healthcare related business doesn't either ban PowerPoint or block this "feature" somehow. HIPAA is a hell of a drug.
AMD drivers on Linux have been getting better. Though don’t I run a bleeding edge card …
My wife and I LOVED season 1 and season 2. Our opinion is basically the "park" premise was run through by the end of season 2. Season 3 went from an interesting existential commentary on society and our dystopian future with a gorgeous backdrop and compelling characters to... a lot of exposition and kind of predictable schlocky cyberpunk, "keanu reeves starts the revolution with the help of an AI" storyline... without much in the way of real interesting ideas or commentary that brought something new, and without the beautiful and interesting backdrop of, "the park".
Air purifiers aren't going to do shit in a car, or in general for AQI of 600.
That's what UPS Store boxes are for. They can sign for your packages too...
I hoped to preclude this type of response with this:

> There is nothing an abacus does better than a calculator, but I don't begrudge abacus aficionados, and abacus mastery is quite impressive.

Cheers!
I don't even allow browser search suggestions; this is beyond the pale.
Did Jesus cry because someone said mean words to him?

Men would cry over lost friends, family, destroyed homes, town, long gone memories, etc. Not over being bullied by someone they don't know.

EDIT:

When men cry, it's not to appeal for help from others. It's to display deep attachment.

You cry with your friends over your destroyed home or your fallen comrades, to show each other that you cared deeply about them, and you bond through this ritual. (and wsually it's not uncontrollable sobbing).

A leader might cry as an act of charismatic leadership to move his audience and rally them behind a cause.
Two High Severity CVEs impact OpenSSL 3.0 to 3.0.6
This is not a very useful analogy. It suggests that we should regulate C out of existence. But regulation was appropriate and effective for a particular reason with asbestos.

We stopped using asbestos because of the link between its manufacture/installation and lung cancer. It’s a clear case where government regulation helps deal with a market failure: asbestos is cheap and effective, so consumers like it, but nobody involved in asbestos transactions bears the cost of the lung cancers the industry causes.

Writing C doesn’t make underpaid programmer die early deaths. The issues with C are borne directly by the customers who are using C software. It’s not really a market failure of any kind.
Finally an article on one of these crappy news site CMS where the non-JS pseudo-placeholder blurred out photos are only a tiny bit blurrier than the actual photos that you get shown when you execute their code.
How long until these shill posts end?

I can't help but wonder why people who supposedly want to protect democracy are fleeing Twitter because it was taken over by someone who wants to bring back freedom of speech.

Mastodon seems to make sense for these people though. Breaking up the service into different moderated servers makes it more difficult to regulate with pesky laws like the First Amendment. If one server gets too much freedom, users can easily flee to another warm, fuzzy, safe server where opposing views are censored as "conspiracy theories".
Your comment frustrates me a lot, especially the second part.

Not because you're wrong, but because any competition that comes up in Europe gets bought by the giants to the west, usually before they're globally known though sometimes not; I'm sure it's not entirely unknown that Skype was purchased by Microsoft at least, that was a pretty big player at the time.

In terms of general tech companies there's loads, including Shazam, iZettle, Momondo, Gamesparks, spider.io, Mojang, Apiary, Sparrow etc;etc; 52 by Apple/MS/Google in the years 2011-2016.

I'm honestly surprised Spotify remains.

A European social network has a really high barrier to entry compared to the US ones, sure, but all that meets them if they're successful is an acquisition- or at least that does seem to be the case with most European tech startups.

To your first point: I think the closeness with the CCP and closedness of the country would be fine points, my general feeling is that the US is a lot more clandestine with their methods (Snowden wiretapping of google revelations notwithstanding: most orders in the US come with stipulations that you're not allowed to speak of them).

Regarding the "openness", I feel like the US is battling it with Sinophobia, I mean, based on the former Presidents words at least; rather than an outright ban as the Chinese are doing.

What do you think?
It is and isn't. Really old stuff seems to work well. But just old stuff more often than not is unworkable. There's a serious issue in the Linux world with distros going down and software disappearing over time.
"had a duty to bring the idea to market within the time frame that US patent law required, which they then did"

Do you have a reference for that ? I've never heard of any such "duty". There are many patents that have never been implemented yet remain valid.

Beyond that my point is not that they didn't show the "how" but that the "how" in that case was absolutely trivial and completely undeserving of patent protection.
Isn’t reference counting a type of garbage collection?

I feel like you can’t put Swift in the world of Rust/Ada/C/C++
Re: presentation and styling, Firefox's Reader Mode seems like a sensible approach.
Couldn't this guy say "silkroad knew I was doing this and approved". Prosecutors would have to get someone from the silkroad to testify to counter that.
Scraping Walmart to Estimate Share of Sugar in Food
pointless. Most of those things are not crimes (mismanagement, bankruptcy) unless you can start the civil case for damages first to find the fraud that then becomes criminal. It's a well thought of plan.
The substantive issue the judge is interested in is whether they made false statements in their court filings. The attorneys seem to be misleading the court about the true owner of the patents, and who the attorneys actually represent.
Hi I'm just trying this thing out
They could, but then the IRS would have contend with an army of lawyers to claw their money back. In this case, going after a small time criminal with no connections is an easy win, so it makes sense from a resource allocation perspective for them focus on cases like this instead.
Long time Windows user, a few months ago switched to PopOS and love it. The window tiling feels natural and I'm surprised at how good the hardware compatibility is.

I just can't switch my home PC, because I play games and these are sometimes a PITA to get working on Linux even nowadays (in the Steam Deck age).
Have you ever seen the rain?
My thesis is, pick (nearly) any border in the world and you will find something like this happening inside of it, and that's the global condition that doesn't bode well. If we can't figure things out within borders, how are we to do it at the global scale, which as you point out is much harder?
> the story had hit a dead end

I can't believe anybody thought that a two-hour movie could be stretched into multiple seasons.
Note that modern MySQL has SERIALIZABLE transaction isolation as well:

https://dev.mysql.com/doc/refman/8.0/en/innodb-transaction-i...
https://mariadb.com/kb/en/mariadb-transactions-and-isolation...
Not trying to make you feel like you have failed, but whenever I encounter language features on this level - aka not comprehensible for a mortal like myself - I do tend to want to shamefully turn away from this profession entirely. The good news is that I am most likely a total dunce.

I wish I could become reasonable with rust because I do like the concepts that I think I grasp.
FBI gets a wide berth from the courts. A couple of years ago, they seized some TOR child porn website, and then started making upgrades to it causing the userbase to increase by 30%. Then they tried to pin that user count on the person they arrested.
> Repeat until there are no more Tim Tams, or you feel physically ill.

Similar to consumption of generator functions.
Why doesn’t this article include the packet capture or whatever data he has that shows exactly what’s being sent?
> Would you not see any problem if (still using the article example) Weinstein was given immunity to report on his own rapes?

Weinstein is the boss. So you'd never give him immunity to the case, he's the target.

If Weinstein had a close "ally", who was less important for justice but important to testify for the case... even if that "ally" had crimes associated with him, you'd want to give that "Hypothetical ally" immunity. _THEN_ you force the ally to talk (if the ally fails to talk in court, you throw him in jail for contempt of court, and take away their immunity).
A couple of points from somebody who enthusiastically writes new C code every day:

> ...the complexity of C / C++

In this case, please don't throw C and C++ into the same bucket, C++ is vastly more complex than C.

> Rust seems to have the qualities I like about C

...a subset of Rust has those qualities, but the whole of Rust has the same problems as C++: overboarding complexity both in the language and stdlib.

To lure C users over to a memory-safe language, we need a programming language that just adds the comptime memory-safety features to a 'small language' like C, but none of the higher level features (which only serve to split the language community into different tribes - which is also the biggest problem of C++).

Finally: yes, C is not memory safe, but when 'language-level memory safety' is essential for security, then there's something fundamentally wrong with the sandbox the compiled C code runs in.
I am always surprised when I learn that administrative/business advancement seems to be based on how much money was spent. I get it; it's much much easier to quantify spending than value per dollar. But in academia, I notice that there is a tremendous incentive to build new buildings and start new schools/departments, rather than improve existing infrastructure. Part of it is the donors, but I think there is an incentive to be able to say "I did this ...", where this involves a large budget. I suspect it is the same for public works projects -- career advancement depends more on spending money that producing value.
I agree that this can be simplified further but at the same time I disagree with the "it needs to be understandable to beginners!" attitude.

Some concepts aren't for beginners. This includes most things that have to do with more advanced type theory or for example category theory.

ELI5 GATs? ELI5 Monads? If we could we would.
> is like driving 60 mph on a road with no lane dividers

That’s somewhat funny, because a Landesstraße in Germany has no lane dividers and the speed limit is 100 km/h (about 60 mp/h).

Unless I’m misunderstanding and lane dividers mean the printed lines.
What I want is Little Snitch on steroids built into the OS where every process, including all native ones, including UI apps, are blocked from network connectivity by default, and the user gets an easy monitor of outgoing traffic with TLS/SSL inspection built in (you'd need some OS API to enable that).

Kind of like granular oauth permissions, apps should have to declare which outgoing they have, a description/why, and allow inspection of the actual traffic.

What Adobe CC, Google Chrome, MS Office, and macOS/Windows itself do with this background network connectivity is completely out of control and abusive to the user. They get away with it because the vast majority of users are non-technical and don't realize it's happening.

I've profiled and decrypted the background traffic on a stock Android install and the volume was also appalling. Getting macOS to 0 background traffic involved blackholing large Apple IP blocks at the router, whereas some of their processes use random IPs from these ranges and don't use DNS.

Just as the general public doesn't have the awareness or ability to fight for their privacy rights I doubt any of this will ever be remedied.
The unicursal path of Ikea would skip an interesting game-play possibility, therefore I guess it is not Ikea-like.
Sure, let me just get a couple hundred million in capital, I'll be there in a minute.

If people are complaining that something is wrong, the answer isn't "well why don't you take advantage too"
New bearer bonds were outlawed forty years ago is why.
> Arguably, Australia’s greatest cultural achievement is the Tim Tam.

After eating half a packet with my cuppa this morning (and feeling somewhat queasy for it), I can confirm timtams are one of our finest accomplishments.
Timing is everything :p

Don't be so hard on yourself. I completely understand the stress of breaking a nail by being in a hurry.

Haste makes waste :)
AFAIK not exactly, under 64bit mode you can run 16bit protected mode but not 16bit real mode code. While this would be an issue for Win1.x/Win2/x compatibility, the majority of 16bit Windows applications however are made for Win3.x which tend to be made for 16bit protected mode.

This is basically why you can run 16bit Windows programs/games under Wine on 64bit Linux (though you may need to enable some flag via /proc or /sys i don't remember the name of).
Oh dang, interesting
Depends on the day. Sometimes may be good sometimes may be shit
Just so that we're clear on acronyms for everyone out there, "GADT" is a computer science term for "generalized algebraic data type", which has no relation to "GAT", which is just Rust terminology for generics in associated types (even in Rust, I doubt that anyone will bother to refer to "GAT" in the coming years, rather than just lumping them in with the concept of associated types in general; there's really no need to teach them separately).
100% not sarcastic. “Cartel” is a ridiculous assertion and a red herring. It distracts us from a meaningful discussion on solutions.
The problem is people who are smart enough to use fancy features, but not wise enough to show restraint.

The question is do we inhibit the wise to protect us from the unwise? The answer might be yes. I enjoy learning about power features so I hope not.
It's absolutely suggesting theft... The ads on many sites pay for the actual content on those sites.

In addition, I looked into the author's github commit history and one of their projects is aimed directly at stealing YouTube content.

An all-out war on Google's ad infrastructure may protect your privacy but how do you propose people actually get paid for the content you consume? Do they do it for free? For exposure? Sell subscriptions?
> then perhaps a lawsuit could be worth it.

Even in US law, no, there's no scenario wherein the lawsuit against IKEA would be worth ~$50k in revenue (not profit).
True. That or something like a Peertube instance.
> what should it cost to run an education system?

That can only be properly determined with a free market, where the supply-side and demand-side participants voluntarily come to an agreement about what services will be offered, and what will be paid in exchange for those services.

What we'd find is that there isn't one specific amount. It would vary significantly, depending on the unique situations of the various participants.
Wouldn’t the performance costs of bounds checking on arrays be the same if the computer was doing it or if your code was doing it?

By that logic C/C++ doing no bounds checking speeds your code up?
That last line was kinda surprising to hear. Not a big Elon fan, but generally I think you at least wait a quarter to see if they've run it into the ground or not.
I used a very similar pattern in a web app, in which the user creates objects by clicking in different places. There is a state built by each click, and it is convenient to just go back one or several steps behind sometimes. So you have something like

const input1 = yield
// arbitrary side effects, UI updates etc.
const input2 = yield
// ...

Each time the user makes an input, it is accumulated in a list, and sent back to the generator function. When the user decides to cancel the last step, a generator is recreated and rerun, with each yield sending back the user input that was stored in the list, except the last one. This requires writing the generator function in a particular way (you have to avoid setting "external" state), but it works and is more flexible than automata, I think.
To add, it is readily available on eBay and costs less there than the usual price of Raspberry Pi.
Hi Drifter,
I am a coach working with engineers and programmers

I feel you pain of not feeling worth while, you say, you wanted to be a teacher.

would you like to have 30 mins call to see what really bothers you?

the call is free and its not to sell you any service

my email is in my profile

Daniel
Egg whites can help in filtering microplastics from seawater
Using only averages can lead to pretty misleading results. https://www.thestar.com/news/insight/2016/01/16/when-us-air-...
>True, but none of those names are owned by a corporation as trademarks. If there was a store that with white/minimalist decor that sold similarly designed cell phones, laptops, and tablets and had a name and logo referencing a fruit, what you have to ask yourself is if Apple would care.

Apparently they did not, because GTA V references "iFruit phones" with not just the in-game phones but also branded merchandise for the characters, an Internet radio station, and even a separate downloadable iFruit app for your real world smartphone.
A few of colleges from 20 years ago? That’s all you have?

The plural of (obsolete) anecdotes isn’t evidence!
It's possible for the whole stock market to be overvalued. There are things to buy other than stocks.
I've never noticed a big link between the stock market and my freelancing business. Perhaps there are more laid-off developers looking to freelance during a downturn, but companies also hire more contractors/freelancers during times of economic uncertainty and hiring freezes.

In any case, economic conditions count for about zero compared to your leads and sales skills.
Related from Nov/1st when it was initially reported "OpenSSL 3.0.7 fixes X.509 email address buffer overflows" https://news.ycombinator.com/item?id=33422837
It's not an emotional component, it's just plain old network effects.

Unfortunately, a lot more switching cost is involved in getting embedded and systems programmers and platforms over to a new programming language, than is involved in getting construction contractors and industrial engineers to choose a different material.
This was fixed both in userspace and the kernel in 2019... the userspace fix was created in April and merged on the 3rd of September, while the kernel commit is dated Sept 18.

Userspace fix: https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests...

Kernel fix: https://github.com/torvalds/linux/commit/26b1d3b527e7

I'm unclear on why this is being sold as "no one maintains X11" and not "the kernel wants to support old versions of X11".

The mailing list post states "Fortunately, since this was committed, somebody did actually disable the userspace side by default in X11", which appears to be false (it happened first)?
I wish I could disagree with you.

GDPR technically does have real teeth, to the extent that one really shouldn't want to raise the ire of an EU Data Protection Authority. Unfortunately, enforcement to date, and the resulting fines, have been lackluster at best. When will people learn that disincentives like fines and such have to actually hurt to be effective in changing the behavior of corporations?
quite the opposite. the next era will be online-only SaaS apps accessed via rented thin clients tied to your real identity.

and your dangerous general purpose legacy hardware will not save you from that, as it will be impossible to access the internet with a device that doesn't disclose your identity. to combat disinformation and hate speech, of course.

you vill ovn nothing, und you vill be happy.
If you were shocked that this is only happening now, I'd highly recommend reading or listening to the book "Invisible Women" by Caroline Criado-Perez. She highlights instances of this across many industries. I think that it's particularly relevant to software engineers, or anybody else who has a chance of unintentionally introducing bias into a system.
HIPAA is tame compared to export control and classified information handling. Single occurrences can get you 7 or 8 digit fines and prison sentences.
Trellis | Remote (US or Canada) | Full-time | https://trellisconnect.com/

Trellis provides elegant, modern software and API's that make it safer and easier for anyone to share private insurance information and for developers to replace complex and effortful user journeys with personalized, delightful experiences. We’re a Series A company backed by top VC's led by General Catalyst and QED Investors.

Modern tech stack: Node, TypeScript, Google Cloud Platform, Kubernetes, Serverless Cloud Functions. We use full-stack JavaScript: React on the front end and Node / TypeScript on the backend. We value automated tests and have an expansive suite of thousands of automated tests on our codebase. We have full CI/CD and ship safely 5-10x per day with canary rollouts.

Openings:

Staff Software Engineer: https://boards.greenhouse.io/trellis/jobs/4364855004
Senior Software Engineer: https://boards.greenhouse.io/trellis/jobs/4162641004
Senior Cloud Infrastructure Engineer: https://boards.greenhouse.io/trellis/jobs/4004381004

Apply directly on Greenhouse or send inquiries directly to hiring@trellisconnect.com.