skysight-inc/HackerNews huggingface dataset:
This reminds me of this science fiction story- https://qntm.org/mmacevedo which I keep coming back to like a loose tooth.
> My tech lead insists I'm far too valuable to lose, and wouldn't be on the list for any future layoffs

I've been told things like this in the past. Each time it triggered my Spidey-Sense. I've yet to get hit by a layoff, but 75% of the tech companies I've worked for have experienced layoffs in the '00s, '10s, and now '20s.

The last time a manager told me this I took it as a sign of incoming trouble and found a new employer. That former manager, a VP, was laid off this week. As another HN user commented in this thread, most management are also just workers. As such, they don't have really have the pull to say these things. IMO, they're trying to stop the bleeding.
I was surprised to see the omission of a prompt technique called program-aided prompting.

Paper: https://arxiv.org/abs/2211.10435
GitHub: https://github.com/reasoning-machines/pal

tl;dr -- LLMs are bad at basic arithmetic and logic (as their opening examples with math word problems show), but they do much better if instead of asking them for the answer, you ask for code to compute the answer. Then evaluate or run the code to get the answer.
Again, I think there is a massive oversimplification in this statement.

So if an AI gets to the point where it decides, or is programmed to consume all humans for their atoms, what will power the machine to get to this stage? Why would we just allow it to continue doing this?

You'd have to assume that by the stage, whatever "sentient" program is making the choice / plans to consume all people for atoms, it would have to be factoring into it's plans that we will likely try stop it from doing so, this is where I think it gets "weird".

To have that level of intelligence and self-awareness to pull off a plan like that unnoticed will likely come with a lot of "baggage". For example, it would need to understand motives, reasoning, have a concept of a self and self-protection etc. This is where I think it kind of becomes a bit of a mythological story.

If you really try and think about the way an AI would go about consuming all people for atoms, you start to run into some pretty interesting walls.

Maybe I'm being hyper naive and I get that, I just personally have thought about these scenarios and it raises a lot of questions about what a scenario like this would actually look like in practice.
some of the articles and videos i've seen talk about rio verde being ~40 miles from scottsdale.

that's like saying canada is 900 miles from america.

the town centers do appear to be 40-ish miles apart, but there are rio verde houses just a few meters outside of scottsdale.

this gmap might show you the outline of scottsdale, and the center of rio verde about 7 miles east of the eastern edge of scottsdale.

and the center of rio verde being a golf community. really.

:-D

https://goo.gl/maps/cWb6zdCpcaqxKCPB7

it is beautiful out there, i'll give them that much, and i can't wait to never go back to the phoenix area except for the snowbird season maybe.
Seemed to me like the US and allies were equally painted as aggressors and "bad guys" in the movie. The protagonists were even negatively affected by the US using the UK as a launchpad for war before any bomb had dropped. Allied states actively suppressed anti-nuclear proliferation movements with violence in the movie, as well.

I think a point that they were trying to drive home is that there are no "good guys" or winners in a nuclear war, especially when it comes to those who perpetrate it on any side.
> I was in another discussion on votes about top performers

Good grief, that sounds horrible.
Mobile application Worded. Memorize words, phrases and idioms that respond only to your individual needs.
Sure. The question then, is if Google, with its deep pockets will let you pursue your deep interest, better or worse than a startup dedicated to a niche.
Well, one way to answer the minimum is, one has to report every 0.49 dollars of income, even if the bank who paid did not report it to IRS.

Agree, most countries (including India) simply opens their portals, you sign in, check all numbers, report anything missing like income or deduction, and press the final Enter.
(I'm unable to edit, so I want to add this note: polio is not eradicated, and the discussion surrounding its purported eradication seems, to me, to have a whiff of racism or even colonialism. Although outbreaks happen and gain media notoriety in Africa, let's keep in mind that, when we started doing more serious pathogen surveillance in sewage systems during the SARS-COV-2 outbreak, we found it in the USA too.)
Jester – A Chess App on Nostr
> I promise you I wouldn't.

How would you feel about a stranger purposely and repeatedly drenching your sick grandmother or elderly immuno-vulnerable mother with a water hose in the middle of winter?
Recent windows versions natively support ssh, scp, sftp on the command line.
is that good or bad?
It's a bit more than that in Haskell (and I guess Idris, but never tried). In Haskell you can write 'undefined' in any definition. 'undefined' is of any type, so the code will type-check. Then you can write a high-level sketch of your program, including functions, purely based on types and 'undefined'. When you are satisfied playing the types puzzle, you proceed to write implementations. This is referred to as "hole-driven programming" or "type hole-driven programming".

Also, like the other guy mentioned, the types lend themselves very well to auto-completion. It's no coincidence than in Hoogle, you can often find a function by its type. E.g., what could "[a] -> [b] -> [(a,b)]" possibly do?

https://hoogle.haskell.org/
First webgl without lags.
Being a curmudgeon is an old-school approach to job security. I've experienced it a few times in my work life and career.
It’s a bit complicated. I work for a Metro Authorized Dealer(basically, a franchise). About 98% of Metro stores are Dealer-owned and 2% are Corporate. operationally, the upmost level we are ultimately beholden to controlled by, and at the mercy T-Mobile leadership (who regularly fines Dealers for the most trivial of things, has unrealistic expectations and as such I’d say half of Metro stores are operating at a loss and several thousand already shuttered in the last few years). T-Mobile leadership has autonomy to fire any Metro Authorized Dealer employee or revoke the Dealer at will. So basically as an employee I’m subservient to T-Mobile leadership and use T-Mobile Enterprise equipment & software but I don’t actually work for “T-Mobile” proper.
Yes. The key to saving power is to turn the hardware off as much as possible.
> However, the world is also transitioning to Electric Vehicles, and most EV manufacturers are offering V2G (vehicle to grid) solutions, so millions of EVs can contribute

V2G is idiotic. It cost £10 for full-charge of Tesla in UK pre-ukraine. Half of that money is distribution cost, not energy cost. What will you earn from buying low, selling high in V2G? Let's be generous, say it's £5.

So the battery lasts 1500 cycles, you are going to make £7500. And the battery costs £17,000 to replace?

No-one will be damaging their expensive car battery to earn fraction of a dollar to earn pennies. For anyone to do this, it has to be 2x above break even.

> Lithium is not exactly rare or hard to extract, you can even extract lithium from saltwater, so this argument seems specious.

You can extract anything from seawater, even gold.

"Using electrochemical methods, comparable to those used in electroplating, gold has actually been extracted from the ocean, but unfortunately the cost of the process is five times the value of the gold obtained."

“It's technically possible to extract lithium from seawater,” Cui says. “But it's all about cost. And currently it's too high.”
There was a case in the Netherlands in which they got a nurse to confess to a killing spree.

Unfortunately it is impossible to explain to people that a confession is meaningless.
"The entire space is still pretty raw, the UX’s aren’t anywhere close to Twitter yet ...

Let's hope it stays that way.
JB’s (Jim Barksdale’s) witty homilies
Succinct. Nice.

Wikipedia's treatment is a bit more nuanced. https://en.wikipedia.org/wiki/Socialism
Nuclear submarines cost on the order of $6B a pop, so I'd hesitate to describe anything about them as "cheap". We use nuclear reactors in them because there's no other power source that's as compact and self-contained.
> As an expat, my reason is simple. Apathy!

I think it is not mere apathy but learned apathy. There is no way for the people to know who to hold accountable. The political structure is a mess. It's not even googleable.

In addition, most people don't know that they need to constantly harass their representative to get things done.

Lastly, after many decades of political decay, most rich people only clean up their high rise societies. No one fights for public streets.

That's why there are few traffic lights, no lanes on streets, no crosswalks, ruthless traffic etc. People need up-to-date websites with contact details of elected representatives so that the representatives can be spammed to death about their inaction.
we actually have ascii character pattern for that when posting.

/s
As an Indian, this meme makes me sad: https://i.redd.it/322obfbjpsaa1.png

India had one of the first civilizations with a functioning sanitary system, yet 4,000 years later, it is seemingly not yet on par with the Indus Valley civilization. Now, there are many factors for this of course, including population, corruption, apathy, etc, but still, the meme rings true.
Do we even know that the wondrous abilities of GTP3 are even given to us by a trained neural net? Might they not be generated by in real time by "data labelers"?

Sometimes I wonder whether I'm going to go from being amazed that ChatGTP3 can write wonderful javascript programs, to waking up one day inside of a "data labeling" company where I'm writing Javascript programs as fast as I can for $1.73 a pop.
Aren't those same brands cutting jobs and trimming advertising everywhere?
Seriously beautiful, well done.
A higher tolerance for random failure, but extreme exposure to expensive repairs for systematic failure.

Anything $M you have to fix in N of them costs Nx$M.
I really struggle with this; to this day I haven't found a good resolution.

I'd say by analogy you could also say: "You don't have to pursue people romantically." It's really, really true: you don't. No one will blame you for keeping to yourself. In many settings it may even be better (example: a club, where the club organizers find the drama caused by romantic entanglements annoying).

But there's a problem behind this problem, which is: while it's not necessary, if I act is if I don't 'need' to do it all (again: strictly true), that also causes problems.

Basically I have an impulse towards sex, and towards being social, which exists in a hard to measure but much-more-than-zero state. The social impulse in particular needs attention daily.

So - put that way - I kind of do have to engage. Because I work remotely I spend too long away from other people in my opinion to not engage socially whatsoever, during work hours.

Like I said, I struggle with this. But my middle-of-the-road position is that, while any individual act of engagement (like a comment) is expendable, the general behavior of seeking community on the Internet is something which I can accurately treat like a need (especially in the sense that, if I haven't done it in hours, it's time to do it).
> He did not set out to hurt her.

Well he did, it's the only reason he was arrested.
This person believes that 'the problem is that the spread is to fast, the ideas weren't properly vetted.'

Counter perspective: We are way past the era in which an authority broadcasts "The Righteous Truth." This model has been dying a slow death since the second spoken word.

The rapid spread of ideas is fine and well. 'Experts' doing the vetting are often wrong or misguided, even in time. Credentialing and trust will evolve to accommodate a fast-paced spread of ideas. The high priests of today's opinion-based hyperventilating "authorities" will pass as time reveals them to be untrustworthy frauds.
Translation: "I support this decision, because I support all my own decisions."

It is ethically meaningless, like "thoughts and prayers".
> How many were stopped by the Farm Bill alone?

I'm not that versed in US governing. Which freedoms is Farm Bill taking away and how does that prevent famines?

> if you're referring to the Holodomor, it was intentional

It's a controversial topic, but regardless - it still correlates with the mindset that some kind of central authority knows better what's good for people. Better than people themselves.
Other genders and political views
You're a hero. I don't have more to say than that.
Good investigators withhold details about a crime from the public mostly to filter out false confessions. This speaks to the fact that false confessions are common enough to make filtering techniques common practice.
https://archive.ph/0nu8Y
That’s unfortunate. They’re missing out on a lot of talented individuals.
> The mining can be as simple as evaporation ponds in the desert[0]. (You’ll need refining either way.

The OP you are replying to lives in Czechia, they are not blessed with optimal location. Most of the world isn't.

The optimal location is a paradox, it is a desert, At the same time it has to have abundance of water for extraction and evaporative pools. Very few locations have that. Extracting from non-optimal locations costs more.

like 4 people are trying to explain this to you, but you keep repeating the same thing
Fusion is also possible
This makes sense. Steve Jobs famously observes this stark contrast during his india trip too.

Though one can ask why this can’t be true of any ‘world-denying’ religion too? Judaism? Christianity? Why bother with physical cleanliness in this life when you’re gunning for salvation in the next one?
Plus worst case for a nuclear submarine is that you flood the reactor with sea water if you have a loss of cooling.
Just ask chatGPT for some lessons.
This feels like code golfing. To messy to explain to newbies. Just extra friction.

You have to explain how the syntax works, the environment it works in, and the error handling. What the hell.
Cars are mature tech. Can you fit one in your pocket?
Yeah it’s great. Mix this kind of thing with the advances in AI and we are seeing the beginning of our next tech bull market.
It’s a greedy little enclave of people who have shucked and jived their way to the top. Of course they’re going to act like this. Execs look out for themselves ONLY.
Singapore hires armies of foreign workers to clean its streets. Although steep fines and heavy enforcement, including forcing litterers to clean the streets themselves, also helps.
https://en.m.wikipedia.org/wiki/Bottom_type
queue hundreds of hn commentators
>> Frankly I don't see what "annexes" would buy the Rust ecosystem. You don't pay for what you don't use to begin with, and there's zero advantage to multiple implementations of the standard library. That's an antifeature in my opinion.

I am not talking about multiple implementations of the standard library, but rather, optional groupings of traits for common tasks. For example, could the community design / define traits for an asynchronous programming runtime?

>> The same is true in any ecosystem. How likely is your project to exist in three years, and how much would it cost to replace the dependency if it gets deprecated? It's just not that high of a risk to worry about.

The company I work for supports products that have lifetimes measured in decades. I would love for us to use Rust, but the management will not approve Rust because of how unstable the ecosystem is. Updating products because the libraries we rely on are no longer maintained would cost time and money that could be spent in ways that would add value that our customers could appreciate.
After a couple tries got it done in 16 minutes or so. Probably laughably bad for anyone good at chess but it was a fun and enlightening challenge. About midway through I had a sudden click and figured out the pattern to hit the right squares. I don’t know how to put it into words but I believe there’s a three move combo that helps you move off of one set of squares and onto the other set. And my intuition got a lot better towards the end, even getting the last squares almost by accident. Funny how that happens
Note that the sudden drop-off at the end of the graph that shows commits-per-month is because this is measuring commits-to-mathlib3. A lot of contributors are currently helping with the port-to-mathlib4 (aka the Lean 4 version of mathlib). Unfortunately there is not yet a fancy graph showing the growth of mathlib4.
Bottom line, don't ask. Just do it. You lost X number of years. It's a fact. But that does not mean you can't start now. If you can't figure it out go to a career counselor and let them help you. The last thing you want is to be in the same situation a few years from now -wondering what to do next. The sooner you start the faster you'll get to your goal.

My suggestion is to sit down and imagine your best future. Where do you want to be in 20 years? Then figure out what you need to do to get there. Good luck!
Ah yes, because every joke becomes better when you announce that it's a joke.
> behind a bar with a clientele ranging from Nobel laureates to homeless people taking a shower in the bar toilet

Berkeley?
I'm pretty sure it has almost exclusively been one person that has been explaining, and they have received numerous rebuttals from other people, but okay.

And no, I did not suggest the person I was replying to should do this in Czechia. Every country doesn't need to mine every resource. Thanks for throwing in a strawman.
The latest tech layoffs as the industry shudders
When marginal cost of energy is zero, other things than energy efficiency become more important. But where is this 15% figure coming from?
I think it isn’t necessary to give them the benefit of the doubt, they’ve brought up the language of triggering despite the original post just being sort of annoyed. In fact the original post explicitly says they don’t care about “furry shit” as they put it.
> I would rather do anything, even bartend, than keep doing this fucking tech job thing for the rest of my life.

So why don't you? Anyone can get a bar job.
Where the hell are all these “bloat jobs”? Perhaps I’m too optimistic about other people, but I couldn’t name a single person that wasn’t pulling their weight. Perhaps people that were operating more slowly than others, but no one who was outright costing more than they provided.

At Google, for reference
Yeah, you can also pay to do system design interviewing practice. I did a few paid system design interviews last year (interviewing.io) and found it helpful before a few FAANG interviews.
> Maybe the owners are assholes, but they are doing something right.

Sometimes they are assholes and they are doing it wrong but it can work for a long time because there is still a market and no one want or can compete.

Say you own the only restaurant on top of a hill. There can only be one, as the space is limited, so it's only you. There will always be some customers are people enjoy the top of the hill view despite your shitty food. The owner of such an establishment can exist for longer than you can remain sane.

It's why lots of shitty businesses and bosses exist. These guys are immune, but a nice boss/business can die if the market changes.
Indeed, central and eastern Europe are some of the worst places on Earth for renewable energy. They are "nuclear's last stand". What this means, though, is that in a post-fossil world energy intensive industries will simply move elsewhere. Why build your aluminum smelter in an energy ghetto?
Why do you view focusing on one's family as a negative? You can still do excellent work and focus on your family.

If by that you mean "won't be willing to be exploited by working 70hr weeks and weekends" then that's a whole different conversation.
In aggregate, it's all a question of numbers. Alas.

If you want 0% chance for innocent people to get convicted, you have to let many guilty people go.
Flip side is identity thieves do your taxes early for you and get your refund.
This is the consequence of the perpetual outrage culture, which leads to moral cowardice. You can't just talk about the facts and rely on people being adults and treating them responsibly by considering context. You are afraid someone somewhere will make a wrong conclusion - and it will be your fault, how did you dare to say something without 20 disclaimers, trigger warnings and equivocations?! If you said something about some group that somebody could use in a bad faith way - you are the phobe and commit violence, unless you perform ritual purification of your statement first. It's a horrible way to conduct things.
Sure, and penalties might not be assessed. But that doesn't stop you from being liable for the unpaid taxes.
That's how I took it as well. Everyone talks about highlighting stuff but you don't get highlights in real games. I got more comfortable with knight manouvers and chess notation thanks to this puzzle.

It should definitely have some visual tutorial for people to understand how it works though.
Related: https://www.tylervigen.com/spurious-correlations
I mean hacker news has it too - I’ll come along and point out that 1+1 is 10 in binary or 11 if it’s ASCII.
That’s not the normal nomenclature. If that language was used to describe, for instance, Java, we could say that Java only has a very small number of types: the unboxed types, and “object”. But this is not how we usually describe Java, and also not how we normally describe dynamically typed languages.
Please take a look at the papers about Lean (https://leanprover-community.github.io/papers.html) and explain to me how that "reinvents everything".

There are several new and non-trivial things going on in this language! Look at the papers about hygienic macros, or functional-but-in-place, or any of the others.
Didnt chess.com publish a report that found no evidence of wrong doing in that specific tournament?
I’d love to learn more about the tooling used to make this.
A verbal threat is assault.

Touching a person against their will is battery.

Sounds like you dont like the long established legal definitions of these terms but I recommend not breaking these laws or you will go to jail too.
I am not excusing any grift, poor planning, overpromises, or shoddy work done at any of these projects. But man to put so much faith (and money) into foreign banks and companies to be able to plan and carry out huge infrastructure projects on your land seems like a great recipe for potential disaster.
Not to mention when there's a problem, especially a SEV, you have oncalls and entire teams of people rushing to fix it, giving trackable status updates, responding directly to you, etc.

Compare that to posting on Stack Overflow and praying for a high quality response.
Here is one possible solution using fewest moves (I think)
https://tinyurl.com/noitaint
|what is contributing to what portion of your tax bill

Do you have an example of what other products provide for this? Does IRS Free File do better in this regard?
Oof, reactor in my pocket is a tasty prospect. Personal computing and personal transport could get super exciting. Basically a grown up way of saying Iron Man suits one day...
Doesn't "engineer" mean anything anymore?
Craig Salter started his own consulting business and grew it to 7 figures. It didn't stop there, He saw a gap in the market and then created a 7 figure software company by using his consulting business as a distribution channel.