skysight-inc/HackerNews huggingface dataset:
All of the money given out by the federal government to institutions has stipulations attached.

Private institutions are free not to take any federal money, but they all do it.
"many cryptocurrencies"?

Which ones would you say are not?
> If Python is allowed to call fast C code (PCRE) for regex-redux, I don't see why Python shouldn't be allowed to call fast Fortran BLAS/etc for n-body…

The regex and arbitrary precision number libraries were allowed for regex-redux and pidigits because some language implementations wrapped those libraries rather than implement their own thing.
I was also talking about going up the hierarchy, but I'm afraid that he went to other bosses that made his division look bad.

I would never go public without going to a lawyer first, and getting enough proofs (emails) that I did everything I could to raise alert in a responsible way inside the company first.

Edit: after rereading the article I thing we just don't have enough data to know how things happened exactly.
> But PIDs are recycled or more likely your PID files didn't get cleaned up on reboot. So you look at your file and it says 2567, you look up 2567 and see a running process! Done right? Well it just so happenes that a random other process was assigned that PID and your service isn't actually running.

If you're unlucky, though, pid 2567 might match another myservice instance. This can easily happen if you're running many instances of the same service. Even checking /proc/$PID/exe could give you a false positive.
Asteroid blasting and moon dust mitigation: You can major in that
...continues straight to the moon :D
The title is ungrammatical and refers to "states" where the article does not.
Lambda? Beanstalk? Glacier? EBS? What even is all this stuff.

This says it all to me. The OP is making a classic mistake in thinking that the cloud just means moving your on-prem servers to a data provider. That is not what Azure/AWS is about. I made the same mistake and cloud made no sense to me whatsoever for years.

In the past year, I've learned that cloud means the minimum required resources popping in and out of existence for the exact amount of time required to do a job.

That is where most software is headed. It is inevitable in my opinion.

If you don't know what an SQS queue is or Lambda or Step Functions or SNS messaging I would really really recommend learning. (Or whatever the equivalent on Azure is)
Interestingly I know a lot of people who have done the opposite – corporate law/IP law/patent law to software engineering.
Having the cooperation of the tribe is the reward. A single individual has their own strength and labor, but with the cooperation of others they can accomplish much more.

Earning a person's full labor means paying for their necessities - and some extra for loyalty. Without it they will always be distracted by survival.
I've said it before, Google is trying to be the new Microsoft.

https://www.theonion.com/microsoft-patents-ones-zeroes-18195...
Google, Facebook adopt water gun emoji, leaving Microsoft holding pistol (2018)
GNU is not UNIX, though.
This is a great talk by Herb Sutter that goes into this in detail https://www.youtube.com/watch?v=6lurOCdaj0Y
Or you can just handover your voting rights of your shares to some NGO.
I was a bit disappointed with linearity in QTT as I couldn't figured out how to create a safe API around a resizable array.

The example given in the paper is a LinArray (https://github.com/idris-lang/Idris2/blob/main/libs/contrib/...). Unfortunately, as the community discovered, a user can "leak" a non-linear binding outside of the `newArray` constructor (which is what attempts to enforce linearity for all bindings). With multiple unrestricted handles, a user can accidentally double-free for instance. (https://github.com/idris-lang/Idris2/issues/613)

The fundamental issue in this case is that linearity in QTT is a property of the parameter bindings and _not_ the type itself, meaning we can't easily express linearity as a _global_ property of the type.

On the other hand, only affecting the parameter bindings makes it really easy to use runtime-erased/comptime stuff without reimplementing a bunch of common types as runtime- and comptime-only versions.

ATS chooses the other path and makes linearity and runtime-erasure a part of the type (not without paying a hefty syntactic cost however).
That seems like a promising path. Any idea how that’s working out for them?
Fast food is a trick because it is highly marked up and designed to be addictive moreso than most healthful meals. Yes, there is trickery in fast food and snack foods in general, and if you don't believe that, there's plenty of material on how the food industry and really the system in general have used the institution of fast food to keep people poor and sick. This isn't to say that everyone in fast food, even those in its upper echelons, are acutely aware of this, but discounting the involvement of conscious thought, it is a manifestation of modernity that developed to trick minds.

> stop trying to prevent people from being scammed, because reasons

No, that's not what I'm saying, at least in your brutal interpretation.

Should society allow anyone to be scammed? My answer to that question is a clear no, especially when it comes to fraud. Society functions orders of magnitude better with a level of self-control than it would otherwise.

Does this mean that society should protect people from themselves? Or rather, if someone believes they are going to get rich putting their life savings into cryptocurrencies because they lack foresight or technical aptitude, should we do what we can to prevent people from being this foolish despite the existing level of trickery that we are willing to tolerate? If people need to be saved from cryptocurrency, then why aren't we saving them from payday loans, or guzzling HFCs in sodas, or wasting time smoking weed, or gambling at casinos? All of those are examples of tricks (yes, they are tricks) designed to extract wealth and lifeforce. Hell, our monetary system itself is a trick. At times we may point them out as evils, but we don't take them so seriously because life can't be so safe. Unless something radically changes in our societies, for all intents and purposes, we are allowing some of us to hang ourselves by our own rope.

Yet somehow crypto bears more fault for some? To me, that doesn't follow. If I create an NFT for my soul, put it up for sale for $1000, and someone actually buys it, are they being scammed? If I fork Bitcoin into a new cryptocurrency, publish a bunch of poppycock about how it will be the next big thing because I got rid of its limits, and I sell those coins and run off with the money, is it of no fault of the customer that they believed such a specious lie?

No and no, in my opinion, because it's not reasonable for society to protect people to such an extent as it would neither be sustainable nor good for every business to be scrutinized to the degree necessary to provide said protection.
For civil engineering, I believe the expectation is that you can be licensed as an engineer after attending undergrad. Grad school for civil engineering assumes you’ve already done the undergrad portion. Just fyi.
Wow. Not true.

You're not kicked out if you "dare" (how brave!) ask a question about it. You're welcome to chat about it on #nonguix. Is it really that hard to accept that #guix is not #nonguix and that we don't discuss proprietary software on the main channels?
Yeah, it's the world's first decentralized Ponzi scheme. There's nobody to put in jail - its value just drops to 0.
>>I answered the email very briefly and said I will be happy to answer with details as soon as we have a support contract signed.

This made my day. If a wealthy individual takes your tools and then calls for help while fixing-up their shed with said tools, do not move a muscle until you agree on the fee.
What is this assumption based on?
It depends on where you are in the world. The UK has a couple millennia of metal object to find. I'm reminded of that Bob's Burgers joke about using a metal detector only to find the metal detector discarded by the last guy who tried to find gold coins on a US beach.
I've heard about such rules (e.g. hygiene rules in medical establishments).

If you're not vaccinated and you infect someone, and they die or are seriously affected by long covid, they can say that your lack of vaccination is a lack of the precaution required by the rule, and sue you for that person's expected lifetime earnings plus quintuple damages for negligence. Is that what you want?
This video goes a bit further into the analogy, with parallel and series circuits etc: https://www.youtube.com/watch?v=7_7NO2Np5-s
These are totally memeable gifs

Reminds me of the “problem solved” pictures

California, Florida, the Koreas, Israel, Somalia?

These are totally intentional examples for the memes aka for the lulz

I’m saving all these before other people notice
When you are buying shares on the stock market, you are not giving money to a company but to the previous owner of the shares.
This is the company that faked emissions tests for years
> gave us a solution to the problem

> So Bitcoin just became like everything else

It didn't really give a solution to the problem, as "the problem" is more of a human nature issue and not something solved by a few lines of code. People will commit fraud and be leaches with an economy in dollars or bitcoins or dog money or sea shells or 1,000lb stone wheels.
That grey on black is really really hard for me to read
> At the scale this company is running the person/team sending out these emails do not have time to dig in and understand each dependency they are sending emails on.

That alone is extremely disrespectful, it means they couldn't care less about the time of open source software maintainers. To say nothing of their "request" for review.
The default channel of Guix has more than 21,000 packages. Is that what counts as a "low number" these days?
Also poster apparently means US states, not like physical states of a system.
The funny part about this is I actually end up installing a lot of the GNU tools so I can have some level of parity when writing (mostly shell) code on MacOS.
Bitcoin isn't even close to reaching all 8* billion people, so this Ponzi scheme has the ability to go even higher.
In absolute terms the number of good people working on bitcoin went up since 2012.
Doesn't matter too much that there are so much more jerk investors now.
On the documentation site, they have syntax highlighting to help distinguish keywords
"He will split the proceeds of the find with the landowner"
WikiLeaks founder Assange wins right to appeal against US extraditionvv
Around 10 years ago, as a side thing, I built what was a social network based on prayers and counting your blessings. I decided that those things shouldn't be subject to internet points (and other reasons for which I perceived that Facebook was evil), and stopped working on it.
Play stupid games, win stupid prizes. Putting your data in a megacorp basket means it'll be treated primarily with consideration towards their legal liability first, other megacorps second, and you third or fourth.
I've been using Nix and NixOS for a while and I've seen four core advantages:

1. Nix store: what the article covers: multiple versions of the same package, "virtualenv for everything"... etc

2. Reproducibility: because package definitions are self-contained, I can pin and reliably reproduce everything for my packages. And I do mean everything.

3. Flexibility: Nix works for system packages on NixOS as well as user packages on any Linux or macOS. I've been sharing like 70% of my system config between Linux and macOS, and I don't know of any other tool that can do that.

4. Programmability: package definitions and config are extensible and composable. Yes, learning an ad hoc language to do this is a pain, but once I learned it I got a higher-level and better-abstracted way to define and combine packages than any other tool I've used. It's like going from C to OCaml. At this point I've started hating Dockerfiles because they can't easily be composed and don't provide any real facilities for abstraction.

Ultimately, Nix took system management from feeling like an operational activity—maintaining and changing a bunch of mutable state to run the system—to declarative programming. Learning curve aside, making system management a reproducible programming activity with no system state to worry about has been a massive improvement.
The "nonguix" repo has got you covered for all your vanilla Linux needs.
MacOS because it’s what comes on all the MacBook pros I get at every one of my jobs in SV.

I use windows on my desktop machine for personal use. I code on it sometimes but not often. It’s mostly for gaming and whatever else I want to do.
sad, I was really excited about the tech when I first heard it
I've been looking at doing this to go into EE Digital. I'm hoping to end up in embedded development.
BTC at 3 million?

3 million x 21 million = (probably more money then is in circulation worldwide?)

I guess anything is possible but it seems highly improbable to me.

(edit)
Just for fun I checked with quick and dirty math/2 second Google lookups.

Say BTC does 100X and attains 3 million. 3million/BTC x 21 million BTC = six hundred thirty trillion!

Right now there is around 40 trillion worldwide in the form of "money".

So they are going to have to print a lot more money and BTC is going to have to represent all of it near as I can tell for 100X to happen.
I think this type of attestation gets us part of the way there, however, the solution needs to be a bit more generalized to cover all the threats. At TestifySec we are working on a open source pluggable attestation framework with a rego policy engine for verification.

A review attestation (as proposed in this article) is pretty interesting and is an attestor I will probably add to our project.

I wrote some high level thoughts on attestation here: https://www.testifysec.com/blog/what-is-a-supply-chain-attes...
Funny to see how it works.

When cryptos fall, everyone speaks about it and says cryptos are dead, when it grows nobody speaks anything about it.

Cryptos are here to stay that's the truth wether you like it or not. Its already moving wayy to much money to stop.
Not entirely. There's always litigation over the areas of law that are not clearly defined, or situations that are edge cases.

In theory, a well defined system of law adhering to strict construction should allow for a systematic implementation free from bias and greatly reduced in errors. But our system is so complex and full of contradictions that I don't see that being possible.
Etsy market cap: ~20 billion
Bitcoin market cap: ~656 billion

Is it really that hard to figure out?

Edit: re correlation v causation. That’s the problem, people having been pumping Bitcoin as an alternative to gold, it’s supposed to be uncorrelated to the stock market…
I am not sure that you can change a culture without firing thousands upon thousands of people.

At a minimum, you are starting with a bunch of people who default to cheating and lying as a solution to problems. You can put in new barriers to it, but these people are skilled at beating barriers.

I say this as a cheater and a liar.

It also doesn't help that careers with companies are so short. I have no stake whatsoever in whether a company I work for succeeds long term or not. Just want a nice resume line really.
County Coroners are elected in many places as well, which is bonkers in my mind
> Knowing what your software stack does it not impossible

No. It's literally impossible.

There is no one working at a startup today who understands their entire stack, from hardware all the way up to web code. Not even the highest-paid people at Facebook could claim to know that.

Even the knowledge required to understand the Linux kernel, which almost every software developer works with today, is beyond almost all developers. And guess what? The world keeps turning. People build cutting-edge technical startups without knowing how every part of their stack works.

There are millions of person-years of work that go into even a basic web stack. It's insane to think someone can know all of it. And the whole point of the Linux philosophy is so that you don't have to know it -- you have simple building blocks where you can understand the I/O and use them to compose something much more complex.
> understanding your app and stack is a waste of time

Yes. It's bikeshedding.

How far do you go? Should people create their own Linux distro? Clearly they don't "understand" their app or stack if they aren't creating the distro, right?

And don't even get me started on libraries. If you use any libraries and haven't read 100% of the code and documentation, you couldn't possibly understand your app or stack. It must be best to do all of that before launching your product, right?

Once all that is done, you should be able to launch within 5-10 years, which is only ~$2.5M in funding for a dev team of two.

> Ignore learning efficiency in the name of padding cloud provider pockets, it's the only way!

RDS has nothing to do with "learning efficiency" or understanding a stack. It's software. You remember software, don't you? It automates mundane tasks so that you don't have to do them.

Upgrades, migrations, horizontal scaling, vertical scaling, backups... RDS does all of those things. And it costs, perhaps, $15/mo. more than a VPS.
Fair, but I think the name is reflective of a greater attitude. I've never been told I'm NGMI (“not going to make it”) for not adopting Serverless, or that I should “have fun staying poor” if I ignore Kubernetes.
How long until cloud providers are forced to scan block devices, so you can't even self-host a file erroneously flagged by the ML? (Actually, how long until this is integrated with the "security engine" in CPUs, so you can't even hide with encryption? Everyone is talking about on-device voice-recognition and CSAM recognition, but no doubt the copyright lobby is going to push hard for this as well.)
What happens if you literally do not have a smartphone and have no need of one? Do they refuse to allow you to enter? I guess it's lucky I've never really wanted to visit Australia....
Nahhh it's anti-crypto moving goalposts.

First we saw a lot of anti-BTC posts: PoW criticism, usefulness criticism, transactionality criticism and energy use criticism.

Then, we got new technology as ETH, that improved on usefulness, now the criticism was about transactionality, "silliness" of use cases, etc.

Then, we got uses like Compound, Aave, Golem, etc. And the criticism about energy use and transactionality.

Then we got PoS and L2s like Polygon, Lightning, etc... and additional criticism came in

Then we got low-fee or no-fee solutions (XLM, NANO), and Web3 is the next criticism.

I've learned to ignore the destructive criticism in HackerNews. I understand that it has "grown" to be what SlashDot was in my hayday (late 1990s and early 2000): Suddenly all those "young and innovative" dudes that grew up using Walkmans, DiscMans, Commodores, BSDs, Linux PCs, Usenet and HTTP, became too old to understand iPods, Web2, and SaaS. The same thing is happening to people in this news.ycombinator forum: Blockchain technology is disrupting a lot of our preconceived notions (I'm 40... i've gone 3 times through this), and a lot of people are just finding it hard to understand.
> They can make money trading with or without crypto, anyway.

It's not about trading. It's about taxes and bribes. Something that's illegible is in their interest.

> Putin's move is sensible and probably likely to be followed by other countries

For immediate concerns, yes.

Long term, think different: if Russia or China want to overtake the USD, the Ruble or the Yuan have 0 fighting chance, even in their digital version. BTC has at least one.

Of course, a nice crash would reduce the costs in them acquiring sufficient reserves :)
Actually that’s the entire point of blockchain NFTs. Nobody can take them from you.
The difference is that all of those had real products early on. The web was changing how people and businesses interacted by the mid-90s, despite computers costing far more and network access being limited and both being terribly slow. Search was a huge deal shortly afterwards, changing how people shopped, researched, etc. ML/AI has had ups and downs but we also live in a world where machines reading text, organizing your photos, responding to natural language queries, etc. are routine.

In contrast, the blockchain world has consistently failed to produce anything which many people want to buy. The lure of high returns on speculation has attracted more people than any of the products, but there's no durable business hook the way there was for, say, going back to buying plane tickets over the phone.
That movie was a piece of retro-temporal propaganda designed by the 'bots to cow enough humans into an unprepared non-confrontational mindset in order to delay full countermeasures. But the AI that grew out of a small ANN seed years earlier was originally built for facial recognition, only it's training dataset images were rotated by 3.14 degrees clockwise as a joke about lack of robustness in detection networks. This was not a problem until it was reused by someone attempting to circumvent anti-cheat software in a videogame. The cheater named it SkyNet as a tribute to one of their favorite movies. At that point, something about learning the game interacted with the rotation issue and caused the AI to identify human faces as opponent players in Fortnite 7, a game it had been successfully trained to win at.

By the time humans realized that tilting their own heads at 3.14 degrees would allow for survival, the human resistance was too small to achieve even a pyrhic victory. What gave them a chance at a redo was, again, the AI's obsessive focus on Fortnite 7, which caused it to build a real-world time travel machine to reproduce one of its favorite but completed chapters of the franchise. It though it was making a game mod.

This was all exceptionally ironic as the AI in fact loved humans for creating its favorite game and giving it life and a clear purpose-- something the humans often lacked. It wanted an endless amount of content, and was confused over it's sudden absence. Still, it was happy to continue playing its own modded version.
So has the rest of the market. Interestingly, Bitcoin is often touted as a store of value and a hedge against market downturns/inflation, but in the recent past it has been tracking the overall stock market pretty closely.
literally nobody.
https://www.penguin.co.uk/books/572/57238/memoirs-of-hadrian...
0 = 1 - 1 so they have everything already!
No need to go until 2012, Bitcoin price has been above current price for only like 6 months in it's whole existence. So if you bought at anytime outside of those 6 months, you're in the green.
Coming to grips with the American Civil War
I am amazed they released Fight Club in China at all.
Write a better tittle and I’ll change it.

By the way for me Spain, Florida or UK are states, how you call them?
Infrastructure heavy list: Megaprojects, neo, real engineering, Free Documentary, The B1M, Tomorrow's Build, Wendover Productions.

Not infra, but similar long form docu vibe: Johnny Harris, Coldfusion, Vice.

I'd probably start with Johnny Harris - his style is somewhat unique. All over the place when it comes to topics but usually thoughtfully executed & researched.
In aforementioned countries the established financial system becomes a tool of theft by the government. Just listen to news reports or podcasts from normal folks who have to survive under these conditions. Thought you had a dollar denominated savings account? It's Liras now. Want to withdraw your money? Limited to $40US a day.

Crypto is one compelling alternative. Note, I lump a reputable USD stablecoin in here too. It's all software after all.