skysight-inc/HackerNews huggingface dataset:
Couldn’t he have just measured the resistance of the fuse to determine the current flow? He knew the voltage drop.
> If you want to hire employees you should be paying them much closer to market rate in my opinion.

That doesn't seem to match with reality, sadly.
The "average color" (or whatever it is) could have been pre-computed server-side rather than tiring out the poor innocent client CPUs.
x11 gets some stuff plain wrong. It's a trooper with decent hardware support and an enormously long legacy behind it, but along with that comes really poorly-designed hacks and deeply ingrained desktop failures. Like, the x11 framebuffer for example: add a second display, and it just extends the framebuffer resolution to the largest monitor. If your refresh rates are different, you're also wasting GPU cycles. It can be worked-around in software, but it pretty significantly hobbles the integration possible with a fully-featured desktop.

Or, look at how x11 views synchronization primitives: it doesn't! You need to implement a compositor with an opinionated hack to make it work, which still doesn't work consistently across configurations. Want to use FreeSync? It's blocked by the model x11 uses to abstract displays. Entire classes of usage (eg. gaming, responsive gestures, video editing, HDR pipelines, color calibration, etc.) are inherently limited by what x11 offers.

I do miss the old DEs and their feature-completeness, but getting them to compete with modern MacOS and Windows was like oiling up Hulk Hogan to go fight Floyd Mayweather. Truly the only competitive way forward was abandoning the xorg model and letting DEs define their desktop.
Sounds like they can't budget.

“Where are we going to come up with this down payment? Even with the money that we make, it’s impossible to come up with 20%,” Oklobdzija says. “People don’t just have $100,000 in cash just kind of kicking it.”

Pretax income: $225k (from article)

Take home pay: $147k

Rent: $29k (from article)

Utilities, food, transportation: $18k (my estimate)

Remainder: $100,000/yr

There's your down payment. Even if they burn an extra $30k/yr on other things, they should be able to save 100k every 18 months.
I'm guessing at least some consumer batteries (i.e. laptop/phone/ebike/etc) can also be recycled at the same facilities; These are often of similar chemistry but may have lower lifespans and there would be no reason the facility could not process them. [0]

[0] - A good example would be 18650 batteries; these are used by Tesla but are found in lots of other things.
Not sure if ChatGPT is correct but it does sound good
Best I've found as well. The dev was also very kinda and responsive about fixing a (minor) graphical bug I reported.
> Because Alloy works off of first order logic, it's a lot more general than TLA+ but doesn't have temporal logic concepts like liveness as first class primitives.

This is incorrect: TLA+ is also based off first-order logic constructs and can generally represent a much wider range of systems than Alloy can. The difference is that Alloy is more tractable: what it can represent it can model check much, much faster than TLA+.
Looks like she's joining Apple.
> Jokes aside, you're probably wrong.

What GP says is accurate.

> Do you mean that if I know a German bank account number I can just withdraw money for me?

You most likely can't, because if you have to ask this you don't have an agreement with a SEPA Direct Debit originating bank that lets you :)

And even if you decide to open one now: Given the risks involved for the originating bank, they will heavily scrutinize your business case and demand considerable collateral and/or payout time limits.
The Lamas were far worse than China: https://youtu.be/fYEOSCIOnrs?t=150
I mean, I guess if you are limiting yourself to that exact style of car then yeah I guess.

(Although the Mazdaspeed6 was 90% of a BMW with 10% of the maintenance bill).
> ...given proper tax rules, transportation will regulate itself in effective and efficient ways.

And if you mix together "modern American government" and "billions of dollars at stake for mega-corporations" - just how close to zero is the real-world probability of those "proper tax rules" being made and maintained?
I would be shocked if the "optimal rank" in terms of performance wouldn't be using the maximum rank from the DynLoRA across all layers.
Thanks for raising this issue. What you describe as "local theories" (I'd say "mental model" but I think we're talking about the same thing) is quite important. We expect beginners to come up with erroneous models as they're exposed to stuff; revising and even discarding such models is intrinsic to learning. One of the benefits of this JEP is to minimize the opportunities for beginners to create erroneous mental models.
Well if you are in the US..

but its pretty great.
at least to me the declarative setup of ignition was the selling point, not the rpmostree (altho it is nicer than dnf/old school rpm). Another cool thing about fedora-based is that it seems much more bleeding edge in terms of kernel version on other os packages than chromiumos which is what I want for immutable infrastructure
Truly sharing the fruits of success means truly sharing the risk taken.
This points out some important oversights, but goes off the rails here:

> But, more importantly, regarding the small number of tweets that EIP did report to Twitter… it never suggested what Twitter should do about them

Someone should read Chomsky’s “Manufacturing Consent.” You don’t need express collusion for the result to resemble express collusion.

The broader issue here is trust, or lack thereof. Do you agree with Hasan here because you trust the organizations and people involved, or because the structure of the system provides assurance that you don’t need to trust them? For example, if the actors involved were faith based organizations rather than non-profits, would you feel the same way?

Zoom all the way out here: Twitter is partnering with organizations (universities, non-profits) where 90%+ of members support one party to help monitor “election information.” You cannot defuse that problem by saying that we should just trust those people to be impartial. It’s like computer security: look at the system assuming everyone is a malicious actor. How does this Twitter’s system look from that vantage point?
I don't think giving away 45% of your business for a 'network' is going to make sense in most cases, especially given the networking opportunities already available for e.g. YC companies, and it's going to be hard to explain to investors.
Elon Musk's Substack ban was needless drama. Where did the adults go?
There's two threads being pulled here.

Thread 1 is whether or not the behavior you describe is a crime

Thread 2 is whether or not anyone will ever enforce it and what might the penalties be (if any)

My guess is that it's technically a (minor) crime but will never be enforced unless you become a political problem or something and they just need to find any old crime to get you.

None of the above should be considered legal or financial advice. It is solely my personal opinion and I am not an accountant or lawyer.
Yes, I found it earlier via someone posting that thread on twitter along with the paper. Was pretty surprised/fascinated.
Agreed. Logseq changed the game for me. Because SRS is closely coupled with note-taking and is as simple as adding "#card", it eliminates any friction and excuses I had for not using SRS. I look forward to adding new cards as much as I do reviewing old ones.
wanikani.com is a good example for the very specific market of "English speakers memorizing Japanese kanji." Great UI, great community, great sense of humor, well thought out mnemonics...

...and of course I still fell off the wagon after a few months, came back to a backlog in the thousands, and have had tremendous trouble getting back on the wagon.
So you do want the government to control jeans manufacturing then?
I did UI part of it.

Up until last year my Sciter ( https://sciter.com ) worked on WinCE.

Dropped support after my last customer that was using WinCE decided to drop support of that OS.

WinCE had pretty solid and stable core runtime and API. Graphics was limited by GDI (no antialiasing and alpha channel) but that was the only major problem.
Honestly, I don't believe that Walmart has any plans to implement Apple Pay. They already have a mobile payment option in their app which requires an individual account. With a ton of their stores already using self checkout which you can use Walmart Pay at, I can see them pushing Walmart Pay to get people on the app, collect data (which aisles a user spends the most time in, what they buy, etc), and integrate that into their stores so they can start getting rid of one of their top "liabilities", employees.
In an urban setting, maybe.

In places away from the cities, the ICE vehicles will remain for a long time. Mainly because the infrastructure of the electrical grid would need to be upgraded first, and that is probably too expensive per unit. (Lots of long-run high-tension cables to service very few customers = big bikkies.)
Not at apple: The following is about 10 years out of date, would be interesting to know what's changed:

10 years ago formal had just started to be viable in run of the mill semiconductor verification (as opposed to throwing a bunch of specialist PhD grads at the problem); Jasper Gold was the first tool I heard of that worked well enough. pre-formal, the approach was to write a bunch of tests with input stimulators and validity checkers and/or assertions, and then work on the stimulators until you reached 100%coverage (signing off the cases that couldn't happen). That's not just line coverage, but each branch of an if, each component of a boolean expression must toggle, each bit of a signal must toggle, etc.

Reaching 100% coverage was a tedious exercise so the first use of formal was as a sumplement, to find the last,most difficult test cases that completed your coverage (or prove that the cases were impossible). The next use was to try and prove directly that assertions or test failures could not occur, or provide a counterexample. this is all based on the tool being able to read low level verilog or systemC code.

What it couldn't do at the time, which would be interesting to know if it can now, is as follows: Often, you actually have a higher level model of the behavior of your system. The RTL code is written to have the same behavior (manually, because it takes expertise to choose RTL code that will work efficiently). Ideally, provers would simply prove that your RTL has the same behavior.
Literally just start with the wikipedia article on christian apologetics.
This happens on Linux too. I was wondering if the weird CPU-hogging flickering was a bug in my compositor (picom) or window manager (i3) or browser (Firefox). Turns out to be a "feature".
I’m in the southeast and also make double that. 130k total comp is entry level.

I know this because I hired many people last year and some were entry level.
Why shouldn’t very smart people who have also spent years / decades developing technical skills in an industry that is eating the world and is the most profitable thing ever… get paid less than you need to buy a house?

If they don’t make high six/low seven figures, who will? Bankers? Lawyers!?
Decades ago when I lived in the states I was told that most places will finance 2.5x couple income for a house. In California, they would finance 4x. So, this would get them a max of 880k if these rules of thumb still hold. What can one get for that price in nicer areas of LA? What are the current rules for estimating house affordability there?
> SS13 remakes are like "nuclear fusion" and "year of the Linux desktop"... always announced, never delivered.

It's not announced, it is there.
I mean, for sure there are some cool moonshot ideas. However I think it's pretty important to have some proof of concept or even a technical idea of how that would work before dismissing all of the concerns around congestion. Waving around "tech will save us" is really easy to do. (Especially when the solution to congestion already exists and is criminally underfunded.)

You're right that I did predicate that little rant on the idea that the majority of AVs would be personally owned and not part of a fleet. I'm sure that car share will come into play to some degree, but I do think it's tough to convince people who are used to their car being a personal, (relatively) private space that they can store nearly for free on public roads, to give that up. It's especially hard to convince the automobile industry that the incredibly profitable 1-2 car per household model should be pushed aside in order to manufacture fewer, shared vehicles. Cruise (i.e. GM) will not cannibalize their personal car sale business: they're using this as a way to get test data to build personal AVs. Maybe car share will increase over time, but we're not about to witness some revolution, especially if it reduces consumption or profit.
It’s a shame, then, that this has scammy written all over it. Never heard of the bloke but if this is legit then he needs to fire whoever produced this writeup.
Yes, yes you can. Name + IBAN is all you need to enter even large recurring payments.
Yes, I will probably never see the offices of my current employer.
But I have a weWork-type credit with a company in my town.

( that I will probably not gonna use either. It might be the new gym membership)
It’s a very tempting idea, but in your model, each founder now has 95% vested in other companies than their own, meaning that they will start spending much more time on other businesses than their own (the brain follows the incentive) which means that they basically give up on their startup. I think this model is flawed (but again, very tempting).
Yeah? Being well compensated makes it much, much easier to resist temptation.

Plus the nagging suspicion that you'd fuck up or never be able to use it in a meaningful fashion.

I'm not saying I'd be surprised if some one took advantage, but I don't think it would be most folks natural inclination.
Also, if you run a bootstrapped company with no VC, pay yourself!

The bootstrapping mentality becomes counterproductive after you pass a certain stage (e.g. if you can afford 20 employees and are bootstrapped, you can probably afford to pay yourself the median salary of a C-level exec). It will make your life more comfortable and will make acquisition offers less appealing if you're already drawing a good salary.
> Never give your bank info to a third party. Never. No good will come.

How do you pay for your electricity? I set up a direct debit with my utility company. That involves handing over bank details.
Low Carb Intake Linked to Insulin Resistance
Argument: AI and Defamation
All I can think coming away from this is:

This still seems pretty useless, It'd be nice if java could allow for static interface methods.

interface Program {
static void main(String...args);
}

And then I digressed - heavily.

There have been several times when I've wanted static methods that apply to the specific class - although many of the situations could be shoehorned into a constructor, it's not the best.

You'd also want something like a 'This' meta-class keyword.

interface Foo extends Comparable<This> {

static This(A argA, B argB);

static This difference(This v0, This v1);

static int compare(This v0, This v1);

default int compareTo(This other){
return compare(v0, v1);
}

}

/*
I want to return an instance of my class' own type (defined in a subclass an so unknown),
so I pass every implementation itself as its own generic parameter.
*/

interface Why<W extends Why<W>> implements Comparable<W>{
W someManipulation();
}

class Foo implements Why<Foo> {
@Override
Foo someManipulation(){
....
}
}

To be honest, I think I reacted to how robust this does not feel.

It also blurs the line between static and instance syntax/functionality in a way that does not seem useful - and given that this is intended to reduce barriers to entry, is quite probably harmfully confusing.
Interesting take. Would my HOA be controlling utilization and maintenance? If the car has a flat tire or my neighbor monopolizes the usage, would the larger relationship/service be responsible for fixing the issue?
Putting Waldo in there was a nice touch.
You can argue how many cyclists and related vehicles there are in the grand scheme of things but there are a fair number of pedestrians at least during the day in (most?) US cities--that are meaningfully cities and not effectively suburbs that have a mayor.
Talking about the market in energy policy is just silly. It has been driven by government, all over the world for decades.

And if you have things like a public health care system then, it matters a whole lot if coal and gas plants blow smoke into the air or not.

Historical data from the US shows this well. If coal plants would have had to pay even a fraction of the health cost the caused, nuclear would have been universally adopted 1990. And that is before we even talk about coal sluge and other issues. Its before we talk about all the stuff the US did in the middle east to keep the oil flowing. Nuclear in the US even paid a fee for nuclear waste, while coal paid no fee for its waste.

If you look at societies total energy cost over the last 50 years, France looks incredibly good. They had very low energy prices for many decades now and had not no health cost from bad air from electricity production. Nuclear plants are also stable high quality healthy employment for many.
I believe the conclusion many draw is that online apps make it easier for the more attractive men to have multiple partners, and that this doesn't happen nearly as much with the more attractive women.
I can see that. But are we sure that a rank-based difference that doesn't manifest early in the training process won't manifest as you get further along? See also 'grokking' [0]

[0]: https://arxiv.org/abs/2201.02177
I've used both Meteor and Amplify. Amplify has been fantastic for SPAs that don't need a backend database and require zero SSR. You get nice deployment tooling (especially for jr. devs) and CDN for very little money. When we started on our app, you could call a page generator during build, but doing dynamic SSR was not possible... yet... so we kind of dodged the bullet.

Meteor was fantastic for building highly reactive apps with a small team. I think it got a lot of bad run for scaling up because it was dependent (at least when I used it) on tailing MongoDB's op log for reactivity. That lead to having to make very different architecture choices to make it work well, and I seem to recall each server instance getting bogged when they had 70-100 concurrent users , so you ended up using lots of containers for meteor application servers. Not sure where it all ended because I moved on to a different platform three yeas ago.
Great explanation!

This also fixes a misconception that resources is something we just find and use.

Resources are properties of nature we discover.

There are lack of resources, only lack of knowledge to help discover how we turn things into resources.
The Legacy of the Game in Succession's Iconic Opening Sequence
Isn't available in Firefox though...
This is when things like 4 day work weeks and expanded vacation time via regulation actually make sense. We've become so much more efficient? Reduce the amount of work allowed to achieve full time employment to force the efficiency into more leisure time. Of course, the conundrum there becomes outsourcing and nations being incentivized not to do so to build their economies. We may be trapped in a tragedy of the commons leading us to slavery.
The "obsolete" designation is only for models that are several years old and it just means that they will no longer get software updates. You are free to keep using them as long as you like.

No one is expecting you to buy a new laptop every year, even if Apple does updates each year. Other people are buying new machines on their own timelines that do not synchronize with you. They are able to get the latest machine available when they are ready to buy.

Cars are updated every year but you don't feel the same pressure to update, do you?
That’s great to hear you found a positive path forward for the project. Keep it up!
Nobody actually does this commute 5 days a week, 45-50 weeks a year. It's either someone who does it sporadically but regularly (e.g. every other Monday or something for a few years) or briefly while finding something less insane (for a few weeks, maybe a month or two).

I had a job with an effective ~4-hour round trip commute, from one major city to another in both my car and a train, but only had to do it once a month.
Haha “stupidly simple” except RJ sounded like he was playing two guitars simultaneously and people heard the rumor he’d sold his soul to the devil in exchange for guitar skills and collectively decided “this checks out”
> Tesla fixed this in January 2020

2021? 2022? They surely can't have fixed it 8 months before this happened.
It sounds like you think I am trying to win, or not lose, a debate by making it hard for you to succeed in your argument. I am not. I am not in the slightest personally invested in the question of whether the US health care system is better or worse than other countries'. I just don't think these statistics add up to a meaningful analysis of this complex problem, or a meaningful attribution to the health care system versus other causes. The world doesn't owe us a tidy statistic on which we can lay out all the nations and say whose health care system is good and whose is bad.

I would refer you to the original commenter's point, supported by my subsequent points. Public health issues seem to matter more than the health care system, and the US has uniquely bad public health issues, most of which the health care system by itself can't do much about. I don't think you've effectively disputed that point. "It's unfair that there's not a metric you'll accept showing how bad the US health care system is and how important that is" is just relying on the exact premise we're disputing.
Al Jaffee, king of the Mad Magazine fold-in, has died
It will install just fine on your AMD APU, it just won't do anything until you plug in Nvidia hardware.
Yeah, I don't really see what this gets you. With basic real number division you have to make the exception for zero in the definition:

a/b = c if and only if a = c*b and b!=0

And with this infinity thing you just have to make essentially the same exception for multiplication and infinity:

c*b = a if and only if a/b = c and b!=infinity and c!=infinity
https://www.axios.com/2023/03/21/small-bank-struggles-could-...
U.S. Postal Service seeks to hike stamp prices by 5.4%
"so it's possible and a legit thing to do to run an experiment to see if it works. "

I think it is possible and legit scientific to run experiments on allmost anything, no matter how weird.

What matters is how you do the experiment and what is the result - does it work?
And if it does, is it reproducible?

Thats the key difference between a scientific and a esoteric experiment.

But you totally can investigate whether divine blessed guano shit cures cancer in a scientific way. Most researchers just won't waste their time with it. Experiments are expensive. This is why most experiments are indeed only conducted, if there is a solid theory about the process and not a shot in the blue.

(And another actually sad part today is, that many new if not most scientific papers out there are actually not reproducible anymore (at least not with the data provided), but no one cares or does something about it, except complaining, because there is nothing to win, from redoing an experiment of someone else. Reputation and grants demand new research.)
I guess the Nissan Leaf might single handedly provide for enough initial feedstock, considering how quickly their batteries degrade. Just awful battery management from Nissan on that car.
Thanks! Ok, you're unbanned.
My thought was the melting process burns most of it off and then the ash gets skimmed off the top.

not worth it to clean yourself.