skysight-inc/HackerNews huggingface dataset:
> This is very strange.. Those are not what tautologies are.

> I think you just want to say "I know that already!"

> “All humans are mammals” is held to assert with regard to anything whatsoever that either it is not a human or it is a mammal. But that universal “truth” follows not from any facts noted about real humans but only from the actual use of human and mammal and is thus purely a matter of definition. [1]

Moving on.

I assumed parent was trying to make (non-vacuous) statements, firstly because he was replying to a comment, and secondly because he followed them up with "There's nothing vacuous about this."

> Proposing definitions to terms could never be tautological.

If you treat them as statements, the tautologies clearly appear by substituting the terms' definitions in:

* To have a (thing which can vary) is to assume that something can vary.

* To be a (something that can make a difference) is to assume something can make a difference.

But if parent was just defining his terms, then let's hear those terms used in non-vacuous statements.

[1] https://www.britannica.com/topic/tautology
Maybe you live alone or something, I have some days that will look like this at my place.

3 people remote working. 2 of them have streaming TV going at all times in their room. Then if the kids are home there are likely 2 other tvs going plus what they are doing with their phones.
Factorio game freezes at a specific time
Quality just isn’t there with offshoring due to the time zone difference and distance. Accountability isn’t there. The development savings will be offset by onshore QA, PM, Project management and rework by onshore devs. Been seeing that play out again and again for 20 years.

I have seen slightly better results with offshoring from Latin America - fast feedback makes a huge difference - being able to meet frequently and provide feedback in the same time zone makes a huge huge difference.

I think that AI will rapidly slot into this niche of “indirect programming” however. As soon as token sizes allow large codebases to be be parsed and modified, it’s all over.
'Caught expelling'?

The US tried to infiltrate Spanish state security. That's a direct threat to Spanish sovereignty. Imagine if they had succeeded and it led to a manipulation of Spanish policy, against the interests of the Spanish people.

It is really something incredibly bad.
Interesting how they see themselves as a brotherhood yet not a single Arab country has ever taken in so called Palestinian refugees in the last 50 years. Jordan most recently just expelled them all! What a brotherhood

Or how about that Shiite and Sunni brotherhood going on?
It isn't, Harvard is just virtue signaling. Their admissions have always been fucked up. This is the same university that treats Asians as third-class candidates and openly defies the Supreme Court rulings on affirmative action.
Pretty sad if true.
I loved a book he wrote. Oeduous and capitalists or something.

Anyway, it was wordy and I think he was struggling to find words but it was a great read and helped me construct some useful models for myself when speaking to people across varying domains of science. Just gotta jump to their ribosome or whatever the hell and use their language to transfer data fast.

I could see an analyst mind reading this and having a mental break down though and then coming on hacker news to try and offer some quick wit to gain reputation about “wow, how wordy. Must be a charlatan”. Could be. Could be good stuff here.

No need to lecture me btw. I literally won’t care.
Seconding. Vault is annoying.
Besides, while transistors aren’t shrinking that much, Moore’s Law is still a thing. I’d expect 50fps at 2K in less than 2 years.
Because otherwise, they will have to admit they messed up. Easier to blame it on the kids.
You stuff secrets into your dumpling, duh. /s
What industrial practice isn't guided by carefully designed machines that remove the human variability?
I’m increasingly convinced that the right of first sale must extend to copyrighted work licenses to individuals to rebalance the benefit to society. Movies, video games, and music are all “sold” primarily in a way that prevents them from being shared, lent, or transferred to others. Books are probably the only medium left that is still primarily physical (71% in 2022).
I think “hello world” is not really the simplest program in this context, in the sense that printing, as you note, involves touching all that complicated OS stuff. In terms of, like, actual logic complexity implemented by the programmer compared to mess carried along by the stack, it is really bad.

But I mean, I basically agree that the ecosystem is too complicated.
I don't have any up to date information on the path W4 will go, but Juan and Remi have always been very clear that they have no plans to change anything in how Godot is licensed nor would they be able to.

I did not expect W4 to get that much funding, but at it's current trajectory I could imagine it becoming a kind of publisher of Godot games. This is completely without any evidence, just my gut feeling.

I could also see them provide the kind of SaaS backend tools one needs to publish a game ( Network backend, payments, content delivery )
Morgan Stanley Boosts Apple Stock Target to $220 over Vision Pro and AI
Have you used any of the Mistral 7b models? They're really good, I think the 7b model just shows what they're capable of. They also dropped an 8x7b mixture of experts model yesterday, that should be very interesting to try.
Because capitalism the theory and capitalism the reality are vastly, vastly different.

I just thought I’d jump in before someone talks about how [insert Ivy League school here] is the best thing since sliced bread.
It’s completely trivial to get a real number for sms these days thanks to scum like twilio. You can use your legitimate Apple device identifiers to run something like a hackintosh and then use iMessage that way, or use the script linked last week.
Am going to need a source for a claim like that.
"Typical cs dude" happens to be the subset of "Typical techbro", so expected, lol.
Step CA can do SSH CA.
This is bordering on ridiculous. No, not only affluent people had role models FFS. Carl Sagan, for instance, was a 1st gen son of poor immigrants. His mother was a house-wife, his father a garment worker. His inspiration came from what scientifically curious people used to do before the internet - like going to the library, talking to his teachers, or even going to a museum every once in a while.

Since the advent of the internet the entire developed world has been getting literally dumber, so far as IQ can measure. [1] That's, to my knowledge, the latest study but a quick search for 'reversal of flynn effect' will turn up a zillion hits. In other words, what I'm saying is not controversial in the least. And one of the hypothesis for why this is happening (as per the linked paper) is, unsurprisingly, increased media exposure. YouTube is playing a significant role in literally making the world more stupid.

I love plenty of 'sciency' YouTubers - Veritassium, Cody's Lab, Smarter Every Day, and many more. But in reality, you're not like to learn much of anything from these sort of scientainment. It's just candy with a sciency coating, more likely to inspire people to want to make more candy, than to actually pursue science.

[1] - https://www.sciencedirect.com/science/article/pii/S016028962...
This seems like an urban legend. Is there an article or something you can point to?
Creative names are all fun of fine but this

- is not easy to google

- is quite tasteless, less so if murder is mainly something you see on tv, but for some people murder is sadly much less of an fictional rare thing

it it would be a game, story etc. which has that name and covers that topic it would be fine but naming something pretty unrelated to that murder is just quite a bit of tasteless and unnecessary edge; if it had a flock of crows as a log it would at least be a funny joke
That is quite an unetical move by Harvard, they are the ones that made the information public, and then punished those who viewed it.
Literally every EU institution is legitimized just like National governments:

- EU Parliament is elected by citizens

- EU commission is selected by national governments and approved by the EU parliament

- EU council are the heads of government of the member states
Also, these companies tend to be lead by engineers. They identify with the engineers and believe that this work (and thus themselves) is special. Not the case with say auto manufacturers.
The iOS one is unmaintained and has been for a while (it still doesn't officially support Godot 4.x). Supposedly it should be maintained again by EOY but we've yet to see any progress on it.
This just isn't realistic in an general CS undergrad though. Students don't have the time or foundations to build a realistic complicated system, and the institutions don't have skills or currency to teach them how. You complain about content being out of date, but the foundations of quality software are not by and large technical nor go out of style. The implementations sure do.

What you're asking for is where vocational (2 year) programs really shine, and one of the few places where I've seen bootcamp graduates have an advantage. Unfortunately both then lack some really valuable underpinnings, example: relational algebra. It seems that once again there is no silver bullet for replacing time and experience.
> Quality just isn’t there with offshoring due to the time zone difference and distance. Accountability isn’t there. The development savings will be offset by onshore QA, PM, Project management and rework by onshore devs. Been seeing that play out again and again for 20 years.

Yupp, it pretty much turns a quick conversation at standup or a quick huddle about a change into a 16+ hour turn around time at minimum.
It just doesn’t make sense when modern charging technology lets you add 200 miles in 15-20 minutes.
Another thing is grinders too apparently. I watched a video once explaining why espresso machines are so expensive and they said they'd rather have a $700 espresso machine with an expensive grinder than a $4000 machine with a cheap grinder.
I know someone will hound me on the definition of open source but...

I'd bet on one of four things

1. Early access for a fee. Get the latest model at a cost, they're later fully open sourced.

2. Sell commercial use licenses. Get and validate the model works for you easily, then buy a license. Split by company revenue if you want to

3. Sell hosted versions - these things require annoying tech to host, paying for someone else to manage running machines can help (possibly combined with a license around not setting up a resale of the LLM)

4. Sell the service of producing (and possibly hosting) custom models. Prove your worth with the open source ones, so you're a trusted person to come to in order to get a model custom made.
He's in incognito mode, they'll never get him!
I buy games, but not until there is a way to pirate them first. I just want to be sure that I can play what I buy forever and ever and the way I like it.
In your response I did not see your answer to the significant part of the question in parent comment. Which is:

“ What would you suggest Israel do if fighting hamas is not an option.”

Avoiding hard questions is easier as it doesn’t require responsibility. Are you able to provide your answer please to the hardest part of the parent comment?
A symbolic right of return for like 10% of the refugees to their overgrown villages isn’t destroying anything.
Atom is on this list... You might not want to include discontinued projects on this sleep
When I was in university we had a page you could go to and see your grades which were released after a certain date. It also showed your cumulative GPA to two decimal places which oddly was not embargoed so, you could plausibly back-solve to figure out what your grades were. In my case I thought I had failed a class somehow because my GPA took a hit, turns out they had mistakenly left me registered class I withdrew from, which I cleared up.
If you think .Net is the best way to interact with a *nix environment for administration, by all means go ahead. I think you'll have a lot of fun discovering the problems with it. Lie most tasks involve a pipeline of native commands. Well, if you want a Powershell command in the middle, that means you have to run a native command, marshall the output to an object, do the Powershell commands, then serialize that output back into characters, and then output to a native command. And you potentially have to deal with Powershell thinking in UTF-16 and *nix thinking in UTF-8.

However this is social media, not an academic paper, and you didn't put much effort into backing your claims, either.
Valve can take away software you've rightfully purchased as well. I don't know that they are the holy grail either even though they're commendable for what they've done with gaming on Linux. I bought CS GO years ago but after the CS 2 transition, I was no longer able to play the game since it became Windows and Linux only.
In college I found all the CS final exams in a hidden folder structure on the urls
It is! This video is a bit old now but it's still so unbelievable how easy it was for the speaker to "kill" people (in Australia)

https://www.youtube.com/watch?v=9FdHq3WfJgs
What's wrong with this?

What would you prefer to see in the bookmarks bar instead?
A good starting point is using current data. Your study is from 2020 and is an apples-oranges comparison to my original point.

By now the research (as interpreted by experts, not internet randos) have coelesced around the fact that a properly fitted N95 provides the wearer adequate protection against SARS-CoV-2 transmission.

There has been a push to drive false information around this basic topic as one of the many tactics to force the "back to normal" behavior that capital demands. Mass media trying to suggest lesser masks (and/or vaccines) are sufficient, resulting in false "all masks don't work" conclusions, etc.
Is it a rush because you're so worried about losing all of the time/resources you farmed during the slow/down times because if your ship gets destroyed, you lose it all/drop it all/it gets destroyed/picked up by others?
They used to behead kings. And very often what followed was beheading the people who behead kings. And then we'd behead those that would behead the people that beheaded the king.

A culture doesn't progress just because it changes. It is not uncommon for complex systems to undergo changes that make them self-destructive. You talk about evolution, but the reproductively dominant cell in a complex organism is the cancer cell.

It is entirely plausible that western culture would become non-viable because of "cancel(/r) culture". And that cultures of the future would look in it the same way we look at organisms with poor tumor suppression mechanisms. And that too shall be evolution.
Reddit bug inserting slurs into urls
Oh yeah, haven't you heard? All open source software is intrinsically flawless because you can just fork it.
I now see how you can argue that it doesn't protect you, in a very personal meaning of you.

Then, is there anything that can protect __you__ from rubber hose cryptanalysis in this sense?

If not, what does my parent comment even mean?
Been using this for 2+ years.

My experience is that it works until it does not, and then you are down on a rabbit hole trying to figure out why.

The only reason we keep using it is because we have other priorities, but once we have more spare time, this module is going to hell, it's not reliable at all.
Yeah, you're misunderstanding.

What we are discussing isn't a real programmer we might actually find. No, we are talking about a hypothetical "perfect" programmer. This "perfect" programmer never wrote a bug in his entire life right from the moment he was born, he never had a "when they were less experienced" phase.

Obviously, that means this "perfect" programmer also never debugged anything. For all the perfect code he writes, that makes him worse than a programmer who writes buggy code but also knows how to go about debugging them.
Posting to HN is not like writing a finalized spec or publishing an academic paper. It’s ok to ignore complicated edge cases and speak in generalities. Nobody expects commenters to 100% cover every issue with every post.
I couldn't read this rant all the way through. It was simply too much spewing hatred.

DRM serves many purposes. It's just as much tamper detection as it is intentional control.

While I want protections for promises implicitly made by products, they are implicit promises.

In the end, it's a give and take.

We as users get a lot for our money. I'm rarely disappointed by most consumer products - and they tend to be surprisingly feature rich. I look around my house and do not see DRM tragedies but products I like and have enjoyed owning so far.

This article is a clickbait rant and I'm honestly sick of it.
>LOL, so an AI isn't "allowed" to tell if a person is black, white or Asian?

Yes. I don't see what you find so funny about this.
They don't have to, as they haven't for over a decade. It will suck and I doubt anyone will use it unless they're forced to (for 2fa). This is too little too late, if not iMessage, they'd use Snapchat, Facebook messenger, or IG before switching over to texting.

There is zero benefit for apple to make it good and no commercial reason for these vendors to make it good for multi vendors.
Are you not familiar with photography as a way to document moments in life?
I'm not quite clear on what conclusion you're drawing. It seems like you're rightfully observing that my very brief description of Zionism was lacking important qualifiers. But after amending it, surely it's still possible for a Zionist to hold the view that Israel (or the process of its establishment) was "flawed or unjust in some way"?

Say one supported the establishment of Israel in Palestine in 1948, but took issue with the expulsion of Palestinians from some areas. How would you characterize their view? In my mind it's still a Zionist view, not anti-Zionist (or both?) as the definition above would suggest.
Vitamin B6 deficiency leads to social deficits and cognitive impairment
I wouldn't even call it "bombarded". I only get ads when i click on "store", as in I signal "I'm interested in spending money, what do you have?" - that's actually a reasonable time to get ads.
Here's the deep dive talk from re:Invent 2023

https://youtu.be/a9FfjuVJ9d8
I've also wondered this. Aside from just securing funding, I could see:

1. Offering a paid hosted solution down the road

2. Offering bigger / better models that cost money to use commercially

3. Consulting services around their models

4. Licensing their models to companies that want to host them as part of a paid offering

IMO the whole advantage of small, open source models is to avoid paying for hosted solutions and additional privacy / security, so it is a bit at odds with commercialization.
This used to be a nightmare, for me. My dad still has this nightmare; he's 81. So... that's probably not trauma, right?
Remember that whole thing where a government claimed that "view source" was hacking to cover for their design that sent personal information out.

https://arstechnica.com/tech-policy/2021/10/viewing-website-...
My 2016 bike doesn’t have ABS. ABS is still fairly uncommon in the motorcycle world, especially with sport or naked bikes.
As a veteran-ish roboticist, I'm real tired of the bag of tired justifications used for robotics research in extreme environments.

On the other hand, as a veteran-ish roboticist, I'm quite convinced that future folks of my kind will be more biologist than programmer. The plethora of self healing and self optimizing biological systems available for hijacking is really astounding.
I'm sure it's a matter of either doing it well or poorly, but in my experience, "styled" UI's are one of the reasons why software is so bad for most software and most users. At least the default UI style provided by the OS is something people can learn and transfer from one app to another. And since I'm not a gifted UI designer, it's probably better than anything I can come up with.

It also adds to the already crippling cost of software development. The words you dread to hear from marketing: "Our software looks old."
Interesting, the only issues we have had were when AWS didn't have enough capacity. And you can see that in the logs of the scale up lambda.
Fair point - I agree there are exceptions.
> is not easy to google

I guess one could have said the same about "unity" or "unreal" or even "Godot" at one point.
Yeah we use this as well. It really is awesome and highly recommended and fairly straight forward to setup.
Well, it's starting to get close to the ease of use of VB6 or Delphi/Lazarus. Progress is definitely being made, now they just need an interactive GUI builder, so you can just #import the forms you make, the Bob's your Uncle.

---

I lost a boatload of time on a project trying to get WxPython and WxFormBuilder to work together years back... any little change in the forms broke everything in the backend. I finally wrote a little shim that mated everything up, until I had to change a fields Type, and it broke everything. It appears that won't be the case here. (Thank goodness!)
Race is one of the most important attributes used to describe a person of interest.

Sex, race, height, build, hair, last known clothing
I think this is what the top level poster is talking about? But this was 18 years ago. Maybe there was a more recent version

https://www.computerworld.com/article/2568748/harvard-reject...
Hey, us embedded programmers
never get credit. It’s nice once in a while to steal some from EEs.
> or Spain gave up on being an independent country.

This doesn't seem all that unlikely, for certain contexts at least.
Every photo taken shortens the life of a sensor.
The modern cry "from the river to sea" usually advocates for a one state solution via genocide as well (in disguise).
I graduated 20 years ago and I still regularly dream that it's the end of the semester and there's a course I had that I forgot to attend and need to go write the exam.
>Cognitive behavioral manipulation of people

from https://www.europarl.europa.eu/news/en/headlines/society/202...

Aren't the valuations of Google,Facebook et al mostly based on their future capabilities to do exactly this when they feed everyone's data into their AI?
Many of the countries in the region are communist. What sets China apart is that it is a world power competing with the US. Nothing to do with communism.
> This isn’t really a reasonable request. You can do any of this yourself as well, so your assurances are your own. If you want someone else to own those assurances you need to pay up.

Sure it is. This is what third party security audits exist for. For example:
https://www.hashicorp.com/solutions/auditing-and-compliance

This isn't unique to Hashicorp. Any organization which claims to offer secure protection should be willing to share this kind of information.

https://docs.securedrop.org/en/stable/what_is_securedrop.htm...

https://threatpost.com/openssl-security-audit-ready-to-start...

The point here is not "we pay more money and get better security." That's the kind of garbage logic the SSL CA cabal used for decades to maintain a monopoly before LetsEncrypt showed up. The question is, what is an indication that, although there is clearly some drama, that I can trust the software with my secrets? Did some of the people come to this new project from the Hashicorp security team? Could it be that the majority of changes in codebase are on the UX/UI, and not the security protocol implementation? There are plenty of ways to publish trust validation without demanding that a potential user spend hours poring through code looking for exploits.