skysight-inc/HackerNews huggingface dataset:
TOTP is effectively a cryptographic hash(shared-secret, time) producing 6 decimal digits where time gets incremented every 30s. The server accepts the token if it's recent enough.

Many desktop password managers have built in support (e.g. keepass2).
No. They're not. Crypto is always trying to latch itself onto useful technologies, in hopes of tricking people into believing that it's useful.
The Vicuna headline was def an overreach, although the main text admits pretty readily that their performance test (asking ChatGPT to evaluate quality) is not rigorous [1]. I'm sure that has set a lot of people pontificating about AGI with tiny models, but I can't imagine anyone who has worked directly with fine tuning having that impression.

The comments I see here are not about that. They are about small models succeeding at specific tasks, which is affirmed by this paper. Most applications of LLMs are not general purpose chat bots, so this is not bad news for most of the distill/fine tune community.

[1] https://lmsys.org/blog/2023-03-30-vicuna/
> usually you reach out precisely because the automated solutions on the website aren't working.

I work closely with customer care in Telco and this might be true for tech-savvy people, but 80% of our call volume is still problems solved by "have you tried turning it off and on again?"

Sure, it's frustrating if you know exactly what you need fixed, but the automated triage makes sense for most businesses out there.
If that's the case, why Tesla easily beats any other opponent overseas as well? Here, in Australia, they do not get any subsidies. Model 3 and Y sales are leaving all others, including Ioniq, far behind.
Hard to argue with robust monitoring of CO2 concentrations which are now increasing linearly rather than exponentially (i.e emissions are constant instead of increasing).
Blind requires you to have a company email in order to even participate, meaning if you left the company, you no longer can sign up for Blind. So if you want to review a company, how would you?

Blind also targets having communities for people inside companies to talk, and facilitating discussion. Glassdoor is mainly about reviewing companies.
Fokker could return in 2035 with hydrogen jetliner
- Experiment as much as possible
- Keep your feedback loop as short as possible between reading and doing
- Visualize things (debug outputs, scratchpad of short lived diagrams, etc.)
- When possible, envision what the finish line looks like and go backwards from there

For the first one, if you think solution A, B or C might be good then don't spend a huge amount of time theory crafting or wondering "what if" while you torture yourself to pick the "right" one for your use case. Do your basic research and make a proof of concept with all 3 and pick the one that feels best after you have experience with all of them. Often times this isn't much slower than going down a deep theory craft rabbit hole and the result is going to likely be better and you'll feel better about it in the end.

The last bullet is especially useful for building tools or APIs where you can start with using your tool / API as if it does exist exactly how you want it in a best case scenario and work backwards to implement the solution you want. Break down the steps along the way.
Oh yeah, these are basically my job. I have a few ways:

1. Set a time budget and be willing to walk away if I'm not making progress. Sometimes "yep, sucks, but is what it is" is the answer.

2. If it looks impossible, be more willing than usual to reframe it. If it's a detail problem, zoom out and see if the bigger picture offers you a way around. If it's a big picture problem, challenge the assumptions. If it's still impossible, see 1.

3. Involve other people with other points of view early in the process. There are a bunch of different teams that work in sync to get anything out the door at my company. Getting any difficult problem solved will usually involve understanding the work of at least two of them. The challenge with potentially unsolveable problems is knowing which two.

4. I cannot reiterate number 1 enough. Sometimes a problem might have a solution, but I just have to be ok with the fact that I'm not going to be the one to find it. Maybe the next problem I tackle will present me with a nicely reframed version of this problem for me to go back and take on.
I would say the opposite. Once chatbots are at the level of chatGPT4, most customer service will be easily handled by the chatbot.

It is crisis situations with much emotions involved like this or someone who was the victim of fraud that is going to need the human touch.

Most things I can think of that I have ever called a customer service line for I would really have preferred to talk to gpt4.
No, but I do believe that working with computers all day rewires your brain.
Ditto. In my whereabouts regime changed 5-10 times since 1900 depending on how you count. With several fight-for-freedom with different vectors. 1800s was more stable, but dotted with uprisings. No stone was left unturned. Multiple times.

The result? General notion is the government is jackasses and fuck authority in general. Which is vastly different from trust-the-government feeling in, for example, Sweden. This was (and still is, decades later) the biggest cultural shock to me.
>Jobs advertisement ads and website getting commission if someone got hired from advertised jobs like most agency get. Hired person would get small bonus for confirming got accepted.

>Just create account in some law friendly country. Don't store any user data such as passport, payslip, user employee emails etc - after verifying just delete those

The more you try to detach from the countries that will (possibly) make you retain that information (or block you from collecting it) the harder it is to do business with companies from those countries (or to enforce contracts against them for things like commissions).
> CCS Type 2 is rated at 1000V and 400A, or 400kW.

500 amps for CCS so in principle up to 500 kW. For example, Alpitronic's HY400 charger does 500 amps (with 600A boost):

https://www.hypercharger.it/wp-content/uploads/2023/05/HYC40...
Icons are the last thing that should have a common color - they should be as easy to distinguish from each other as possible.
This is why I prefer to commit to stages of development, rather than a shipping feature, for things that require research. If possible, I will absolutely try to avoid giving a target date for a feature until I've already got a prototype working. I will give a target date for the prototype, though... even though that number is far more often just an arbitrary date than not.

I understand that my approach frustrates managers who demand timelines. But sometimes reality interferes with those timelines, and I'm the one steeped in reality.
This should surprise precisely no one. It's called the Yelp business model and it's been around for 10-15 years. You allow paying customers to remove bad reviews. Shocker. In Yelp's case, you also give paying customers better search visibility.

It's never as straightforward as "if you pay, you can remove bad reviews". It's always couched in some form of plausible deniability, like reviews that violate a ToS or community guidelines in some nebulous way.
Yes, that's why it was a failure. Most news outlets theorized that it was a compliance vehicle for California but that was never confirmed by Mazda. If it was a compliance vehicle, Mazda spent way too much money on R&D to sell it for that price. At $20k, it might have had a better shot.
> while CCS2 can do 3-phase charging

Is that at all relevant for the North American market, where no one would be using three phase power to charge their car? And is it even relevant to the CCS part of the standard, when really what CCS adds on top of IEC 62196 is the ability to use DC charging, at which point phases are irrelevant.

The whole point of connectors is, firstly, how much power they can deliver (both NACS and CCS1 appear equally capable), then, how affordable they are to make and how easy they are to use.

Affordability is objective, NACS is simply cheaper to make. Less materials go into it, and that's a win. Furthermore, it doesn't require a massive charging port (see how Tesla had to work around CCS2 for the Model S/Y in Europe because their charging port cover is too small), so there's further benefits here.

Ease of use is less objective, but for anyone who has used both, clearly NACS is much, much better. It's lighter, less chonky, simpler (you don't have to remove a cover over the DC plugs). I think the consensus here is just clear.

So what, then, is an objective argument FOR using CCS1 over NACS? I really don't see one. The only argument I can see is that we lose some mild amount of harmony with CCS2 connectors that the rest of the world is going to use, but with the differences between CCS1 and CCS2 that exist anyway, that might be a moot point.
The second hand market has enough printers that I would just buy whatever second hand laser you can get - the savings from it being used would offset whatever cost-per-page difference there is anyway.
There’s something unbeatable about the purity of a spreadsheet. For certain kinds of problem, it’s one of the most understandable ways to communicate a program.

But there are the obvious problems, as formulas get inscrutable and you really want some more powerful data types.

So I’ve been playing with the new Excel features - lambdas and the new kind of array formulas. And they’re kind of great! I ported some non-trivial analysis algorithms from numpy to excel and it makes for a highly shareable and havkable programming environment for non-coders.

There’s all sorts of crazy excel warts (I’m doing maths with complex numbers, and the handling of those is a true “WAT”)

It’s kind of almost-great. I can’t put my finger on it but I feel like it’s close to a really winning programming environment for certain kinds of algorithms-transforming-data programs. I think Excel probably has too much baggage to get there, but these experiments are still really interesting.
Expectation management. Be predictable in your output even if it means being a bit worse on average. If you occasionally perform miracles, don’t be surprised when people show up asking for more miracles.
Hadn't even crossed my mind. I think you're right.
This article's list of privilige dropping tools is missing setpriv(1) from util-linux, which is the only one actually installed on my system.
If you are invoking rather insane scenarios - why rule out the use of bioweapons? Why rule out geoengineering?
> it's an undecidable problem

In what sense? People often use SMT (Satisfiability modulo theories) but don't state _which_ theories. I often SMT-solve with decidable theories, like Presburger Arithmetic.
If I want to know if a company is toxic, Blind is a lot more useful than Glassdoor. People will speak the truth while they’re at the company.
how do you feel about JSX?
More heat and CO2 means a higher sea level, which will lead to the loss of arable land, not gain
You fix this by having a good documentation website and then charging for support beyond that (refunded if the problem ends up being on the ISP's side). This will weed out the vast majority of idiots and would allow you to focus on quality/skill vs quantity when it comes to hiring support staff.
Did people follow the aftermath? Ie it seems the person was trying to kill their entire family?
I look on things from a game theory perspective. Is worrying about the problem helping you to solve it? Usually the answer is no, but what does help instead? I find that bisecting the issues involved is a good start. It's practically impossible to control for many different variables all at once. And you can't control what you cannot measure, so adding better means of measurement is good too. Adding extra logging of information to your system for example.

Also sometimes the problem that needs resolution isn't what you think at the outset, so keep an open mind. Maybe your implicit assumptions are at fault so you may need to go back several steps to identify and validate those first.

Indeed, the 'solution' may be to do nothing at all but rather to think about the world in a new way. The 'problem' to be solved might then disappear like mist.
This is terrible. I don't want their popups ever. Why do they feel they can block popups by default from others but their popups are fine?

Really hate Firefox doing this kind of thing. It's supposed to be a browser that cares about the user.
People are misunderstanding George Carlin standup sooo much. Yes, "The Planet" will be fine. The ball of molten iron will be fine. It's just that current ecosystem will die out, but apparently it's "fine". We will adapt probably, but billions will die. A simple hypothesis - let's say due to the global warming rice crops will fail globally. Just imagine how many people would be affected and how many nuclear wars started for the remaining resources :) .
Make a Glassdoor competitor called "Goodheart" and see how many people get the reference.
DarkBERT learns language of the Dark WebDarkBERT learns language of the Dark Web
Average parties, ok friend.
They're catering to the lowest common denominator and only that. Having more details would not make the mobile logo worse and it certainly would not negatively affect mobile users if the desktop logo had more details.
Even with the best intentions, no-one can make a good picture of anything in life, because there are so many different facets, even two team members can experience the same work as an opportunity for careers or a stressful experience with a boss expecting too much.

The bad reviews show the failure modes of the company.
Here are some numbers from the Guardian, mostly citing IPCC reports as far as I can tell:

https://www.theguardian.com/environment/2012/jan/16/greenhou...

Overall the OP's assertion seems to be only technically ture - it seems that CO2 is indeed absorbed, but only on a scale of decades to centuries essentially.
If you're an employee of the company, then no, they can't withhold wages.

https://www.citizensinformation.ie/en/employment/employment-...

If you're a contractor, then the rules around prompt payment of accounts might be relevant:

https://www.cso.ie/en/aboutus/lgdp/cgt/procurement/promptpay...
I think what did them in was that the auto market is operating on thin margins, and with ever increasing R&D costs for new platforms, it was inevitable that the small vendors would be knocked out.
Are EV High-power chargers safe for patients with pacemakers and defibrillators?
The world is heading towards an Orwell's dictatorship but digital. China is not an exclusion.
In case you weren't aware already, the next-gen VW "bus" will start sales in the US next summer/fall. I expect other car manufacturers will begin sales of their minivan EV replacements around that time as well.

Unfortunately for VW, they are trying to cash in on the "cool" factor and nostalgia for the vintages buses and the vehicle is outrageously expensive. For $60k, I don't features in addition to gimmicks and the backseat is pretty tight. Not to mention the interior tech and controls for this first generation of VW ev's is comically bad.
This is the fundamental problem with most laws and regulations. Language is limited and attempting to clearly define exactly what the law covers is nearly impossible, especially when it has to cover hundreds of millions of people.

I wish lawmakers would first consider whether a purposes law is even complete and clear before deciding if they agree with it. If a law is full of vague descriptions, logical holes, or do much nonsense that the average person couldn't read and understand it there's no point in considering the bill's goals or intent.
Hollywood Writers Strike AI
The Windows XP activation algorithm has been cracked
As they say “Collapse now, avoid the rush.”

Be independent in all your supplies as much as possible (food, water, basic necessities). Cyclical gardens, Biosphere-2 like systems, etc. Then scale up and do the same with a small community. The bigger the community, more chances to repel an attack of cannibals.
Just start trying stuff. Learning happens through the trial and error process.
You had me at “I assume you’re not interested in the marketing fluff”
The End of Acid Rain
I recently read this stack overflow post which was interesting:

https://stackoverflow.com/questions/75697877/why-is-liburing...

If you use uring (such as via liburing) on Linux it forces you to split your IO in half: submit and then wait for callback but you can still do other things. You can submit multiple writes or reads in parallel and handle them when they're ready.

This white paper talks about writing to disk in S3 in a scheduled order to avoid corruption of concurrent requests in the event of a crash.

"Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3"

Apache Kafka supposedly doesn't need fsync due to the recovery protocol. So you might want to investigate why that is the case and whether or not you can create the same behaviour.
Are some of those Excel workbooks with non-trivial analysis and complex numbers something you could share? I'm truly curious.
Show HN: Hacker News user experience enhancement browser extension
Hello everyone!

This is a browser extension that attempts to enhance Hacker News user experience, while your data is kept secure, and private (never leaves the browser).

Browsers have evolved significantly since doing a v1 back in 2010, which was one of the contributing factors, for attempting a complete re-take few months ago.

Personally, I was surprised how useful it turned out to be when browsing around HN.

On the linked page you can find install link(s) from web-browser stores, and demo video/screenshots of the features[1]

What do you think ?

[1] including, browsing content with multiple columns, infinite scroll for lists, user profile tooltips, dynamic comment reply, dark-mode, ...
You're right except for the timescale of the claim that the graph is curving up in the past decade. Your observations show the graph curving upwards over the past 2 decades, during which we all agree that CO2 emissions were rising.
Danish is a nightmare. It takes the worst bits of French, the worst of German, and adds its own devil twists.

But like the authors say, there is a point to be made for education systems too. Eg. Japanese multiplication method is brilliant, I wish I had learned that way!
Yeah, see aerosol cooling effect.
n is like a million variables so you would need 2^n gazillion cores.

I'm no expert but my thesis advisor is cited in the OP article, so I'm just guessing but it's an interesting question. It's not for the lack of trying in the part of SAT researchers; after the hardware advances with SAT solvers implementation in the early 2000s, they would've looked at parallelism and concurrency as well. But with continuous optimization (like with training machine learning), there's gradient descent which tells you where to guess next. But with Boolean logic there's nothing like that, the needle is either in the next bale of hay, or it isn't.
Companies are people and money is speech?
And we’re all very free.
And kids running behind the car when reversing. Honestly, visibility is in the top five criteria for me (others include driver's seat, sound proofing and big boot lid). Parking sensors and cameras of course help but are they a total substitute?
My grandma, once snapped at my dad when he pointed out that something on the news wasn’t true.

Grandma: “They aren’t allowed to lie on the news so that has to be true.”
If by quickly you mean 5 to 10 years of paying a retainer on a lawyer sure. Even if you win the case you lose in life. Most individuals can't afford 500k in legal fees to have them be reimbursed years later. Big companies have lawyers on staff at a discount and they play these games every day.

This happens with illegal things all the time. IE manager sexually harasses someone on video or something, it's some CEOs nephew who did it, so they fire the person who got harassed. The person who got harassed now has to aquire legal counsel on top of paying relocation claw backs etc. Few years ago by and the person who was in the right is trying to hold down a job, a family, and the stress of the legal battle. The company offers to settle two years in for 50k and 99% of people take it, sometimes at a loss. Also, getting employed is a lot harder when a background check reveals suing a previous employer or really any company, because shocker, most companies do illegal shit regularly... So it's almost always best to settle

I realize I painted a picture pretty far from my previous statement but I figured you were new in your career and could benefit from an allegory of how stuff like this goes down.
Of course, "having a lower fixed rate for the entire duration of the loan" is optimal... but most people don't initiate their mortgage at the lowest interest rate in history.
Do you feel represented ?
That's because you drive a nice, sensible car. Volkswagen (particularly diesel) timing belts are a royal pain and run closer to $1500 at a dealer. More if you do the water pump while you're in there (and it's typically the reason you're doing the job in the first place).
Another book to suggest, "The Comfort Crisis" by Michael Easter. In it he does a solid and helpful flyover on how humans evolved vs how we actually live now, and how the disconnect is impacting (negatively) our physical and mental health.

While there are few individual ah-ha moments, seeing everything laid out end to end to end aggregates into a realization that The First World lifestyle is extremely unhealthy and often (premature death) deadly.

Fwiw, in some ways The Comfort Crisis was like physical (and mental) health version of The Coddling of the American Mind, but without the PC-ish type baggage. Note: this comparison - for me - is a compliment as both books look to challenge mainstream narratives and normalizations.
The Vilnius Schoolmaster deserves to be quoted correctly: “Give me a”, not “Can you”
Guess they've improved -- That used to be a thing. Looks like it was probably in the PG13 changes to the statistics and btree indexes that did that, though it's hard to tell exactly.
It's not just you. I found the technical sections of the article impenetrable. And yet my background is on resolution theorem-proving (I did my PhD research on Inductive Logic Programming) and I read the article wishing to understand how CDCL is related to Resolution, but I couldn't figure that out.

I don't have a background in SAT solving but the "clause learning" in CDCL looks a lot like what we call a Resolution-derivation in Resolution theorem-proving. In short, given a conjunction of two (propositional or first order) clauses (¬φ ∨ ψ) ∧ (φ ∨ χ) Resolution eliminates the contradiction in the "complementary pair" (¬φ, φ) and derives the new clause ψ ∨ χ. If that's what CDCL folk call learning then that's really interesting to me because most of Inductive Logic Programming is an effort to use Resolution for inductive inference i.e. machine learning, but in logic. I guess I should check the article's bibliography. They reference s a textbook that might be useful ("Handbook of Satisfiability". Though one of the authors is an author of the article so that may not bode well for the textbook).
My focus wasn't on the fact that it was making paper clips, my focus was on the optimizer part.

Exponential growth of that form that is totally unchecked simply does not exist. All things have limits that check their growth, and the assumption a computer will grow like mad is exactly that - an assumption - one formed from extreme ignorance of what general AI will look like.
As a HN regular, I find Amazon reviews super useful. You just have to understand which ones to put more faith in or not. And how to poke around for the product you want, and not one being paid to be promoted in the search. But it's not insurmountable.