skysight-inc/HackerNews huggingface dataset:
If food crops are engineered to grow big, carbon sequestering roots, how will we determine whether the quality and safety of the food is unaffected?
I'm out of the loop here - I thought windows 10 would be the last version of windows released, and it would just have rolling updates for the foreseeable future?

What changed?
Already done: https://qemu-project.gitlab.io/qemu/specs/tpm.html
My interest in category theory is for a completely different reason. I too have had to struggle to understand it, but I don't plan on using it in an applied or programming sense.

I've heard a bunch of people say that category theory is almost like a 'bird's eye view of mathematics'. That many of its concepts unify many mathematical concepts under one umbrella, and reveal the similarities and connections between mathematical subdisciplines.

The main reason this interests me is that I'd like to learn math much differently than its taught.

To me, to learn the same concept under different subdisciplines with different names, is O(N) learning.

However, if someone put together a category theory book where they list a concept, and then they do this:

"Now, any mathematician can (easily) see that every major area of mathematics is a category.

- In Set Theory the arrows are functions

- in Topology they are continuous functions

- in Group Theory homomorphisms

- in Linear Algebra they are linear transformations

- in Differentiable Geometry they’re smooth maps, and so on…

But what’s important is that we shifted from focusing on the objects to focusing on the functions, the ways in which we transform the objects. This is basically the category-theoretical perspective: it’s the functions that matter."

(Taken from this blogpost: https://catsinthejungle.wordpress.com/2008/11/15/category-th... )

Do I understand any of that? No. But what attracts me to this format is it (MAYBE...) approximates O(1) learning in math, so long as it can also point out, for every concept in every field, how they differ/relate to every other concept.

So what this does is it helps teach me the 'unifiers' of mathematics, and helps me see connections between fields which can be useful for creativity. E.g. I realize I'm doing X algorithm here from linear algebra and that is O(N), whereas if I just shift fields, and use Y algorithm from Group theory I might make it O(log n) because it differs in this way or whatever it is.

Besides that I see it as a potentially efficient way of learning a lot of math.
The opinions of Americans in particular on this issue are very relevant. The U.S provides Israel with a diplomatic, military and financial blank check. Many of the most aggressive elements of the settler movement that makes life so difficult for Palestinians in East Jerusalem and the West Bank are funded by American non-profit groups like the Central Fund of Israel. In addition some 60,000 ideologically driven American citizens are living as settlers in the West Bank.
Back when I was working on proof of correctness, when that was a very new thing, I was using the Boyer-Moore theorem prover remotely on a large time-shared mainframe at SRI International. At the time, you needed a mainframe to run LISP. I was working on proofs of basic numeric functions for bounded arithmetic. So I was writing theorems with numbers such as 65536.

This caused the mainframe to run out of memory, page out to disk, and thrash, bringing other users to a crawl. It took a while to figure out why relatively simple theorems were doing this.

Boyer and Moore explained to me that the internal representation of numbers was exactly that of their constructive mathematics theory. 2 was (ADD1 (ADD1 (ZERO))). 65536 was a very long string of CONS cells. I was told that most of their theorems involved numbers like 1.

They went on to improve the number representation in their prover, after which it could prove useful theorems about bounded arithmetic.

(I still keep a copy of their prover around. It's on Github, at [1]. It's several thousand times faster on current hardware than it was on the DECSYSTEM 2060.)

[1] https://github.com/John-Nagle/nqthm
I worked on a cleanup crew after hurricane Andrew. Huge H-frame metal girders on highway structures were bent like pretzels. Entire lime groves were uprooted and piled like tumbleweeds. Houses were completely exploded. It was similar to what I imagine a bomb going off would look like.

A log cabin would not have survived the worst areas of it I don't believe.
There's no friction in starting something you love to do.

If you don't love talking to someone that you don't have to talk to, you shouldn't do it. You're putting them in the awkward position of having to converse with someone that they know doesn't want to converse with them. And yes, they'll know. The dryness of the sample messages is tip-off enough.

Personally, I hate hearing from people like this -- not because I dislike them or they bore me, but because I'm not a sadist. I don't like the pain and boredom that I sense they're experiencing in trying to force themselves to talk to me out of duty.

There are other ways to connect with people besides conversation. As the Fred Rogers song goes, "There are many ways to say I love you....There's the singing way....Cleaning up a room can say I love you; hanging up a coat before you're asked to do it; drawing special pictures on the holidays; and making plays." That will look different for an adult than a child, but the principle still applies.
Antidepressants discontinuation “brain zaps” possibly explained (2010)
So, first off, the entire point of a session cookie is to uniquely identify you. Like, if you log into a website, it should be you, right?

Second, you're close but just a bit off. While the TPM has a secret internally, it wouldn't expose that - it would be used to generate other secrets, or to sign things, basically it's sort of like putting a crypto library into your device so that you can perform cryptographic operations without knowing the secrets involved. But yes, there's a seed that gets soldered into the device itself.

I use TPMs to ensure that no one can access our AWS environments from devices other than those we own, for example. I'm not really an expert on this sort of thing, though I do work in security professionally - hopefully I'm not butchering this. There are quite a few experts on the matter who comment on HN though, maybe one of them can speak more authoritatively on this.

edit: Actually, I misread maybe - you aren't off. The session cookie is tied to the TPM - either existing within it, or requiring re-validation via the TPM.
Terminator 2 ATM hacking scene, except by waving a phone.
Also the best life direction advice Ive ever encountered is in the first chapter of Liu Cixin's Ball Lightning novel. I seriously wish Id encountered that book when I was in my 20's.
As a kid I pulled a lot of pranks. There's always a moment of plausibility. I recently heard this described as defaulting to truth. A hard wired trait which allows most of humanity to coexist.

I once changed one buddy's autoexec.bat to prompt something like "illegal software detected, press [enter] to begin scan" and then repeatedly pipe a directory listing to null (causing the harddrive to make noises). He leaped up and unplugged his computer.

Retelling that story now, I feel just a bit of remorse.

--

Oh, another example, probably apocryphal.

At the dawn of cinema, audiences were said to recoil the first time they saw a disembodied head, like when you cutaway for a close up.
City of Thieves by David Benioff (of Game of Thrones fame) is a fictional story of the siege of Leningrad and might also be enjoyable for those interested in Grossman's books. At around 250 pages, it's a very quick read.
Unfortunately, while it’s definitely possible to insulate wood houses, it’s often not done [1]. As a result, more than half of energy use at home is spent on temperature control [2]. Yes, European homes are also underinsulated, but bricks provide better insulation per default.

I agree about European deforestation. Wood from the Russian Taiga and the Amazon are illegally imported as a result, that’s so embarrassing and wrong.

I did list specially treated wood in the list of building materials btw, you might have overlooked that. I agree that wood can be a great material for building modern houses, when combined with other materials. Homes purely made of wood would be too unsafe for me personally (fire hazard, termites in the US, high susceptibility to outside forces).

1: https://www.prnewswire.com/news-releases/ninety-percent-of-u...

2: https://www.eia.gov/energyexplained/use-of-energy/homes.php
> vacuum cleaner

Battery powered.

> hair dryer, curling iron.

Bath room.

> space heater

Just no.
They still scare me!
> Can you name some problem that you feel has stagnated in the modern world?

Sure - passive cooling for homes. Architecture used to vary dramatically by climate. In the last 50 years or so new homes are generally only designed for electric cooling.
The VM installation part is great.
We can probably diff AST’s?

Someone just has to build it.
Wish I had more than one upvote to give. There’s a definite trend of Europeans looking puzzlingly at things that Americans do differently and assuming it must be due to some combination of stupidity and greed. Admittedly somethings may fall under that umbrella but homebuilding with wood is not one of them.
> most of them basically imply that construction is inefficient because contractors are dumb.

I don't think contractors are dumb. But I do think that they don't accumulate productivity efficiencies the way other industries do. There's a rule in economics that every X units of a product that gets made, manufacturers tend to improve by Y% percent efficiency. Because they learn by doing, and the more experience the industry accumulates the more chances it has to make continuous improvements off gradual innovation.

Moore's Law is probably the most extreme example. But it's well known in virtually every industry. For example Toyota kept getting repeatedly better at building cars more efficiently and reliably because they carefully observed the process and kept making improvements.

The problem with the contractor model is this doesn't happen, because you don't have large firms that can exploit economies of scale. At anything above lower management, every one is in their own isolated fiefdom where they can keep making the same mistakes and not learning from each other. If one contractor is 20% more efficient, it's difficult to grow fast into a national brand and export those productivity improvements.

Simple example. Copper plumbing is still widely used in most parts of the country. Pex plumbing is strictly superior. It’s much cheaper, easier to install, more reliable, and less likely to damage the framing. Despite being around for decades, most contractors still use copper.

If you really want to see gains in construction, I think you'll need a large Amazon-like org where every one on site works directly for the company and they're all centrally managed. As soon as you're outsourcing something, you should no longer expect to have it done efficiently. This is fine when it's something ancillary to your business. But when you're a homebuilder, especially a homebuilder aiming to achieve sustained productivity improvements, everything being done on site is core and should be directly under your management team.
Kamala’s Border Visit Quickly Goes South – Harris Snaps, Aides Quit, and She
> So? What would be the downside of trans women dominating womens' sports, if that were even the eventuality?

That non-trans women have no fucking chance of being champions in pretty much any sports at all anymore, obviously. You're bending over backwards to be "fair" to a tiny minority, and not giving a shit that in order to do that you're being as utterly unfair as one could possibly be to half of humanity. The much eaasier solution, if you want people born as males to hold all the records, is to just simply abolish womens' sports altogether.

Honestly, this question is so horrendously disingenious that I'm shocked you even had the gall to ask it.
Its not just the insulative value, stone and concrete also have thermal mass, which can keep you cooler in summer and warmer in winter. Some types of construction like rammed earth or hempcrete exploit this on purpose.

Wood frame houses don't have that.
You would have to develop a ECC that worked similar to homomorphic encryption, where you can do computations on the chipertext (or in this case, the ECC) without knowing the plain text. For this application, plain text would effectively be the int/float you are doing math on.

Since its possible with crypto, I don’t think it’s an insurmountable problem to create an ECC code where

Ecc(a+b)=Ecc(a)+Ecc(b)

It will likely not be as bit efficient as ECC without that property. Checking the ECC would also add a bit of overhead, so at first you would want to only check on a store instruction where you have to wait to select the RAM page anyways.
Isn’t this begging the question? “Dismissing criticism of divisiveness is by definition divisive!”
Puts me in mind of an assistant buying birthday gifts for the bosses kids, and the boss has no idea what gift 'they' gave, or even who/when.
Technical solutions are often ineffective when faced with obstacles of politics or cutting corners to make money.
I grew up in a "manufactured home" and have been shocked by the ambient draftiness in every site-built house I've inhabited since. Similarly rated materials end up with nowhere near as tightly sealed an end result. Now I'm in an extremely high-efficiency condo, and while there are certainly no drafts, air sensors confirm the windows don't open enough to get decent ventilation. Makes me miss the huge banks of properly openable windows on the manufactured home...
> They can't make Dell or whoever put in good hardware unless it's a hard-requirement to run their OS.

They control the Windows Logo standards, and have used these to enforce a variety of hardware requirements (including TPM) in the past.
I think the key here is that you have to be doing something novel, which seems like a high bar. Like you can order the DNA for small pox. No one will fulfill that. But it does seem like a determined, over-educated would-be bioterrorist could pull this off with COTS equipment in the very near future, maybe.
I wouldn't recommend rammed earth either.
Nope, not at all. They still pay poorly compared to FAANG to whom they have already lost a big chunk of engineering talent.
Is the link broken or app is down?

It redirects to https://play.google.com/store/apps/details?id=dev.mtc.ga

And shows "We're sorry, the requested URL was not found on this server."
Their homepage explains why I never heard of it: it "uses the most massive and diverse open messaging system ever: the existing e-mail server network". That won't work for (video) calling; not an option for me. I might as well just send my mom an email at that point? (Since I self-host mail, it wouldn't even have to leave localhost. Also, guess what I'm debugging right now... what monster even created this thing called sendmail...)
> most people can build a house. It's really not difficult

You would appreciate some help with raising the walls, but that's certainly doable alone. Raising the rafters, though, requires at least two people with good upper body strength. Or a very ingenious tackle system.
I feel like one of the unintended consequence of discouraging people from "rolling their own crypto" is that developers who obey that rule will never be able to learn what good crypto is and isn't. This I believe will lead to more insecure software in the long run.
The needle is intended to be incredibly hard to thread. That is the point.
> through most of the history of the Arab-Israeli conflict (of which the Palestinian issue has been a sub-conflict) the Arab voice has been amplified over the Israeli

There is absolutely no question that Israel has more support in the West. The US doesn't give billions a year in military support to the Palestinians or Arabs - except Egypt, when signed a treaty not to attack Israel. The head of the Palestinians doesn't give speeches to join sessions of Congress. Yes, Israel gets criticized (as does everyone), and they do a lot of shit; it's laughable to portray Israel as a victim - and an old rhetorical tactic to claim victimhood when you do something wrong and take heat for it.
Building codes require relatively decent insulation and air sealing almost everywhere in the U.S. Builders do like to cut corners on things the homeowner can’t see, but in most areas code enforcement is not lax enough to allow insulation that doesn’t meet code.
Functionally, how would that change the situation? Sounds like it's just a different method of enforcement, with this perhaps being a stricter one that prevents maybe some sort of off-label selling of the OS?
If anybody's interested in learning the nitty gritty details of the process of homebuilding, especially with an eye towards what drives costs, I highly recommend Contracting Your Home[1]. If you're a neophyte like me, it's pretty illuminating how much you don't know. All the steps involved, what are the tradeoffs between the major approaches, issues that you might not even consider, and the like.

[1]https://www.amazon.com/Complete-Guide-Contracting-Step-Step-...
> Insulation does matter, but American insulation is also pretty strange- it is all rated by R value, which is only meaningful if you have a really good airtight seal.

You're not wrong, but IMHO the two should be handled separately. The fact that airtightness has been less stringent in the US is mostly an accident of history, which is being improved with recent building codes. It's just that in the past it was easy for people to simply buy some fluffy stuff and stuff it into the walls: doing blower door tests is a lot more complicated.

Building science has also progressed quite rapidly in the last 2-3 decades, and we now 'know better' in many areas than in the past.

> Aerated concrete doesn't have that issue, because the concrete cells are closed and don't draft. If you end up with a poorly fitted window or 50+ mph winds, it doesn't let air through.

First: what's the carbon footprint of concrete? What is footprint of wood framing?

Not letting air through (in or out) is actually what you want. The structures of buildings should not pass any air at all ideally, and all air exchanges should be done primarily via mechanical means:

* https://www.youtube.com/watch?v=CIcrXut_EFA
How many women over 40 regularly beat Hubbard?
i remember sitting next to someone who screamed after realising he just did a ’DELETE FROM company' without a WHERE clause. Our database was way too big to backup, so we only had production, but luckily I had rolled out database logging in the inyerface that recorded all UPDATE and DELETEs a few weeks before the event.
That's a terribly oversimplified explanation. May I recommend this one instead:

https://www.nasa.gov/sites/default/files/atoms/files/foam_wi...

When learning about flight, keep asking yourself "Then how do planes fly upside down?" Any explanation which does not mesh with sustained, inverted flight is oversimplified to the point of uselessness and inaccuracy.
OMG, dude, this has been sitting in my TODO ideas document for a few years. I'm so excited to try it out. Thank you!
So what then? We should throw our hands in the air and give up? Take the good news as it comes.
Buy-Klonopin-Clonazepam-Online
> They can't make Dell or whoever put in good hardware unless it's a hard-requirement to run their OS.

They actually can. They have Windows Logo program, which specifies conditions that your product has to comply with, if you want to qualify. OEMs like Dell want to qualify, that allows them to put the Windows sticker on the box.

How do you think Microsoft made the OEMs ship UEFI and Secure Boot in the first place?
I find I am so overwhelmed by getting by at work and by taking care of all the assorted tasks I need to in order to keep functioning that I have literally no energy left to socialize or find people
to hang out with. Has the world gotten more chaotic and require more
of us to stay afloat or is it just me?
I wish I had been able to read it before it got flagged. I do want to understand the perspective.
I’ve been interviewing recently and it surprised me the amount of companies offering Friday’s off in summer or having permanent 4d weeks.
Corporates usually replace hardware every 3-4 years don't they?

We do as well, but since we're using Macs they last so friggin long that some folks are still on 2016 MacBook Pro's. I badly want the new M1 ;)
I don't want most session cookies to know I'm the same person from a previous cookie. And even if they know I'm the same person, I'd prefer they still not know whether the device I just logged in on is the same as a previous device.

Separately from that, using the TPM to lock the session cookie to the device sounds useful.
I think it more a result of companies that synthesize the raw material being unwilling to whip up things like SARS variants, and it being quite difficult to figure something out like that from scratch. That may change or turn out to be incorrect, this is just my understanding at the moment.
Thank you for your patronizing response to the above poster.

The problem is to do with things called "numbers".

1. There is no spare land to devote to CC. You could do this only at the cost of poor people's food supply.

2. The rate at which plants remove CO2 from the air is very low. Far too low to solve the problem.
Gallerease – Europe's finest curated art at your fingertips
Their minds :)
C/C++ isn't the issue, it's the lack of not using memory-safe features like smart pointers which you'll need C++ for.
> > and that simply is not how my brain is wired.

> This, however, I disagree with.

I think it might well be correct, actually. I think that it might be the difference between abstract and concrete thinkers on that standard personality test. Abstract thinkers will find that Haskell makes more sense; concrete thinkers will find that C makes more sense.
It's a shame IMO that AMD won't ship desktop APUs with a large GPU and GDDR6. They're willing to sell the tech to MS, Sony, and some random Chinese company, but not to consumers.
I don’t think that is the same technology, it seems to be an electron microscope not a light microscope.

The article references “squeezed light” which is a trick for adding more certainty to a photons position (at the expense of less certainty in its momentum - heisenburg always wins)

To learn more about squeezed light check out this video from PBS Spacetime[0]. The video doesn’t cover this light microscope, but does explain squeezed light.

[0]: https://youtu.be/uZDhCW-PTRM
> How would you address an intersex person?

"You."

HTH!
If you wouldn't mind, someone else already brought this up and I responded, so maybe continue in that thread?
In the United States, masons and concrete (including aerated) are quite common; rarity doesn't factor into it. DIY is not necessary.

You misunderstand building construction. American insulation is, indeed, rated by R value, its resistance to the conductive flow of heat. *Any* draft will bypass insulation of any material. A leaky window will leak air, regardless of the construction material of the wall. American wooden buildings are sealed with sheet plastic, Tyvek, etc. to prevent drafts; all part of the insulation.

Tyvek: https://en.m.wikipedia.org/wiki/Tyvek
reddit regularly gets mocked by every other corner of the internet
Apple took MacOS to 11.

Seriously that’s probably more than half the reason.
On my fairly new second gen Surface Go 2, GetPCHealthCheckApp says that my CPU isn't supported, despite it being an m3 that is explicitly on that list you linked to. The tool at github says everything is supported when I run it. I guess we'll just have to wait and see...
messy web of blackmail, an mini economy where deception is currency
That was the book! Nailed it.