skysight-inc/HackerNews huggingface dataset:
>If my goal is to profit from running a forum, that can also be done in a decentralized, federated fashion without DAOs too.

Yes, that is likely true. I think DAOs are interesting because they make partial ownership by the users of the forum easier. Personally, I don't care about decentralization or federation. I ran a Mastodon and DeSo node for a while and I am not sure if it actually adds anything to user experience or actually solves a real-world problem.

What interest me in the "organization" of the DAO is where it allows people that share a common interest build something together without incorporating a business and distributing shares.

Do I need a DAO or run a forum or website (VPS or otherwise) for any of this? Realistically, I could phone a number of friends to meet up regularly for beers and discuss football.

But I think the development path could be
Friends doing a meetup locally -> International friends that want to meet -> International friends that want to build something together and earn by doing so.

I think the problem that a DAO solves is to get people together that share a common interest and provides an efficient way to ensure proper governance and compliance.

Will the world continue without DAOs. Yes for sure. Could DAOs develop in ways for communities (clubs, teams, political parties, etc) to govern themselves, maybe. Still I think its worthwhile to think into this direction. I am currently hoping to get funds from Cardano's Fund8. And the voting process is completely organized by the community of Cardano users through a supported wallet. And I think from a fund-raising perspective, this is really efficient since it crowd-validates your idea and provides a transparent way forward.
You’d have to bug the TCG to add it to the spec.
"Even" climate scienstists? There's no need to draw up conflict where there is none.

Climate scientists study climate. Should you want to know about climate, you can do much worse than to ask one.

There are no sides to pick here.
Tesla sues former engineer over supercomputer secrets
Reverse Emulating the NES (2018)
Hmm, yep, I'd question and potentially be frustrated by some of those behaviours too.

Ultimately all you can do is choose how you wish to live your own life, and make your own consumption decisions (roughly speaking: I don't like to overconsume, and I don't like to overpay, although those are easy to say from what I think is a reasonably comfortable position -- and I'm aware they're easier to optimize for when more time is available to make the individual purchase decisions involved. that's why watching out for and reducing distractions during important purchase moments should be encouraged for everyone).

Vendors overpricing desirable products is tricky too: if they're doing that to build a business that genuinely improves people's health and outcomes, and they intend to reduce prices at scale, that seems reasonable. If it's purely predatory pricing and/or doesn't produce value for customers.. well, that's less great. Perhaps consumer protection groups, journalism, and healthy peer discussion are the best options to help respond there.
Not just startups[1]. AWS, among others I'm sure, have at least attempted to turn this man's intuition into a little yellow box and an algorithm. Scaling to many thousands of machines at once, instead of just the ones he happens to touch.

[1] https://aws.amazon.com/monitron/
The easiest way is to run an xserver on it. Why do things have to be so unnecessarily inconvenient these days?
Those grim predictions were only pushed back by the exploitation of nonrenewable resoruces.

Coal-fired furnaces produced iron ploughs. Strip-mining guano from South American deserts and Pacific islands fertilised fields until Haber and Bosch discovered how to turn nonrenewable natural gas into ammonia fertiliser, and munitions. Steam-powered, and later electrified, pumps, irrigated fields regularly. Chemical pesticides eliminate insect pests (and disrupted ecosystems). Vast new farmlands in the Americas fed Europe (pity the natives who'd been there before). Powered farm equipment displaced human and animal power on the fields. Rail and refrigeration moved food across continents and oceans to hungry mouths, without spoilage.

Virtually all of that entailed utilising resources at rates faster than they could be replaced: coal, oil, gas, guano, topsoil, fertilisers, groundwater.

There were also advances in cultivar selection, in hybridisation, in weather forecasting, in general farming techniques, and the like. Many of those relied heavily on reducing defencive and other metabolic loads on crops (e.g., staving off insect pests, or sending deep roots for uncertain water) and directing more energy into producing grain yields. This is a gain in efficiency, but a loss in resilience. (See Howard Odum for more on this.)
I don't know many people like me, but I like putting things together. And I sometimes even like boring rote jobs where you do the same thing repeatedly.

In that future where we have UBI, not everyone will want to be an artist. Some will still want to just make things while following instructions. And there will likely be a beneficial place for it, even alongside all the robots.
It could be a blockchain, we don't know for sure
An "ex-thermal engineer hired to work specifically on Project Dojo" ...

Is cooling such a dominant aspect of ML accelerators?
This doesn't match what I've seen

MD1 told designers to embrace unconventional, bright, saturated colors and contrasting pairings. They even had a blog article reassuring that, yes, your brand can survive the material redesign.

MD2 embraced brand specific designs with custom fonts, button shapes and, again, waay too many colors. There where "Material Studies" [1], in which they show how a brand could adopt the design system. For the Google flavor of MD2 they threw away all of that and went with white.

MD3 shifts again, to pastel colors and user customization. It corrects many mistakes, but I believe third party apps won't like having to account for all the possible background colors.

To me, the first two versions are a failure [2]. They were amazing to read, but the real world turned out different.
Compare this to the Human Interface Guidelines which have stayed far more stable and neutral.

[1]: https://material.io/design/introduction#theming
[2]: In the sense that what they set out to achieve led to completely different results in the real world. I'm not saying that all Android design since Lollipop is terrible.
>it is very possible to make such a thing only happen in exceeding unlikely cases. One runaway dd isn't that...

It's not dd, it's one process run by root who fills the filesystem with one big file. That's like the first thing i would test if it can destroy my filesystem.

It's really the filesystem responsibility, if it needs to reserve 30% so be it, if it need's more because i wrote billions of files so be it, (even if it says "sorry i told you i have 50GB free but because you wrote so many small files it's now just 45GB" after all they just can make a estimation) so be it. But it's the filesystem job to tell me how much ~free space that i have, and stop writing before it really/internally cant take anymore. And NOT to kill itself because i alloc 100% of it, there's is just no excuse. That's the filesystem's responsibility.

PS: The clever ZFS survives that "unlikely" test easily.
The wiki says Apple Chip Macs use /opt/homebrew. Apple chip Macs is the direction for all Macs. What’s the issue with it then when /usr/local isn’t touched?

Also. Why not use both scripts? Both of them will miss stuff. Like when apps create weird random files to track licenses or trials.
> objectively better

The myth will keep being repeated for decades
That design is still broken. There should be a Reject All option.

Irrespective, here's the fundamental problem – the whole thing is about a technical detail – cookie – rather than meaningful outcome for the user.

A modern online app has to keep shared inter-related state on client-side and server-side and persists for several months and use that state for doing various things like security, abuse prevention, personal preferences (and other types of automated personalisation), monetary incentives optimisations (free-trial, limited offers, conditional offers etc.). Then there is commercial product ads cost optimisation based on expressed and inferred interests of the users. IMO, all this should be okay.

But then what is not okay? –

The line between personalisation vs discrimination is a thin one. In ecommerce, insurance etc – there are regulations restricting price personalisation to protect consumer interests. In other domains, different users can get different experiences and those decisions are opaque to the consumer.

Then there is targeted psychological manipulation at scale.

People have instinctual fear/discomfort about companies amassing longitudinal demographic/behavioural data associated with their PII data. There is a real risk of companies using that data against users interests in both direct material and indirect non-material ways. Companies have a motive to increase their profits and without guardrails they will go to extremes in seeking profits that will hurt the users. There are a lot of examples of insidious behaviour – they may want to cover up flaws that could be harmful to humans/animals directly or harm environment and hence harm humans/animals indirectly, flaws that render the product useless and hence cost them support costs or be forced to recall the product etc. Recently, I was shocked to learn about how lead being mixed into petrol/diesel in US was marketed effectively for decades. With the power of big data, how much more effective such a campaign would have been. (It is easier to look at an example from decades ago more objectively than an example from our current time).

There have been information wars in all ages – in the age of verbally narrated stories, then stage drama with touring companies, then printing press, then telegraph, then broadcast radio, then distributed cinema, then broadcast tv, then broadcast cable tv, and now Internet. The different between all the previous ones and Internet today is the speed, intensity and effectiveness of it at scale. That's what makes it much more scarier than all those previous attempts.

In this context, fighting cookies is a very nice strawman distraction.
Nice to see this clearly spelled out.
And Java with the infamous `-version` (only after JDK11 I think it started recognizing also `--version`) and `-cp` meaning `--classpath`, not `-c -p`!
Can we stop the hustle culture and the productivity guilt? Consuming entertainment is just fine.
Related: a lot of AMD CPUs these days come with "fTPM", which is AMD's built-in TPM solution, voiding the need for an external module. Intel has something similar that I forgot the name of, though I don't know if they've released it into the mainstream yet.
I downvoted this, not because I don't think there's the germ of a valid point, here. It's just that a flip dismissal doesn't help us dig into this in any way.

Creating stuff has multiple goals. I'm currently getting a lot of "satisfaction" from AI image generation. Does that rebut your point? It's hard to know...
dd is a mainframe command, and its syntax follows the JCL conventions used there.

https://www.ibm.com/docs/en/zos-basic-skills?topic=concepts-...
This is the only way to roll out a product unless you're a die-hard technologist who believes in 'death by marketing'.
india has had that for quite a few years now without any "uproar" because it is seen as "quick and easy" as compared to filing out paperwork and spending time getting photocopies of documents and having them authenticated and what not
The busses will have a safety driver on board, but apparently they expect they will not need to take control at all normally. It will be interesting to see (if possible) how much this holds up in reality.
Analog state machines are the older kind. Examples: gearbox, ignition switch, Big Red Button. They don't follow or respect the laws of digital state machines, but are reasoned about in a broadly similar way.
I remember that when I was a sophomore in high school I wanted to give a shot at higher maths and started reading some articles there. I found [0], which states that between any pair of distinct real numbers there exists a rational number. It was one of the first proofs I read, and found it so ingenious that I wrote it down and read it while commuting to school. Then I went on to study maths and found that the arguments and reasoning behind it were not that 'marvelous' [1], in fact, mathematics has several results/generalizations with the same underlying ideas (well-ordering principle, unboundedness of the naturals in this case) present as variations in any proof, not just this one. When mathematicians have a new tool we start applying it to everything we can.

Another thing, there is [2] which has not the same purpose: it covers the majority of undergrad math with lots of examples and proofs, it's more like a textbook.

[0] https://proofwiki.org/wiki/Between_two_Real_Numbers_exists_R...

[1] There is some retrospective explaining, of course, the proof was marvelous in ancient times, it's just that in the modern formal abstract setting the ground was laid to characterize number fields with the properties the ancients used.

[2] http://mathonline.wikidot.com/

EDIT: there it says the proof was featured in 2013, the same year I was a sophomore.
"We know Tesla's autopilot is safer on average"

Am I allowed to just use "LOL" on hackernews?
I think we're probably thinking of the same papers. There was a competition /session at last year's neurips and there's related papers linked from their webpage.

https://www.ecole.ai/2021/ml4co-competition/
Thanks for the links, which do seem to check out. I've marked John's Launchpad account as "deceased", so it's still visible for archival purposes but even if somebody gains control of his former email address it's no longer possible for them to make any use of his Launchpad account using it.
> "By browsing this site, you implicitly accept tracking cookies."

I understand it's wrong, but as a user, it seems like the website is saying "We don't care about your consent, we gonna track you anyways". Is there another way to deny this apart from not accepting cookies, blocking javascript and closing the site the moment I see this message? Is this solution I described even effective?
My grandfather was a car mechanic after he come out the navy and
always had a stethoscope in his tool-box. He'd listen around the
engine before diagnosing crankshaft or valve maladies like some kind
of auto-doctor. Come to think of it, machine listening techniques
could be deployed in a modern mech-engineering to predict physical
failures in advance given how easy it is to embed a piezo crystal and
and TPU core.
IMHO Model checking is really cool. After my PhD (and reading the Baier and Katoen book) I seriously thought about getting a 'real' job in industry and applied for a job at one of the major automotive field bus software vendors. They gave me a protocol design interview question I could prepare for. So I thought: cool finally a good case to spin up a model checker (I think it was even prism). It was total puzzlement on their side when I told them how to fix the protocol bug. I think it was the time when I understood that I was unfit for many engineering job.
That’s assuming the antibiotics where needed, overprescribing them is extremely common even with viral infections. Peoples immune system can deal with the vast majority of bacterial infections, it just takes slightly longer than a trip to the doctor.

From a doctors perspective prescribing antibiotics encourages people to show up with minor illness, it’s bad medicine but good business practice.
>Shit happens, so this does look like a FS bug to me, much more than PEBCAK.

Exactly, a swimming-pool should never explode if you overfill it, however it's the users responsibility to turn the water off to prevent "data/water-loss"

That's why we made filesystems, preserve and organize data and tell the user/system when it cant take anymore.
> The only far-right political party in the UK was the BNP, they don't exist anymore

The BNP and The National Front just evolved into other groups like Britain First, English Defence League, English Democrats etc. and yes, UKIP.

"Ukip is the party for decent supporters of the BNP" said Deputy Chair Neil Hamilton in 2014 for example.

> The UK doesn't have a far right, they don't exist politically, our voting system means it is impossible.

They absolutely do and political power is more than winning seats. UKIP's primary influence was simply by splitting the right wing vote so that the Conservatives had to move further right (and adopt hard Brexit positions) to neutralise them.

UKIP has historically been at least a "further right" party beyond the mainstream. At best I would call it the suit wearing, dog-whistling front for the far-right. Under the new leader Batten it is more unambiguously far-right itself. It appointed Tommy Robinson (BNP member, EDL founder) as an advisor for example.
It isn't blanket reduced security. Rolling your own greatly reduces the odds of a supply chain attack on a simple, unauditable, single-point-of-failure piece of security hardware.
In the Land of The Free, one is not free to join a union. How this came to be?
Yep, remember studying the solution using dynamic programming, back in college
Does anyone know to what degree the public version available via GCP is comparable? Is it the same? Similar or totally different? https://cloud.google.com/source-repositories/docs/searching-...
Guix: Multi-dimensional transactions and rollbacks, oh my! (2018)
Cargo-nextest: next-generation test runner for Rust projects
Also in some cases both -options and +options exist, where +options do the inverse of -options (e.g. dash; I think the old Perl 6 also did the same thing for sub MAIN, though it's now -/options) or a subtle but useful variation of -options (e.g. ImageMagick).
If you have the math background (advanced calculus and vector algebra), then there is no better writer than David J. Griffiths. He is the only textbook author I have every encountered who remembers that a textbook is, first and foremost, a book; and that a book is meant to be an enjoyable read!

(I'm linking to Wikipedia rather than to the publisher's website, so that you can read about the books. All of them are available on the used market, and in electronic format.)

"Introduction to Electrodynamics, 3rd Ed." includes two chapters on special relativity and relativistic electrodynamics, and he covers causality very well: https://en.wikipedia.org/wiki/Introduction_to_Electrodynamic...

For quantum mechanics, with even more math (partial derivatives), try "Introduction to Quantum Mechanics, 3rd Ed.", https://en.wikipedia.org/wiki/Introduction_to_Quantum_Mechan...

If you don't have a strong math background, then his "Revolutions in 20th Century Physics" is a slim, but packed book, also excellent. It covers (conceptually) both special relativity and quantum mechanics, along with a healthy dose of particle physics. The target audience for this book are non-science majors. https://books.google.com/books?id=Tv8cz-kN2z0C&redir_esc=y
But the UK hasn't got the same one?

It's not the same thing? Am I talking to a brick wall?

Do you understand that the UK's deal is the same as what the EU had before the <<NEW DEAL>> that has yet to be ratified (but is in effect).

And yes, it makes sense that it's quicker to say "we continue what we're doing" than it is to hash out a new trade agreement, especially a free trade agreement.
Google Cloud sees storm brewing over API security
I'm not sure I understand this complaint in detail?

If a Macbook is asleep, it will just wake up, you'll see the keyboard light, there is no need to press the power button.

If there is a need to press the power button it is because the machine is off. Don't worry, it will make a distinctive and iconic sound once it is not off and display, you guessed it, a white apple logo on the screen.

What circumstances lead to your confusion about its state? I can't relate!
I was fighting the removal of temperature and RPM gauge on EV busses for this very reason. Obviously I was overruled.

You want to know what your stuff is doing and the reasoning behind the suggestion was litteraly "lets do it like Apple".
Lambda is enough to get to Turing completeness (ta, Y-Combinator!). However, Scheme is a well-specified Lisp [0], which has few necessary elements that everything builds on top of. Common Lisp is also well-specified [1], though the hyperspec is a lot more painful to explore.

A lot of people mean Common Lisp when they say "Lisp".

One of the dividing lines of most Lisps, is whether they fall into Lisp-1, or Lisp-2 [2]. That is, do functions and variables share a namespace or not. Common Lisp is a Lisp-2, whereas Scheme is a Lisp-1.

[0] https://www.gnu.org/software/mit-scheme/documentation/stable...

[1] http://www.lispworks.com/documentation/lw50/CLHS/Front/index...

[2] https://en.wikipedia.org/wiki/Common_Lisp#The_function_names...
How about testing these puzzles on GPT3 or upcoming transformers?
Well, that’s what I get for skimming poorly. They did just slap an off the shelf infineon chip in, so yeah, real EKcert from a legit vendor.

I skimmed and had some wishful thinking that they just made a cheap off the shelf chip do the job of a TPM2 by slamming in an existing TPM2 implementation.
> * I don't actually know if there are programming practices that center around managing moments in time. I can't even think how that would work, but I would be very interested to know if there are any :)

There was a live, 3D, peer-to-peer interactive environment back in the early 2000s called Croquet that made use of the concept of "pseudo-time." It was built on top of Squeak Smalltalk (there are some decendants today, including croquet.io). The part that handled the time management in a way you might find interesting was called TeaTime [1], and built on the ideas of David Reed thesis about pseudo-time [2]. If you are not familiar with these you might want to check them out!

[1] https://dl.acm.org/doi/10.1145/1094855.1094861

[2] http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-20...
Two questions: first, how cache friendly is that backing store? and second how the backing store is updated when the strings are garbage collected?
At first sight it seems that a stack allocated byte sequence can be easily removed but a backing store allocated sequence is not easily handle nor cache friendly.

The general problem seems to be about dynamic dispatch of methods, in go using fat pointers, so the author avoid the dynamic dispatch by modifing the code.
Distributed Services with Go:Guide to Reliable Scalable and Maintainable Systems
Nassim Taleb also has a lot of stuff that goes against this kind of thing. The core of antifragile is that you should position yourself to gain from disorder rather than fight it. I kind of hate the whole thing, because while you do occasionally get some great innovation that way, he really undervalues the army of "Fragilistas" that take those innovations and make them reliable and practical.

I think he'd probably be against "Max efficiency" thinking, but "Max effectiveness" thinking is still not the same as "Minimum major trouble". He's a bit too "Move fast and break things", which is kind of like max efficiency, if you define efficiency as "How much business growth can I pack in ten years".

I've always thought that things should be planned with "Time firebreaks", that are absolutely excluded from all ahead of time planning whatsoever, with the intent of cleaning up any unexpected trouble you run into. Not quite a break time, those are planned ahead and known to be necessary.
It also has the advantage that it works with brace expansion to specify multiple values.

--long={foo,bar}

becomes

--long=foo --long=bar
no chance if it's on the country roads.