skysight-inc/HackerNews huggingface dataset:
Thanks so much for your detailed reply. This looks very cool indeed. I've had a couple tiny projects in F# in the past that never went anywhere, but you're describing essentially all the parts in a programming language that I want, early returns, binds/maps, language support for these features, defining your own keywords (not really but kinda with your expressions)

Excited to try this out
Super impressive to watch, person clearly knows what they’re doing.

But saving $200 to then need to expend this effort seems hardly worth it, never mind that it likely voids the warranty.

Maybe if it was already a few years old it might be worth it.

I suspect the video is to show off expertise rather than advertise this as a particular service they could economically offer.
Reading public website data is not "taking it". It is still there.

Observing publicly available information is not theft, nor is it illegal.

Of course copyright rules apply, but that is for if you reproduce something.
Fully Decentralized Forum with 60 Lines of Code
Nobody notices a difference when companies lose 30% of their revenue?

Would anybody notice a difference if they lost 60% of their revenue? How about 95%? I mean it’s just a third party’s ledger right, so who cares?
Link for those who need it:

https://arxiv.org/abs/2003.03600
My AppleID login is my primary GMail account, but with a +postfix. I guess it achieves the same purpose, but with less mailboxes.
I asked Claude 3 Opus about this, here is its response:

It's an interesting theory, but the relationship between diet and insulin resistance is more complex. Here's a breakdown:

The Randle Cycle:
The Randle Cycle, also known as the glucose-fatty acid cycle, suggests that high availability of fatty acids for beta-oxidation can inhibit glucose utilization.
This is because the products of fatty acid metabolism (acetyl-CoA and NADH) directly inhibit key enzymes involved in glucose metabolism, such as pyruvate dehydrogenase and phosphofructokinase.

High Sucrose and Carbohydrate Diet:
A diet high in sucrose and carbohydrates can lead to increased blood glucose levels, which in turn stimulates insulin secretion.
Chronically elevated insulin levels can lead to insulin resistance over time, as cells become less responsive to the effects of insulin.

Adapting to Glycolysis:
While minimizing beta-oxidation and relying primarily on glycolysis for energy might seem like a way to improve glucose metabolism, it's not that simple.
Excess glucose, if not utilized by cells or stored as glycogen, can be converted to fatty acids through de novo lipogenesis, contributing to increased fat storage and potential insulin resistance.

Insulin Resistance and Glucose Metabolism:
Insulin resistance is characterized by impaired glucose uptake and utilization by cells, leading to high blood glucose levels.
Poor glucose metabolism can indeed lead to a preference for beta-oxidation, as suggested by the Randle Cycle. However, this is a consequence of insulin resistance rather than a cause.

In conclusion, while the theory of adapting to glycolysis by minimizing beta-oxidation is interesting, a high sucrose and carbohydrate diet is more likely to contribute to insulin resistance rather than improve it. Insulin resistance is a complex metabolic disorder influenced by various factors, including diet, physical activity, and genetics.
If I decide to improve my skills and negotiate a 2x raise with my employer or another employer I don’t want to have to be limited by some additional bureaucracy trying to tell me what my employment contract should be
> control of God and physics

If either God or physics want it, they already have root.
> Would it be accurate to say this is like one of those web host 1 click install things, except it runs on your computer?

Yes! That's exactly what it is; taking advantage of a trustless architecture (e.g., you only have to trust yourself versus trusting each employee in some random company with your data).
Left some comments in the /r/Mastodon subreddit (shameless plug but please come and join us if you have interest in talking further about the project and its wider ecosystem); I'll copy and sum up here:

It's great they're keeping everything 501c3, this is definitely a solid foundation for the future of the project. It's very unfortunate to hear about the German status being withdrawn but maybe that's just a temporary operating hiccup. Either way, encouraging news in general. I'm am seeing some rumbles on Masto about particular chosen board members. I don't have a take on this other than to note that 501c3 boards are kind of just people who exist and set direction but they don't really have a lot of hands on involvement most of the time /shrug

If anyone on the board or project is watching this space, please set up a Mastodon-as-a-service and offer your software, completely managed, as a turnkey "bring your own domain name" sort of offering like Google Workspace / O365 but for social. Good way to bring money in and you can get other nonprofit humanitarian orgs on the AP ecosystem.
Probably installed fortnite.
What makes you think this isn’t an attack?
In a bit of sleight of hand you just substituted "good hardware for Linux" where earlier you had the unqualified "good hardware."
Facebook users needed to be able to communicate with each other. That’s a business requirement no regulation can deter.
Have you checked their terms and condition? There might be a clause that says - since you are using their devices you forfeit claim to your own backyard ;-)

J/K. But since it's Apple, nothing is far off.
> a contender for the greatest game studio you've never heard of.

If getting 1 in 10,0000 right makes you a contender.
You’re partially right that it’s not about memorizing solutions; it’s about committing patterns to memory.

I well doubled my income after using SRS to master leetcode/algo/ds patterns. Implementing SRS was a catalytic moment in my interview prep training that really accelerated the volume of patterns I held in the RAM of my brain.

You can view the cards I made at https://github.com/yfSWn5KP/algo_and_ds

There’s also system design cards at https://github.com/yfSWn5KP/sys_design
HomeKit fails a lot for me, as does Safari syncing of favorites, including sometimes the wrong icons being shown for a given favorite. There are bugs in Safari browsing history, such as when you select some history entry, the underlying links of other entries sometimes get shifted (with respect to the displayed labels). Apple Mails takes multiple minutes to sync read/unread status between devices, and sometimes doesn’t sync at all until you open the app. Even on the same device, the Mail app badge only updates half a minute or so after having read an email. When editing text and cutting and pasting around, the text suggestions tend to see a different internal state than what is displayed (you get suggestions for terms you have cut out or deleted concatenated with words that are still there or that you pasted). Apple services have regular hickups. Just today we had https://news.ycombinator.com/item?id=40177617. ICloud backup requires a subscription beyond 5 GB, or else you have to backup via Mac or PC, which at least on PC Apple doesn’t allow you to automate. (You have to manually authorize each new connection to the PC, even after a small interruption. There used to be a persistent “trust this PC”, but that’s gone.) That’s from the top of my head.
Blame the carriers for not implementing rcs and getting stuck in horrible mms. Then blame Apple if they don’t implement it.
This makes me want to minimize my touchpoints with any of any cloud services of the hardware I purchase to ensure I can't be locked out of my life for 18-24 hours.
|
Some people have to take care of critical dependants. I don't exist and serve at the pleasure and convenience of any aspiring digital identity provider. I actually never wanted any of them to be my digital identity.

What's convenient may also be a bigger security gap and impact than many ppl realize.

The recent threads about PalmOS phones seem timely in hindsight. With Palm devices, you installed apps yourself with a sync cable to your computer, and there was no convenient app store, no one could lock you out of your smart phone and your life. Maybe that's an option that should come back. iTunes used to backup and sync just fine.

If there's no real acknowledgement or detailed coming out about this, it's very possible it's a cybersecurity incident of some kind that is serious enough. And it's not just an Apple thing. This has or will happen with every digital identity provider.

There's no one to really pick the phone or answer an email at google or apple when it comes to your digital identity that they want to be holders and providers of.. At least with the government there's a DMV or registry to go to.
> a pretty quick path to becoming bloated with admin and immobilized by politics.

cool, then someone can fork and launch their own Masto alternative or some other AP compatible software can grab mindshare. I don't see this as an issue for the ActivityPub ecosystem (and I personally love the Masto project, but diversity in the AP ecosystem just drives everyone to be better.)
Ontario to limit cellphone use in schools: sources
> SMTP, IMAP and POP did not prevent gmail or outlook from launching products

. . . and likewise did not require regulation for companies to be interested in adopting.
Was your car still under manufacturer's warranty?
Yes, that's a good way of thinking about it.
> Security in php is a headache.

It really isn't.
you are basically asking for multiple companies to give up their crown jewels for free
MediaInCheck empowers the public to shape the media landscape by providing a platform for transparent, community-driven evaluations of media personalities. Our mission is to restore trust in journalism by upholding standards of truthfulness, fairness, and impartiality. By amplifying the people's voice, we champion a more accountable and balanced media environment, ensuring that narratives reflect reality and integrity prevails in information dissemination.
Tasks Are the Wrong Abstraction
Going to an apple store might be an option too with ID, etc.
There's a bug tracking system associated with this project https://launchpad.net/sbcl

I include (1) minimized input that can reproduce the bug, (2) a copy of the error and stack trace, or of an incorrect output, and (3) identification of the specific version of the software (a git id) and the architecture it was compiled for (typically x86-64).

Example: https://bugs.launchpad.net/sbcl/+bug/2063205
I'm not answering your question here, just saying my opinion on C++ vs Rust. I think that the big high-level difference (before diving into details like ownership and the borrow checker) is that C++'s safety is opt-in, while Rust's safety is opt-out. So in C++ you have to be careful each time you allocate or access memory to do it in a safe way. If you're working in a team, you all have to agree on the safe patterns to use and check that your team members are sticking with it during code rewiews. Rust takes this burden from you, at the expense of having to learn how to cooperate with the borrow checker.

So, going back to your question, I think that the answer is that it depends on many factors, including also some non-strictly-technical ones like the team's size.
And those users will be the whales who are benefiting from lower prices the most.
Of course there is much missing from his story, these tech corps keep the victims of their incompetence in the dark so not even the victims know the full story.
Lenovo is a good brand and the one issue I've had with several models is Bluetooth audio. You and I had different experiences with the same brand of hardware. To a potential new user considering Linux, do you think our exchange would increase or decrease their confidence about adopting Linux?
IVF and egg freezing: Numbers jumped in 2022
Hydra is the CI/CD platform executing jobs (the nixpkgs/NixOS job is defined in nixpkgs itself).

Having lurked for some years in the NixOS community I think it's too early to insinuate wrongdoing. It's no guarantee, but I believe all core contributors are giving their best. If malware gets distributed it's from upstream-compromised software.

The technological basis for verifiable IT is not well developed for now, but my guess would be they'd embrace it immediately (many core contributors come from the functional programming community). As things are, they are looking for resources to make core development sustainable. There's a million things to do (just look at the nixpkgs bug tracker). Cachix and hydra and the labor are expensive...

And dunno about the political angle. That sort of shit is part of life for decades in the distro space (and in most organisations of any kind) and we'll manage.
I'm happy to dial back any offensive insinuation I've made, but I'll have to ask you to tell me what it was first. I don't know you, you're just a message board abstraction to me, and if I've wrongly attributed some sentiment to you, I'll be glad to correct the record.
Your options are to use off the shelf and end up with a brittle and janky setup, or use open source and end up with a brittle and janky setup that is more customized to your workflows... It's a tradeoff though, and all the hosting and security work of open source can be a huge time sink.
Implementing Lambda Calculus in Haskell
I wonder how hard of a problem detecting this would be, with the goal of unskewing the scores?

Could they simply hash your solution and see if you match someone else exactly? What if you give someone credit for exact matches because they don't have exact matches on other problems and sometimes it's just more likely? What are some other ways this could be evaluated?
The Moore-Nakamoto Plain
> What I am saying is that an evolution of the C++ model is much more ergonomic and less viral than this ton of annotations with a steep learning curve where you spend a good deal of your time fighting the borrow checker. So my question is:

That "evolution of the C++ model" (the C++ Core Guidelines) has an even steeper learning curve than Rust itself, and even more invasive annotations if you want to apply it across the board. There is no silver bullet, and Rust definitely has the more principled approach to these issues.
Rust is not used in V8, to my knowledge.
I don't have a hardware issue with WiFi. I have an issue with Bluetooth audio.
You should email Tim Cook. Executive relations can often fix problems.
Edit: amazing that someone downvoted advice. This site has some problems.
Security in vanilla php using old tools is a headache.

I use Symfony and using the form component (https://symfony.com/doc/current/components/form.html) you can achieve much of what is needed.

If you use the framework as well (which is very modular nowadays) you also have security built-in (https://symfony.com/doc/current/forms.html).

But probably not as fast as a "quick and loose" approach if you don't know Symfony yet, but extendible and secure (if you do know Symfony, it might be faster than the vanilla php approach, because you can avoid much of the "generic" code, the validators, the error handling, avoid SQL and XSS injection).
UI researchers find GPT-4 can now exploit real-life security flaws
As solar capacity grows, some of America's most productive farmland is at risk
Russia's motivations were spelled out plainly in the diplomatic cables, both in their own words and then in our analysis of them. Obviously it has nothing to do with colonialism. Similar for this nonsense about the Ukraine war being an ethic cleansing. The UN has put the total civilian death toll in Ukraine at 10,675 [1] in the more than 2 years of fighting. That number is a minimum, but it's not going to be orders of magnitude higher. The Ukraine War has had one of the lowest civilian casualty ratios of any significant scale war.

Russia's motivations in Africa obviously aren't anti-colonial or whatever. It's the same stuff that's going on with South Africa, Brazil, China, and so on. They're simply pivoting towards the 85% of the world, the 'global south' - a pivot that began many years ago, but which the conflict has accelerated due to strained relations with the 15%. The stronger and more independent the global south, the more beneficial and productive the pivot.

[1] - https://ukraine.un.org/en/264355-report-human-rights-situati... (page 10, note 38)
thanks for the notice, will fix this!
>Isn't this just stating the obvious?

Yes, which is why it was a stupid thing to say. If our enemies simply capitulated we wouldn't have to wage this war.

>Not sure why, you don't give any reasoning, but ok.

Because one of the concerns in the letter is that he has _informal_ authority. By the way, if you go to https://nixos.org/community/teams/nix/ it says "Team lead" so he does have more formal authority. A title he added himself by the way.

>It sounds to me like the open letter should have listed specific action items they wanted to see, if they wanted to be taken seriously.

The letter said they want Eelco to give up his leadership roles. Then it lists why, which you don't need to read the contents for, just the table of contents is enough. So if he doesn't want to resign, there is for example "Ignoring people then relitigating", which he could work on trying not to do. "Avoiding giving away authority" is another. There are many items like this. Not resigning and choosing to just work on specific concerns may not make all the signatories happy, but it would probably be acceptable to some.

>Doesn't this by definition mean he doesn't need to do anything else? I'm confused.

Yes it does mean that he needs to do something. Sometimes in a leadership position people question what you're doing, and there are ways to address their concerns without changing what you're doing. If you succeed then your community can stay together. Most projects benefit from being larger.

>I don't understand how you can expect someone to "reach out" to invisible people who won't make their concerns heard clearly (this letter is not that IMO).

I mean reach out in a sense of: acknowledging that some things may need to change in a way that reaches people. For example in a blog post. I don't mean send people private messages. I don't understand what you mean by "invisible people". Clearly Eelco wrote a response to a long letter that has signatories. So which invisible people?

>I don't see where specific wrongdoing is called out, or any suggestions for improvement.

I think you're being deliberately obtuse. Specific wrongdoing is called out in the original letter and you may not agree that it is wrongdoing but it is specific. You may disagree that improvement is necessary or that the suggestions are any good but that doesn't make the suggestions not exist.

>What is "this"? How has this directly affected you? To me there is no "this" or even a "him" without very specific concerns called out.

"This" is drama. It has not directly affected me because I don't use Nix, but the project requires contributors who for example package software. Seeing the #4 contributor to Nixpkgs, and several others leave, as well as the indefinite "experimental" status of Flakes, makes me question the longevity of the project.
Building on OCaml, Going Open Source, and More with Malcolm Matalka [audio]
Would love to have some feedback on the article!
Outside of the title, they use the word "tunable" which is more accurate.
... commonly referred to as a "trade secret".

https://en.m.wikipedia.org/wiki/Trade_secret
Is it included in the Prime subscription (Like AppleTV and Baseball) or is this just a way to subscribe to SportsNet without a Roger’s bundle?
>An Apple user told me “Apple never makes mistakes” during the Antennagate. I never forgot that, and I try not to have conversations with Apple fans after that.

Someone made an absurd statement to you about Apple, so you have spent the last fourteen years trying to avoid conversations with people who like Apple products?
Would them sharing their steam page with all the badges showing they are in the top 1% of most the solutions kind of similar to sharing their GitHub profile?
Because that is the way apple designed it. Try wiping a locked apple device without the password or recovery key.
I didn’t know they had arm server versions. Thanks for the link!
The Moon isn't a space station because it doesn't look like our concept of a space station.

More likely it's just the Moon than an advance alien space station though.
The author clearly states he is not dev/sysadmin and just playing around for hobby - I think it's totally fine.
"It could be either." This isn't a fact. It's not written down anywhere that anybody can look up. It is essentially lore, rumor, hearsay. That is not a firm foundation for building confidence in a platform.
ArcaneDoor – New campaign found targeting network devices
Some alternatives not mentioned here that I am aware of are Mnemosyne Proj [1] and org-drill [2]. I have only ever used anki though. I am going to try org-drill because anki has over 40 dependencies I would not need to compile if I just switched to org-drill. The one nice thing about anki is the community cards you can download, but at the same time I feel that an important part of learning is making the cards yourself.

[1]: https://mnemosyne-proj.org/features

[2]: https://orgmode.org/worg/org-contrib/org-drill.html/
I’m struggling to see what’s wrong with Federighi’s argument. Why should he not want to protect Apple’s position? Apple has no monopoly on mobile messaging or hardware, and they didn’t 8 years ago either, so they can do what they like here.

What is Apple supposed to do? Spend time and money on interop to better the lives of Android users? There’s nothing wrong with them doing so if they like, but I fail to see any obligation they have.
what about adapting and integrating? i heard somewhere you will never fully be accepted or become swiss and that people are not very open or welcoming
He's probably referring to this: https://news.ycombinator.com/item?id=38783112
I'm playing Zelda Tears of The Kingdon... almost infinite side quests..
Absolutely, it’s possible the name could be misleading but surely this is one of those times where maybe you make the mistake once and then never again. There are far more painful gotchas in Python (see mutable args).
I found the article to be terrible, and his school building analogy falls flat on its ass. Both junior and senior developers can and should contribute to open source, for a variety of good reasons and there are good ways to go on about it.