skysight-inc/HackerNews huggingface dataset:
Yep however I don't think I'd consider it to quite the same extreme. No doubt it was bad however proportionally to the size of the platform Cream's exploit was far more damaging. Like the rekt.news post mentions, it was more of a banking/spec error than an outright vulnerability. Your spec can't protect you if the loss is due to intended behaviour. There are ways to mitigate this however. The main way is by making your spec concise and clearly representable as a series of state transitions & operations or as a series of transformations.

The Compound Finance paper spec essentially just lists "this subsystem does these things" and then each function/operation is a list of preconditions, what actions are taken in what conditions, and the expected result. This isn't bad per se but it's not great either. Instead the paper spec really should be showing what transformation is being applied to the state, why we want that transformation applied, what properties must hold throughout the transformation, and then demonstrating that those properties hold.

Compare this (Compound):

https://github.com/compound-finance/compound-protocol/blob/m...
https://github.com/compound-finance/compound-protocol/tree/m...

to this (Uniswap):

https://github.com/runtimeverification/verified-smart-contra...
https://github.com/runtimeverification/verified-smart-contra...

or this (Djed):

https://eprint.iacr.org/2021/1069.pdf

The first just describes the system and then asserts preconditions hold which works well enough for verifying that the code matches the spec but the other actually verify that the spec is doing what the user & developer expect it to by formalising the system and analysing the properties of that system.

Compound's project wouldn't have been vulnerable to any of the attacks executed on CreamFi however they are vulnerable to the class of spec errors. Uniswap and Djed on the other hand would be protected from the majority of that class of issue that Compound experienced. This isn't to say that they are invulnerable but I'd be willing to say that they are approaching "cryptography-grade" security where you can trust these protocols just like you can trust AES, RSA, and ECC encryption & signing.

---

This of course isn't to say that what Compound does is bad but as that incident shows, there is still room for their improvement in the security space. Cryptocurrency and "Decentralised Finance" are finally starting to grow up into proper subsets of the cryptocurrency and game theory communities. Now this might be a bit of general commentary on the SW space but hopefully long term this trend causes some of this security minded design to bleed over into the greater software engineering community.
The torque to roll the car in my example is provided by an external force, the dark brown/red arrow being applied to the top right of the 'car'. This is why the car would still roll even if you had the CoM at the ground level. I'm simplifying the true situation (suspension, roll due to the forces involved in turning and so on) to isolate just the impact of CoM position on body roll. So you need a force to induce roll otherwise the car would just sit still.

If you don't believe me you can download Unity, UE, Godot or the rigidbody simulator of your choice and just setup the experiment. Of the engines mentioned UE is perhaps the easiest to set this up with a straightforward car example.
Maybe these simple time passing rituals were enough to enjoy their winters.

I think we might consider them dull because we're not living their lives but maybe these were denser and fuller times than what we do today.

It's also possible that having harsher conditions half a year, made simple games and gatherings deeply satisfying.
Allowing investors to build/buy housing units and rent them out is a clear one that enables investment. Depreciation wouldn't make it a bad (or non-) investment, as long as returns are good over the unit lifetime. That's the default assumption for non urban housing where land is abundant.
And my point is, if you don't even know the first thing about their training you're just making shit up because you want to believe it. Read a little about sniffing dogs.
The lack of leisure time peaked during the industrial revolution, as the article this thread is on highlights. Victorian era work houses weren't really known for amenities, even by feudal standards.
For DNS, I am not sure. If you are talking about strange IP formats, not really. The best I’ve been able to do is some playing with the IPv6.IPv4 formatting.
Robbing him of his strawman
Give People Something to Look At
IceModem was always the one that I remembered that was a good alternative to Zmodem
But what does this mean for applications that use Vulkan?
>> Common people had almost no sports, no games (beyond precursors to Bocce or backgammon), no literature!

>No literature, sure, because they were illiterate.

https://en.wikipedia.org/wiki/Oral_literature

(I know you mentioned storytelling in passing, but that rather downplays it. Oral literature was a big deal.)
uffff

who knows when that is coming and when are we going to be able to buy regular laptops from e.g. Lenovo, HP, Acer, etc with that.

By the time that happens, Apple may already be on their third, fourth? generation on M1. Which is going to much much much faster than M1.
What.

The US spent 20 years fighting goat herders with AK-47s, and lost. The CCCP did the same and also lost, albeit they left actually left when they realized is was a mess (with a little help from CIA, sure). There are other obvious examples.

Economic might is a major determinant in how well you can prosecute a war but it is by no means the only thing that matters.
Agreed, but I also think a big factor is that the things that make metaverse distinct from what we already have with VR are (to the best of my knowledge) entirely hypothetical.

As I understand it, and by the definition in the article, the core of the metaverse as a decentralized system implies that I'll be able to run a metaverse server that anyone can connect to from a client. Since “nobody owns the metaverse”, I suppose this would be a client that uses some sort of open standard (like HTML) rather than any one company's proprietary client.

Is anyone actually building towards that description of the metaverse? The biggest players (like Facebook) seem to be pursuing a vision where there might be some decentralization from the network but the client is still proprietary and owned by them.
Returning to farming without the terrible pompous inhumane feudal lords sounds good
But the video is still usually rendered to an OpenGL surface, so there is interaction between them.
I mean the political messaging has been as you said.

But scientifically it was known from the beginning that the vaccines were non-sterilizing [1], so I think any scenario different to the current one of endless boosters was just a fantasy or a "noble lie" to promote vaccination at best.

[1] https://www.bbc.com/future/article/20210203-why-vaccinated-p...
Tom Scott – I Know What You Did Five Minutes Ago (2011) [video]
> John Templeton once said:

>> The 10 most dangerous words in investing are “If you would have just put ten thousand dollars into…”

> Alright, alright, Templeton didn’t actually say this.

> But if he was around today, maybe he would have.

* https://awealthofcommonsense.com/2021/10/the-10-most-dangero...

The author, Ben Carlson, then notes:

> In the past 5 years, there were drawdowns of 30%, 50%, -60% and -35%. This stock was down 60% in 2020! It’s up a cool 1000%+ since then.

> And the crazy thing is there were plenty of Tesla shareholders who did hold on for the entire ride. They were true believers in the face of relentless negativity about the company and its founder.

> Kudos to them.

I've followed AAPL, BTC, TSLA, etc, over the years (here on HN and elsewhere) but just don't have the stomach to take the risk to jump into a single asset. I'm an index kind of fellow because (a) I don't have to log into my investment account at all and see whether it's up or down (and deal with the emotional ups and downs that entails), and (b) I don't really have the time/energy to go digging into individual companies.

Also, statistically individual traders are more to lose money than be up, and so I'm generally okay with "only" average market returns, as my main saving goal is retirement, and I can meet that with the average of at least 4-5%.
There's a huge push for reduced work weeks. And even where it's not official a lot of those software engineers spend their work week on reddit, so I'm not sure your example checks out.
I develop and maintain a relatively popular open source Svelte[1] template (w/ live reload!) to develop cross platform apps.

Capacitor really is a beauty to work with. While I disagree on some design decisions (putting build platforms at the root of the directory for one) the overall ecosystem is quite healthy and strong, and while backwards compat with Cordova is hit or miss, its quite good for a tool thats a decade old.

[1]. https://github.com/drannex42/svelte-capacitor
That makes it sound like Intel, AMD, ARM, etc. we’re trying to build chips that run hotter and less efficiently.
Making sure I'm understanding the semantic difference you are making:

Leisure - rest/recovery. Restorative but not necessarily enriching

Recreation - fun, play, stimulating and enriching activities.

The implication that a life of work+leisure is basically just work and recharging so you can work more.

Yes?
Those are usually straw bales from what I've seen.
Generally you aren't limited in how much you can sell. If Tesla deposits $270m worth, the exchange won't stop them from selling. I think you mean withdraw (there are pretty strict limits on how much you can withdraw)
I think what a lot of instructors fail at is they don't give students a working example of how something works. Sure you're not really going to learn, but what's the point of me having a half-assed assignment that isn't useful for me referencing a couple years down the road?

The simple best way to program is exposure, and a lot of it. Not these boring petty tasks we do. They're logic puzzles and not much else. Showing someone how everything works from start to finish in creating a website with a specified framework helps tremendously. Or how to work with low level C programming making practical applications.

For myself personally I developed a method of TODO's with some of what my lead taught me mixed in. My lead doesn't like redundant code, but said "working code is better than no code." So what I did is made one type of TODO that means "this code sucks or should very much be revised." Another one I have is "talk to my lead." With those, I don't address it with my lead unless we already have a meeting and it'll be quick, or I compound enough of them to devote an actual meeting regarding them.

Overall it has helped me stay organized, and it keeps me from annoying my lead. So what I'd add is, a system for people to make their own notetaking is vital when learning. If you don't have that or arent willing to take the initiative to do that, personally I think coding is not for you.
Show HN: Import Vax QR code into Google Pay wallet (built by volunteers)
The theory underlying the Prisoner's Dilemma (and game theory, generally) are really important, but they aren't sufficient to explain human behavior. The kind of rational analysis you're talking about makes some pretty big assumption about human beings that aren't universally true, in practice.

Probably the biggest departure is that humans have a tremendous mental capacity to believe in a story that is more emotionally convenient, even when it directly contradicts a reality that is evidence-based but emotionally-upleasant.

People have repeatedly demonstrated a willingness to craft massive lies, and the uy into massive lies, even when it directly leads to the unnecessary deaths of millions of people... I'm not even talking about COVID here, I was actually thinking more about the behavior of Japanese civilians in Okinawa and Japan during the closing months of WWII.

For whatever reason, humans have evolved an ability to operate for extended periods in a state of denial of reality. I presume it's not an accident, and that our ability to defy reality has some useful function that has been selected for, over time, by evolution.

But there's absolutely nothing in our behavior, at either an individual level or on a whole- society level, that compels us to behave in an analytically rational way.
Someday we'll invent cheap 3D printers that make food from dirt, and then half of humanity will starve to death.
Maybe we could find people living in similar conditions, say like the amish (or maybe more niche groups) and see what they created.

Well even amish people have modern lives compared to middle ages but you get the idea.
Who cares. Crypto is absolute and the epitome of humanity’s idiocy
There is no standard for design docs at Google and everyone is free to experiment, but most commonly used templates usually share the same ideas. My favourite is to write a green doc and a blue doc. The green doc is typically a "one pager" (basically always 2 pages at Google) and it typically never discusses implementation details. It's mostly about why we need X and the goals and non-goals of the project. Once your green doc is reviewed by your teammates, if everyone's happy, you write a more in-depth blue doc where you'll probably design the protobufs and interfaces, draw the system architecture, make framework choices and trade-offs, design metrics for monitoring, think about scalability, alternative approaches, and maybe even outline a timeline for the project if you're feeling ambitious. This, too, will go through a few rounds of reviews until everyone is satisfied. The green doc is significantly less investment than the blue doc, but it's still some investment (say ~1 SWE-week of writing the first draft + reviews + future iterations), so this pattern only makes sense if your project is complex enough. If I'm just adding things to an existing project and I still need a design doc reviewed by other people, I'd probably just write one design doc.
No

https://gist.github.com/nikcub/3833406
It is imho a disorganized article that burps up some interesting points from Scott Siskind's review of Julia Galef's book (linked in the article) and a few other places. There's not really a central point made, except maybe that certain cognitive distortions reinforce other distortions.

I read the book review itself a week or so ago and having that in the background probably helped make sense of the article. I do like reading Siskind (aka Scott Alexander), at least in small doses, and it may be more worthwhile to read his stuff directly. His stuff is longwinded but usually stays on its topic. The racehorses article is more like free association.
Async has async-websocket gem. I don't have experience with it so can't tell how it compares to ActionCable.

https://github.com/socketry/async-websocket
The famine was the fault of the British, not pre-industrial life
So house prices are driven by income, right? Not wages, income.

So as the income from capital grow faster than the income from work, you will have more and more houses owned by capitalists (in the sense of capital-owner) and less by workers. In most modern countries, large part of the workers are also capitalists and this works OK-ish, but in countries with the same governance as the western world one hundred years ago (Brazil, Mexico, but also probably soon India and some ME countries), this create a severe imbalance.
It's interesting that you seem to think this is a bad thing. If you can't buy a house when no one wants one, when do you consider it permissible to buy one?
Americans have an incredible leverage. The dollar goes far in other countries. And young people are realizing that. It's far too easy to work 6 months, save 10k and then live the next 6 months in another country for cheap.

There is absolutely no reason to work for abusive companies and psychopathic bosses.

If you are sick of your job, quit. There are more jobs available than ever in the history of America.
I'm not sure if this is the most realistic example since you're implicitly relying on this being at the top level and there being a global await at the end of the block. Surely any real program will have all the work done inside a single top-level event loop.

require 'async'

Async do
results = []

Async do
sleep 1
results << "Hello"
end

puts results # => []
end
Don't buy the BS.

"In 1980, the task force invited a scientist from Stanford University, John Laurmann, to brief them on the state of climate science. Today, we have a copy of Laurmann’s presentation, which warned that if fossil fuels continued to be used, global warming would be “barely noticeable” by 2005, but by the 2060s would have “globally catastrophic effects.” That same year, the American Petroleum Institute called on governments to triple coal production worldwide, insisting there would be no negative consequences despite what it knew internally."

"Despite what it KNEW internally"

That's the whole basis of the article folks. Except that nobody knew anything. Tens of thousands of scientists, hundreds of reports, and people today are trying to cherry pick speeches and reports to rewrite history and say oil has always been bad.

How many scientists have speeches saying CO2 was not a big deal, or not an issue?

Doesn't matter. If you can find a single scientist back then yelling into the ether, you can bludgeon to death the oil industry in the here and now.
We could start by looking at their equivalents in developing countries. In many respects, they have it better than medieval peasants. They can obtain tools made by machines rather than days of artisan labour, have electric light in the evenings, usually have some level of education and access to some and the harvests aren't any more arduous. And yet curiously, the leisure time they get isn't widely envied, not necessarily even by the people who left the village for jobs in sweatshops...
The lambdas are quoted because they’re lambdas, not because they’re arguments.

In a more fully-featured Lisp, the code (LAMBDA () 42) would evaluate to a special function data type with no direct representation in terms of cons cells. That’s a luxury this implementation can’t afford, so its data representation of a function is the same as its code representation: a cons cell whose car is the atom LAMBDA. With this design, the code (LAMBDA () 42) would be self-evaluating: it would evaluate to the same thing as the code (QUOTE (LAMBDA () 42)). But since the latter syntax works, there’s no need to waste bytes supporting the former syntax.

In the absence of that special support, the default meaning of the code (LAMBDA () 42) is to call a function named LAMBDA, just like the code (FOO () 42) calls a function named FOO.
The idea of paying taxes to help support the people around them truly drives some people nuts. It’s a shame.
Those kind of questions are a great opportunity to show a student where to find documentation and how to read it, because that is a daily journey that will never end.
> When you make housing an investment, by definition, it has to become less affordable in the future.

Why do people keep saying this? No, it doesn't. If house prices went up 1.5% per year they would be a perfectly good investment but would not become less affordable.
I have literally hundreds of hours in VR racing and driving down a winding highway at 100km/h is still more fun. They sound the same on paper but they don't feel the same. Maybe if I had a full simulator that could replicate the feeling of acceleration but I don't - and nobody on metaverse on their $200 VR headsets will either.
My teacher in both my Architectures and AI courses had this bad. Still to this day have no idea how any ML works in python or what the purpose of keras is or how it does any processing. Or why certain 1's and 0's churned out of a breadboard.

All I can tell you is that I learned nothing and just paid to get them done.
That's putting it mildly... How many Americans have refused COVID vaccination and died because it it?
unless you live on the moon, it should be clear by now that the afghanistan occupation's main objective was to enrich contractors. the mission was accomplished.
I don't really care how marketing wank is made especially when its obviously lying marketing wank. Calling it the metaverse doesn't make it any more appealing.
Ask yourself, if it was so rewarding, why did we see urbanization associated with industrialization? People chose to leave those rewarding lives and move to cities and work in factories. People today choose to leave less stressful rural lives and move to cities to work professional jobs. It's so commonplace that its a cultural trope that rural people leave if they can.
Some of those things in the pipeline like wkwebview-friendly HTTP sound great, would we be able to more easily see requests in the browser Dev tools for instance (a la native browser fetch)? Also can we expect any perf improvements over Cordova (I assume rendering perf would be identical)?
You avoid race conditions of writing to the same variable but you still can't avoid race conditions where the critical section is longer than 1 statement

e.g. in JS:

foo = await fetch()
bar = await fetch()
doSomething(foo, bar)

You can't be certain foo isn't modified while the second fetch is executing (assuming foo is globally scoped)
Yeah, matlab might be the reason, i did not really use Linux when i was a math student so i did not really feel the pain at the time.
IIRC ruby has first class continuations, so it doesn't have to deal with any async/await nonsense.
> There are no great incentives for Meta or whoever to make their vision of the metaverse align with the openness of the web or Internet, other than perhaps a desire by their leader to do something good for the world to cement his legacy.

Wow, have you ever seen Mark Zuckerberg talking, or noticed any of his actions? To imagine he would drive Facebook to do something out of "a desire to do something good for the world to cement his legacy" is comically outside any realistic possibility.
> No doubt that still happens but I don’t know how common that is?

It's very well covered, researched, and discussed; ignorance doesn't relieve the problem or dismiss it.

> There is a lot of race-baiting going on in the press which may give a skewed perspective of reality.

That's your claim, a trendy one in some circles to blame 'the media', but it's not really substantiated, even by one study. African-Americans - the people with direct experience of it - have been telling the world about it for generations. Racism is getting worse as many people openly embrace it, including rapidly increasing hate crimes, overt statements by national leaders and other 'influencers', and far more. And every time, throughout history, the problem of racism is met with the same response - an effort to shut down the complaints.
That's a different Neal Stephenson novel.
If you have a rooted phone, you can try to use Magisk Hide. That worked for me on various banking apps (but not Google Pay).

An alternative solution is to use another device with the stock ROM (e.g. an older/used/slightly-cracked phone) for banking purposes. Then it can be locked down to reduce the attack surface (e.g. uninstall non-banking apps, stored in a secure place, bluetooth disabled, remove SIM, turned off when not in use, etc.)

An older device may not have the latest OS security updates, but it'll still be reasonably secure if you reduce the attack surface. Most of the exploitable security issues will be updated via the Play Store, and due to the Android's heterogeneity and security protections, OS/driver vulnerabilities are difficult to exploit.
I haven't read this article but I have read others about the pros and cons of Metaverse.

My take?

It's going to be another method for FB (and other "carefully curated partners") to assault your eyeballs with advertising so they can make bank.

The end.
The Bobiverse is great.