skysight-inc/HackerNews huggingface dataset:
I must be a rube, because I've never stolen from one of those things. When it makes a mistake I call the attendant to correct it. Mainly because I support the idea of automation and want it to work well. Maybe it's just the reliability engineer in me that wants to call out the bugs and have them fixed. Or maybe it's the former security engineer in me who got paid to find the flaws in these systems and my ethics demand I don't exploit them for personal gain.

Honestly though I hope they don't go away just because everyone abuses them. I really like the self checkout machines and being in control of how long the transaction takes instead of up to the whims of which cashier I've chosen (although if the markets would just do a little research on queuing theory and make us all like up in one single line for the human cashiers, that wouldn't be a problem).
That's not strictly true:
Airplanes, for instance, 'have' to emit CO2 via combustion of fossil fuels: any attempt to eliminate CO2 at the source is going to be impossible to expensive. The atmosphere has the wonderful property of being self mixing, so Texas wind and solar driven capture can offset PA natural gas[1] if that is how the economics shake out.

A critique about the article:
Their 'moral hazard' is a joke. CO2 is fungible. Emitting 10 tonnes and sequestering 10 tons is the same as emitting none. If the former improves people's lives (airplanes, cars, power, etc.) the decision is a no-brainer.

[1] hypothetically beneficial due to variability in sun/wind in addition to geographic limitations. Power has to always be on, CO2 sequestration doesn't have to be.
Github link: https://github.com/webyrd/mediKanren
We’ve been using Certora for smart contract code verification. For me, it’s really amazing to see effective code verification can be (on small and important code routines). Over time, I expect code verification to overtake unit testing for core (pure) code modules.
> Right now you can make a new site, sign up with an ad network, and start showing ads.

With the tiny payout you get from Adsense, unless your site is really popular to begin with, you're not going to make much of anything. Pennies maybe (which you won't receive until hitting a threshold anyway). So I don't see how it helps with entry.

By the time your service is popular enough to make real money you could approach smaller brands and advertisers to get better deals than Adsense.

Adsense exists to make ads cheaper for the advertisers and there's no way around the fact that that means content producers will be making less money as a whole. You can't have it both ways. It's lowering the amount that advertisers are willing to pay content creators by giving them the perception that their money stretches further, aided by online tracking and targeting. Meanwhile Google caches in on their cut of the deal and all of the piles of data they collect with their monopoly while content producers get shafted.
> Of course, it’s often pragmatically useful to step away from your own fraught ruminations and emotions. Seeing them as drifting leaves can help us gain a certain distance from the heat of our feelings, so as to discern patterns and identify triggers.

I try to do 10-15min daily meditation exactly for this and it work.

Counterpoint for “researching” where your thoughts come and searching for the problem: As an anxious individual, my whole life was/is imprinted with anxiety, there is no root cause of it in what I’m thinking.
That’s the brilliance of mindfulness, I can cope with the anxiety accepting my thoughts, without trying to change them.
Mind sharing the types of foods and meats you eat?
I used to think nearly the same way.
But consider this systemic risk to wireless competition:
If T-Mobile is not allowed to buyout/merge with Sprint, and Sprint continues the spiral that they are currently in, there is a possibility that AT&T and/or Verizon end up with more spectrum in the end.
T-Mobile isn't nearly as capitalized to buy Sprint's premium spectrum on the open market like the other 2 competitors are.
I'm saying I don't buy that the FAA was ever likely to catch the problems with this system that the engineers at Boeing didn't catch. In hindsight it's easy to say the system was a problem and clearly it was, but the FAA was never going to catch anything.

The meeting with the FAA pilot you mention only goes to reinforce this; nobody in the FAA is ever going to have all the right context to put this together. Rather than trying to find some meeting with the FAA where someone could have caught it, there were probably many many meetings inside Boeing where it should have been caught.
> Over a year, the equipment can capture 4,000 tons of CO2

Not to be glib, and I'm no agronomy expert, but a quick google tells me that's about equivalent to a square mile of hay field. Seems like if you were serious about this problem and wanted an economical solution, buying a farm and burying the output would be more effective than throwing money at startups like this.

Articles like this are always written from a tone of "If ONLY there was some way to economically extract and concentrate carbon from the atmosphere", by journalists who then go home and tend the heirloom snap peas in their raised beds without a sense of irony. Plants do this. It's literally what makes them plants.

Now... maybe there's a stronger economic argument for technologies like this, but if there is it's not filtering into the press hits. I remain suspicious.
No, of course not :)
I've never had a store refuse to honor the posted price when it rang up incorrectly. I doubt they would bat an eye when you explained and showed them their signage.

Additionally, most states impose strict penalties for products that are incorrectly advertised. Whether it is intentional or not.
Is Docker faster on Windows/WSL than Macs?
My Last Day with Firefox
> Perhaps it is, in fact, physically possible for a website to exist without serving third-party JavaScript ads.

This was never in dispute. If a website owner chooses to do so, it is their own choice.
45 Drives: Staggered Spinup and Its Effect on Power Draw (2015)
Chrome Leaking Passwords of Millions of Users, Even Your Saved Passwords
People have been calling IT the "Information Revolution", but that has really only just begun. The singularity will (has) happen(ed) in meat before silicon.

Cf. https://en.wikipedia.org/wiki/Eight-circuit_model_of_conscio...

This is activation in the "neurogenetic" circuit. We know that the soma thinks: "What Bodies Think About: Bioelectric Computation Outside the Nervous System" https://news.ycombinator.com/item?id=18736698 With a little practice you can establish two-way communication with this aspect of yourself ("neurosomatic" circuit) and engender e.g. accelerated healing, &c.

Now that we know that CRISPR-style genesplicing is possible, it seems likely that it could be taught as well. In other words, go into a trance and mutate yourself.

Our DNA already contains the coding for self-splicing, in fact it's littered with quiescent viruses in all degrees of viability. So we have all the biotechnology we need to practice self-modification of DNA now. Grok your cells! Go forth and mutate!
The same coping mechanism is being used in NLP. I have a feeling it's just a way of dealing with an environment which isn't healthy for the human being. It would be better to adjust the environment.
That was the thought, yeah. I was thinking of something like Mint for the environment, paired with an optional credit card so you can contribute as you go vs. get a 'bill' afterwards
From some of the other comments my guess is that it means Intermittent Fasting

https://en.wikipedia.org/wiki/Intermittent_fasting
It also has named constructors, factories, const constructors for compile-time constants.

https://dart.dev/guides/language/language-tour#constructors
The depressing truth ... how do you deal with it? I’ve been going through depression cycles — sometimes I can ignore the depressing nature that comes from holding an inherently non-positive expectation for the future as basically my best attempt to rationally assess the present and predict the future from it — ignorance is bliss? - but sometimes I embrace that most rational perspective as the “most likely source of truth” and promptly get incredibly (deeply) depressed ... to the point where i can feel myself faking “normal” interpersonal interactions and struggling against the fact that most or all locally true reasons for a hopeful outlook basically pale in comparison to the macroscopic reasons to be non-hopeful ...

It’s deeply sad to know that future generations won’t have as much opportunity as I had to enjoy life ... but to pity them will feel patronizing to them - and so what is left for them to know of me and me to know of them ...?

Dear citizens of the future, know that some of us are sorry for how your life will go — and know that some of us are not for they got theirs before you arrived and that was enough for them ... for some of us this wasn’t enough - we lived your pain in our imaginations while enjoying a physical life of abundance that, in the end, has helped you in no way at all ...
While it’s often an ostensibly appealing point of criticism, it’s important to note that sample size is just one aspect of study design—the investigators used a crossover design, which substantially increases statistical power. In the Methods, they state that 10 subjects are sufficient to achieve 80% power, which (criticisms of NHST aside) is a generally accepted standard, i.e., to obtain NIH funding for a study, you must demonstrate in your grant application that your design achieves that 80% power benchmark.
Great point.

But there should be a distinction between academic conferences where professors from U. Mich are publishing and practitioner conferences aimed at industry (including sales, etc.).

My criticism is about academic conferences -- there's little skepticism left when reviewing papers describing attacks. As long as it's cool, it's in.

Look at the title above: "Hard Drive of Hearing: Disks that Eavesdrop...". It's not far off from the headlines on CNN or Fox News. At this rate, I predict by 2025 we'll have Breaking News red banners on academic conferences sites.

Let me re-assure everyone out there ... No, your disks are not eavesdropping. Disks eavesdropping should be the least of your worries security-wise.
People should instead channel their desire to do good into political action to advocate policy to confront the climate crisis. Any voluntary system is susceptible to freeloaders who would be receive the benefit of reduced greenhouse gasses without the cost which would be self imposed on the ethical people.
The Turris Omnia does update automatically but it runs an insanely old version of OpenWRT. Once TurrisOS 4 comes out it should fix that but it's taking a very long time to happen.

Auto-updating a plain OpenWRT installation is not hard to implement and allows you to stay up-to-date.

That said, the Omnia's hardware is pretty great and the fact that you can plug eMMC storage to run LXC containers is absolutely fantastic.

You can also install plain OpenWRT on it these days.
Tell them they don't have $100,000 to market it.
FWIW I disagree with the author in that, within the module that declares a struct you must follow a convention in Rust. You don't. You have full access to the struct private implementation details and can do whatever you want.

If you care about privacy, you'd just keep your modules small.
APIs Are about Policy
"Western metaphysics typically holds that – in addition to the existence of any thoughts, emotions and physical sensations – there is some entity to whom all these experiences are happening, and that it makes sense to refer to this entity as ‘I’ or ‘me’. However, according to Buddhist philosophy, there is no ‘self’ or ‘me’ to which such phenomena belong."

This reminds me of this quip by Richard Feynman:

https://www.youtube.com/watch?v=X8aWBcPVPMo
Does anyone know if there are binaries or even open source directories for the code on these machines? It's kind of lame that you'd likely need to buy one in order to tell if it's vulnerable to some type of attack, not to mention it's not clear how you'd even go about buying one if you wanted to.
Very Coasean. The agent who can most easily change the costs of a behavior internalizes it in a functioning market. Instead of neighbors being force to suffer the guitar playing, the effects are removed (via soundproofing) and the guitar player pays the premium.
The carbon tax would be applied to the fuel used by the tanker truck that moves the fuel from the refinery to the gas station, too.

To estimate how much that would increase the price at the pump, I would rely on estimates of how much fuel a tanker truck can carry, how many miles per gallon the truck gets, and the average distance from refinery to gas station -- which I am too lazy to try to look up.
> Seems to me that tech is going to be much better at solving this problem than the government.

And who do you think is paying for the research (it isn't just Gates) and going to pay for them to be built? There is no incentive for a private company to build them unless there are carbon taxes that outweigh the cost of these. Do you think people will just build them out of the goodness of their hearts (I'll give you that some definitely will be, but not enough).

> but hey maybe the government will suddenly magically get its act together and things will work out.

And that's why we need to keep pushing. Because this tech won't be developed by itself. It won't be built by itself. There's many ways that can be done, but I honestly don't see one without government involvement (and it doesn't have to just be the US. Other countries who have their act together can build these and do global good).
Blendle has stopped pay-per-article, moving to subscriptions entirely.
It's unclear to me what that has to do with my point; the existence of high quality patreon-backed podcasts doesn't mean anything about the supply of quality advertising-supported podcasts. You should look into it, there are a lot of them.
Wait, isn't the author of the blog post the author of the book?
did you mean your gnu/kids?
I am all for these setups because I can check out faster in many cases and I can bag it as I want it bagged. saving money or not its the convenience which sold me
Or we could just ditch Docker for one of the alternatives, like Podman that doesn't need root, nor a daemon.
Facebook Is Dying
To clarify: Safari was already beating Chrome on battery life before _Safari's_ extension API was neutered.
I don't have a CS background, so apologies in advance if these are basic questions, but:

> For this layout to work though, constructor needs to allocate memory for the whole object at once. It can’t allocate just enough space for base, and than append derived fields afterwards. But such piece-wise allocation is required if we want a record syntax were we can just specify a value for a base class.

1. Why can the constructor not allocate memory "progressively" for the object as the construction chain descends the class hierarchy? Is it because, in a multi-threaded program, something else might allocate some of the "extended" memory, causing a clash when the constructor attempts to append fields? I assume that an approach of "if the memory that a constructor is trying to append into is already allocated, first move the occupying object to a free memory location, and then continue with allocation" is inefficient because it relies on an "overseer" that can coordinate and resolve these clashes?

1a. Sub-question - why does the memory for an object need to be contiguous? Is this purely an efficiency concern ("read a whole object sequentially" being more efficient than "read an object by reading a bunch of pointers and then reading the locations they point to"), or are there other considerations? I was under the impression that RAM (unlike hard drives) has no (or, negligible) performance penalty to random access - but maybe those intermediate "jumps" add up to a measurable impact?

2. "But such piece-wise allocation is required if we want a record syntax were we can just specify a value for a base class." I don't understand this claim at all. Why is this required? What does it mean to "specify a value for a base class" - is this shorthand for "specify a value for a field of a base class"?

Recommendations for further reading are received just as gratefully as direct explanations - I'm sure these concepts are already covered in the literature or a course syllabus, but I have no idea where to start!
You should look at functional movement disorder, and catatonic depression. I'm not making any comment on your own situation, only on your comment that pushing yourself to the point where you couldn't stand up proves it wasn't psychiatric.

Typically people with ME/CFS/FMD get worse if they push themselves. The key to recovery is rest first and foremost. The symptoms of FMD seem to be a protection mechanism by the brain, and pushing through the symptoms just make it worse.
We need to get our emissions to zero. But we can't control other countries (though we need to put pressure). The us isn't even a third of global emissions. So while making the US carbon neutral, we aren't even close to solving the problem. We HAVE to be negative.

There's another big reason to be negative as well. Even if total global emissions went to 0 (ZERO!) the planet would still warm. There's a feedback loop. We've warmed enough that we are melting a lot of ice that contains carbon, which gets released into the ocean and atmosphere. We have no choice but to go negative, and we need to encourage as many other countries to do so as well.
PHP 7.4 adds optional type declarations for properties on an object, and so there was the problem of how to avoid an inconsistent state (type not matching before initialisation). The route that was eventually taken was to have the properties not be null, but be unset. If you try to read from them at runtime without having written to them first, an error is thrown. Notably, there's no requirement everything be defined when the constructor exits.
I don't think this is down to human behavior. Some content has zero or negative value.
Ideas for Deep Learning Systems in July 2019. Packages,Construction/Architecture
Not exactly what you described, but overviews DoD role in development of internet technologies and SV:
https://www.amazon.com/Surveillance-Valley-Military-History-...
Perception in Chess (1973)
Ohh exciting. I saw this thread and wondered what happened to that project.
Were you also sleepy during the day? Did you nap for hours as well?
Ten years sounds about right. The bootcamp fad seems to have faded but anyone thinking about joining one should take this article to heart and think twice about it. Even learning programming in high school / university is not much more than groundwork.
> and to try to reach a state where you don't exist, and teach you that your thoughts aren't your own and you have no free will.

There's a lot going on here. So, I don't exist, and yet an effort to reach the state of non-existence needs to be made (sounds like some faith/belief is required here to even begin). And, thoughts are without a self, which follows from the non-self notion. That all makes sense within this philosophy, but what about free will?

It sounds like the state of non-self would be the essence of freedom, and therefore, choice, and not a fixed universe in which everything is preordained.
While there are a lot of truths in this article, there's also a thread of misconception running through it, embodied most prominently in the line "Without some ownership of one’s feelings and thoughts, it is difficult to take responsibility for them."

Mindfulness is about creating space between you and your thoughts, not ignoring or discounting them. It allows you to look at them subjectively, rather than being carried away by them. This in no way prohibits you from being introspective, and analyzing the origin of these feelings/thoughts. If anything, it empowers the individual to more rationally grapple with them, without falling into the various psychological traps that often come with certain feelings, such as rumination or avoidance. And whether or not we believe that there is a self, this is no way invalidates the reality that your thoughts ultimately reside inside the mind of a human being, with a real world story. It's unclear to me why the author does not recognize this duality. Most of the literature on mindfulness I've read, including Jon Kabat Zinn's, explicitly mention this duality and its power.
I love the US constitution as much as the next guy, but isn't it a bit of a stretch to apply this section to a non-citizen not even located in the States?
An actual carbon tax is necessary, though. The game theory/economics of a voluntary “tax” don’t work out.
> The F.A.A. eventually handed over responsibility for approval of MCAS to the manufacturer.

This is pure WTF, right here.
There is a structural flaw inherent in the characteristics and relations between traditional money and traditional government.
I'm not sure what your argument is. That since the technology isn't fully developed we shouldn't fund development?

This is akin to saying (in the early 1900's) "Planes can only fly short distances, are very expensive, and can't carry any serious loads. It would just be better to put this money into trucking."
I'm surprised that the article doesn't reference this book:

David L. McMahan, The Making of Buddhist Modernism

https://www.amazon.com/Making-Buddhist-Modernism-David-McMah...
Not a rube, just honest. I'm really surprised and disappointed this is common.
We need to move towards an economy where many essential internet services are publicly funded and there are rational subsidies for journalism meeting very minimal standards.
Just to add to the above: the reason that "adrenal fatigue" was coined is because stress does affect the adrenal glands: initially it causes increased release of cortisol and an increase in size in the glands, but chronic stress can result in hypofunction of the HPA axis, resulting in lower cortisol and sometimes shrinking of the adrenal glands. Whether chronic stress results in fatigue and low cortisol depends on the nature of the stressor, the time since onset, personality factors, etc.

http://dx.doi.org/10.1037/0033-2909.133.1.25

Unfortunately the "adrenal fatigue" crowd have taken this little bit of science and completely mangled it, blaming the adrenal glands themselves and pushing dubious supplements that have no scientific basis.
I think a lot of people are unclear on the fact that plants are made of air.
> Down 35lbs in ~2.5 months.

Good for you! Is this just from dieting? Or is there an exercise routine in here?
A square mile is a huge chunk of land. It's nearly 640 acres. For comparison a large suburban plot is usually only 1/8th of an acre. That is to say nothing for cost of keeping the land irrigated, free of pests and running tractors and other ag equipment to harvest the hay during growing season.

We then don't take into account the most expensive part, buying the land. In Texas a 500 acre ranch already prepped for hay or other crops costs about 1-2 million dollars to buy.

Furthermore, plants aren't perfect. Many plants also respirate co2 as well as oxygen. It's not a perfect equation like in grade school.
Is this specific to engineers? I noticed this in college classes across disciplines. A lot of the time that someone raised their hand, it was to share an anecdote and not a question.
Teaching yourself to program as a self fulfilling exercise isn't a bad idea. (remember that this sort of programming is generally more isolating than many other hobbies.)

If you're trying to get hired as programmer then don't bother, literally the only thing most companies (at least in the US) care about is whether or not you have a degree (it doesn't matter what the line employees think, HR will step in and stop things.)