skysight-inc/HackerNews huggingface dataset:
Hmm, that could potentially cause confusion later. There are 'countable' and 'uncountable' forms of infinity / infinite sets.

A countably infinite set could be 'counted' (i.e., you could sit around labeling elements using the 'natural' or 'counting' numbers) in the sense that we might count candy. The issue for a human being is that you'd run out of time but not elements to count, at least, proceeding in the sense one might count the candy - a piece at a time. Of course, you can, instead, simply provide a 'bijection' (between the natural numbers and the set you wish to prove is countably infinite), and in a sense, you are done.

The subject of infinity and infinite sets can be kind of subtle, and for years the best mathematicians made many mistakes and had many difficulties handling these concepts in ways that didn't cause potentially serious problems (absurdities, paradoxes, etc.). I think that with the development of things like Zermelo-Fraenkel set theory, Gödel's incompleteness theorems, etc., things became a lot clearer. It's a lot easier, with all of the groundwork laid by people who worked on these, to get a good sense of what is possible and what isn't - what gets you into trouble and what doesn't. But, boy, did it twist the minds of the people trying to work it out at the time. In part, this is because it was less clear, without development in these areas, what math even is and what its limits are ... what its relationship to the structure of the universe, say, even is (something along those lines, in my opinion / experience).
I think if you went back in time, you'd find people saying that openssl was developed by a consortium of open source contributors.

It's painfully obvious nowadays that openssl was written by the NSA (or equivalent state level entity) via intermediaries deliberately adding subtle but significant vulnerabilities.

Let me propose this metaphor: you buy a front door to your house. For some reason I (the door vendor) include a complete lockset. I tell you that the lockset is totally secure. I offer you volumes of academic research and attestations that this is true. But there is no practical means by which you can establish the security of that lockset.

Do you believe that no one else can open your front door?
> This site and many guides like it are intended to help people avoid mass surveillance rather than targeted surveillance. Confounding the two threat models seems intended to confuse and exasperate people.

The important thing to keep in mind - and one that I find most nontechnical people don't realize - is that over time mass surveillance and targeted surveillance trend to being the same thing.

Centuries, or even decades, ago mass surveillance was a dictators dream but merely a fantasy. There was no way to do it, not enough people or time, so it was impossible. You could only do targeted surveillance against selected groups or people.

With current technology these are starting to merge. You can actually spy on everyone all the time and store it for later perusal whenever you need to perform a dragnet search in the future.

We're not there 100% quite yet but every year more activities are online and more bandwidth and storage capacity makes it more and more viable to monitor everything and everyone all the time.

The legal and cultural framework to deal with this does not exist. Laws and mindsets are still focused only on targeted surveillance and cover things like search warrants.
Corruption comes in sorts of form, is unavoidable, and is a very grey subject. It’s a tough balance between growth and exploitation. But historically, government rooted corruption tends to be harder to remove than “buying” politicians” which the rich and banks do nowadays. Stanford has a really well explained thought process on this on their online philosophy library.
Discord will generally not store the content of your voice calls
Now when they call I guess they'll be directed towards the AI chat bot helpline :)
> Why not give the user the option?

The users affected by this case were at the tip of a very long tail of unsupported user agents. Those who want to circumvent the issue can either upgrade or resort to tricks like faking user agents. The key take here is that we could not possibly support all browsers or the old version, so for the very rare cases we kept the lights on in a very old and unmaintained version of the app. In my company there was no sneaky ulterior motive, it was just that we couldn't afford maintaining obscure platforms that, even if we really wanted to, we couldn't possibly test.
I think any use of GPT or Copilot is a misuse for companies like Samsung. Let one idiot to ask questions about little chunks of code and another idiot uploads a full codebase.
> > beauty in the eye of the beholder

> Concrete's aesthetic really depends on it being clean and crack-free.

... unless you're into the aesthetic of crumbling urban decay? I mean I should know better than to pick pointless fights on the internet, but you kinda teed it up
if ur interested in trying out the product dm me on twitter (https://twitter.com/Vishrut97442) or discord (FISH#3701)
The Santander region (department) of Colombia, where Socorro is located, is beautiful. Incidentally, Santandereans are very prideful of their region, so it's no surprise they'd have knee-jerk reactions against these findings.
"Firefox is slower than all the other browsers"

Wow, absolutely not my experience.

I use both Chrome and FF regularly on Mac and PC desktops and laptops with vintages ranging from 2011-2023. There is no perceptible difference to me. Admittedly all of my machines are relatively comfortably specced. Desktop-class CPUs, 16GB+ of RAM, SSDs. Perhaps the difference is more pronounced when the computing environment is more constrained.

Moving from my subjective opinion to hard benchmarks, Firefox wins some and loses others. Overall they're close.

I don't use Android so I don't know the FF situation there. It certainly sounds like a mess. I will take your word for it.
The government does not cap the number of doctors. There's no law that you can only have X doctors. What it caps is the amount of social help it's willing to subsidize. This is like complaining that the government is not "socialist" enough and therefore socialism is bad.
sabotage?
That's my point. The govt can choose to not do anything which is how we got here which makes it not a great fail-safe. Perhaps strengthen the laws we have and make it more imperative and easy for the government to act?
IBM plans to use AI to replace 30% back office jobs
They did mention it in the post. "On all platforms, we will continue to mark plaintext HTTP as insecure."
Yeah you don't want to install their extension as it stands. Which is why they try so hard to push it, instead of just putting the analyzer on the front page.

See if you can even find it: https://www.fakespot.com/

Meanhwhile there are 3 links to the chrome extension, and two to the app.
Banks do more than hold deposits; they also loan money. This is not a business you want the government in; nor do you want to eliminate private sector loans.
AS/400 had a terminal that was similar to but not compatible with the 3270 used on the 360 mainframes. Applications like either one are a lot like web applications from 1999, that is, the mainframe draws a screen with a form in it, the user fills out the form, hits a button, and it get submitted.

The programming model for transaction managers like CICS on the 360 was similar in some ways to back end web frameworks, they even had clever code generation systems (see “X macros”) for writing serialization/deserialization in assembly language.
I would not reccomend TWSBI for beginners, I find that the nibs are way to finicky. I needed to tune mine a bit before it wrote well. Pilot and Lamy are great out of the box.
how do you propose they make money to keep the bank open? Charge for accounts? I don't think such a draconian rule is needed here. Free checking is nice.

There's nothing wrong with being a low risk lender. Thats not the central problem with the banking system in the US. Its that bigger banks take riskier and riskier bets with money that they really shouldn't be, and when bad times hit they often don't have proper risk management in place to cover it, or its unpredictably catastrophic.

It used to be that these activities were separated, limiting risk to the average person significantly as a result. Simply forcing that separation again would be more than enough to get some stability back into the banking system.
This is the point - IBM doesn't seem willing to help. I'd love to be able to use LinuxONE machines as VM hosts (single thread performance and IO throughput are absolutely ludicrous) but there seems to be no entry-level machine that doesn't imply in a very sizeable investment. And I suspect LinuxONE and POWER10 machines would very cost effective ways for IBM to provide Linux VMs for public cloud environments at better price/performance points that it could be achieved with x86 or ARM.

To me, it's absolutely nuts they don't have entry paths to their crown jewels. What will IBM's competitive advantage if everyone migrates from AIX and IBMi to Linux? While there is no IBMi emulator, there are commercial environments that can compile and run COBOL and PL/1 code made for i on x86 Linux machines.
Company towns have a pretty bad historical record in the USA. Try asking ChatGPT:

"What is a 'company town' in the context of late 19th and early 20th century America from the perspective of both business interests and labor organizers?"

I suppose nobody will be able to get away with paying workers in scrip these days, however. Also, the housing is actually owned by the employees as you note, so that's also an improvement over past arrangements. It's still a little creepy, I think.
Seems like you never saw or used SpectraLayers (commercial tool from Steinberg) or Sonic Visualiser (OSS project). Both have much more advanced visualization capabilities than RX. However, RX definitely has the more advanced "semi-automated" editing / repair features.
Please, Google has explicitly made their products not work correctly in other browsers for years. This is totally playing fair, it’s just Google getting back what they give.
Like Richard Pryor said as Montgomery Brewster in Brewster's Millions[0]:

"I don't want the interest. It's your vault. I should be paying YOU rent!"

[0] https://www.imdb.com/title/tt0088850/
For the record: the weird appspot.com URL is a hack to circumvent internet censorship inside Russia (temporary domain basically), the canonical URL is https://baikal-journal.ru/2023/04/24/my-dlya-komandirov-kak-... , this is quite well known regional outlet ("Lyudi Baikala"/"People of Baikal").
It's an ecosystem. There's a need for Canadian Content, thanks to media regulations, which creates a little-league feeder of actors, producers, etc. Then the best of these are easily available to call on when outsourcing work from the US.

There's a clear quality funnel here: In any creative work, we're really looking for positive outliers. Suppose talent is normally distributed. Increasing the size of the funnel's input means you've got more chances to find the best outliers. If you've got a very tiny funnel, most great actors and cinematographers will become accountants and bicycle racers instead of winning Oscars.
a former employer of mine insisted we use phabricator (self-hosted) instead of github. while I initially fought it because of vpn requirement and UI/UX differences after years of github, I grew to quite like it. in particular the comment organization, handling of back-merges to trunk, and workflow standardization. not sure if it’s still maintained or not though
Reached end of docs. I'm sold.

- Compile time language is ~ the runtime one. That's the model most systems languages seem to have ended up at. It doesn't have macros or reflection, but neither of those seem to be very popular

- The struct/let notation and lifetime model essentially give you C++ semantics with saner syntax. The class/def notation essentially give you python semantics. This is a clean answer to the gradual-typing-for-performance problem

- You can drop into MLIR at will and the std types are implemented like that. This makes the language look a lot like syntactic sugar over writing the IR which closely matches how (at least some) compiler devs think about programming languages

Yeah, I think that'll work. Python/C++ mashup is a popular dev stack and this can make that much cleaner. Faster than C is rather unproven but given the difference in compile time control should be achievable.
> Do these companies worry that web browsers like Chrome could leak data or applications like Google Docs?

Yes they do. Where I work the whole google office suite is blocked from inside the network (you have to use MS Office). ChatGPT is blocked. Most web apps that you can copy text or data into are either blocked, or we have an agreement with the provider, or (for open source) we have an internal on-prem fork.
Many other OECD states feature private insurance that's (at least largely) not employer-provided. Private coverage may be the main coverage for a large proportion, or even majority, of the population.

How does it differ from the US?

1) Less emphasis on or no norm of employers providing healthcare (and this may not be encouraged through tax law, leaving little reason to do it versus just paying more money)

2) These are often more tightly-regulated than in the US—coverage minimums (we kinda have these now, in the US, sort of, so that's nice), disallowing for-profit insurance, et c.

3) There's often a government fallback plan

4) AFAIK every single other OECD state leverages price controls in some fashion, whether de facto or de jure (usually de jure, in the countries with strong private insurance markets), which affects everything, including the price of private health insurance.
As an American, the legends of the "founding fathers" are so embellished and whitewashed that they may as well be complete fabrications.

It's the kind of thing that seems inevitable with such events. I highly doubt Romulus and Remus were actually children raisedby wolves that founded Rome, but that's what the history books will say.
Evaluating a Redesign
The icon looks like something from audio equipment. I get it.
Open source over time as it matures:
https://twitter.com/Modular_AI/status/1653439606522802176?s=...
Nothing new under the sun.

Edge ain't done 'till Chrome don't run...
> If it’s not a big deal then verifying your age shouldn’t phase you anymore than verifying your age to buy alcohol.

If the cashier asks for your ID when you buy a six-pack, that's completely ephemeral, with no record created. If they swipe your ID (I think this happens sometimes), that creates a record, but it's not clear if it stores personal info or just verifies that it's a valid ID with appropriate birthdate.

If you verify your age to view online pornography, there's no way to do so ephemerally, at least that most people would trust. I think most people who oppose these types of rules wouldn't have a problem with showing ID at an adult shop to buy an adult DVD (but I could be wrong).
I got excited and clicked the link expecting to see a fancy new display of the same quality as Apple but cheaper. So disappointed.
So a growing number of employers around the country have decided to build their own housing for workers, mostly for them to rent but sometimes to buy.

You can't image where the connection to company towns could come from in an article about people renting from their employers?
working on gnome-keyrting might be important to them considering that the biggest commercial linux distros ship with gnome ootb
Socialism is a consequence of unchecked capitalism; if capitalism provided, then socialism would be redundant. Capitalism works best when there is lots of competition and low startup cost to enter a market. Regulation could force this type of environment by capping the number of employees a company has, limiting the radius they conduct business, and preventing them from growing to a point where the startup cost to form a new competing company is too high. The obvious downside of these regulations is they would artificially limit the geographical reach and techno-complexity of products themselves. However, if no action is taken, then you end up with an economy similar to the one we have today and folks clamoring for socialism.
From the article you linked.

“On December 13, 2013, a federal judge, spurred by the American Civil Liberties Union and other groups,[25] struck down the parts of Utah's bigamy law that criminalized cohabitation, while also acknowledging that the state may still enforce bans on having multiple marriage licenses.[26] The state of Utah appealed the decision, arguing that polygamist Kody Brown (whose relationships were documented in the show Sister Wives) lacked standing to bring his civil suit, since his county prosecutor, Jeff Buhman, had not followed through on any plan to prosecute the Brown family. The Tenth Circuit Court of Appeals (Denver) agreed with Utah and overturned the previous decision, thus effectively recriminalizing polygamy as a felony.[27]”

Of note, the state of Utah won the appeal because they didn’t bring action against the group rather than because the lower court’s decision was incorrect. Thus polygamy can remain illegal as long as nobody is ever prosecuted for it.

It also mentions: “Given that almost no polygamists bother to seek a second marriage license, the practice of forming a family with more than one spousal-styled relationship is very difficult to criminalize. In the majority of cases, the additional partner is considered a wife in the context of religious beliefs. Legally speaking, the practice is more akin to adultery.”
> Well yeah, welcome to the modern smartphone era. Those protections are useless or counter-productive because the base ROM has already spyware backed into it.

If you assume this to be correct, then there's no point in attempting to make your phone private. Privacy isn't possible without security.

> None of that matters if your
data is just sent to Google anyways.

when you use a custom ROM, that's not necessarily true. But using a custom ROM doesn't necessarily mean you have to permanently unlock your bootloader, so that argument doesn't make sense.
> “Operating system" is a frequent term in the news. I don't know where you are from.

Tech news sure. But not in average peoples news. Or at the very most, only on special tech segments. Either way, definitely not frequent.

> My point is that you produced dozens of paragraphs about terminology but added zero value to the actual discussion

I was discussing the complexities of writing hardware drivers after it was stated that it’s easier than UIs.

Where’s the value in your comments here? You are adding nothing, just arguing for the sake of arguing.

> all that while totally understanding what others actually meant.

“Misunderstanding” I assume you meant (given the context of your comments). Either way, and as I said to the other commenter (though I’m not convinced you two aren’t shill accounts for the same person given your writing styles are the same), I did understand. I just disagreed and cited some experience I had to back up my points of view.

I don’t really understand your problem here. This is a tech forum and we are talking about operating system development. Yet you’re begrudging me having a technical conversation about operating system development.
I think it's worth asking yourself whether you really want a government database to know (which, by necessity, it will) each time you access a website.
I used to bike to work almost every day before working from home mostly. The key to not getting sweaty is to take it easy. You can leisurely bike, it is less effort than walking, and it isn't that much slower than biking with a lot of effort really. If you have a lot of hills or very hot weather this might not be enough and you should change undershirts at least, and at first it is hard to do if you are accustomed to putting in a lot of effort all the time. But it works better than you would expect.

The other part is to not wear a backpack and put it on a bike rack or in a basket, or just leave stuff in the office and drive or take the bus now and then if you need to drop off or pickup something bulky or heavy.
The TWSBI pens definitely hit a sweet spot for me as well.
He referenced the results of a specific study (edit: He presented the study's results exactly "as is", before it was retracted. He isn't a fortune teller). https://archive.ph/UtFuV
Dibs on Mojo Dojo (mojodojo.com), your new premier training resource for Mojo.
Ah, I didn't know that. Thank you for the new information!
> Anything you'd want to filter can be controlled directly via browser embedding APIs, without any vagaries or guesswork.

Then they'll already be immune to many exploits, great. You're not really arguing against my point here.

> I'm not sure what you mean here

Sorry. What I meant by webkit-specific was basically a bug that is in webkit but not a more general text or image rendering bug that affects the entire system.

> any properly encrypted messaging system requires the client to assume that any received message is completely attacker controlled

I disagree. Many messaging systems don't send html. If they do send raw html, for most of those apps it's not unreasonable to trust the server, because if the server is compromised they could just send a malicious update. So you only care about things that can make it through the system, which is a tiny percent of html, and renders 90% or whatever of web engine bugs unreachable.

> Even in these hypothetically constrained messaging and social media apps, if nothing else, often allow you to just view web content from within the app.

Now that is an app that is vulnerable! But only some do that, especially on desktop.

> What matters is how many users would be exposed, which is a function of the number of apps, the number of users of all of those apps, and the degree to which those apps are exposed to arbitrary content.

I agree. I just don't want to overstate the degree.
Oliver Stone: ‘Putin is a great leader for his country’
https://supreme.findlaw.com/legal-commentary/sister-wives-wi...

> If even one of the marriages is a legal, civil marriage, then Kody and the wives are probably guilty of bigamy under Utah's definition. The Utah Code states that a "person is guilty of bigamy when, knowing he has a husband or wife or knowing the other person has a husband or wife, the person purports to marry another person or cohabits with another person." This is broad in three respects -- it criminalizes the behavior of both purported spouses, not just the one who is already married; it, as interpreted by the state's highest court, includes religious ceremonies undertaken without a civil license as falling under the heading of "purporting to marry"; and it criminalizes cohabitation (as well as actual marriage) with a second person while married to someone else.
Swift doesn't do a good job of interleaving with Python (i.e. allowing Python to call into Swift, while possible, is nothing like Numba due to various object type translation required).

Mojo seems to be targeting Mojo -> Python -> Mojo too (i.e. Mojo can do high level control flow, delegate some more control flow / unsupported ops to Python, then implement some accelerator supports that Python will call back to). This can be quite difficult if you want to have very low bridging cost (Python objects are quite large and different libraries, such as Python / numpy have different representations in C on top of these Python objects).

It is all possible (after all, we are doing computer stuff), but it is a quite difficult path comparing to other success interop stories (Swift / ObjC took a decade to achieve somewhat low bridging cost, Kotlin / Java simply gives up and doing everything in JVM).
Given their complete reliance on google for funding and biased political stance. I don't think they are in a great position to deliver content you can "trust".