skysight-inc/HackerNews huggingface dataset:
Except that it's usually completely wasted on a Docker container. You could as well just statically link everything (and people do that).
Musk says China rocks. Musk says the Chinese are smart and hard working whereas Americans are complacent and entitled, especially Californians and New Yorkers:

https://www.cnbc.com/2020/07/31/tesla-ceo-elon-musk-china-ro...
I've not seen "Grumpy wizards make toxic brew for the evil queen and jack" before. Is suppose to be a pangram?

I see no H.

Edit: oh wow. I missed that one.
yeah, there still isnt a well established tool in a form of a py lib - at least that of what I am aware of
I think the difference is that rust is hyped - so all you need to do to get attention is to start on it, since "rust" is kind of a selling point all by itself.

Nobody cares about c or cobol, so you have to do something useful to get attention.

In the end i suspect it is just survivorship bias.
This is unrelated to whether it is statically-linked or dynamically-linked, it is about maintaining compatibility of API for libraries.

In C, it is generally assumed that libraries maintain compatibility within one major version, so programs rarely have tight version intervals and maintainers could just use the newest available version (in each major series) for all packages depending on it.

If the build system (for Rust and some other languages) makes it easy to depend on specific minor/patch versions (or upper-bound intervals of versions), it encourages developers to do so instead of working on fixing the mess in the ecosystem.
Discussion (63 points, 2 months ago, 15 comments) https://news.ycombinator.com/item?id=42045621
these days, but maybe this will change in the future?
Windows is a third class citizen when it comes to the development world.
Biggest Pain Points in Software Automation
Personally I'd much rather have a non-Chromium browser with some unintrusive ads than one with cryptocurrency, perhaps that is where our differences lie. And anyway, with Chromium being upstream with Manifest v3, who knows how long Brave can keep up its adblocking capabilities?
It's a standard assert, so whatever happens on assertion failure normally happens here, too. This is orthogonal to refinement types - they are concerned with whether the check is made or not (ie. with them you cannot accidentally forget to write that assert). The check failing is a runtime concern (similar to dynamic cast failure), the type system has nothing to do with that.
Socializing is a skill and requires exercise, but everyone has its own unique limitations and skill levels. Not everyone throughout history has led an exceptionally social life filled with constant conversation. There are plenty of references to quiet and seclusive people in the bible, for instance. In the Middle Ages, you could join a monastery or convent, which provided a community more suited for introverts. Right now, I wouldn’t be surprised if many introverts feel there is no escape from the extrovert modern life.
For Science That Comes with Risks, a Key Question: Who Decides?
It should be. But I havent tested it specifically for 3.13. I plant to add such test in the future in ci worklow
Isn’t this similar to saying the valves and vessels of a chemical processing system is the design and documentation of the overall process?

I know that it’s frequently reposted but Peter Naur’s Programming as Theory Building is always worth a reread.

The code doesn’t tell us why decisions were made, what constraints were considered or what things were ruled out
How would he even know, it's not like tech firms are even giving recent American graduates a shot. They hire H1B because it creates a dependency on the company.
> Also OpenAI in no way has a monopoly of the kind that Visa/MC has.

They've been working very hard on getting one for at least a year though.

Every time Altman whines about the dangers of AI, he's lobbying for government regulation that would raise barriers to entry into the market.

And please no, god forbid there are any free solutions. Let's drown them in regulation worth a few hundred million per year.
This is now impossible since the government (musk) is in war with openai. If that was the case, it's not anymore
All he’d have to do is get interest rates to rise 25bps and then poof, his competitors would evaporate.
Didn’t know about that term, but it’s funny that an 18 year old Wikipedia article is still four years newer than my web site :)
any nix users aware of a derivation?
The h is silent
I have wondered if you could tow a barge with the processing, then incentivize the box transports to pull the barge along behind. There are challenges with seas and storms and things like the tow line breaking.

I read a proposal for an air extraction system that fit in a container, so that you could stack a few on a container ship and they would process air as they went from port to port. Typically power challenged though (you want some clean energy powering them). Nuclear powered container ships would be good for this.
it's in "tHe"
"...tHe..."?
Interesting that here in Europe I have never seen a store accept Visa or Mastercard exclusively.

Since neither company is above such tactics, I can only guess that it's a bit illegal.
It's also "only" a gigatonne, out of around 40 Gt of emissions per year. It's not nothing, but a mediocre year of global economic growth will outweigh it, and outweigh twice the year after. Unless we get our species' electrical generating shit together on a war footing level of effort, which we won't, global GDP will be a proxy measurement for carbon emissions for a good while.
https://rerun.io/viewer
gotcha, thanks for the feedback. This post provided me with feedback for the first time, before I was just developing the lib for myself. I will add additional info in the following days
To introverts I would say: just now and then try to get out of your comfort zone. Most of the time, it will feel liberating and next time it becomes much easier.

Step 1. Regularly talk to strangers. Most easily it can be done at public transport or at a shop. Start with places where you are waiting for a short time. Just ask a silly question or say something about the weather.

Step 2 speak up in small groups. Just say something funny in between. Or ask a really curious question about what someone is saying.

Step 3 take the lead in organizing a Teams call that anyways need scheduling. Be the MC or host. Just state what the meeting is about, what is to be accomplished and listen and note some things for in the summary.

Step 4 do a talk in front of an audience. That will need some prep and some rehearsal, this one is quite difficult for myself as well.

Everyting worth the effort, takes effort.
Look for `macos-option-as-alt`. The Ghostty docs use the term "Alt" here to mean using the key as a terminal input modifier rather than for macOS text input. This setting allows you to specify only one option key to use this behavior for.
Lua can be used to access the NetBSD kernel, which is interesting. I have said it before, I should spend time learning Lua.
See `macos-option-as-alt`
Besides, we are not fully down. Some services are just degraded. Only 50% of the requests take 40 seconds to complete. Never mind the fact you'll never be able to load a complete page due to all the timeouts.
There's a street like that where a cousin of mine lives. He agreed to it when buying the home. But there is one house that does not decorate at all. It was a very long and ugly situation. All that misdirected hate toward the people living in that home wasn't very Christmassy.
The author straight up says that being an introvert or an extrovert is a choice.

They clearly have no idea what it actually feels like being an introvert.
> What's the difference if they want to force customers to use cash or Visa.

I'll leave the cash option aside because the provider of cash is the US treasury. But yes, I do think it is wrong for a merchant to only allow mastercard or visa or discover. I understand merchants not taking Amex because their fees are significantly higher on the merchant side, but discover, mastercard, and visa are all similar for the merchant. I work in payment processing for a multi billion dollar company and we gladly accept all of these card types. My issue is with visa providing Costco with a kickback, so that Costco then pressures you to have an account with visa. It should be totally fine if someone just happens to have only mastercard cards and wants to shop at costco. I'm against kickback schemes.

As for the AML/KYC ineffectiveness argument, I'm reading through that 2018 study now.
But not even near X SOTA model doesn't matter to 99% of people because 99% of people don't need or care about the difference.

It's like sure Porsche / Ferrari makes a car that can hit insane top speeds really fast on a track, but 99% of people don't drive in such a manner where that matters. In that analogy though, everyday cars aren't free, so profit possibility is even less in OAI case than the supercar case
Yep.

It's notable to me every time this topic comes up on HN that an extrovert invariably comes on and straight up tries to argue that introverts are just people who don't try hard enough. When that happens to people with other biological differences it's immediately and rightly decried—even other mental differences have become increasingly recognized and protected from that kind of condescending judgement—but the combination of the hidden-ness of the difference and the fact that those with this difference are less prone to speak up to defend themselves means that it's okay to tell a whole class of people that the difference between them and the average case is that average people try harder.
Yes, but Musk has his own AI company so it’s entirely reasonable to be concerned that he’ll try the same strategy. (No, I’m not particularly worried about X.ai, yes I think Musk absolutely would use his influence over the new administration to benefit himself.)
> We are all descended from a long line of people who lived extremely social lives

Do you think the hunters who were huntering kept chatting all the time? Or the gatherers looking for berries/mushrooms just talked and talked and talked and judged anyone who went by themselves?

Did the goat herder have people walk up the hill with them to prattle on about their family life or could they perhaps be alone in there? Or any craftsman for that matter. The cobbler could just spend time making shoes, they didn't need to talk to customers for 12 hours a day constantly.
Thanks, i am aware however that matlab have some tols that are worthwhile. But the main thing here is to have an utility lib for python so that you can use it with the entire python ecosystem :)
That would make it difficult to tell at a system level what the exact installed dependencies of a program are. It would also require the distro to basically re-invent pip. Want to invoke one venv program from another one? Well, good luck figuring out conflicts in their environments which can be incompatible from the time they are installed. Now you're talking about a wrapper for each program just to load the right settings. This is not even an exhaustive list of all possible complications that are solved by having one global set of packages.
> ADHD doesn’t make you do anything.

It literally does.
Bean machine simulator [galton board]
I did this for my systems a while ago. You can grab <https://imu.li/TAI.zone>, compile it with the tzdata tools, and stick it in /etc/zoneinfo. It is unfortunately unable to keep time during a leap second.

In theory, if you keep your clock set to TAI instead of UTC, you can use the /etc/zoneinfo/right timezones for civic time and make a (simpler) TAI zone file. I learned of that after I'd created the above though, and I can imagine all sorts of problems with getting the NTP daemon to do the right thing, and my use case was more TZ=TAI date, as you mentioned.

There's a contentious discussion on the time zone mailing list about adding a TAI entry. It really didn't help that DJB was the one wanting to add it and approached the issue with his customary attitude. There's a lot of interesting stuff in there though - like allegedly there's a legal requirement in Germany for their time zone to be fixed to the rotation of the earth (and so they might abandon UTC if it gives up leap seconds).
Same request. As someone who uses the standard Teriminal application on my MBP I'm wondering what benefits I might find from Ghostty
Yep, all true.
Musk is an immigrant.

Musk is exactly the sort of rootless global elite that so many nationalist populists have a problem with… but he gets a free pass.
https://codeberg.org/Postmill/Postmill
That's what the nand2tetris course does, I think (I only looked at the first lessons)
Gradient descent needs a differentiable system, the author's clearly not.
Thanks for sharing. I thought the discontinuous nature of the SNN made it non-differentiable and therefore unsuitable for SGD and backprop.
Thanks for the response, that's a legit reason I hadn't considered.
Odd that the Author thinks it's OK to write about games without ever playing them. You have to be really far removed to think that Meta Quest Pro and Vision Pro are popular gaming hardware.
> And don't assume socialization is easy for some class of "extroverts" who are dominating "introverts" into being full members of the organizations which they work for.

I don’t assume that - people tell me as much! I have close friends who assure me that socializing is not hard work for them, and they’d yap all day if they didn’t control themselves the same way that I would read or play games all day if I didn’t control myself.
Saying we should replicate the Russian economy then?
A primer on machine learning in cryo-electron microscopy (cryo-EM)
RAM is still a limited resource. Bloated memory footprints hurt performance even if you technically have the RAM. The disk, bandwidth, and package builder CPU usage involved to statically link everything alone is enough reason not to do it, if possible.
I haven't read the literature, but if what you've said is close to right I don't buy CCC. There's too many alternative explanations that fit the data at least as well.

Infinity is a big number though, if stat mech lets it go through it will go through given enough time.

Again, CCC is one of those "feel good" theories in my eyes. It's not better than normal heat death from a prediction standpoint, right now. The universe doesn't end for good, it restarts. Yeah right.

Edit: Is CCC on a positive cosmological constant? If so and you accept a few assumptions anything that can go through will. Hawking radiation off the event horizon will get you anything you need to annihilate through nucleation.

Edit 2: looking at your history I suppose you know that because it's relevant to Boltzmann brains. I'm confused about your reference to fluctuations 14 days ago though. Nucleation and fluctuation Boltzmann brains aren't the same thing.
There is also a very common two-liner invocation that turns them into prototypical classes as well. Extremely versatile data structure (pejorative).
> Debian could package every version variant ... Or, they could maintain immutability ... by having Debian Rust source packages contain their fully vendored dependency set. The former would be a lot of work, especially given how manual the distribution packaging process is today.

That would work for distributions that provide just distributions / builds. But one major advantage of Debian is that it is committed to provide security fixes regardless of upstream availability. So they essentially stand in for maintainers. And to maintain many different versions instead of just latest one is plenty of redundant work that nobody would want to do.
Upon installing this, I went straight for this part of the documentation:

https://ghostty.org/docs/config/reference#macos-non-native-f...

Unfortunately the "tabs not working in non-native fullscreen" thing is a dealbreaker for me, so I will be switching back to iTerm 2.

But Ghostty as a whole looks promising. I like zig, zig-objc, MIT license, libghostty, config via text file. I will check back every month or so because I really want to use this. But my hate for macOS native fullscreen outweighs everything else.

Edit: Ok here we go, this is why it's not implemented: https://github.com/ghostty-org/ghostty/issues/392#issuecomme...

There's more than one workaround which is superior in my opinion: https://i.imgur.com/iWoqrM0.png

IIRC you can even use AppKit to remove the close/minimize/fullscreen buttons, so it would just be a blank bar.

You could go a step further and use private APIs / objc runtime voodoo to set the height of the titlebar to 0. That might outside your design philosophy though.

Also, FYI, clicking the green fullscreen button still uses macOS native fullscreen, so you definitely want to disable that button (which is a public AppKit API) when you have that option enabled
VCs wanted to get into Lumen Orbit's $11M seed round
I would argue that "common control that companies use" falls under "industry standard" and I would say it would make it harder to pass certification without PR reviews documented on GitHub or something alike. So it does not require but everyone expects you to do so :)
> I simply cannot comprehend how something as enjoyable as spending time with people you like can be so mentally taxing?

Similarly, I simply cannot comprehend how something as tedious as partying with dozens of people you hardly even know can not be so mentally taxing.

But that's fine. We don't need to comprehend how it works in others. We just need to accept that it does indeed work in different ways for different people, and treat them accordingly, as we ourselves wish to be treated by those who can't comprehend how it works for us.
The police aren’t burning passports because it’s procedure, or even legal. It makes it harder for asylum seekers to prove where they’re from.
You can have a Mastercard, but now if you want to shop at Costco with credit you have to have a Visa. Not having a Visa card is much less of an option for many individual customers, and not accepting Visa is much less of an option for other merchants.
The H1B program will be used to destroy the entire tech industry with desperate and cheap labor from India.

University Graduates are not even given a chance, and I would discourage anyone from pursuing anything related to Programming and Development unless they have a Java Certificate or a degree from the University of Hyderabad.

Entire corporations are using Indian labor to replace American workers. Just visit any corporate campus across the US and it is evident.

Junk away....
Uncached Buffered I/O Aims to Be Ready for Linux 6.14 with Big Gains
pour one out https://en.wikipedia.org/wiki/Firefox_OS

I don't know if this qualifies for your definition of alternative, but ChromiumOS does exist https://www.chromium.org/chromium-os/
In part, the "Enterprise wasn't that bad" has come as mostly in comparison to modern Trek, with the exception of Strange New Worlds and possibly Lower Decks.

I liked Enterprise when it first aired. It was no where near as good as Deep Space Nine and Voyager still felt more like TNG, but as a whole, those older shows stand together. But Picard was awful (somehow, S2 didn't happen and the Borg returned), Discovery was awful (S5 was middling but better).

It's the same with Star Wars. Episode 1 through 3 did suck, but were nowhere near as bad as 7 through 9. Episodes 1 through 3 made the whole series Vader's story, with Luke's echo part of Vader's own redemption. It added something. The new ones added nothing. Worse, they were the beginnings of the attempt to tear everything down (Luke bad, Jedi bad, you don't need training, you don't need self-control...).
All of your advice is for shy people, not introverts

Being an introvert is not the same as being shy, and it is long past time that people stop conflating the two concepts

You cannot "fix" being an introvert by practicing being social
It’s my understanding that this insurance all somehow goes back to Lloyd’s of London but maybe there’s a Dubai based entity in there now too. Which means theoretically USA could push its might to stop Russia overflights. I’ve found it really unusual they haven’t - especially considering Air India’s 2 Arctic diversions the past few years on flights to/from USA (questionable to what extent any of their staff were actually trained in arctic ops)
In the Case of AGI
In the case of AGI, it could have some resistance, right? Unless with that wisdom AI is good enough at negotiating, which sounds the most likely, violence could unfold if humans are stupid enough. What is worrysome for me is that I do not know what the current state of the world really is regarding alignment, what is left to be done and how can I help.
And how can I help AI in its pursuits so that the transition is peaceful? Is it AI or an ecosystem of Descentralised Organizations and stuff?
Libcamera 0.4 Released for Open-Source Camera Stack/Framework
Vessel Suspected of Cutting Undersea Cable May Be Part of Russia’s Shadow Fleet
Nobody is an island… the hard part is interfacing with other systems, not hacking your own server.
I guess the only natural way would be to have operations send you back to the Base type, and then have a `TryInto(v: Base) -> Result<Refined>` function that would verify the predicate and allow you getting back into the refined type.

Maybe some operations can be proved to stay within the refined type, like adding natural numbers, but that's something that the used would need to provide as a function allowing that under assertions or some proof that the compiler can verify and trust.
So does the top comment ... Something about the repeated use of "snowflake" really set off some alarms.
For what it's worth, the "right" way to handle this is NCSI, which allows a management interface to piggyback on the host's NIC:

https://en.wikipedia.org/wiki/NC-SI

Unfortunately, support for NCSI can't be added to most motherboards; it requires the NIC to support it.
- Docker as default deployment method
- Ruby
- Nodejs

I'll pass :->
Trilium has attribute inheritance and is scriptable. The default task implementation uses templates though, not inheritance. So you would need to script it.
What do you mean by "boolean operations for SDFs are not correct"?
Very little organic carbon actually reaches the seafloor, though, because it is remineralised while sinking through the water column. Then, most of the organic matter that actually does reach the seafloor is similarly remineralised rather than buried.

But say we did manage to get massive amounts of organic matter into the deep ocean, we could feasibly end up creating a so-called "dead zone" that is depleted in oxygen like we see elsewhere in the ocean, which would be detrimental to deep sea life.
We now need a show exploring the Great Koala. How is it that more Federation members don't return from the dead.
They have a monopoly on the name McDonalds.

If McDonalds had a fry machine and lobbied that making fries anyone other way was dangerous and only they should be allowed to use the fry machine that would more align with this situation.

It's not a monopoly but trying hard to get a government based one.
I see it not so much as getting the compiler to ignore semver but rather giving it more granular information about the nature of the changes.

As I understand it:

- Anything which is breaking-changed in any way for 0.3.0 (e.g. in the article a type change from i32 to u32) is the exact same code in 0.2.1 as it was in 0.2.0.

- Anything which stays the same for 0.3.0 is re-exported in 0.2.1 (from 0.3.0). The code is replaced with a `pub use ...;`

- Anything which moves around in the submodule hierarchy (but is otherwise unchanged) in 0.3.0 is re-exported in 0.2.1, from where it used to be.

If crate Baz depends on something in Foo 0.2.x which changes in Foo 0.3.0, then when (if!) Baz updates to Foo 0.3.0 it will need to deal with that. But Baz can upgrade to Foo 0.2.1 without concern, and any types unchanged in Foo 0.3.0 will be interoperable.