skysight-inc/HackerNews huggingface dataset:
I'd recommend by starting with the talk by Daniel Marshall (one of the authors) from Lambda Days 2023, "A Hitchhiker's Guide to Linearity", https://www.youtube.com/watch?v=QtlkqJGdnuM

The Granule Project's website, https://granule-project.github.io/, links relevant resources, too, in particular https://granule-project.github.io/granule.html and https://github.com/granule-project/granule/blob/main/example...

The latter tutorial is based on "Quantitative program reasoning with graded modal types" (ICFP 2019), with the talk and paper available at https://dl.acm.org/doi/10.1145/3341714

See also "Linearity and Uniqueness: An Entente Cordiale" (ESOP 2022), https://granule-project.github.io/papers/esop22-paper.pdf
the law references a categorization in federal code

so unless the law is changed or that organization doesnt file or fit under the federal code

then they are not obligated to pay employees $20/hr aside from by market forces

everything else is partisan pontificating or playing defense
I do have ublock origin on everything of mine, so conceivably it's reacting to that somehow. I'm no longer at my computer to be able to look more closely at what it's doing.
That sounds harsh: page 2 is opening phrase of the 3rd paragraph of the introduction.
If it makes you feel better.... On February 29, 2008 I was working on a system as a government contractor. Part of it was outsourced to a sub-contractor who decided to write their own date/time library because how hard could that be (which I only learned about later)? For some reason NOTHING would work right that day. Took me longer than I'd care to admit of staring at the logs to realize that some started with March 1 2008....

edit: also happy birthday!
"Spoken primarily by scientists and workers ..."

Unless those scientists are born in Antarctica, they are not native speakers; they learned English elsewhere.

This doesn't sound like a true variant of English, but more of a cant/argot type of thing.
People tend to forget that we had everything decentralized in the first place, then centralized them for the sake of convenience: Email -> GMail, IRC -> Slack, RSS -> Social Media, Blog -> Medium, Forums -> Reddit and so forth.

And basically, convenience won big time.

These are not mutually exclusive though. We need decentralized services to fight discrimination and censorship. But, I agree that there is also disproportionate obsession with decentralization at the moment.
Uniting time zones in Kazakhstan today looks like more of a headache, at least to me.
Another consideration is that vented dryers also suck all the conditioned air out of your house.
> I've worked with some incredibly motivated and talented people and this is not my impression at all.

I worked with some incredibly motivated and talented people too - and saw many of them ground down as basic improvements took literally years to make it through in watered-down form, if they even saw the light of day at all. I was actually amazed by how few people in the financial industry are incompetent in the "couldn't write fizzbuzz" sense, but there seems to be a big-picture insularity where stuff that would be basic and common sense in every other industry (e.g. automated CI) is just not done.
I was thinking of this article when I wrote my comment, but didn't bother to search for it. Thanks for reading my mind and taking the time to find the article!
They are popular in Europe and Asia but are somewhat less effective than separate units.
Oh yeah. Have been for a while. I run into them a lot when I’m in Italy and still haven’t used one that worked well. Unless you want a load of laundry to take half a day. Then they work fine.
A lot of this is based on ABA, which is a outdated and abusive "therapy" that entirely focuses on getting autistic people to conform to "acting normal" and it doesn't engage with their quality-of-life or wellbeing at all. Proceed at your own risk.
Clathrates are different, they are not eutectics. If you try to freeze them, they separate into methane gas and water ice.

Metals can alloy with each other because the shared electron layer "glues" small imperfections in crystals where different metals meet. Can frozen ammonia behave similarly? Liquid ammonia can solvate free electrons, so perhaps frozen ammonia also can?

It'd be interesting to actually try experiments with frozen ammonia.
I think the scale of the incumbents means innovation from startups always results in relatively much more expensive products which are doomed to failure because no matter how good they are people don’t want to pay 5x more.
There are but I have heard that sometime the dryer takes forever to dry... never had one though
Yes, of course, everyone except the black people are the victims here.

'Reasonable' is actually well defined in case law and the common law, but the really stupid thing is that it gives Tesla some latitude as to their response. In this case Tesla made it very easy for the jury by being really blatant.
Those aren't too out of place in Scottish English.
Never heard of Krita, just downloaded it. It starts up way slower than Gimp and the UI looks non-native with fonts that aren't the same as the rest of my system. Bleh. It's probably busy spinning up some mcop's, dcop's, more cops, and other bloat. Qt/KDE ecosystem apps are slow and memory-hogging compared to their GTK counterparts.

Oh well, back to GIMP.
Well, suicides in people below age 21 doubled in the last two decased, at least in US. So emotions might change. Although nobody says that emotions changed without a reason.
Miele heat pump dryers are quite efficient.
I always personally thought the principal source of microplastics was polyester (polyethylene terephthalate). I most often see it linked to plastic bags and containers instead. I'm half way to replacing all my clothes with organic fibres - seeing the mass of polyester in my dryers filter every week was starting to spook me out and the airborne 'dust' blowing off it when removed reminded me of asbestos.
I'm familiar with the ideas in that article (more in the context of Product Management though). You seem to be focused on proving that great people exist, which is obviously true.

I'm more concerned with the average case because that reflects how an organization should be structured. It doesn't matter if there is theoretically a great manager out there, what matters is the distribution seen at the bottom of the hiring funnel.

This is trading one set of problems for another. You want a manager to make one set go away, but now you have to set up a process that identifies good (or great) managers. And unless you can do that, hiring a manager isn't likely to solve your initial problems, or it creates different problems that are worse than the initial set.

If it's true that great managers are huge multipliers, but they are so apparently rare that I've never encountered one (as you suggest), then companies should still avoid hiring for all the roles in that article "* managers" unless they know of a great one through a referral.
The quotation from Quanta was incomplete, and the Quanta article doesn't in fact claim that "totally real" means what "algebraic" actually means. Here's what the article actually says (added emphasis mine):

> A number is totally real if it satisfies a polynomial equation with integer coefficients that only has real roots.

Nothing wrong with that.
The version four chargers aren’t much longer based on what I can tell from the pictures I’ve seen.

And really I think that’s probably enough. It’s not like anyone’s putting the charge port in the middle of the roof.

The cables at Electrify America and some other places are often much longer and it doesn’t seem to be a big issue. The only issues I’ve seen with the cables themselves are some form of sabotage like someone cutting them off or breaking the connector.
Google adds hand-annotation markup feature to Docs
So they shot themselves in a virtuous cause, that has left them bleeding, late and broken.

They've certainly evolved from their perpetual beta product offerings. Like the Dodo.
Back around 2008, I recall having problems because my Australian cards would be prompted for a 5-digit zip code. It only happened at gas stations for some reason. The closest we have is 4-digit postcodes, which it wouldn't accept. Eventually, I figured out I could prepend a 0, but I didn't want to trial-and-error that unless it set off a fraud flag with my bank. Probably a good thing it was pre-pay in the cases that didn't work.
The worst is when it's a technical blog. I can excuse a food blogger if they don't know how to configure wordpress, but a tech blogger should able to edit their jekyll files or whatever. I mean, how did you make the post to begin with?!
I don't see how this is different from how any distributor of goods does business.

Nobody bats an eye when the local grocery store (a distributor) is spending more than 70% of its revenue to buy the goods from their suppliers. It's also expected that suppliers/factories don't pass on those payments back to the farmers.
yeah I don't think OP is talking about byte perfect determinism, they just want CI not to explode. that's the triage goal, byte perfect determinism is not your first priority when stopping the bleeding on a legacy c++ project
Kinda seems like it’s the record labels fault though, like they should be aligned with the interests of the artists instead of just for themselves.

What do labels even do these days?
Literally geologists but with more temporary rocks.
You run or your code runs, choose one and choose it wisely ;)
This isn't even comparable. You are talking about the language invented 100 years ago, which is the mother tongue for many people now, they literally are born and raised speaking Hebrew. Of course they will have some sort of accent. On an individual human level, you might have some slight English accent by the end of the day full of speaking in English, after switching to your native language.

Antarctic English might be a bit overhyped because of how much of a curiosity it seems (and definitely it's unfair to call it a separate language), but the point is that people tend to pick up some speaking patterns from other people they spent last 3 months with. It deosn't seem very surprising to me, but it is ridiculous to explain that on basis of an accent of a country, which although might have been artificially created very recently on the global timescale, still exists longer than most its inhabitants live.
Musl Libc 1.2.5 released Lots of improvements, fixes, loongarch64, riscv32
The term "code smell" only ever has a negative connotation. The title of the article is also "Primitive Obsession — A Code Smell that Hurts People the Most" -- doesn't seem too difficult to parse...
>I'm loving how both KDE and GNOME are pushing a lot of DE behaviors into JS extensions

There is absolutely nothing to love about that utter atrocity
Reading the comments here and can't believe that so much software still has these bugs. 2038 is going to be FUN.
> Often yes. Sometimes, no. You haven't enjoyed C++ until you get reports of the app intermittently crashing, and your build at the same version just won't.

That's okay, it's probably just some bank in a random country that requires some software package to be installed, presumably in the interest of security, which injects a dll into every process on the machine and unsurprisingly has a bug which causes your process to crash at random in only that part of the world.
Are you sure that this chart shows bottom 25% of wages and not the bottom 25% of wage change?

They provide this definition: Wage Growth Tracker is a measure of the nominal wage growth of individuals. It is constructed using microdata from the Current Population Survey (CPS), and is the median percent change in the hourly wage of individuals observed 12 months apart.

Chart 1 plots the time series of the median, along with the mean, and the 75th and 25th percentiles of the individual wage growth distribution

I believe this chart will almost always show little or negative numbers for the bottom 25% of wage growth. By definition.
Paul is already very uncomfortable with the role he has to play in the first book - first the whole part where he and his mother (ab)use a religious prophecy deliberately planted in the Fremen culture for their own needs, and then the part where he turns said culture into fanatical warriors. He already dreams of what is about to come in the next book.
This is one of the first Slack competitors that has caught my attention. I really think you're on to something here. I have one thought after watching the video (other than a generally positive feeling about it):

It feels, somehow, less personal. Where Slack rooms felt like digital _rooms_, this gave me the feeling of an office bulletin board. I'm imagining being a new employee at a company that is fully bought in on Struct, and somehow I feel like developing personal connections with my coworkers would be more difficult. I don't really get why, that's just my first impression from the demo.

Otherwise, as a currently funemployed but past SV eng leader, I would have loved to have had this at my last company while dealing with all of the communication chaos that entails.
So it'll be as efficient as when I use "Energy Saver" mode and have to run the dryer twice instead of not "saving" energy and running it once.
This is a comically bad take.
I have never needed to pay for a developer account to run my own code on my own machine. What? How does this have anything to do with OP's point?
The new ones utilize heat pumps (GE Ultrafast, LG WashCombo), very different than existing ones in European countries.
17 days ago - The Guardian's story about this same find:

https://news.ycombinator.com/item?id=39350700
I've read both articles, and I don't buy your characterization of the situation.

The primary question I have is: "Did Newsom use his power to try to benefit his friend?"

Both articles, to me, say "yes, he attempted to use his authority to benefit his friend." The article you linked, based on how I read it, says that he attempted to help his friend with his office, he was caught by journalists, and backed out because the cost/benefit changed due to journalist due diligence.

Here is the bill in question: https://legiscan.com/CA/text/AB257/id/2605912

Here is the core of what defines fast food:

(a) “Fast food chain” means a set of restaurants consisting of 100 or more establishments nationally that share a common brand, or that are characterized by standardized options for decor, marketing, packaging, products, and services.

Here is the exemption:

(i) An establishment that on September 1, 2022, operates a bakery that produces for sale on the establishment’s premises bread as defined under Part 136 of Subchapter B of Chapter I of Title 21 of the Code of Federal Regulations shall not be considered a fast food restaurant, so long as it continues to operate such a bakery. This exemption applies only where the establishment produces for sale bread as a stand-alone menu item, and does not apply if the bread is available for sale solely as part of another menu item.

I could be convinced that my interpretation is less plausible if you can justify that exemption in a way that makes sense including why the date matters.

In the original article Newsom gave a non-answer. When politicians give a non answer, I think we have a responsibility to assume the worst, otherwise we are encouraging politicians to continue giving non-answers.
Manish, founder here.

We intend to keep Struct running. Struct is built with a small of 3: Backend, Designer and Frontend. It's not that capital intensive.

We have a roadmap of features that we're excited to get to, combining both teams and community usecases:

- Enable audio / video calls, webinars.
- Various spam control systems for community.
- Improving the AI bot and recall, making it cheaper to run.
- Index the docs shared on Struct, so AI can respond to questions from there as well (obv while maintaining access control)
- the list goes on.

The thing is. What excites me about Struct is that, it combines a bunch of use cases for us.Struct is replacing two chat platforms (team and community), a task management system, a ChatGPT, my personal TODO list, a publicly indexable knowledge-base for us.

It's amazing what you can do when you can trust a system to not forget.
Very curious about what you dislike about lifting trackers.

I built a weightlifting tracker primarily for myself a little while ago and also published it. I tried to keep the UX as simple as possible. If you're ever looking to try out another app, give it a shot! https://titangymapp.com.
This is irrelevant to your implication that physicians never diagnose a physical issue as "emotional" merely because you've never observed such a thing.
> It starts up way slower than Gimp

On my computer (on which i'm not even using KDE as my DE, i use plain Xorg with Window Maker - and the system isn't even a high end one, it is a cheap PC i bought 5-6 years ago) Krita and GIMP start up pretty much the same time, which is around a second.

> the UI looks non-native with fonts that aren't the same as the rest of my system

Non-native compared to what? GIMP is only "native" on GNOME (though with it still being on Gtk2 it may feel off even on GNOME) and like any non-GNOME app, Krita would obviously not look "native" to it. But this is the case on pretty much most desktop applications these days on pretty much any desktop OS, the only OS where you may get some semblance of uniformity is macOS (but that comes with its own can of worms).

> spinning up some mcop's, dcop's, more cops

The last time KDE had such things were in KDE3, the last version of which was released 15 years ago.
There have been for some time. There are some issues.
A minor one: the max wash load is larger than the max dryable load.

A major one: the act of unloading and reloading gives you a chance to shake out tangles in shirt sleeves and whatnot. If you don't untangle your clothes you'll find they don't dry as well and can fatigue a lot faster!

Dryers are great if you live in the south where things won't dry on their own, or if you need to run laundry fast. If you can afford it, a drying rack works great, is cheap, and is far, far easier on your clothes.
I loved reading this paper https://philpapers.org/archive/NICITC.pdf (was linked on HN a while ago) which actually challenges that viewpoint.

Disclaimer: I'm not a biologist :)
No problem! I anticipate the rest of your response with the expectation that it will be challenging and thought-provoking.
This looks like fairly breathless, non-critical reporting. (The tagline of Grist is "Climate. Justice. Solutions." which at least implies a motivation for biased reporting.)

The article:

* avoids the question of whether the new washers and dryers will be the same prices as the models they replace.

* does not address whether the new technology will be as reliable as what it replaces or the possibility of additional maintenance costs (extra cleaning, etc.)

* It only quotes what appear to be biased sources (and dismisses opposition as "conservative backlash" and uses the "Fox News" straw man)

My personal experiences with "efficient" appliances have not been positive, but I'd be happy to be proven wrong.

(minor edits for grammar)
I think it's very reasonable. I knew a lot of people, of all ages, who lived with or were supported by family members, while working part-time and going to school or just having fun being unemployed. I think that those with jobs had a lot more purchasing power with which they could support others.
Did you talk to any LLMs about it? Java is a huge ecosystem with more nuanced and complex answers to the above questions than any other language ecosystem. It is best suited to be ingested via dialogue.
TinyLetter: Looking back on the humblest newsletter platform
It's for cases where you'd ideally keep the repo private - eg. source code for an app you're working on.

Cloning can be prevented as we're not simply sharing the github repository directly to the client. We're exposing a version of the repository (to which the user could painstakingly go file by file and copy all the contents), but there'd be no git clone option. However, this could be enabled if wanted by the owner.

If you're a content creator and wanting to share the code, you may want to monetise access to the code. Many creators do this by uploading the repo to Dropbox and adding a share link inside their Patreon or membership platform.
Why would that make it necessary to know the exact date?
Israel's fault in what? I wonder what you mean by "Israel's fault" - i.e. what Israel should have done and didn't?

Netanyahu said a lot of things over the years - including, yes, that Hamas is not going to be accepted as legit government by the world (though I'm not sure it's true) - but in his actions, he was treating it as de-facto government, even if not legitimately accepted formally. Actual political reality is a bit more complex than one slogan. And part of this reality has been that Israeli government tolerated Hamas - and it's significant abuses - because they thought it's a manageable evil and the alternatives were worse. This is a far cry with "keeping Hamas alive" - it's "not destroying Hamas because it's too hard and politically untenable, so we should make the best of what we have". If you think that there was some way for Netanyahu to magically make Hamas go away and he didn't because he like it - that's what I'd talk "talking out your bum" - nothing of the sort was ever possible. You can see what it actually takes to do this right now - and this only became politically possible after October 7. And even now the final destruction of Hamas is not assured at all - Biden admin, for example, works very hard to somehow avoid it (without saying it publicly of course), and they may yet get their with and Hamas will be spared - to repeat the same again for another 20 years.
A full-featured columns view, like that of macOS (but also implemented by various file browsers over the years), has an arbitrary number of resizable columns. Perhaps optionally with a preview pane at the end where the last column would otherwise be.

You can get the gist of it from this Super User discussion: https://superuser.com/questions/1141631/make-windows-10-file...
I don’t think it’s that… cool to try to pressure people to give their work away. Nobody is forcing anyone to buy. Pressuring for free or nearly-free gets you garbage like what we have today for mobile games, search, social media, etc.
I don’t see this going after discord but Slack or teams perhaps?
Rewrite it in Rust.
Thanks!
A digressing question. How does one go about learning to build an amazing platform line Row Zero?
It seems it’s better at producing fake content for some societies compared to others in an obviously biased way.
That's exactly it - really bad code can be refactored piece by piece.

What people rewrite is not really bad code, it's just middling annoying muck code.
Why is that hard for you to believe? They carefully lock and guard the temples where I live; just 2 days ago, Nazis spent 15 minutes reciting antisemitic slurs at the Evanston City Council meeting. I remember watching a C-SPAN call-in show once, I can't remember why, and like every other call was about the untoward influence of the Jewish people. Antisemitism is a big deal.
Fervo Energy Raises $244M to Accelerate Deployment of Next-Gen Geothermal