skysight-inc/HackerNews huggingface dataset:
This is a good advertisement for the approach I came up with eventually: if you don't see a trivial way to the next square, find a sequence that will lead to it that starts in the lower right quadrant, then go to that quadrant and get to that square. (The lower right quadrant is the center ring in this diagram.)

I'm used to a version with pawns that involves less backtracking, so it took me a little while to stop trying to be "smarter" and just be okay with continually returning to home base.
That seems to be a very interesting author. Sadly no english translations of his works seem to exist? Kurva!
If you like this, you should probably try out Alba.
What companies are no longer giving stock?
I don't read the news on April 1 because it got old decades ago. Sunsetting a service, rather than killing it outright, is a kindness. Making the announcement on April 1 means people will miss it or ignore it. Uncool.
Next, they'll introduce ads into free plan responses.
Oral History of Ken Thompson
100% like it or not vendor lock-in is there with all workflow solutions. We need standardisation with workflow solutions as mentioned here in detail https://twitter.com/gwenshap/status/1505950830767206400?s=46...
> So it's supposed to be impossible to get the 3 hours or 9TWh (12 years of 2022 production) of battery.. but scaling Uranium production and the entire reactor and enrichment supply chain 10x with no significant pipelined expansion is trivial

Yes, that is exactly right!

Energy density of natural, raw, unenriched uranium is 1,000,000 MJ/KG, and energy density of a lithium battery is 0.46 MJ/KG.

1 kilo of uranium gives you 1,000 times more energy than a kilo of lithium will be able to 'process' over the entire 10-year life expectancy of the battery.

You will need 1,000 fewer excavators, dump trucks and people involved in mining if you choose uranium.

If price of uranium increases 3x nobody cares, fuel is like 5% of cost for nuclear.
If price of lithium increases 3x it's a disaster, the entire transition to electric vehicles will fail.

We don't even have enough batteries for vehicles, the grid needs another solution, either hydro + hydrogen storage or nuclear.
At $42/mo should generate Netflix personalised series on own meta environment.
Vaccination may trigger some cascade that has effects beyond the intended immune response... activating processes which in some way clean the brain or filter blood more thoroughly before it passes through the BBB.

The integrated nature of the immune system whatever immediate response vaccination triggers probably
Started as a barback and worked long shifts overnight while still attending music college during the day. Made £5.05 per hour before taxes. Had to use my arm to sweep under the bars — the detritus mostly consisting of broken glass, lime wedges, and general dirt. The wounds on your arms would only be superficial, but the bits of vodka and citric acid made it sting.

Had to run up and down stairs carrying cases of beer and armchairs.

Slept very little. Consumed a load of sugar and caffeine to try to stay alert.

Switched to software. Wasn't very good at it. Still not very good at it, but I'm proud to have built a really great company full of lovely and talented people around the world. We're making some real waves now too[0].

[0]: https://www.globalreinsurance.com/home/over-24-billion-premi...
I find it quicker then a google search for things like generating code to initialize a list in a single line in Java when I forgot about Arrays.asList or creating a skeleton rest service in Springboot so I don't have to remember the exact annotations. I won't use it on my work computer though. It's not worth $42 for personal use but if I thought I could get my company to get me the professional plan I would.
“Countries that stigmatize and punish sex outside of marriage inexplicably have low levels of sexually transmitted diseases. Social scientists at a loss for any explanation.” You’ll struggle to find air tight explanations for any sociological phenomenon. But as far as such correlations go this is a pretty compelling one. Certainly if I’m in Asia I wouldn’t be inclined to mess with a system that seems to be working.
However, the amount of teaching material focusing on software verification using Lean is frustratingly small?

Coq has FRAP and CPDT [1], which teach you most techniques that are used in industry. Also Software Foundations.

AFAIK, there's a version of Concrete Semantics using Lean [2]. But that's still just semantics.

Any other materials focused on software verification, not on formalizing mathematics?

[1] http://adam.chlipala.net

[2] https://news.ycombinator.com/item?id=22794533
Define "car". Why wouldn't it be a car from super mileage competition? https://en.wikipedia.org/wiki/SAE_Supermileage_Competition

3788 miles per gallon. 1610 km/L for the sane folks.
What kind of certainty? All else equal, (1) when the punishment for the crime is severe, you'd want to be more certain that the convicted criminal is actually guilty ("It's bad when innocent men are punished."); (2) when the crime is not very serious, you don't really care whether the convict is guilty or not (because we assume the punishment is not very severe). So we want more certainty-of-guilt in case 1 and less certainty-of-guilt in case 2.

We can also ask for certainty that people who are guilty in fact get convicted. ("It's bad when guilty men go free.") This is the opposite of the other kind of certainty. Here, we'd want a lot of that type of certainty for crimes with severe punishments (we assume that such crimes are very serious), and we don't really care about this for crimes with no particular impact on victims. So we want more certainty-of-conviction in case 1 and less certainty-of-conviction in case 2.

Certainty-of-conviction and certainty-of-guilt are, in the general case, directly in conflict with each other. We don't want either (in a relative sense) for trivial crimes, so it doesn't really matter what happens. We want lots of both for serious crimes, so what happens matters, but we can't actually achieve both goals.

In conclusion, when setting your policy, you need to look at other aspects of the crime than the one(s) you mention here, which are not informative as to this question. (Though they are informative as to the question you literally asked; we want more certainty of every type on serious crimes.) Perhaps the punishment for a particular crime is out of proportion to how serious that crime is. If the punishment is too heavy, we'd want more certainty-of-guilt; if it's too light, we'd want more certainty-of-conviction. Perhaps it's much easier than usual to reliably determine guilt-in-fact for a particular crime. Then we'd want more certainty-of-conviction.
It's in QVB (Queen Victoria Building) in the CBD, you can see it behind a glass enclosure.

I don't consider it a secret message, more like a time capsule.
The author believes he's owed more $ than what apple offers on his 15 month old machine.

Apple likely targets a specific margin per sale. After doing the trade in and factoring costs... it's not worth offering more when newer apple chips are available that customers want.

And the weird belief that apple should help the environment by paying more money an old machine... seriously?

If you care about the environment you should hang onto your old machine and control your consumerist appetite.

English is not my first language but this article is so poor, it makes the reader think... can just anyone work at tech radar? They pay these authors per article? The lack of logical thinking... the author admits they aren't planning to trade in their machine so it's clear to me they're just amplifying this non story for controversy and clicks.
https://www.merriam-webster.com/dictionary/engineer

noun, 3c: "a person who carries through an enterprise by skillful or artful contrivance"
I don’t buy it. If companies could hire sufficient leadership for much less money, this would give them a huge competitive advantage.

It looks to me like the problem is actually the opposite: these skills are so rare that an astronomical salary still won’t make it easy to find someone that can do the job well. Companies are paying these crazy amounts and yet still settling for relatively unskilled leaders, and they would get even worse if they paid even less. US ceos get paid more because the demand is higher. I have had the opportunity to work closely with a lot of leaders in industry, and have seen firsthand that only a tiny fraction are competent. A big portion of companies fail because they aren’t able to recruit anyone with strong leadership skills at any price.
For those wondering about the blue haired elderly woman... the archetype is that of Mrs. Slowcombe. For example https://youtu.be/wBiNSI-4qFs
We don’t have direct control over the specific products, but as I understand it the extreme amounts of neurons in a nuclear bomb destabilize large atoms.

https://en.wikipedia.org/wiki/Radioactive_waste#Transmutatio...

I don’t understand all the details but apparently this is why some types of H-Bombs can be relatively “clean.”
I thought it was bottom as in "⊥". But that is orthogonal too.
Nah, let’s say you searched for the product in google, and clicked on the Amazon result, google gets a cut. If you type in smile.Amazon.*, google can’t claim that cut ( I assume ).
... he says after screwing it all up with lobbying for excessive privatization.

If they had kept their hands off it it would be great. Like the public system in Spain still is, even after the budget cuts during the credit crisis.
al qaeda means the database, and as with all DBs, it has a backdoor operated by the CIA.
No, that's because Proposition 13 meant funding for essential new infrastructure could only come from ballot initiatives, meaning projects have to be approved by the least informed people.
> Benefits - Benefits we offer include:

> - Optional equity donation matching at a 3:1 ratio, up to 50% of your equity grant..

> - Unlimited PTO – most staff take between 4-6 weeks each year, sometimes more
Yeah that's correct, but sometimes it seems what we are calling hallucination is recall of bad training data, Sebastian Raschka had a short post about this[1].

I was asking it a medical question about the imaging criteria for characterizing a renal cyst and part of it's response included "septations that do not reach the cyst wall" which is a physical impossibility (a septation is a division/partition of a cyst which arises from the wall by definition) and to my medical knowledge/quick search that sequence of words has never been put together by a human anywhere.

I get next token prediction, but I find it non-intuitive it's outputting sequences that are very incorrect and have never appeared in the same context window over a variant of the many more accurate sequences it has definitely seen during training, shouldn't there be many permutations of more probable sequences before it hallucinates this?

[1] https://sebastianraschka.com/blog/2023/chatgpt-dilemma.html
These companies agreed to provide it for free to lower income people in a deal with the IRS. The IRS agreed not to make it easy to file taxes.
iPhones and iPads Now Require a Passcode on Every Backup/Sync
Very interesting! My understanding is that you're thinking about this more in terms of an 'application environment for power-users' than in terms of a 'multi-faceted IDE with lensing'.

To clarify, the specificity of Emacs is that it fully exposes it's internal function sets to the world. This could be done by other applications in an organized way. For example, in the picture-editing app example, it would amount to allowing scripting over the features that the app exposes. The scripting feature would come from the environment, not from anything specific the app itself does (apart from being built in that environment). The previously mentioned IDE could then be thought of simply the multi-tasking environment in which such generic applications are running.

Does this roughly correspond to what the project is about?
This would be a good candidate for a k-anonymous API where you can query if a specified full name, DoB, etc., is in the list without divulging the list or the request.
Because I don't speak on things I don't know or have any experience with. Easy concept.
Oh, but this isn't even about that kind of engagement. It's just saying you don't need to comment in threads about your employer. I'll go one step further and say you shouldn't. Better not to find out you said the wrong thing as a company representative. And maybe it's good practice for seeing threads and not saying anything.
How does one discern "sort of annoying" and "triggering"? Sounds like they are coping with severe trauma to me personally. It isn't cool to minimize others peoples pain like this.
One study found that being laid off ranked seventh among the most stressful life experiences — above divorce, a sudden and serious impairment of hearing or vision, or the death of a close friend. Experts advise that it takes, on average, two years to recover from the psychological trauma of losing a job.

For healthy employees without pre-existing health conditions, the odds of developing a new health condition rise by 83% in the first 15 to 18 months after a layoff, with the most common conditions being stress-related illnesses, including hypertension, heart disease, and arthritis. The psychological and financial pressure of being laid off can increase the risk of suicide by 1.3 to 3 times. Displaced workers have twice the risk of developing depression, four times the risk of substance abuse, and six times the risk of committing violent acts including partner and child abuse. The stress induced by a layoff can even impair fetal development.
Browser-extension: 17 browsers support, Vite fast builds
It's pretty complex actually. There are multiple ways to avoid double taxation, but each have their own nuances and limitations (that can extend for years). Ideally you'd complete the return for each scenario and compare across them.
You are assuming a very ideal scenario, which is dangerous.

Even so, do you have another figure? This is a complex molecule, it is naturally inefficient to produce compared to hydrogen, which is below 50%.
And the welding, soooo much welding...
"Conpanies overhired during the pandemic."

Where did all those people come from? Was there huge unemployment before?
Couldn't really find much use of it. An interesting toy indeed, but a toy nevertheless.
Yet another clickbait for rust sigh
I live in a place where "engineer" is defined by law and requires membership in a professional order. That prompt "engineer" would basically be fined a significant portion of their salary for using the title.
Considering the IRS doesn't even have access to things like cost-basis for capital gains, no way I'd trust them to complete it correctly. They'll likely just assume best case scenario for them (and worst for you).
Missed opportunity to make each snowflake unique
I had a friend with a common Indian name get bounced off a flight and then be unable to book flights after it turned out he shared his name with someone on the no-fly. He had to petition his senator/congress person to get off it. TSA had no easy way to prove innocence. It was very clear the list was just a list of names with no useful or distinguishing unique fields with it.

This was roughly 10 years ago, so things might have changed, but at the time it seemed like federal agencies could easily append to the list, but there was no standard process to get off it. I'd guess there are obvious incentive for agencies to add ("hey look, we've found terrorists", even if nothing was actually done about it), and none to remove people from it.
It may be possible to flash visual stimuli fast enough for it not to be consciously noticed — but for an EEG to still reveal whether the visual pattern was familiar or not.[0] The ERP circuit of interest is the P300 circuit.[1]

Effectively a brain side-channel that could let someone fuzz your brain for pin codes while you type out jira tickets.

0: https://www.usenix.org/conference/usenixsecurity12/technical...

1: https://en.wikipedia.org/wiki/P300_(neuroscience)
Sub and ship reactors are effectively sealed units that are not intended to be refueled on a regular basis. They can be serviced and refueled eventually, but it is a major overhaul to do so.

https://en.wikipedia.org/wiki/Refueling_and_overhaul
As the old joke goes, there are 10 types of people in the world, those that understand binary... and nine others.
>> I think the big problem is that any such thing you'd design an interface for might change in such a way that it doesn't make any sense to preserve this hypothetical interface over time. Rust's standard library promises to keep maintaining all the pieces long after they're obsolete, and the bigger it gets the harder that will be.

True. However, without more standardized components the Rust ecosystem could end up like the Common Lisp library problem: lots of libraries in various states of maturity and maintenance with no obvious choice of what to use to solve your problem.

Big standard libraries help to drive corporate and enterprise adoption. It is part of the reason why Java and Python are so widely used in corporate / enterprise environments. It brings a lot of standardized functionality and longer-term support that those kinds of environments want.

We rely on the Rust standard library because it will be maintained for a very long time and has mostly stable APIs. Without a bigger standard library or some other kind of standardization, we would build our own libraries that might re-invent the wheel, but at least we know that our libraries will be maintained.
Hi, shikshake. Next month my PhD will complete six years (+2 of the "regular" 4 years). I still have to evaluate my proposal (finish planning details, invite experts and perform case studies). I am exhausted. I have published 3 papers as first-author, but none of them is actually my core thesis. My graduate program requires minimum publishing criteria, so I pursued this criteria. You need the thesis and the publications, period. But I have a marriage, one kid before the beginning of the PhD, one kid born on the second year, a pandemic on the fourth and fifth year, the discovery of autism of the second child on the beginning of the sixth year. It is too much for me. I am lazy, I procastinate, I am a news addicted.
But I have a wonderful adviser. She always says "keep working in whatever you can", "write your way out".
It is worth noting that my first two years was spent with a bullying ex-adviser that was more in the business of "filtering" students then properly advising.
In almost every business day of last three years I have made some kind of progress, but it was not enough, I am still late. Every time I open the LaTeX editor, I think about quitting. Anxiety is high. I keep blaming myself for the (lots of) bad decisons I made. When I finally can get away of bad feelings, I produce something. I am capable of building the proposed system, but it is taking longer then I thought.
I really do not know if I will graduate or not. But what it is working for me is this: 0) Revise the thesis scope (or "I really need to do all this?"), 1) write one paragraph or code function at time, 2) keep a lean todo list (only the essencial).
I keep battling because I really need to finish the PhD, as I also think you need. Just write one new paragraph. Or code a tiny feature. After that, start again: a new paragraph/code. Will we finish the thesis before the final deadline? Who knows. But at least we worked until the last day as much as we can. If we (and I hope we don't) fail, I am sure that battling until the very end will make a huge difference in how we deal with the failure.
I would add Canada and Alaska, but I think you are right, only Europe has high population and poor conditions for renewables - a terrible combination.

This is not about industry, they need to run their economy, residential heating, etc.
I can't think of a single country that doesn't exhibit some authoritarian traits. That doesn't make them authoritarian.
Consciousness and Materialism
Losing your job is a binary event, you have the job or you don’t. It’s not much of a comfort to someone who has been laid off that stocks are doing worse.
It's in Google's 10-Q filing with the SEC btw.

https://abc.xyz/investor/
It's not the rate that counts if your list is intended to stop people who have an elevated risk of carrying out an attack.

> Worrying about terrorism is extremely foolish.

I'm not debating the merit of the list or terrorism policy. But if you have a list in the first place then it's illogical to say its size should be relative to the number of successful terrorist attacks on planes. Not without more information about the distribution of terrorism inclination in the population.
>>Here is a very good map to find a dark place:

and here is where they get there dataset:
https://dataservices.gfz-potsdam.de/contact/showshort.php?id...

Thank you btw. Informative post.
But you don't have to engage on every topic, for example about your employer (as Xe mentions).

If something topic is not pleasant -- walk by, and satisfy your social impulse in some other way. Go to Hacker News and leave some comments under topics you find interesting. Go to your local Reddit and discuss how badly your town services work. Find a forum for your favorite series and start a --flamewar-- heated discussion about motivations of one of the main characters. In the age of internet, the possibilities for communications are endless.

(In-person/private communications is harder, but that's not what the post was about)
A little off-topic, but has anyone ever developed residential hydrogen production / storage solution? What's the smallest scale hydrogen storage avaliable?
I received this text just now, is this a scam??
I don't know who applied it to LLMs, but it is/was the standard term used for an image processing model producing a detailed signal not justified by its inputs. For example, "face hallucination" means that the model produces a detailed-looking face when given very noisy data, but of course the face will not actually be the original face. In fact, the original image may have had no face at all. Hallucination can be either desired (as a kind of generative technique) or very harmful - imagine using image enhancement to identify a criminal in a noisy image, and getting a detailed face looking like someone in your training set - but not the right person's.

Any image enhancement technique, deep learning-based or not, can result in hallucination - you're producing information which was not in your input, which you're able to do because you have priors. But this can always result in incorrect information.
The video defines "car".
The PayPal forgot password form had this bug just a couple years ago. I changed my password to a generated one. And it was too long. But it didn’t tell me. Just silently truncated.

I used the password reset to change it. This time I used a pretty short password I could type (to rule out a weird copy-paste bug or something). Logged in, went to the change password option and THAT page informed me there was a character limit.
This is beautiful!

Sprinting is a bit too slow though.
>There is no logical reason to leave a discussion because what OOP meant to me differs from what OOP meant to you

there is reason to do so if you're trolling.
Isn’t it only recently that the conspiracists have gained so much ground? My whole life until Covid I knew of one person whose parents hadn’t got him routinely vaccinated, everyone in my circle found that very strange and as soon as he was able he did it himself.

I’m having trouble finding information with Google because everything is about Covid now, but as far as I remember routine vaccination rates in e.g. the UK were close to 100%
Or people like my stepdad’s cousin who took ten years to get the money back that they paid (because of a mistake on the IRS’s part due to having the same name but different SSN as a tax dodger) so they didn’t get their assets/house seized.

This was before the kinder, gentler IRS but still.