skysight-inc/HackerNews huggingface dataset:
I like the idea behind the implementation. The implementation as it stands would kill OSS because majority of the user base of OSS libraries are in no position to pay for every package they install into their fun side projects. This would take away the whole fun point from OSS.

That being said the idea to use package managers as funding channels is not an altogether bad idea. We all use package managers daily and if there were a way to support OSS maintainers through it without any enforcement, it would be huge.

Suppose you install a package for almost every side project. The PM could connect with your Stripe account and allow (not enforce or badger) you to pay directly to the package maintainer. I think one of the most discouraging part of donations to OSS is the recurrent subscription model. If I want to appreciate someone, I'd be open to donating once or twice on my own terms when I like it but these donation platforms force you.

Secondly as a developer I am much more comfortable in my work environment and if donations are integrated into it, I might donate more. Who doesn't like ease?
Bureaucratic processes typically involve a person new to the process
Someone had fun in the Abstract for one of the papers:

"To obtain bullet-proof evidence for a true reactive advantage, we investigated willed and reactive movements during a cooperative interaction of two participants."

HAR HAR

"Disarming the gunslinger effect: Reaction beats intention for cooperative actions" https://link.springer.com/article/10.3758/s13423-018-1462-5
This comment wasn't meant to disparage C++, more to draw a comparison.

As a C++ programmer, I find Ada very familiar in many ways, despite what would appear to be wild differences in surface syntax. A lot of things I do in C++, I can also do in Ada, though it's missing things like lambdas and move semantics.
I would be very interested to understand how people use logic theories in day to day life or work?

Is this something which one can learn and use in other walks of life, for example programming or ML?

Edit:

What I often find is that reading this type of material seems very mentally stimulating, but these texts do not seem to offer any introduction or intuition as to why someone should learn this material or how to use it outside of the logic domain.
> or risk getting sued by the original package author or a big platform like npm itself.

If I can’t get the source and compile it myself without risking being sued by someone then it isn’t really open source anymore.
I send front and side-view photos of myself in my underwear and enter my height and weight on a site and some preferences like my favorite color. The site sends me clothes on a subscription basis that are guaranteed to fit and look good on me. This does not exist. Sites that are "exactly like that except for X" are not that.
A childhood dream coming true 20 years later. The gamer community never ceases to amaze me.
UI programming is much harder than going to the moon. Do not confuse danger, scale, glamour, etc with difficulty
Orrrr... can we try to not monetize OSS and let project success be an honest reflection of community needs & interests? Funding too often becomes a conflict of interest. I'd rather see small projects come and go as time permits, than have OSS become the next victim of monetization-driven "optimizations"... what's next, Copilot offering better code blocks if you pay for premium suggestions? Functions with cloud DRM that keep some of the internals in a lambda and charge you per invocation? Examples in docs being written for Platinum sponsors instead of common use cases?

OSS is one of the few remaining examples of actual public cooperation without a profit motive. Injecting capitalism into it is just going to ruin it.

Having the funding model ("is it sustainable") be a separate concern from the codebase ("what's the best way I can make this library/framework") is a GOOD thing to keep separate, almost like the editorial vs advertisement/sales divide in journalism.

It's also a good test to see whether an individual project is worth turning into a business. If not, it can (and arguably should) just remain someone's pet project, a labor of love rather than another cheap money grab.

I don't want Github to turn into the Android app store, with a bunch of useless apps charging $0.99 for some basic functionality.
Russian and Chinese designs dominate nuclear reactors, warns IEA chief
It's mainly about being in a social group that facilitates romantic relationships and marriage, and/or putting personal effort into dating. People with no hygiene mate a lot.
If someone is voting for their rep because of the price of gas, they weren’t much for critical thinking to begin with. Investment has fled fossil fuels because its smart money; you don’t invest capital in a product the entire world is actively working to destroy demand for. Tesla literally cannot keep up with demand for their EVs, and the global price of oil is unlikely to decline in the future (JPM is predicting $380/barrel if Russia cuts supplies further), further ratcheting automakers towards EVs. In this regard, we have "crossed the Rubicon."

https://www.pewresearch.org/science/2020/06/23/two-thirds-of... (Two-Thirds of Americans Think Government Should Do More on Climate)

> Most Americans also support tougher restrictions on power plant emissions (80%), taxing corporations based on the amount of carbon emissions they produce (73%) and tougher fuel-efficiency standards for automobiles and trucks (71%). Partisan divides are wider on these three policies, with Democrats much more supportive than Republicans. Still, about half or more of Republicans say they would favor each of these policies, including 64% who back tougher emission standards for power plants.

> Reducing reliance on carbon-based fuels is viewed by climate advocates as a critical step to preventing the worst impacts of climate change. The survey finds a broad majority of Americans (79%) say the more important priority for the country is to develop alternative sources, such as wind and solar; far fewer (20%) say the more important energy priority is to expand the production of oil, coal and natural gas. Views on this question are about the same as they were in October 2019, the first time the measure was asked on Pew Research Center’s online American Trends Panel.

https://en.wikipedia.org/wiki/Phase-out_of_fossil_fuel_vehic... (Jurisdictions with planned fossil fuel vehicle restrictions)

https://about.bnef.com/electric-vehicle-outlook/ (BloombergNEF Electric Vehicle Outlook 2022)

> EVs of all types are already displacing 1.5 million barrels per day of oil usage, equivalent to about 3% of total road fuel demand.

> 2027 Peak year for road transport oil demand

https://www.fastcompany.com/90704940/was-2021-the-tipping-po... (Fast Company: Was 2021 the tipping point for fossil fuel divestment?)

> There are now $39.2 trillion in assets under management, across 1,485 institutes, committed to be divested from fossil fuels, that report found—up from $52 billion across 181 institutions in 2014. That amount is larger than the U.S. GDP, which is around $20.9 trillion. And the rate of institutions making pledges to divest has grown, too; the first three years of the movement saw 181 public commitments, per the report, while the past three years have seen 485 new commitments.
In the same way that a parent has no control over whether their child goes to sleep.
> Germany and EE (which btw does not include Russia) are economical allies first and foremost, but have different geopolitical concerns and goals.

Is it that germany’s geopolitical concerns are different because turning a blind eye would weaken east europe, thus making it perpetually dependent on the former? Or because Poland, Ukraine and Romania with a combined population of 100 mil, and 1.4 trillion USD economy would pose serious opposition to both germany and russia in east europe? I imagine the voting power within the eu and the economic bargaining power would pose quite the issue. I am confused as to why a would be ally and a would be moral high ground country would suddenly be less interested in events happening in its own backyard.

Also, Romania is pretty active in the area, but less vocal. Likely on stand by for an invasion of Moldavia, but its most certainly helping ukraine a great deal. Just because its not making news headlines it doesnt mean its not helping and under no circumstances is it a friend of russia. Unlike poland, it already had a proxy war with it in the 90s over transnistria. Cautious politics and statements are wise.

Again, an interesting comment, this time pairing romania with bulgaria as if the two are identical.

Edit: removed clutter and nonsense.
> Should harming people with words be separate from harming people with actions?

Absolutely, YES! People should be resilient against words and name-calling -- "Sticks and stones" is a common nursery rhyme for a reason.
How to Build a $1.4M MEV Arbitrage Bot on Solana
The name 'Darktable' reminded me of an IDE that was being plugged on HN a lot around the year 2012 -ish.

It had a lot of momentum at the time as it was plugged a lot on HN, it was open source and had a similar feel to Atom.

But I have not heard of it since and I'm finding it hard to recall the name. Weird.
I've had this same experience as well! Wrapping your head around the concepts at first can be a little tedious but it makes application logic and behavior far more predictable. The ability to visualize them is the icing on the cake as well and is a nice extra tool that eliminates the need for arrows and boxes in a sketchbook or a Google Drawing.
[2021]

Previous discussion

https://news.ycombinator.com/item?id=26388936
That's strange. Being able to professionally work in Clojure for the last ~6 years or so is enough validation for me that Clojure is the right choice (for me).

Does my comment came across like that because I point out benefits from using Clojure, or what makes you say that?
Hi!
It is not only for C/C++, but it can be used for any project in general. This is a low level build system which runs your commands in a shell depending on the rules you define in the beast.build file. Think of it as a faster and more user-friendly replacement to Make. It's 'pythonic' syntax makes it very easy to use and it's build speeds are matching/overtaking those of community standards!

You are right in saying that since any command can be put in the beast file, it is suitable for building a project in any language.

It is a general purpose build system, with focus on speed and usability!
The thread we're talking about is the former: the head of the FDA announcing policy via his Twitter account. How is it remotely relevant that other Twitter accounts are nutty?

If somebody shared a clip of the President making a policy announcement on TV, would you deem it false based on the fact that "Alex Jones uses the TV to get his message out too". Do you truly not understand how insane that is?
The Bullshit Web (2018)
I will check it out if it is online.

I do a lot of DIY but there are times when you just want it done and done quickly and professionally. We work for a living and don't really have time to deal with a lot of the DIY incremental aspects that happen until you get very good at any given skill. I just redid one of our bathrooms, but I wasn't going to redo the sewer lines solo let alone mid-week while living in the place.

The problem with HCOL is that even if you own you're burning cash due to the lack of time and very, very high cost of services.
When they don't charge money for it and you're not using it (so no views for ads), they aren't getting paid and it's costing them storage money. How is it hard to see that they are giving it away for free?
Something I realized is that good nutrition can actually reduce ADHD symptoms.

So you can start with that and then find out which foods make you feel more stable/present.

Some foods that help my physiology are eggs, butter, fish, nuts, yogurt, avocados, turmeric, onions and other veggies. Also chicken and occasionally red meat.

Then I try to cook something that includes those foods and it can snowball into a healthier lifestyle because you actually feel better along the way.
Yes, those countries indeed have a history rich with arrogant authoritarianism. Those laws are a literal recognition of that fact.
Event-level prediction of urban crime reveals a enforcement bias in US cities
I'm not sure what you mean, I said there are replacements
I don't see how saying "my professional (law) is worse than that other profession (macroeconomics)" is a jab.

A jab would be the other way around: "the only thing worse than my profession is that other profession".
>… where most apps don't really use multiple cores well so you don't need them on the desktop is also dead by now

I wish that was true. Lots of code I deal with bottlenecks on a single thread. Mozilla has abandoned Servo, and we are stuck with browsers poorly parallelizing parsing, painting, execution. Photoshop, aside from a few filters and functions, is also poorly parallelized. Not to mention smaller programs who understandably can’t justify the complexity of multithreading.

I’d trade single tread performance for cores any day.
Very difficult to do that in practice, because there’s currently no way to bridge C++ directly to Swift. You could bridge it via C, but any reasonable implementation would have to severely limit the amount of direct Swift interaction with the core code, or you’d be spending infinite time maintaining the bridge.
I don't agree that having a comfortable free tier inhibits upward movement in the subscription structure of a service.

I've started all the services I pay from their free tiers. Most notable examples are Evernote, Trello, Dropbox and Pocket. As I continued using these tools, I've overgrown them, and the features they offer on subscription tiers started to make sense.

As a result, I've directly bought the highest tier of service which both makes sense and I can afford.

Feedly is different in that regard. They provide a free service, nag me, insert ads into the stream, all at the same time.

Turn down nagging, keep the ads, that's OK. Add a time trial, don't sell ads, that's OK too. But they bombard you, and it comes down to "pay us or go away", and I went away. Not in a decade, but in a week.

I'm a fan of "small web". Simple services which do one thing, and do it well. Simplymail, Source Hut, Mataroa, Smol.pub, etc. They're also paid services, and I also pay for some of them. It's a simple transaction. $X for a year, no tracking, no funny data business, for these services. This is beyond elegant.

I found out that I have got enough of the modern web, with sites overloading my senses and doing all kinds of funny business with my information even if I pay them.

Feedly is a business, they want to earn money and provide services, that's fair. They can operate the way they want, and I'm not entitled to tell them how to operate, or force them. On the other hand, they're not entitled to my money or continued patronage because I opened an account on their service and gave a test drive.
Yeah, 'pcie' search gives better results.

Related technical aspects at https://github.com/OpenMPDK/SMDK
Alternatively; a backend developer writes about their exploration of a relatively new/emerging frontend approach which provides an interesting read on one of many alternative options for frontend from pure HTML to canvas for everything.

I write React in my day job and I think it's the bees knees, but I am interested to learn about alternative approaches and projects aiming to create new/revive old paradigms.
It's probably not the actual diagnosis part that will get disrupted, but all the administration needed with booking of follow-ups, journal writing, tests etc.

AI/ML might be used for targeted medicines, prevention or early detection which will free up time for doctors.
Fortunately? Somebody already did the training for them! https://github.com/yandex/YaLM-100B
Sorry what's insulting about what I wrote?
Nothing I have said is inconsistent, and I haven't said that the resulting implementation is bad although I disagree it's outside the realm of a display manager whan all of them had to implement an API to get it to work.

The only thing I have said is that Wayland has not, and will not implement an API to their specification. Everyone has implemented their own one due to the lack of directionn and then Pipewire did the presentation API.

It could have been a lot tidier if Wayland had actually accepted that they are the display server and that Pipewire will want an API to capture the display.

Pipewire is the correct output as it captures both audio and visual and can do manipulation of the output as required, but the display server feeds the visual output.
ASRock has universally working implementations. I should not have said "the only way" when I meant "the only reliable way that does not require you to carefully parse thousands of forum comments to figure out which Asus or Gigabyte motherboard does or does not support ECC".
There's a good technical breakdown of what this was and how it worked on yt: https://www.youtube.com/watch?v=qBK1sq1BQ2Q
I let Hello Fresh (meal delivery service for self-cooking) decide for me. No more shopping, no more decision making on that end.
Yeah; that won't work for replacing lenses in existing frames, but for a new pair it's what I do. $50-60 and I've got my prescription in a frame I like with all the coatings.
Let them use rsync for you?
I'm counting the sun shining on the ocean evaporating water as part of the system!
Solveig Gold Is Proud to Be the Wife of a ‘Canceled’ Princeton Professor
Not much greater a compliment I could ever expect to hear in this lifetime :-)
You are probably thinking of Lightable, which IIRC has ceased development. It never really lived up to the initial hype.
I thought lawyers usually focus on not starting them.
http://lighttable.com/ ?
I thought xxHash was only used for the chunk hash, not the whole file hash?
What did he believe without evidence? Cholera?
I understand what you are saying about declining cognitive abilities, and don’t necessarily disagree. However the lifetime appointment of US Supreme Court justices is a purposeful designed feature, not a bug. It is to foster an independent justice branch that is not beholden to the president that appointed them, because the justice can simply “outlast” the presidents term
https://www.youtube.com/watch?v=bZvNLuC12R0
Right. TLA+ has a proof assistant, just as Coq and Isabelle do, and it has been used to good effect. But because there is also a model-checker capable of checking (a subset of) TLA+ (actually, two model checkers now), practitioners greatly prefer using that over a proof assistant. The reason is that if your goal isn't to publish a paper but to deploy a system, what you're optimising for is bugs found per hour of effort, and a model-checker has a higher ROI in that regard than deductive proofs.
"Methods for mass production of penicillin were patented by Andrew Jackson Moyer in 1945."

Antibiotics are a lifesaver to reckon with.
Yeah well when `df` tells you the disk is at 100%, gotta start somewhere
Same! It's amazing how much it holds up. I can still replay the original version from GoG (packed in the enhanced one) every year.
Everyone has their own frame of reference and their own opinion on what is right or wrong in a particular situation. There could also be a singular objective hierarchy of morality or righteousness - but each person is going to have to come to their own conclusion about if that exists or not.

I think the philosophy of engagement they outline there is internally consistent, but I don't think it supports where they go next:

> If you think Cognitect is not doing anything for the community, or is not listening to the community, you are simply wrong.

It's consistent to say that you do things for your own reasons and other people are not entitled to any engagement w/r/t their opinions on your work - but then also you are not entitled to anyone else agreeing to your opinions either. You can have all the opinions you want about your own work - but you're not entitled to anyone agreeing with them. The idea that doing the work should mean something for you is, after all, just another opinion.

Alternatively, you could proceed from an ethic of building a shared understanding of creative community. Then you get to say things like "you are wrong if you don't think we are helping" - because you have a definition of community that you're following and the work you are doing is structured to support that definition. But then complaints do have value and standing, because you're promoting a kind of social contract. Not all complaints have standing ofc - but certainly some will!
What if we instead funded open source software by reducing incentives for speculators to drive up housing prices?
Massive cricket-processing facility comes online in London, Ontario
Ask HN: Vercel/Netlify auto deploy branch to subdomain like tool
Hi HN,

I'm trying to do what Vercel/Netlify are doing when you're creating & pushing code in a new branch on github: they're creating a subdomain where you can isolate & test your code. I really liked how these things worked in Vercel when I've tested NextJS in a project and I was wondering if something like this exists for custom stacks.

Is there any devops / webdev that dealt with this before? I don't wanna reinvent the wheel and google is not that helpful. I have a custom stack with multiple services (frontend, backend, other microservices) that need to be deployed.
My first thought was that I could use AWS amplify, but they don't support backend stuff (Node) by default.

My stack is currently React/Node/PHP. In simple terms, when I open a new branch in Github, I want to auto create a subdomain for my app in AWS to test the changes independently. The alternative would be to host the test environments somewhere else, which I'm willing to do as long as it supports custom stacks. I'm also willing to setup stuff in AWS if someone did this before.

Thank you!
Interesting that this is in the Science/Nature section. I wonder why not Technology.
For those interested here is the original talk the article is referring to:

https://youtu.be/9WobKoE9OPI
This just happened to me, yesterday, for the very first time! Watch out!
The Founders, through the Declaration of Independence[1], explicitly answer your question:

> But when a long train of abuses and usurpations, pursuing invariably the same Object evinces a design to reduce them under absolute Despotism, it is their right, it is their duty, to throw off such Government, and to provide new Guards for their future security.

Your argument assumes that the people have discarded democratic processes, but this is not guaranteed to be the case; in fact, nearly every time this happens, it's a corrupt government fixing elections. The definition of "elected" is not as pure as your statement implies.

[1] https://www.archives.gov/founding-docs/declaration-transcrip...
Here's the timestamp https://www.twitch.tv/videos/1519377241?t=12h55m30s
The "speculators" with incentives to drive up housing prices include the 100+ million homeowners in the country.
https://archive.ph/Swc3W

IMO, seems silly that someone wrote this article / decided to give press to this subject. But anyway, interested to hear any discussions.
Same here, though I still login from time to time, mostly because my apple id is still tied to the account. My emails are still there too.
And the recently released sequel is pretty well done, though it's a lot more PG-13 in my opinion.
Fertility, mortality, migration, population scenarios for 195 countries to 2100
If I need to pick a favorite:

https://www.youtube.com/channel/UCMbDlOwmmQnkRmcb2_5WERg
Maximum Power in Nature: c⁵/4G ≈ 9 ⋅ 10⁵¹ W
In nature, the maximum power value
c⁵/4G ≈ 9 ⋅ 10⁵¹ W
cannot be exceeded, as stated by Sciama in 1973. Still not much known, the value limits the power of explosions, the luminosity of stars and that of merging black holes. It is also a simple summary of general relativity.