skysight-inc/HackerNews huggingface dataset:
I am Brazilian-Australian, worked for a few years in Australia and then moved to Sweden and worked for an American company here.

The company was Swedish, but was eventually acquired by an American corporation.

One of the projects we were working on started getting delayed due to endless discussions about which tech to use and how to architect things (the companies used completely different stacks) so we could integrate everything. One day, we had a video call with one big Manager from Florida. The guy just started shouting like a maniac and treated everyone, including us and his American team, like crap.

That was so incredibly surreal to everyone on our side, as even the tiniest raising of your voice in our office would've been extremely unusual, and Swedes are one of the most conflict-avoiding people you can find anywhere. After the call was over, everyone was all thinking like "what the fuck just happened" but no one said much at all... we just kind of pretended that did not happen and slowly went back to playing some ping pong and calmly sitting at our desks and doing some work with headphones on.

After a few months, only I was left on the team as everyone just found elsewhere to work.... I followed a couple of months after.
Honest question, why are you going through that purchase order process if you could easily expense them?
you're making some assumptions that every dev has morals, and that some unscrupulous dev didn't build the thing specifically in hopes of getting this offer
https://www.youtube.com/watch?v=a0YrCABCOEY
More likely that a podcast is a performance for marketing
The (Spain-focused) article points that 20 years ago was basically the same. "MSN Messenger" is not exactly a shining beacon of federation.

I'll point that there have been cycles (like many things computing) of centralization and federation coming and going. Maybe there's indeed nothing much intrinsically better about "ye olde Internet".
This seems interesting, like a way to get started with a simple programming language.
The problem with 1 child per family is that it cuts population too fast. You're going to end up with decreasing life expectancies because there simply aren't enough people to take care of the elderly. We're already seeing this in Japan, which had driven it's stagnating economy.
No, hot dark matter would not magically start interacting with the EM field to make black body radiation. I believe the hot/cold dark matter question is entirely about the velocities of the particles.
Russian ISP confirms Ukrainian hackers "destroyed" its network
Reading this thread I’m realizing maybe Americans better understand organizational politics, and this social technology is an unappreciated contributor to productivity.

I agree this kind of thing is performative, but let’s steel man the other side. You are looking for a place to spend 8 hours a day doing your most skillful craft, and you don’t want to know what the organization is trying to achieve?

Yes I understand it’s performative, but why wouldn’t you take 10 minutes to indicate you are doing that kind of serious thinking?

It’s like asking a boss for guidance without doing groundwork to make a recommendation.
Ok to be fair the original is probably a badly scanned tech report from GE from the 70’s with minimal implementation details. Whoever has tried to implement an obscure physics paper from that age knows how tough it can be.

I think there is value revisiting some of this work with our modern toolsets and publishing the code in some public repository.

But of course with a clear citation chain, and no pompous lies that a new discovery was made.
I imagine the usage limit is on flash write cycles to prevent premature failure of the storage, not on how much storage space is used
Why Americans are sick and tired of corporatized-healthcare [video]
Indeed but the claim was:

> You can in fact run most package managers without root

It is very clear from the context that dehrmann was talking about Linux distro package managers (Apt, Yum, Dnf, Apk, etc.) and as far as I know they all require root, or at least I have never once seen someone use them without root.
Economic value of a house is just a single factor between the two. Redlining has a host of other issues that are often unspoken about or ignored. That rural house in Oregon most likely is in a better environment. Redline districts are often near oil refiners and other highly polluted. Because of lack regulation or companies just paying low cost fines and making criminal acts just part of business their model. This increase the cost of insurance and medical expenses for those that live in redline districts.

My take on your statement is similar to "If the economics of your area is not good, they can just move." Most areas where the economy is falling a person is incapable of selling their home since no one wants to buy their house. This leads to a stale mate of having to stay in the area because they cannot afford to move and doing so would just compound their poverty. Children are often the ones that leave because they are most likely have a near zero dept are more time to build up their economic mobility.

Rural houses where a more sound investment when 40% of the USA employment was agricultural. As the this industry became more automated, the value shifted with employment opportunities. These changes can also be seen in towns and cities built around manufacturing today.

The solutions between the two are the same. Social acceptance and assistance to provide economic mobility. Irony, is that these environments reduce social engagement producing tribalism like states where trust is lost between these groups. This is our problem and we need to stop thinking independently because this just leads to selfish behavior that harms our society.

Creating a better environment for others is a Win-Win versus creating a better environment just for you is Win-Lose or Lose-Lose resolution.

[0] https://publichealth.berkeley.edu/news-media/research-highli...

[1] https://pmc.ncbi.nlm.nih.gov/articles/PMC8485176/
CLRS defines loop invariants pretty clearly:

We must show three things about a loop invariant:

Initialization: It is true prior to the first iteration of the loop.

Maintenance: If it is true before an iteration of the loop, it remains true before the next iteration.

Termination: When the loop terminates, the invariant gives us a useful property that helps show that the algorithm is correct.

Which is very much what the article says:

lo <= insertion_point <= hi

should hold on every iteration. It clearly holds before we enter the loop.

[...] The invariant, the condition binding lo and hi, holds on every iteration.

They are indeed observable and testable during runtime, but beyond just being dependencies on certain subsets of your state space, or "runtime asserts," they are properties that must hold as a necessary consequence of the operation of the algorithm. One proves that an invariant is necessarily true in the process of demonstrating the correctness of an algorithm.

In terms of concrete implementations of an algorithm, this in some way makes the "runtime assert" redundant, for, at least in principle, one can statically analyze the code and then prove, before runtime, that the expressions being asserted must necessarily be true (subject to certain preconditions), and even optimize them out.

Of course, this presumes that you have indeed implemented the algorithm correctly - and one way to determine this is to see whether or not your implementation satisfies those same properties and invariants that the abstract description of the algorithm depends upon, and the article also discusses this point.
PDF: https://ia902305.us.archive.org/34/items/gov.uscourts.cand.4...

Text: https://www.courtlistener.com/docket/67569326/373/kadrey-v-m...

"Meta's request is preposterous. With one possible exception, there is not a single thing in those briefs that should be sealed."

"It is clear that Meta's sealing request is not designed to protect against the disclosure of sensitive business information that competitors could use to their advantage. Rather, it is designed to avoid negative publicity."

"If Meta again submits an unreasonably broad sealing request, all materials will simply be unsealed."

"One final comment. Between this sealing request and assertions in Meta's opposition brief such as "[t]hat document expressly discusses torrents and seeding", Opp. at 7, the Court is becoming concerned that Meta and its counsel are starting to travel down a familiar road. See In re Facebook, Inc. Consumer Privacy User Profile Litigation, 655 F. Supp. 3d 899 (N.D. Cal. 2023)."
There are three positions around the usage of of shadow libraries.

1- Should we develop this argument into more discussion as society and humans around the knowledge publication and the publication industry greed and the rent-seeking business model.

2- Big Corporation shouldn't just ignore the copyright law while maintaining the strongest copyright protections and going after small folks.

3- The usual argument about how LLMs training is different from people actually using pirated textbook because it is expensive (college and learning is hard and expensive specially in places like Africa).

These are different angles and I think we can try to address all of them as they are not exclusive. There are good arguments around point 3 on two sides. I don't think there is a good argument why we should allow the status quo regarding the first point though. For two, it is more complicated to even discuss specially on HN.
I did read the link and my beef is not with outsourcing in general. Many articles I found say that new roles in areas such as AI, cloud computing, and advanced manufacturing often emerge, providing Americans with more lucrative opportunities in cutting-edge fields. This is the counterintuitive part because Rearc is outsourcing highly skilled jobs that should be done by Americans if we follow the outsourcing is better logic. See my point?
It sounds like you don't even know what these words mean.
Dark matter is and always has been curve-fitting to residuals between theory and data. There is no there there, every map you see is nothing more than subtracting theory from data and having residuals left over. Dark energy is similar except much more coarse, in that the "model" is just a single parameter with a very simplistic interpretation.

Neither are theories, but good luck coming away unscathed when mentioning this in the presence of ΛCDM dogmatists.
Roughly how long did that take?
I don't understand why people who are clearly not the ICP have the urge to comment. I think that market will prove whether it's a good thing.
Uber's service migration strategy circa 2014
This does not align with my experience. Midwest middle aged folks at boring corporations are pros.
Targeting at its finest.
This also seems generational to me. I’m an American younger than 30 and the only people at my company who embody this are the senior people over the age of 40.
Any tips for launching on Itch?
It's been reduced to zero for 3 decades. When you publish your work, there are a million other works competing for attention. That is the real issue. When you search for an image, you get thousands of images instantly, faster than diffusion models. Content doesn't matter anymore, attention matters, curation matters too.

Even if you forbid AI from training on copyrighted works, people are going to comment about them online, and the model will pick up the ideas. There is no way to protect ideas from spreading and reaching AIs.
Service onboarding model for Uber (2014)
Fair point and I agree with you on that - I guess my point was that Aaron’s “crime” pales in comparison to what they do.

But yea copyright is broken and is holding back humanity as a whole
Have you seen any work from Stacy McGaugh? https://tritonstation.com/new-blog-page/
For me this happened at the end of functions in vanilla JS; I used to work around it by putting "// end of foo()" comments after the closing brace. However, Aider has multiple modes for LLM editing, including diff, udiff, and whole file; you can switch between those when needed.
While interesting, this seems entirely tangential to the conversation to me. I’m not seeing the connection between paying for the right to participate and punishment. What am I missing?
"The internet hasn’t made us bad, we were already like that"

Is merely an application of

"Power doesn't corrupt, it reveals"
-Robert Caro
I like that conspiracy ! They should be careful about retribution if the TMT lands on the Canary Island, sombebody could conspire to put another industrial facility next to it
No; checking it out. Ty!
Who exactly wouldn't be aware of that, no matter which way the decision went?
Which features overcomplicate Swift? What should be removed? (2015)
Meta-Systematicity in Organizations
I agree. My point goes rather in the direction that just because one doesn't have much to show by 14 y/o, doesn't mean they're less of a human than someone who does. Merit isn't a predictor of success, perhaps a requirement, but even that is dubious.
As HN becomes more popular this will become more prevalent. The same thing happened to Reddit over the past 14 years.
For me it's a bit like typo in phishing/scam emails. If you think "oh my god this scam is so bad how can anyone fall for it" then you are probably not the target group.
AFAIK, he wasn't. Also AFAIK, he had access, so this would be a really though "crime" for them to push.
Saylor as a Symptom
Isn't UBI just going to raise inflation? People who don't need it will claim it and use the existing tax loopholes. Tax laws will need to be rewritte.
Probably, but that doesn't mean Graal is good; it just means they're both bad.

Compare it to something like Go or Rust where there are no hoops and they're both well supported on Windows and Mac. I haven't actually used it but I believe Zig has very good cross platform support too.
Mind Your Metaphors
From the article:

> I didn’t have the time to find a good general-purpose algorithm: I was working on this the night before weekly presentations at the Recurse Center and I wanted to present it the next day!

...

> I built this in a single day

No estimate of hours, though.
And they they’re aware Or implies it’s not both.

The Supreme Court has long made unpopular opinions, but it’s recently lost the impression of impartiality. These things are inherently linked.
Download the CDN libraries, point to local
When the UK startup I worked for was bought by a US company, that meant the support functions were consolidated and the IT guys had to join the US centralised IT dept. They visited the US, and the culture shock started to bite when the head of IT got a standing ovation just for walking into the room. (And this was an engineering company, so the head of IT wasn't the CTO).
My recent hmd/nokia disappointment was a flip dumb-phone. Annoyingly it has a facebook app that cant be deleted, and some games that auto-charge your phone bill after a few plays. If they really try to ban smart-phones for kids, then we are going to need a better definition of a dumb-phone. Bring back the old Nokia!
> it's a description of a suite of observed properties

"Looks like matter" is not a property, this interpretation already presupposes a theory that excludes many others that are heretofore still plausible. Physicists tend to ignore those other options, I believe, because of a combination of natural human linguistic biases and the desire for certainty in explanatory models that drives many of us into studying physics. Some get too confident too early and start making dogma their entire academic personality.
One sub-field of PL research is the ability to formally specify programs, and thus understand their meaning and prove their correctness. A great project that is based on lots of theoretical foundations and practical implications is compcert [1]. They wrote a C compiler and proved that it translates C code to equivalent assembly code. You couldn't even state the problem without all the maths, let alone prove it. I'd argue that having correct compilers is worth the effort.

I assume "Normal bisimulations by Value" talks about equivalence relations between concurrent programs. If you want to prove correctness properties of concurrent programs or cryptographic protocols, this is one of the tools. It's not because there's no code and only maths that it's not relevant.

> Actual PL researchers don’t care about Rust

Not true, I just watched this video a few days ago about Rust semantics [2]. How would you prove that a Rust program making use of unsafe construct is actually safe? what does safe even mean? how to describe rigorously the behavior of the rust type checker? AFIAU there's not even an informal spec, let alone a formal one. How are you supposed to write correct program or compiler if the language isn't specified?

> Rust is a language that mostly cribs from past languages. Nothing new.

Doesn't mean that Rust isn't influenced by academic languages and ideas. Anybody who knows Haskell or OCaml see the direct influence.

Research isn't industry. A lot of what is produced may have no direct applications but may in the future. This is the point, it's research. Also it's not because you don't see the connections between research and application that they don't exist. Lots of people working on these industrial tools have an academic background and bring their knowledge into the equation.

> If modern PL research is trying to take credit for the latest hot programming language (which I doubt they are, it’s only internet commentators who have nothing to do with PL research who argue with me. Actual PL researchers don’t care about Rust), they should be embarrassed.

You're the one explaining that Rust didn't benefit from academic research which is obviously not the case.

[1] https://compcert.org
[2] https://www.youtube.com/watch?v=9y1dLDnS4uE
I think we are on the same page. I was sloppy in my wording; my point is, "dark matter" is not a placeholder for discrepancies in Newtonian simulations of cosmological features with observation, but a placemholder for a type of gravitational-interacting bodies.
> I don't know how I'd have managed without vim + vim-slime.

This is interesting -- I've worked with people who swear by common lisp, emacs, and SLIME.

I'm happiest with ruby and vim, but I have not tried vim-slime (nor even heard of it before, so thank you!).

But FWIW, my strategy for running larger bits of ad hoc code on the ruby/rails console is to:

1. Add the code to a persistent local file (e.g. "ops_console_tools.rb")
2. scp the file up to the target machine where I am running the irb/pry console
3. In the console, run `load '/PATH/TO/ops_console_tools.rb'`
4. Run the new code: `Ops::User::CustomReport.run(90.days.ago..)`

To keep things a bit more sane, all of the ad hoc ruby code is in modules, e.g. `Ops::User`.

And it helps to include some code to clear constant definitions which would otherwise complain to STDERR if you update and reload the file multiple times.

None of this is as awesome as SLIME of course, but it's pretty tolerable with a bit of readline-style up-arrow and command-history conveniences.

Disclaimer: Of course, running ad hoc code in prod is frowned upon. But we're extolling the virtues of CL in this thread, so I'll confess to breaking best practices in environments where it's permissible! Also this process gives you syntax highlighting while editing without requiring config on target host, and you can include the file in version control for greater formality.
Must be an SV thing? I've never been asked to recite a mission statement for a company where I was interviewing (or even working at, for that matter). Most assume I don't know much about the company and a good part of the introductory chit-chat in an interview is them telling me about their history and what it is that they do.
Vertical integration is very proconsumer as it reduces successive markups.
Will that remain true if they have copyright issues in the US?
> Why is it in the public interest to know when the shift change is for the guards at the supreme court?

How can the public verify that security is sufficiently without holes if the public doesn't have access to details? How can the public verify that their taxes, which paid for that security, are well-spent?

While I don't personally believe all security details should be publicly available, I do think the details should be made available after-the-fact via FOIA. Eg, "what were security details on suchandsuch date", with say a 3-month minimum past-time limit. Of course, it can be difficult to learn from problems 3 months ago, but that difficulty must be balanced with "oh crap there's a problem we have to quietly fix before someone's hurt"
Yes, you'd see the same thing with height, for example. On average, men are several inches taller than women, but there's a ton of overlap, and plenty of men are shorter than the taller women.

In a professional sport, the top 1000 athletes on Earth are almost certainly going to be men. But at the recreational level, the genders can be very competitive, and a lot of women will kick your butt.
RAG is the action of retrieval to augment generation. Retrieval of what? From where?

The process that feeds RAG is all about how you extract, transform, and load source data into the RAG database. Good RAG is the output of good ETL.
LittleJS Jam Results
Company level mission statements tend to be too vague to be relevant or helpful and they really don't actually apply anyway. They may as well all say "we do good things" when the actual underlying goal is "make money".

I do believe in the "When in Rome do as the Romans do" mindset though so i'll happily memorize it 2 mins before the interview. It's just that i 100% openly refuse to accept they are anything other than virtue signalling.
His GitHub: https://github.com/MosheWorld?tab=repositories
I got a 2+ year ban from Discord for being 'inactive' (I didn't properly moderate a server I created), at least to the best of my understanding. Their appeal and discovery process are abysmal.

Which a large variety of communities, sample projects, discussions that I found really useful, I now have 0 access too.

I am just at a loss of what to do with having lost access to useful information, communities, and peers. This is far more prevalent and problematic in gamedev related communities compared to other software communities.
I don't understand why he jumps straight from 'one test per process' to 'one test per thread' as the alternative.

I'm not actually clear what he means by 'test' to be honest, but I assume he means 'a single test function that can either pass or fail'

Eg in python (nose)

class TestSomething:
def test_A():
...
def test_B():
...

I'm assuming he means test_A. But why not run all of TestSomething in a process?

Honestly, I think the idea of having tests have shared state is bad to begin with (for things that truly matter, eg if the outcome of your test depends on the state of sys.modules, something else is horribly wrong), so I would never make this tradeoff to benefit a scenario that I never think should be done.

Even if we were being absolute purists, this still hasn't solved the problem, the second your process communicates with any other process (or server). And that problem seems largely unsolveable, short of mocking.

Basically, I'm not convinced this is a good tradeoff, because the idea of creating thousands and thousands of processes to run a test suite, even on linux, sounds like a bad idea. (And at work, would definitely be a bad idea, for performance reasons)
PhD now is an expensive way to signal that you can persevere longer than the average human.

Unfortunately, that is not always a positive as many real life situations require you to make decisions under extreme paucity of information and reverse or change course at short notice. For such professions and roles it is a liability.