skysight-inc/HackerNews huggingface dataset:
> This article is part of a flood of anti-supreme-court rhetoric that has started in the last couple of years

Last few years? Can you point to a specific time when there wasn't anti-supreme court rhetoric?

> But sowing distrust in our democratic institutions — be it our election systems, our law enforcement agencies, or the supreme court, is not healthy for democracy.

Ironically, you are just parroting nonsense you heard on the news - 'This is extremely dangerous to our democracy'. Distrust of democratic institutions is foundational to america. The founders distrusted democracy. It's why we have checks and balances. You are supposed to distrust democracy because by nature, it's tyranny of the mob highly susceptible to demogoguery.

> Even though these institutions are indeed flawed.

Then we should distrust them.

Also, the supreme court, like the navy, fbi, cia, etc, isn't technically a democratic institution as we ( the people ) don't directlly vote for supreme court justices.
> i don't see paying 90+€/hour as a good foundation for lasting mental change

That is such a currious thing to say. Why is that?
What about Bob?

Can a therapist become your friend and go with your to visit your parents on Thanksgiving?

I lean more on the external world than the internal world on my quest to understand my own behavior. After all, I always eat before going shopping at the grocery store and is no coincidence that that I am surrounded by palm size candy less than 12 inches away from me at the cashier.
Maybe simply a larger task?

"Write 10 popular mini games"

--> What are those games? 1. Agent
--> How does each of them work? 2. Agent
--> Write each of those. Agent 3-13
> The move follows the passage of Canada's Online News Act, aimed at boosting revenue for Canadian journalism outlets by mandating compensation from companies like Meta and Google's parent company, Alphabet, for hosting and linking to their content.

Well, Canada fucked around and found out.
> I will never need it as numeric methods took over completely

What if you want to make a numerical method for something you can't look up the recipe for?
Has me thinking just how invasive of a species we humans are.
Yes indeed a puzzling move from Hashicorp's leadership perspective. Could be a miscalculation; or no calculation at all.

It looks like it boils down to being no longer able to "incorporate the source code or embed or distribute newer versions of Terraform." (From Spacelift's blog). For a piece of software that doesn't even have a server, this seems extremely restrictive. I wouldn't be surprised if Hashicorp takes a few steps back on this / provides clarifications for specific use cases
At least it forces you to find and read the documentation.
Related:

The Bipolar Lisp Programmer - https://news.ycombinator.com/item?id=21999802 - Jan 2020 (2 comments)

The Bipolar Lisp Programmer (2007) - https://news.ycombinator.com/item?id=13467473 - Jan 2017 (57 comments)

The Bipolar Lisp Programmer (2007) - https://news.ycombinator.com/item?id=8904208 - Jan 2015 (11 comments)

The Bipolar Lisp Programmer - https://news.ycombinator.com/item?id=8801608 - Dec 2014 (25 comments)

The Bipolar Lisp Programmer (2007) - https://news.ycombinator.com/item?id=3374849 - Dec 2011 (38 comments)

The Bipolar Lisp Programmer - https://news.ycombinator.com/item?id=2275657 - March 2011 (86 comments)

The Bipolar Lisp Programmer (an oldie but a goodie) - https://news.ycombinator.com/item?id=859669 - Oct 2009 (22 comments)

The Bipolar Lisp Programmer - https://news.ycombinator.com/item?id=187867 - May 2008 (15 comments)

The Bipolar Lisp Programmer - https://news.ycombinator.com/item?id=78739 - Nov 2007 (32 comments)

The Bipolar Lisp Programmer - https://news.ycombinator.com/item?id=20012 - May 2007 (8 comments)

(Reposts are fine after a year or so; links to past threads are just to satisfy extra-curious readers)
Does this mean the JIT engine will be compiling code that it would not have otherwise? That in itself might end up being a small penalty, given that so much code is never a hot path anyway.

If not, I'm not seeing the type annotation adding value that the engine doesn't already have from existing runs.
They're not unscrupulous. They're using the software as it is licenced, which is the software's declaration of how it is allowed to be used.

The problem lies with OSS, not with people using it.
I assure you that there are entire teams of engineers at both of these companies burning the midnight oil to address these problems already. They're definitely not being ignored.
Wow, the newspaper industry seems desperate.

Oppressors becoming oppressed?
They do have a focus on that, it just hasn't really panned out. To be fair, you're talking about the billion dollar question. It's not exactly an easy problem.
"In prison, dinner was always a big thing. We had a pasta course, and then we had a meat or a fish."

-- Goodfellas

And Henry wasn't even Catholic anymore at this point.
Well this is absolute bullshit. You're discussing private software. It's up to the owner to offer a bug program that's enticing enough to debug their own software if they care.
I’m highly procedural game dev lots of text has unpredictable text inserted within it. Eg, a notification for how “(person 1) has left (room1) to perform (action) in (room2) with (item1)”

So your “never do interpolation” trick is a bit of an over-simplification already. Not to mention all the ways to modify a verb or noun with surrounding words, Eg, preceding it with the. I walked to Larry vs I walked to the couch

Our languages systems for our game got pretty complex, pretty fast, and I find these simplified hand wavy articles pretty frustrating tbh
Reinforcement Learning from Human Feedback: When the Math Ain't Enough
> Having matlab at hand makes it possible to save years of analytical tinkering and simplifications and approximations.

And they use poor and imprecise approximations that they can't debug, because they just plug in numbers and hope for answer.
Every time I see people trying to eliminate branches, I wonder, do we realize that having long pipelines where a branch misprediction stalls the pipeline is not actually a necessary part of architecture?

The pipeline is long because we do lots of analysis and translation on the fly, just in time, which could easily be done in most cases ahead of time, as it's not a very stateful algorithm.

This is how Transmeta Crusoe CPUs worked. Imagine NOT caring that you have a branch.

After all, if you think about it, all operations are branches. Down to bitwise operations and summing two numbers. It's branching in the ALU, carry bits and what not. You can't compute absolutely anything without looking at the state of one or more bits, and making a decision that changes the outcome. But the reason those branches don't hurt performance is that they're not branches on the main pipeline. These local branches have a very short (or non-existent) "pipeline". And the main pipeline is therefore not affected, despite the actual state of the system is.
Star Trek's Warp Drive -- version 0.000000000000001 !

(Related:

Leonard Susskind:

https://en.wikipedia.org/wiki/Leonard_Susskind

ER = EPR:

https://en.wikipedia.org/wiki/ER_%3D_EPR

Holographic Principle:

https://en.wikipedia.org/wiki/Holographic_principle)
Mozilla got something of 6(!) billion(!) dollars if my mind serves me right.
HN is my favourite site by far (I lost my login details to my old acc but have been here for quite a few years), but, HN users tend to be very vocal on areas they don't really "know". My wife is an MRI researcher and I share most threads on that topic, normally saying some comment seems really cool, where she quickly shoots it down as flawed. If it isn't directly related to programming I have a large salt shaker nearby :)

To be fair I know I do the same no matter how much I try not to!
Isn’t that precisely what AGPL is for?
Do you think anyone has ever paid Hashicorp to help write some TF scripts?
Nothing has ever been a panacea, and people very rarely claim things will be. Cars will be around for a long time. Building public transportation is not trivial and not practical everywhere. People often drive even in parts of the world with good public transportation. Replacing human drivers with (working) computers would be a major improvement.
The Linux Community Is Circumventing Red Hat's Controversial New Strategy
I'm genuinely perplexed.

The headline seems to differ from the rest. They seem to suggest that the preprint paper is entirely accurate and that our previous calculation method was incorrect.

Am I interpreting this correctly? Is this just a bad and missleading headline?
That proof assumes that "s(n)=n+1 is clearly an injection" - ie that every natural number has a unique successor, and uses it to prove something about the size of the set. But it doesn't prove there is "always a number following another number", it assumes it.

imho it's part of the definition of what the set of natural numbers even is. Peano arithmetic just has S(n) always exists and is injective as axioms.
Right. I think one reason that the definition of AGI is so contentious is that we're not that close to it. All of the current benchmarks are interesting but I don't see how we ever use those to declare that AGI has been reached. And quite frankly, I don't think we'd even care about most of them if we had a truly intelligent system.

For me, if hook up an AI with no training to a vehicle and it drives at a human level in arbitrary scenarios, I'd consider it to be AGI. It seems obvious to me that we're not very close to this.
Okay... that's not saying much though? Why even mention it? I don't know anything about Elm but this looks like a blog post about JS, not Elm, but it's talking about Elm right from the start as if that's an important distinction to make here.

It's like those recipe blogs that have to give you their life story before telling you how to make a meatball. Just get to the damn point and skip the bullshit, please.
Scope context matters in hitting the Goldilocks spot in the engineering.

But given the choice of over- vs. under-engineering, overshooting a modest amount absorbs the inevitable scope creep more readily.
found all that god talk utterly abhorrent but he does have a strong point, that one perhaps should put their own sweat behind its outputs, and not just simply copy/paste what is essentially an aggregate of other artists work.
>even the Catholics I know don't really consider fish as not being meat.

It depends on what you mean by “really consider”. For the religious practice they have, they really consider it not as meat. But that’s a different context than scientific discussions or otherwise.

Words have their meaning based on context. So in the context of Fridays during Lent, Catholics are not eating meat according to their religious instructions. Outside of that context “meat” may be defined in a different way. Meat can also mean the edible part of fruit.
The math literacy here is pretty poor when people imagine mathematicians to be solving college "calculus and algebra" problems.
I didn't even know about the admin rights (because I work in startups most people have local admin so I don't even think about it). That's great to find out!
it’s about the freedom

If you want freedom, you don't need a business. Just a good enough day job. Then you can do anything you want to do when you're not working the day job.

It would still be worth it even if it resulted in a 10x paycut for me.

This seems like a sketch of what a good enough day job might be.

I can’t shake off the feeling that I’m wasting my time in corporate America.

Do you think building another corporation is the best way for you to shake that feeling? I'm not saying it isn't or it is because it's your feeling and I am not you. Good luck.
One actually exists already, built into the CLI [1]!

[1]: https://www.pulumi.com/docs/using-pulumi/adopting-pulumi/mig...
Probably not enough people have flagged it as [dupe]?
There's a fundamental difference
Terraform's "server" was never open-source in the first place
So you already cannot pull the move that AWS did with Elastic and Mongo
The open-source part of Terraform is the CLI, the compiler, etc
Extremely puzzling move
Disclaimer: I am not presenting myself as some sort of misunderstood astrophysics savant, but just wanting to engage in curious discussion to get even anywhere close to scratching the surface to understanding.

I wonder if this is the case at the “bounds” of the universe or why there are so many inverse or at least non-linear relationships between various forces. My thought is that you can’t get outside the universe, because space becomes warped in the sense that a short distance is extraordinarily “long”.
First Player Shooter Documentary
In the site, it is already there. This is why I recommend it for RSS also - where it is not.

Site: 'Fastest Branchless Binary Search (mhdm.dev)'

RSS feed: 'Fastest Branchless Binary Search'

--

Update: and:

> just

No, not all people use this service in the same way.
Some other examples of this kind of thing:

There's a Moorish sovereign citizen group that has a name that is confusingly similar to the US federal government. Their office is labeled a "government office" on Google maps. Every time Google sends me some email telling me about the thousands of people who have been helped by some edit I made years ago, it spurs me to try to correct this location. It's always "not accepted" and it keeps on showing up as a government building. I have no idea what to do at this point, but it seems dangerous to have Google steering people towards a fake government building.

There was also a Kmart that burned down a few years back. Apparently there was a Sears appliance repair service based out of the place. Despite Google having updated aerial and street view imagery showing a fenced, empty lot covered in grass, they never accepted my business no longer exists at this location edits.
Evidence for Large Climate Altering Thermonuclear Explosions on Mars in the Past
Newbie devs think under-engineering is a problem. Experienced devs know over-engineering is a problem.
Block web fonts to improve privacy
Interesting how the two headlines about the same event come to exactly opposite conclusions. I vote for this one!

(Other one, still on HN front page as of while I write this
https://www.theguardian.com/science/2023/aug/11/scientists-f...)
Partition point is even simpler and can be optimized the same way.

> if you don't need the more general case and its associated performance cost

In C++ the "more general case" typically doesn't have a performance cost.
Saying "art is in the eye of the beholder" is an oversimplification. Art is deeply connected to context and culture, and to argue that anything qualifies as art is to sever it from what lends it significance and substance. It is BEAUTY, instead, that truly resides in the eye of the observer.
https://www.hashicorp.com/trademark-policy - surely this is a violation?
Again you are free to read it how you wish, biases and all.
They called themselves vegetarians for most of my life, including on tv and in films
No. And any of the businesses that switched to the sources-available approach could have done just that before, and didn't.
> Amazon makes $21,000/employee per year and that's just the direct employees, not including all the subcontracted stuff like this. Walmart makes $6,000/employee per year.

Workers who are paid and treated better will be healthier both physically and mentally, and will be happier to come to work. That will improve their productivity. It's not zero-sum.

They will also have more money to spend at places such as their employer, although that results in a Tragedy of the Commons scenario. Each individual business gets back only a fraction of that increased buying power.

(Yes, yes, inflation, etc., etc.)
The leading theory being defended here is tha bigger and bigger particule accelerators are a good investment for society.

Not blaming the guardian, but the PR of physicists.
The variously GPLs have always received hate of different kinds, and time and time again it's proven why they have the clauses they do.

Reminds me of the picture of the smug cat surrounded by knives. GPL is that cat.
Pretty soon, this sort of FUD will fade into "OK Boomer" territory.

WFH won't go away, because children are being raised with FaceTime and Zoom as normalcy for them. Especially college students, most of their classes are "distance learning"; in fact, I found it difficult to register for in-person classes because most of them were going online only. This was in the before-times, but as late as 2018.

I had a professor say "don't try to do your laundry while you are working on a class assignment" and I chuckled, because I had done exactly that. It wasn't optimal for my attention, but my AFK times were less than 5 minutes.

My schedule is really flexible. They do measure my productivity in terms of the end results, and they look for me on Slack. But I can clock in/out whenever, throughout the week. And I do have problems with my sleep schedule. So if I feel drowsy then I will take a nap in the middle of the day, and if I wake up at 2am, then I clock in for 4 hours and I'm productive.

My employer receives my best efforts, and we trust each other, so I don't goof around while I'm on the clock, and I stay mindful of that time, because it belongs completely to them.
> Am I the only one who sees a jumbled stream of barely coherent semi-thoughts and word salad?

Probably one of the few given the majority of the comments are directly addressing and dissecting each point of the post.

It is not jumbled, but it is 1) the way Hotz usually writes, 2) unconventional, 3) cross-domain laterally connected, and 4) somewhat heavy for a sunday morning read.

Hotz generally doesn't do "barely coherent semi-thoughts." I think the label is needlessly harsh. He's just addressing the contemporary nonsense by bridging them together and calling their bullshit out.

It's sad to see so many of the replies to your comment are people attacking him for no good reason.
because people prefer not to pay back, GPL and AGPL has a cost that many consider to be limiting their ability to earn money based on it, so it gets hate.

its really quite simple, you're no worse off than if there were no GPL/AGPL to begin with, so just dont use it if you dont agree.

I personally am very concerned with the newer trends of going away from GPL, I think its gonna turn out bad for everyone
you cannot just use a dumb trasponder duh, imagine people being able to cause a mess with 100$ hardware

you need some form of authentication on it. needs to be impossible or at least very hard to spoof.

and now your device is not so dumb anymore.
Do you think Google should lock down the go language and compiler, considering how much value they've given Terraform and likely how little Terraform has paid for go itself?
Not the case. We are talking physical theory not LLM's. It is only in cosmology where there is arguably quite a bit of parametric freedom.
Name is too similar, pick something less derivative.
and Google isn't even the first search engine created
Since when is abiding by the license abuse?

Oh you mean the unwritten, unenforceable, undefined, romanticized spirit of the license?
"Corporate socialism" is the privatization of the profits and socializing the risks. Who owns the banks that were bailed out by the US government in 08? hint: they weren't nationalized; they're still private. Capitalism comes in many forms. If market intervention enforces private ownership of capital, it is still a feature of Captialism.
They took the wrong approach. The simple answer was to tax the companies you want to pay, and then give the money to the people you want to give money to. Instead they put together this rube goldberg machine and facebook is noping out.
It doesn't help fix GitHub UI views, but you can use the --tool option to git diff and configure alternative diff tools in your git config, including something like piping through a pretty printer or using a (generally much slower) character-based diff tool rather than a line-based one.
I encourage this project to switch to AGPL license. Also, if you're a maintainer of a dependency of terraform and other projects, please consider doing the same. There's no way terraform can afford to support all those dependencies themselves.
Hackers Exploit ‘Prompt Injection’ Technique to Manipulate AI Systems
For the uninitiated (like me), killall in Solaris kills "all active processes not directly related to the shutdown procedure" (not those with a certain name as the Linux/psmisc killall does).

https://docs.oracle.com/cd/E86824_01/html/E54764/killall-1m....
I honestly don't expect anything nearly as impressive as what we currently have in the Doom community. While there's still plenty of folks making PWADs and IWADs that are vanilla Doom compatible, the ZDoom team has brought the technology of Doom so far that it's some mishmash hybrid of capability of Quake 1-2, and folks not only make amazing free mods for you to grab, there's even brand new games being built and released on ZDoom[0], with aesthetics ranging from "this feels right at home as a Doom game" to "a Doom engine game has no right looking this good" to incredibly stylized, unique takes.

Nightdive did a nice job giving new tools to make modern mods possible (effectively giving us much of the kit they used to remaster Q2). My read is that this isn't an accessibility to be able to make cool mods problem so much as an inertia one.

[0]https://www.doomworld.com/forum/topic/136771-every-gzdoom-ga... (Many of the links to games are various grades of NSFW)
I guess that's because it's lazy and the least amount of effort for the management, but most amount of effort for the numerous staff under them.

That makes it your problem instead of management's problem, it's basically telling staff they don't care about their social/personal wellbeing indirectly and they don't mind making problems for many people if it solves 1 of their own.

This would be reading between the lines on a job spec:
"company has a great work from home ethic, but requires you to be in 3 days a week"
You are absolutely right.

A few comments:

- The target company doesn't "agree" to the fees. The PE fund owns the target company outright, so they can manage it however they like. It would be like saying that when you cut the grass on your own lawn (even if you cut it in onerous ways, to stretch the metaphor), the lawn doesn't have to "agree" to be cut. Of course not. You own it, you can do with it as you please.

- You are correct that the victims were the institutional investors (LPs), because the extra fees reduced the profits in the fund (less money was distributed from the portfolio companies to the fund, which the LPs would get, because some of the money was paid in fees directly to the managing PE firm). I say "were" because LPs have absolutely become aware of this problem. This is old news. The article is from 2014. Today, all partnership agreements state that the fee charged to the portfolio companies enter into the fund's waterfall. Problem solved.

- "Do we need to somehow protect institutional investors who manage tens of billions of dollars? Are they a victim that needs protection?" This is a super important point, and something that is often overlooked in PE discussions. It's like all the hand-wringing about the "poor creditors" who lose out when PE deals go bad. Guess what, these "creditors" are investment banks, like Goldman Sachs. However you otherwise feel about GS, there is no reason to ever feel sorry for them.
The website is called "incrementalelm.com".
For suspicious types (including me):

javascript:(function(){javascript:(function() {
var xhr = new XMLHttpRequest();
xhr.onreadystatechange = function() {
if (xhr.readyState === 4) {
alert('HTTP Status Code: ' + xhr.status);
}
};
xhr.open('GET', window.location.href, true);
xhr.send();
})();})();