skysight-inc/HackerNews huggingface dataset:
This comment feels disingenuous. You're comparing a manual machine. You obviously know a decent amount about the topic if you ended up with a cafelat robot and reached "peak optimization", but here you are acting confused and incredulous. I'd rather read an account of how a manual machine stacks up against a normal one in your experience than whatever this is.
HN has monthly job hunting threads.

* Who is hiring?

* Who wants to be hired?

* Freelancer? Seeking freelancer?

https://news.ycombinator.com/submitted?id=whoishiring

There is also a website which collects these. There have been two new job postings for PHP in December.

https://hnhiring.com/technologies/php
> Would Rousseau want us "being forced to be free"?

Probably. The French revolution actors were inspired by his work, and the French revolution led to the declaration of the human rights, which states that all people are born free and equal. If you take this claim as universal, then your moral duty is to make it happen.

So yes, do free people even if they believe their situation is fine. Perhaps for instance because they've been brainwashed into believing it is, or perhaps they don't even know what freedom is.

Unfortunately countries/organizations/persons that claimed to do that too often also had ulterior motives.

The phrase "looking for freedom, we found slavery" is interesting because if there's slavery, then there's a master. The master we are talking about is "norm" or "convention". The term "slavery" can be apt in some cases, but generally is excessive.

"Anticonformity" was somewhat a dismissive word in my country up to some point, but I have not heard it in that way for while, which suggests that people accept more easily "abnormal" people. When you want your freedom and you can have it, then there's no slavery nor tyranny.
Considering the track record of studies done in the social sciences and reproducibility, I'm not sure New Zealand is really going to lose much here.

https://newsroom.haas.berkeley.edu/research/amid-a-replicati...
Is this like a similar feature in Smalltalk/Pharo and Lisp?
I wonder if there's an element of cost cutting involved here, too. Restaurant owners have to juggle the availability and pricing of their ingredients. I know of at least a few cases when a menu change was done to get better ingredient reuse or to manage these costs.
Posted earlier:

https://news.ycombinator.com/item?id=42355160

(63 points / 17 hours ago / 61 comments)
I am eluding perverse incentives by the government to employ such a scheme. I am sure if they use pure logic and numbers it makes sense to roll this out, especially at time like this. It would indeed help the balance the books and get rid of that pesky voter base who typically vote right.

The decision to offer assisted dying needs to be based on compassion and logic, not on logic alone.
HAP disables the ME's runtime interface, it doesn't prevent the ME from booting.
Yup, I added it in response to the feedback :)
This is the correct reason. Ultimately Soviet Union lacked the financial resources to compete at this scale. All of the other problems that are listed as part of it, the engineering feats that are required, the technological advancements that are required, etc... all come down to money. If the Soviet Union was able to achieve the same or greater spending power that the USA was able to at the time, the competition would have been different. Because all those other problems get solved by throwing enough money at them.

The early achievements of the Soviet Union were natural logical progressions from the V2 rocket. It was a small step that replied on the same level of engineering. This is why they were able to achieve first man in space and for satellite and so forth. The scale of the problem to get to the moon and bring someone home is so massively different that it's even difficult for us to replicate currently.
https://web.archive.org/web/20241213043036/https://www.defen...
Mars rover makes climb to explore some of the oldest rocks in the Solar System
Ask HN: FOSDEM Tips
I‘m planning to attend FOSDEM (and maybe the Fringe) come February for the first time.

I have little conference experience and none about Brussels. Additionally, I‘m not the outgoing person who effortlessly connects with people.

Do you have tips and tricks re: rail travel, getting to the venue, hotels, eating, meeting people, organizing the visit?
Not if you have used the same bialetti moka pot for decades, only replacing the rubber seal once every year.
I did actually do this the other day, to get some idea of how much Scrooge is offering to pay the boy in the street to go and buy the turkey for him at the end of A Christmas Carol.
It doesn't have to be 64 bits passphrase. You can implement this as TOTP. Look at heads.
> He has "full body" shots in the actual store

Is this the image you are thinking about? https://images.squarespace-cdn.com/content/v1/642b16caa70131...

Because the problem is that it is not the "full body" of the coffee maker. Those pipes go somewhere. At least in the sense of how people usually think of an espresso machine the machine also contains the pump and the boiler. This apparently doesn't have those parts? Or if it has they are not good looking and minimalist enough to show.

We are discussing the photos as if those are the problem, but I think the issue people are having is with the product design. If I make a picture of a laptop on a charger people don't ask where do the cable go, because they know it goes into a charger connected to the wall. But with this people have to imagine a standalone boiler/pump setup just waiting to be connected into this coffee extractor thingy which is not a thing most people have (or expect to one day have ) in their kitchen.
You alone as an individual can't change societal norms since they really are in fact, bigger than you.

It's exactly like evolution in nature. Life didn't start on land because one single fish decided to jump out of the water an breathe air then every other fish followed, no, it started because collectively millions of fishes died trying to do that at the same time over millions of years till adaptation of the species to the new environment happend.

Society is exactly like that as a collective. Going against societal norms as a lone wolf, doesn't get you seen as some sort of rebel hero who everyone looks up to, but as a weirdo/creep most of the time if you aren't handsome, rich or charismatic.
Tell HN: ChatGPT adds utm_source=chatgpt.com to external links
Why should you care? This is the start of openai becoming an ad company like google. I really hope it doesn't happen but better look for an alternative sooner, rather than later.
If this is your situation, you should absolutely be asking more questions on Zulip. It is really easy to get guidance on how to use mathlib, what things exist and where they are.

The issue with stacked casts is mostly solved by the `norm_cast` tactic. Again, ask more questions on Zulip - even if you don't ask about this in particular, if you suggest it in passing, or your code gives indications of an unnecessarily complicated proof style, you will get suggestions about tactics you may not be aware of.

One way you can focus a question like this if you don't know what techniques to use but just have a feeling that formalization is too hard, is to isolate an example where you really had to work hard to get a proof and your proof is unsatisfying to you, and challenge people to golf it down. These kind of questions are generally well received and everyone learns a lot from them.
Surely there was angry muttering.
oldformat=true

I’m curious what this does, cause it seemingly changes nothing (tested on mobile, with “desktop version” too).
I don't even drink coffee and I want one! Nice work
Emuhub-Android
Yeah I still can't figure out how to use a debugger with async or concurrent code.
he's just like me fr
Alive in the even numbered and dead in the odd numbered universes. That's only true for our multiverse though, we don't know about the others.
Ah the good old fk it well do it live approach to dev
>> It's possible I've still jaded because the first time I had to actually use cargo, it was setting it up for my team to work on it, and have it function, from within an air gapped network... never again!

You can use the 'cargo vendor' command to download all of a project's dependencies and then transfer them to an air-gapped environment.

https://doc.rust-lang.org/cargo/commands/cargo-vendor.html

This allows for the project's dependencies to be checked before they are introduced in the air-gapped environment and also placed in version control for a full snapshot of the project.

At $WORK we have been using Rust this way for a few years now and it has been great. Cargo is much easier to use than cmake, make, and other custom build scripts we were using before. After a few trials, we have been migrating projects from C/C++ to Rust and management has been impressed with the results. The code is equally fast, errors are down, and our velocity is improving since we find and correct more problems earlier in our processes.
Asia is leading the field in green materials
They are testing the:

asfasfasdfasfdasdfasfasfasfsadffffffffffffffffffffasdfsfsafsfdwfgasdgbdfbgdsgasdgdsbdb

defense system (the pentagon is a really big building).
I guess my point is, what difference "talking to you" makes if it's not done by a human. Even humans can talk absolute smooth nonsense but AI takes it to 11. At this point the interactivity doesn't add any credibility to the message. I'd say it even reduces it. Something in a book or a movie seems more credible to something written by someone (or AI) directly to you and it will look like it for future generations.

I see the difference but in my opinion it goes the other way than you think. Or at least begins to.

Personal conversation with anonymous entity is finally revealed to be the least credible source of information. Thanks to AI.
Good catch re: cost. I bet every medieval peasant's home looked the same, but the homes of the aristocracy were different and varied. Novelty is expensive and/or time consuming.

The same is true in industrial design too. If you use common designs you can often build your product from off the shelf parts, reuse already deployed manufacturing processes, etc. A fully unique and novel design would require retooling, re-testing for things like product safety, etc.

What we are seeing is perhaps a post-industrial, clean, technologically advanced peasantry.

Of course my observation may be baloney... do all super rich peoples' homes look the same? What does Jeff Bezos' house look like? I've seen pictures of the interiors of super yachts and there's definitely some sameness. Of course there you're dealing with more engineering constraints. "The ocean designs boats."

> I suspect a lot of people these days assume that most "alternative" things are unusual for the sake of being unusual, and not actually some stroke of genius.

It's also often the recycling of some old trope.

Original genius exists but it's pretty rare.
To be fair most of the consensus-imposed[1] interface to memory ordering semantics was developed as part of the C++ memory model standardization process. GCC/clang have imported them as extensions for C code, etc...

[1] Which is not to say "best". My standard complaint in these threads is that the C++ ordering semantics are a mess designed to make things easier for compiler writers to target architectures with variant ordering guarantees and not for algorithm developers to create correct code. But lockless code is much harder to write than compilers! It's a bad trade. ARM had this right decades ago with simple read/write barriers, which are vastly easier to understand when reading code.
Ah getting ready for the next four years, are we?
I suspect the author uses a qwerty keyboard.
Kennedy's Lawyer Has Asked the FDA to Revoke Approval of the Polio Vaccine
Test works. Your posts will automatically go to the top of HN.
I'd be curious the perspective on the downvoters.

Smoking increases hazard rates by 3x. Even the extreme obesity (obesity III, formerly morbid obesity) increases hazard rates less than this. So the risk tradeoff for picking up smoking in favor of reducing obesity is not good. It's like saying you'll stop wearing a seatbelt to reduce the risk of being trapped in a burning car; your overall risk profile is still higher.

Or is it that you don't think health is the goal of reducing obesity? If so, most of the metrics we use to deem obesity as sub-optimal are wrong, including those in TFA. Better compliance to a diet that increases overall health risk is not a good strategy IMO.
Yep. Or the phone customer support version, “I would like to express my deepest gratitude for you permitting me to help you in this matter…”
Looks like they accidentally did a --buildDrafts. Happens to the best of us.
What else is there to research about Social Networks? They’re bad, but people get addicted. Nothing else to it. Not sure why people should just get funding forever to constantly arrive at the same conclusion.
I think usually people like to blame GitHub Action's design, but this repository here seems to have not done the bare minimum in securing itself and more focused on producing a "state-of-the-art (SOTA)" "YOLO" model instead.

There are just a lot of things wrong with just format.yml itself. It honestly seems kind of weird that it needs commit access to push a new commit under the PR author's name/email just to format their code. I personally would find this kind of rude if I'm the PR author as I sign all my Git commits and a bot masquerading as me in submitting a Git commit is not appreciated even for something like code formatting. And of course the author of format.yml didn't seem to know the different between `pull_request` and `pull_request_target` and just threw both in.

I also think these days people go way overboard in CI/CD because things that are automated are obviously better right? I personally do not like any CI pipeline that has the capability to directly commit to the main Git branch without review/signoff (which [this commit](https://github.com/ultralytics/ultralytics/commit/cb260c243f...) did which removed the author check). Things like deploying to PyPI should be more than just a single commit and involves a human. Yes, it introduces a piece of friction to the process, but if you are maintaining a big piece of open source software, a release you made is going to be deployed to lots of people's computers so a little bit of annoyance on the maintainer's side is a small price to pay to make sure you get everything right.

I guess I'm weird. I maintain an OSS macOS app and I see other similar apps just upload their private signing keys to GitHub and just let the CI sign everything for them but I still sign my releases offline and never upload my keys to a public service.

What I'm saying is I don't think we want CI to do everything for us, especially for powerful actions (e.g. making a release) that do not need human approval, and if you do, you should think really hard about whether that's something desired and whether you want to spend the extra mental energy to think about all the security ramifications etc which might just offset the little bits of time you saved.
And it generates enormous piles of files on disk. Sometimes so much that it won't fit on a github runner.
Next door (PT) the right wing also wants to cut down on several things: social sciences, philosophy, sex ed. Part of (1) a crusade against what is perceived to be "the communists brainwashing your kids", and (2) an idea that schools and universities ought only to teach that which the market requires. So yes to STEM because it has economical value, and no to social sciences, arts, or philosophy because according to The Market it doesn't.
Yes! Fortunately most people are pretty good at figuring this out even without that message.
Congratulations to DoD for hiring new junior dev.
The reproducibility crisis is present in almost all fields, though social sciences are definitely a place where it pops up often. Using it as an excuse to cut funding only makes the problem worse.

Computer science is also pretty embarrassing as a field of science: https://www.researchgate.net/publication/359147521_Reproduci...
Based on this result (0%), New Zealand may as well dispose of all computer science studies as well.
Yeah they're actually licensing horizon OS out to other parties. No way they're giving up that control. And I wouldn't either tbh. Google is going to kill this sooner rather than later anyway.
The military does love a good acronym.

And a good backronym. If some system doesn’t have these letters starting its name, it will soon!
plot twist, the person who sent it here is the responsible for creating the test page
Anyone thats managed a website before has probably done that test post and forgot to delete it after the fact.
Under MAID and against their will?

Can you provide details of this?
'The thought of it repelled me': a skiing accident left me unable to read
It only looks like a test. The DOD just activated all our sleeper agents in Asfasfastan.
Ship collision risk threatens whales across the oceans
University endowment tax could hurt funding, VC warns
Thank god at least it’s in English not Chinese or Russian
The benefits of Ozempic and its kin may extend far beyond weight loss
Do external deadlines help you?

In some cases, time pressure can focus me and get me to a solution faster, but I then need downtime to recharge. I don't think I've worked in that sort of environment since working in food service or at a movie theater.

Deadlines often just stress me because I can't effectively reason about the intervening time.
Contains secret code?
Depending on the prominence of the user, that could have been further coerced as a fact or reference, and/or inferred as factual if enough people agreed, in the next training session.

Upvotes as truth-confidence scores, what could go wrong?

Ironically some iotas of truth can be outputted directly, but if the most explicitly articulated reference is by a (non power-) user on a forum in a comment, it will be sourced as anonymous/eponymous wisdom (unless suffiently coerced)
More likely they use CMS, since it's the news section of the site, and someone simply clicked "Publish" too soon and forgot they did.
Do you think they might start monetizing, for example, by prioritizing certain companies' products over others? For now, we are getting some traffic from chatgpt whenever someone asks for sleep and heart rate monitors, which is nice.
You missed GP's point. One should not call another's work "trash" here. That is not what this site is about.

That does not mean the site cannot be critiqued, however, as plenty of other commenters have successfully accomplished here today.
Permission to Act: The Psychology of Effective Planning
"You can’t escape eventual consistency in a distributed system."

Can't you, though, if you sacrificed availability?

I like to think "Eventual Consistency" is an euphemism for no consistency, mostly popularized by the MongoDB folks.

In my opinion it is not a coincidence that the term was almost unknown before 2009, the year MongoDB was introduced.

https://trends.google.com/trends/explore?date=all&q=%22event...
Just watch as all our geopolitical adversaries scramble to demonstrate their test capabilities.
pry-byebug (combines pry and byebug together) is my favorite tool these days
You came away with a completely different understanding to the article than I did! I took it to be

"here's some guidelines for being a PM of an AI dev team"

Rather than

"Here's how to use AI to be a better PM"
I would go one further and suspect the author used only their left hand to type the message!
Removing all choices removes the flexibility.

It appears that occasionally straying from the hard rules provides an overall better fitness to the organism given that the fitness landscape (or fitness seascape) changes with time
When you work from home and your kids are learning to publish news posts )))
Ailawyer 12/12
> too many graduates from certain social sciences and humanities compared to the actual need of employers / academia.

The real problem is that college was never designed to be job preparation and (with limited exceptions) it does rather poorly at that. The idea was never that you'd go to college to research a subject at the bachelor level and then go into a career that directly uses what you learned—it wasn't always a white collar trade school.

Back when college was the privilege of the elite, it was about learning for learning's sake and about making connections and meeting people. It didn't especially matter what subject you chose to learn about—you're a member of the elite after all, and you either have money already or have the family connections to get it whatever you studied.

It seems to have only been once college started to democratize that we started expecting every subject to be job prep for something specific. On one level this makes sense—you can't actually democratize the experience of learning for learning's sake alone until you democratize being guaranteed sufficient money to live on. But only a few departments in most universities are even capable of reshaping themselves into job training programs, leaving the rest to now frantically justify their existence.

This is a huge problem because the knowledge produced by those departments—even while they were only the privilege of the elite—has been invaluable. But they don't meet the modern economics of the university.
JavaScript lambdas are better for FP than those in Python because they can be on multiple lines.

If going untyped JS, then you don't have the same restrictions as Java.

If going typed, then the TypeScript type-system is more powerful than Java's.
This is actually a HN hiring post / the worlds most secure CAPTCHA: if you can decode this Elon’s D.O.G.E will be reaching out
Yeah and that wasn't even the real reason glass failed. The tech just wasn't mature.
One of the vaccines he claimed was okay and he wasn't opposed to, as evidence he isn't just antivax? I'm shocked.
Author might want to read peopleware, which had an entire chapter claiming that Parkinson's law does_not_ work for software projects.

The key take away is that Parkinson's law works on small tasks that don't fit into normal workflow. The author's examples are actually all this! The author gave the example of the due date for the survey. That's a 5-10 minute task. This is where the law applies. It means a task, as in, less than an hour of work, will get done on the due date. It does NOT mean that a project, a multi-person, multi-week thing, will get done on the deadline.
So all the author's examples are correct, but then the author extrapolates to projects, and that's where everything falls apart.
Accuracy and precision is useful. If Maslow's hierarchy of needs is neither, I question how useful it truly is. At best then, it would a narrative device to tell a persuasive story, but the fact that it has no factual basis means you can twist it to tell whatever story you want.

This is a problem endemic to social sciences due to the replication crisis. Lots of social scientists in this article are saying that their field is important to the economy, but given they mainly produce results that don't replicate (~30% replicate last I checked), maybe they should focus on improving that so their ROI is actually compelling.
Maybe its web-scale.
Maybe that's true of major projects, especially when there are maybe unknown unknowns. (And maybe not.) But there are a ton of deliverables that should be fairly predictable that come with people who have downstream dependencies on them. (Promotion, launch plans, etc.) When something is late it can cause a lot of scrambling and wasted time/money.

[And just to add, I'm mostly speaking to work I'm creating and delivering--for the most part individually. And to the degree that I'm depending on client reviews, etc. that's in the contract.]
The Influence of Hallucinogenic Mushrooms on Christmas(2020)
AI Security in the Enterprise