skysight-inc/HackerNews huggingface dataset:
Lets say an equivalent company with similar culture and people offered twice the salary, how many would say no? People saying yes in that situation are not there for the collective, they are there for their own sake first and foremost. The collective is an afterthought since they abandon it the instant a better opportunity appears.

That would apply to those teachers and doctors and nurses as well, almost all of them would gladly abandon their current kids/patients to go help other kids/patients if they were paid twice the salary. That is how we know they aren't there for the collective good of the organization, they just care about doing something good at any place with no feelings for that particular collective.

If you mean that people are helpful etc, then that is a completely different thing from them actually caring enough about a particular organization.
Enabling Constraints
Question: Would using GPS antenna that only points at the sky (vs more omni-directional ones that mobile devices must have to work in any position) would "fix" the jamming problem ?
If you are working more than 8 hours a day you have nobody to blame but yourself I think. Especially in a situation like that.
I don't think this should be legal. They should be forced to buy back the device of anyone who does not agree to the new terms.

I do wonder what it is that is causing Roku to take this step. Are they afraid of someone suing over the data they've collected?
To me it seems crazy that a board would be getting their hands dirty on engineering "specifics". I would think you would have engineering level leadership making those calls and the board would either trust that person or should move on.

Anyway:

I will see that I always worry about super teams because super teams tend to get free rein, so of course they can be faster and more successful. But sometimes that's about the bureaucracy and not even the team members.

I've started projects with a team and due to time factors decided "I'll just take all of this." and it worked out great. That's not because I'm amazing... it's just the old adage about "What one programmer can do in one month, two programmers can do in two months".

Unfortunately, I've seen places where these super teams / people are setup and endlessly praised and it goes on and on and it becomes very clear it isn't them, it's the structure.
Just to make sure I understand—you're saying that because your family, which is 4x the poverty level income, got this discount, and did not need it, you believe that this program did not help people under the poverty line?

Or is it that because your family, which is 4x the poverty level income, got this discount, and did not need it, you believe this program was not meant to help people under the poverty line?

Which is to say, can you make your point more precisely?
Religion is—quite concededly—about faith and belief. What I find interesting, however, is how many non-theists resort to essentially theistic or metaphysical thinking. When it comes to “individual rights,” for example, supposedly secular people sound like “each person has inherent human dignity because they are created in God’s image!”

What the evidence shows is that we are meat, with sentience being an illusion of complex chemical reactions. What “rights” does meat have? Why can’t we, for example, kill drug dealers, if that would make life on earth—the only kind of life there is—better for all the other meat sacks? The Chinese communists at least practiced atheism correctly and followed it to its logical conclusions.

I think a more accurate characterization would be that European Christianity has evolved into a different religion which retains the notion of the divinity of the individual, but drops explicit references to God.
Yeah, it's been commonly used when the object (in the grammatical sense) would typically have a gender but it is unspecified. In fact, it's so common native English speakers don't even notice they're doing it. (Which produces a steady stream of unintentional humor from those pretending it isn't a thing.) The usage as a sign of respect for specific non-binary and other gender non-confirming people is more modern (2009 is apparently the first recorded example). Although to a great extent, it doesn't matter. Language evolves over time and dictionary definitions necessarily trail usage.

The wikipedia article is quite detailed and will probably supply more information that anyone particularly wanted. https://en.wikipedia.org/wiki/Singular_they
But that wouldn't have allowed Comcast and AT&T to continue their duopoly dance to the tune of record profits as easily.

It's honestly past time to start regulating Internet as a public utility. Look at the municipalities that have public Internet (Chattanooga, TN is the big one here but there are others) and the speed, quality and customer satisfaction is through the roof.
Bun: New, fast, but is it stable and complete enough?
Yes, you don't understand. We get it.
Indeed, it is a terrible name! I feel very strongly. I would never point my kids to something like this.
Ask HN: How do you like StarCoder 2?
I have positive impressions!
I find quite a lot of friction in being demanded to understand all of the methods, what they do, when you’d use them, why you’d choose one over another that does a slightly different thing, but maybe still fits.

The method documentation alone in reference counting is more pages than some entire programming languages. That’s beside the necessary knowledge for using it.
It's just an estimate and isn't that accurate. Yes, the closest you can get is orbit determination before and after the reboosts, and acceleration data.
For a brief moment on the geological timescale we managed to create a lot of wealth for billionaires. »That was worth it«, it will say on the tombstone inside the flame-moated residence of the last man standting, a billionaire.
Floating Point Ranges (In Julia) [video]
Graphics Double Data Rate 7 Sgram Standard (GDDR7)
Which it is, but somehow is receiving 1/10th of the flack from HN community than any non-tech bureaucratic organization would, especially a sovereign entity that dares to charge taxes. Maybe that's because it is led by cool "startup" people, I don't know.
True but also from general theory you should expect any function approximator to exhibit intelligence when exposed to enough data points from humans, the only question is the speed of convergence. In that sense we do have a guarantee that it will reach human ability
Hmm... what the article says is that startups (and companies in general) should do things that make sense.

And then it somehow concludes that everything that doesn't scale makes sense? Which is obviously wrong.

There are many ways of killing a startup/project by doing things that don't scale. Really people should try to do stuff that makes sense. Sometimes it doesn't make sense to automate a task, because doing it manually is fine. Then please do that.
Misleading title - the evacuation was only done to keep the local populace at a safe distance, during the very careful (but not-so-safe) intact removal of the bomb. Detonation was done at a remote location (where minimal evacuation was necessary).
Yeah, but personally I think Rc/Arc is more deserving of syntax than Box!
You can do a mid-point construction using just a straight edge and some means of drawing parallels. Good example of projective geometry. ;)
The world is not ready to face this terrifying truth.
What do the words in the third column represent?

I see entries like

- robust

- quality

- so good

- simple

- standard

...and many more

What value is that supposed to be conveying to me?
Stalinism lasted until at least his death in 1953. So the period you are describing is all of 20 years, which is essentially a blip on the scale of nations. That same period was also marked by a widespread economic golden age by most of the victors of WWII (France, UK, Japan) and several of the losers (Japan, West Germany), which also ended around the mid-70s, just not as harshly. That’s also around the time communist China started abandoning communist economies for state capitalist ones and started its ascendancy.

So the question is, was communism actually working well in that period, or was it more or less an unsustainable fluke due to the post-war boom era, and as soon as that ended it got left in the dust?
> A few months ago this forum was very much for the profit model of Altman after his ouster

I did not get that impression at all.
Joining the conversation, as we are really excited about finally going open source!
Meh. I’ve met brilliant juniors and worthless veterans. I think it’s more important to recognize brilliance in people… That spark of hard work combined with vision and creativity.
Comcast is literally the only option at my complex.

Apparently Google Fiber is available but the steps to get it installed require a lot of sign-off from entities that aren't available or don't care.
> Non-native-speaker take: I don't care, it just reads a bit "weird" as I learned English before and "theirs" was plural...

Non-native speaker too, I find it easier to adjust in English compared to my native language (French), probably because the language is less engrained in me. I embraced the English neutral pleural - it's even convenient - but I found myself a bit more annoyed with the so called French *écriture inclusive", such as "les étudiant.e.s sont fatigué.e.s". Not really pretty IMHO. We could find something better..
Because these people have offers to work anywhere - and they usually help training the locals, improving the regional labor skillset. Tax break is one way to attract them.

I'm not that skilled, but I've already turned down some opportunities in Europe due to the taxes. I don't wanna work to give almost 50% to King Charles, I prefer living in a beautiful condo in Panama and cash everything.

But this is my point of view only.
Self-Discover DSPy with Chris Dossman
One of the core values of DSPy is the ability to add “reasoning modules” such as Chain-of-Thought to your LLM programs!

For example, Chain-of-Thought describes prompting the LLM with “Let’s think step by step …”. Interestingly, this meta-prompt around asking the LLM to think this way dramatically improves performance in tasks like question answering or document summarization.

Self-Discover is a meta-prompting technique that searches for the optimal thinking primitives to integrate into your program! For example, you could “Let’s think out of the box to arrive at a creative solution” or “Please explain your answer in 4 levels of abstraction: as if you are talking to a five year old, a high school student, a college student studying Computer Science, and a software engineer with years of experience in the topic”.

I am SUPER excited to be publishing our 90th Weaviate Podcast with Chris Dossman! Chris has implemented Self-Discover in DSPy, one of the most fascinating examples so far of what the DSPy framework is capable of!

Chris is also one of the most talented entrepreneurs I have met during my time at Weaviate thanks to introductions from Bob van Luijt and Byron Voorbach. Chris built one of the earliest RAG systems for government information and is now working on LLM opportunities in marketing with his new startup, Dicer.ai!

I hope you enjoy the podcast, it was such a fun one and I learned so much!

YouTube: https://www.youtube.com/watch?v=iC64q1gFWiY

Spotify: https://podcasters.spotify.com/pod/show/weaviate/episodes/Self-Discover-DSPy-with-Chris-Dossman---Weaviate-Podcast-90-e2gnehb
These kind of speedups at LinkedIn scale all fall off the chart at the bottom left of this scale:

https://xkcd.com/1205/

Nonetheless, leadership will never give it priority.
Amazing people still think Musk’s “core points” are still correct after this.

I hate this community anymore.
The gradual type systems you're referring to are bolted onto the languages, or in Elixir's case, the runtime. If you want to see what a language with a deeply integrated gradual type system is like, take a look at Julia. I've found it to be both expressive and precise.
> You've made the rookie mistake of reducing the concept of self-interest to anything somebody does because they want to, and thus making egoism tautologically true.

No, that isn't the same thing. A collectivist would do things he hates and he doesn't believe in personally because the collective wants him to do it. He would sacrifice himself because the collective told him to. There are many examples of societies and organizations that worked that way, such societies are collective societies.

Military is the most common example, they are often run as a collectivist organization, most soldiers aren't there because they want to or they believe in the war, they are there because they support their country or they were forced to support their country against their will by authoritarian collectivism. And they wouldn't go and support their other country if they were paid more since they are there just to support their country, those are mercenaries.

Our capitalist societies aren't like that at all, we are so individualist that people like you don't even understand what it means to not be individualist. The closest to collectivism in USA wouldn't be corporations, but national anthems, school children saying the pledge, religion etc.
I wonder, is "being facebook" is that an organic goal LinkedIn came up with, or did they pick that up from their users?

I suspect the user base has largely driven it. From the beginning it seemed that regardless of the stated purpose users wanted to use LinkedIn as a "different facebook". Personally I hate that, but a lot of people have been doing it for many years.
If you go outside the EU, you’ll be interacting with entities that don’t want to do business in the EU, so they won’t care about what rights the EU thinks you have.

In this case, Apple does clearly want to do business in the EU, so the EU might be able to get them to comply worldwide.
Not this again. How many languages do we need? I am having a good time with Go and Python!
I've only read one of your links so far but I thought I'd better jump in and add this point. What the US does both at home and with its foreign policy has a profound effect on many of us—its allies—yet we have no vote to help change things (sometimes I think we ought to become an extra state to rectify this).

Many supporters of the US, myself included, cringe at news like this. We watch in horror in an era when we need a strong and cohesive US more than ever.
The rise of the job-search bots
Many graph problems also end up having lower bounds, being subject to conjectures like SETH or 3sum

SETH has a sub quadratic lower bound and several other graph problems have cubic lower bounds.

Many real systems are often saved because it is actually hard to write code that aren't primitive recursive functions.

Cycles often are what destroy that, as considering WHILE and GOTO being the difference between primitive and general recursive functions helps show.

If you consider NP as second-order queries where the second-order quantifiers are only existantials, That will help explain why heuristics (educated guesses) help.

A graph data type wouldn't have those heuristics.
If you're a vim user, you're gonna find vscode close enough that it feels like you're close, but far enough that it's frustrating. I finally setup coc and have been quite happy.
Then use .await?
Ha, since I found sample based examples before that article I was actually confused in the other direction when I read it. (Even more so when it links the table of constants and says that's the d2 value for n=2... I assume n=2 is the sub-group size, but in XmR as described it seems to correspond to the moving average/'range' of two (n=1 sized) samples?) Do you have a recommendation that discusses the various charts so I can better understand from XmR to n=8 'x bar'/'x bar R' etc. (I think I'm using the terminology correctly enough - where as I understand it we have n=8 xs in each time sample, the mean of which (i.e. x bar) is what we plot and then look at the moving average/'range' of)?
It is also a very Dadaism thing to do. Da!
Support Engineer from the Daytona team and super excited for this next step in the life of Daytona!
don't know why you were down voted - this is totally correct, the site only looks right in dark mode
Regardless of who is right here, I think the enormous egos at play make OpenAI the last company I’d want to develop AGI. First Sam vs. the board, now Elon vs. everyone … it’s pretty clear this company is not in any way being run for the greater good. It’s all ego and money with some good science trapped underneath.
ohh I put it in show hn!!?!
iOS PWA Compatibility (2023)
A coding copilot with Claude 3 Opus
This is the first coding copilot extension I've used that is already using Claude 3 Opus.
Tim Cook must leave before he destroys Apple. They are indeed modern-day Microsoft. Apple needs its Satya Nadella before it's too late.

I really hope Europe slaps them a 20b fine for this mockery. This is obviously illegal. Europe doesn't care about the broders, it cares about rights it's citizens.
Ahh, yes, of course, there are no dogmas here, I think all options are possible.
After all, this is just the beginning of the journey I think for Podlite )
Download the S38, install sbcl and do the load from README from the REPL. It’s very fast and then it works fine.
Did you show them your company's Errors & Omissions (E&O)/Professional Liability policy?

If your limits are high enough, some customers would find that acceptable.
I use Kagi as my search engine, and GNU/Linux for my operating system. I think both people who use each of these like recommending them to people for the same reason: like like using it, and the greatest danger to not being able to use it is if no one else does, as that would cause it to cease. People recommend it because they genuinely think other people would enjoy it, but also selfishly because they want to continue to use it themselves.
If you delete your interface files and then change the type used when calling a function it can cascade through your program and change the type of the function parameter. For this reason, I generally feel function level explicit types are a fair compromise. However, making that convention instead of required (so as to allow fast prototyping) is probably fine.
I think well communicated terrible ideas are still terrible.
I noticed the same thing. I also notice pompous dorks love to hate on people like you who point this out.
Yes I do. It means exactly that. US persons have US rights no matter where they are. Doesn't mean local laws don't also apply. Same for EU citizens. I have 3 different citizenships, so I have 3 different sets of rights that apply simultaneously and they follow me around everywhere.

Why is that so hard to understand?
For clarification, that was a “in what way?” to get more information, not to dispute that it looks fugly for you.
Aside from the GP comment calling the guy "kid", it doesn't seem especially condescending to me.

I read it more like "Yeah, we've all been there. It's a sucky lesson to learn, but in the end he's likely to be wiser (albeit more jaded) to these things."
> essential mental scaffolding for higher thought

Yes, definitely. And as AI grows into more and more facets of intellectual output, humans will need to reach those higher thoughts to find a niche to occupy. The best thing one can do today is exactly to start building that scaffolding that will allow that to happen.
You could think of it like they're all doing exactly the same job, and then a union voted to strike, as a result of which only the unionised workers got a bonus, and were kept at the same grade.

(Although I'm not really sure what my point is - that the council's lawyers should've (if they didn't) made that argument? - because unlike gender I don't think union membership is a protected characteristic per Equality Act 2010, obviously there are some different rules like you can't fire someone for being a member of a union, but paying someone less because they're not a member of a union seems probably fine? But anyway, as a public body the council has extra requirements for equality, not less, and the intention probably doesn't matter at all.)
We have 35 apples and we want to allocate, or divide, them evenly to 7 people. We are trying to create 7 groups from the 35. The "group" in this context is "the number of apples per person". Notice that it's a rate, a "unit rate".

You can also say we found 5 groups of 7, but this phrasing seems to emphasize something different in the context of the original problem. If you say "5 groups of 7", then the group is "the number of people we need in order to allocate 5 apples evenly." This sounds confusing and there's probably a better way to write it, but I think you get the point.

So, sure, 5x7 = 7x5. That's a fact of arithmetic and, if we're just talking about logic and numbers, we can be a little careless. But if you're representing something with the numbers, it's a little different.
Debian 64-bit time_t transition in progress
No I don’t believe it was publicly recorded.
> the kind of language Rust wanted to be

That has changed through the years: https://graydon2.dreamwidth.org/307291.html
When a Bus Turns a Corner, Does the Back Seat Travel Further Than the Front?
Amazon builds their own switches so they are not paying some insane cost for hardware/software/support to a company like Cisco. Generic network infrastructure is dirt cheap now (take a look at fs.com). Granted it is not trivial to build your own custom switch and you need to hire some really smart people to do this but I am sure this paid off tremendously for AWS.
The Nintendo DS emulator Drastic is now free as Yuzu lawsuit fallout begins
MKDIR DOCUMENT.S

Wonder if that would show the folder icon or think it is an asm file.

Think NT still has a flag where you can get that behavior for older applications if you need it. Think the prog fsutil lets you set it. Never had a need to do it though.
Good idea. Thank you for sharing.

One thing I've always wanted was simple filters on log lines in a GUI that let me collapse tags in the log line. I created a proof of concept that showed logs as a tree.

Or I can say I want logs from the point where key=value and until method x.

A bit like a debugger but for logs. Show logs that are between these facts.
Donald Trump, Seeking Cash Infusion, Meets with Elon Musk
LLMs are just training on massive amounts of data in order to find the right software. No human can program these machines to do the complicated tasks that humans can do. Rather we search for them with Gradient based methods using data
No, because the bank would always have recourse to something (the security).

If you're limited to something the bank can take (and only that, excluding fraud, etc), the bank will self-regulate and not loan more than negotiable amount - cost of negotiating - this is where the 80% maximum normal home loan comes from. The bank (mostly) ignores the risk the value could go down, but understands that when all is said and done a foreclosure of a $100k house will net about $80k for the foreclosing entity.

With this you can finagle yourself down to zero (own a home, take a mortgage for 80%, squander the money, get foreclosed, have nothing) - but if the bank will lend more based on being able to go after you for the difference (recourse) than you can finagle yourself down to negative amounts.
Reid Hoffman gave $10 million through his private foundation, Aphorism Foundation, in 2017 and 2018:

https://apps.irs.gov/pub/epostcard/cor/464347021_201712_990P...

https://apps.irs.gov/pub/epostcard/cor/464347021_201812_990P...

Since private foundations aren't public charities, they don't have the pass-through protection of donor-advised funds, so this should have been excluded from the public support total because it is more than 2% of the total support.

Also, this reporter did some additional legwork earlier in 2023: https://techcrunch.com/2023/05/17/elon-musk-used-to-say-he-p...
>and it's probably not very big on a radar

all those right angles and exposed props make me think otherwise
Not really bro, but you stay angry