skysight-inc/HackerNews huggingface dataset:
Specifying a target architecture (ISA) when compiling does not change the programming language's semantics.

C is not a high-level assembly language, as pointed out in the article.

So just because you know that the target CPU supports e.g. unaligned accesses does not make them suddenly valid C.
You should buy tigers, then. But seriously, it's somebody's business. Animals deserve to have it good.
Anecdotes != argument. Even the average sized dog can do 10x damage a cat can. And the largest dogs are easily capable of killing. Not an argument.
Why would that be true? This is talking about antibody tests and is likely indicative of statistics and patterns common to everywhere else.
I relate to a lot here which is why I wondered about a support group. I've come close to self destructing a number of times but lucked out. I also struggle with depression, anxiety, and substance abuse.

By 7th grade I would ignore whatever was happening in class and read escapist fantasy fiction instead, while I was still bothering to attend school. The same year I decided school wasn't for me and refused to attend. My mother (single parent) didn't really know how to handle the situation, but after a lengthy conflict between us we eventually came to an agreement where I would be dual enrolled in high school and the junior college where she worked. I think roughly half way in to my first year of high school I walked off campus and never came back, and ended up enrolled in junior college full time. I ended up wasting years failing half the classes I enrolled in at the junior college, basically incapable of engaging with higher education. I was fortunately able to launch a career in tech. It began by working as a student assistant in the computer lab and working my way up from there.

I feel fortunate that I was born in the era I was born in and ending up in tech. I can't imagine what my life would have been otherwise without the internet or the tech world. Tech keeps me somewhat engaged and provides financial security which is such a blessing.

Tech also seems to be disproportionately populated with hard working and intelligent individuals, so it's easier to find others to befriend, relate to, and converse with. I've also come to value raw intellectual ability less and value outcomes more, which has been a useful lens to self direct how I engage with others. Telling someone their ideas are bad because $REASONS turns out to be remarkably counter productive, regardless of any factual basis. Unsurprisingly a lot of people don't want to work with someone that thinks they're stupid. I still struggle with how to engage with others though. I've tried acting as an educator but that seems to come off condescendingly, ending back at the same place of no one wanting to work with someone that thinks they're stupid. More often I find myself not engaging, hoping that some people might learn from experience, and otherwise just doing my own thing.

At any rate, thanks for sharing.
You can always generate substructures with closure properties. The subobject structure comes from all the subobjects—so it is the default logic of the topos. Of course you can do the same thing here as you mentioned since it is a Heyting algebra at the least.

My point is something else: I don't know of a way to have a intuitionistic exterior logic and a classical internal logic.
> What you’d never notice about Hikarigaoka Park, however, is that 36 of its benches conceal stoves that can be used to cook food, boil water or provide heat. The park’s 52 manhole lids can be removed to reveal emergency toilets. Its solar-powered lamp posts have electrical outlets for charging phones in a blackout. There are water tanks for fighting fires, and bunkers stocked with days’ worth of non-perishable food.

Can't help but think in the US the homeless would set up shop quickly and defeat the purpose.

How do the Japanese keep things so... orderly?
Ask HN: Why aren't we asking NSA for contact traces?
Don't they already know who I've talked to?
Syria still exists as a nation, and if a significant amount of people in the US decided to stop being in the US for a good reason (say, the US becomes a murderous dictatorship), then they should have the right, same as any other citizen of any other country.
So I am guessing that the reason why this doesn't look like a sattelite dish is because 1) the focal point is not in the centre and 2) the ball doesn't rebound in straight lines.

Oh shoot, he does actually explain this exactly. He also mentions 3) speed of the ball. And then, 4) for lines that hit at the same point but with different trajectories and speeds, he takes the "average basketball shot".

The only other thing I am wondering about is what would happen if the ball were flat.
My cat catches mice, birds, baby rabbits, lizards, snakes. Half the time she eats the heads off the mouse / baby rabbit -- the other half of the time she brings them in the house to play with. She is a murderer, but she is a cuddly murderer.
Few seem to know x86 can generate misaligned access exception. Enabling EFLAGS Alignment Check (bit 18) flag causes an exception on any misaligned access, if the kernel has enabled this feature by setting CR0 register Alignment Mask (bit 18).
> Is there any way small-scale ~4 drive NAS or file server systems can accommodate SMR drives in software? It looks like they're going to need to do so...

The thing is you can't really buy SMR disks that are OS controlled unless you are some big enterprise client.

SMR disks discussed here are DM-SMR disks, which basically are same disks, but with a firmware based hack that makes them appear as regular SATA disks.
For Xerox, Hiltzik's Dealers of Lightning is a good source.

(The opportunities that Xerox lost because of short-sightedness, political shenanigans and just plain incompetence will probably make you mad. It's a good cautionary tale).
_Hackers_ is the first thing that came to mind when I saw this... fantastic book!
U.S. intelligence examining whether coronavirus emerged from a lab
I used to battle with mice all the time at my little cabin in the woods and then a neighbor moved in with a cat that "hunts" outside my cabin all night. Haven't had a mouse problem in years. I've never seen a dead bird anywhere and the cat never seems to hunt during the day.
Cats don’t typically attack humans, dogs do, frequently.
Logitech Harmony 900 remote teardown
Exponential growth literally cannot continue indefinitely on a planet with finite land, finite energy reserves, and finite resources. This should be uncontroversial.

We can disagree about where, when, and how to stop growth. We cannot disagree that it must stop at some point, and that the tyranny of exponential growth means that you will hit this moment frighteningly fast even when you appeared to have plenty of legroom. With a growth rate of even 1.5%, you can be using less than 10% of the resources available to you, and yet you will hit a hard wall at a minimum within 200 years. And even this is a fantasy, as resources, land, and energy are always utilized in decreasing order of ease of access.
Russia vs. NATO: True Stories of Daring Cold War Submariners
If you trust yandex enough to allow them to possibly gather all your browsing activity, passwords, ... It's like trusting tencent.
Once Upon a Time, I Fell into a Cult
If you want to read more about ARPANET, check out _Where Wizards Stay Up Late_... covers the whole development... great read!
Infrastructure is a fixed cost. On paper. But of course quality can be always traded off for cost. And that's what happens usually if revenue dries up.

Potholes, cracked asphalt, insufficient storm drainage, and so eventually a lot of damage to property (floods, cars, etc.).
I hope you will consider - both from a biological perspective and an economic one - that catabolism is also possible.

Which is to say, depending on your environment, you can create a "better life" (by your definitions) by catabolizing existing resources.

You can't catabolize forever, of course, but it's an immediate and obvious refutation to your claim that "better lives" can only be pursued through growth or war.
No serious antigrowth argument is saying China ought to stay at it's 20th low point.

The problem is there is growth that solely exists to feed the capitalist Leviathan vs growth that is actually giving people what they want, and they are hard to disentangle under capitalism. You could the first is trying to disguse itself.
Uh ... Your name isn't "Doc" is it?
TIL macOS doesn't ship with `ack`. Found this out when trying the first thing on the list `ack --bar`.

:(
Thats one scary select statement in the screenshot.
This is mostly SanFran and NYC. Other cities can build housing and apartments. Seattle has built tons of apartments. Costs are a bit high, but that is the fuel to kick growing the supply into overdrive.
Show HN: An Emulator in JavaScript (That Interfaces with Multiple UIs)
I usually remember when I've written on something even if I've forgotten the details. I tend to be able to do a Cmd-f search of the README for a keyword to turn up what I'm looking for.

All that said, I've been contemplating moving all of this into a Gatsby-powered site with either a custom search backend or Algolia to make it all a bit more accessible.
Totally different sample. Chicago tested patients, from your link "10% to 20% of those tested have the active virus". Not representative of the general population.

Santa Clara was testing from the general population.
ROBust and privacy-presERving proximity Tracing protocol
"humble TIF"? What's that?
> EFS is distributed NTFS

I'm 99.999% sure this is a straightforward typo, but it's NFS (Network File System) not NTFS (the Windows NT File System).
There is not much urbanized part of the metro to speak of. It’s all suburbia, even in the city itself, 75% is zoned for single family houses. Given that my property taxes are 10 times what Strongtowns thinks it costs to maintain the streets, I seriously doubt I’m being subsidized by anyone when it comes to infrastructure.
I've been using it for literally years to access the GUIs of programs running on Linux workstations from my Windows 10 machine over our LAN. I don't think it's ever crashed for me with the 3 or 4 programs I run but it's sometimes a little slow, although I'm not convinced that's the fault of vcxsrv. I have no other problems with it, my experience with scaling has been surprisingly good. I see no reason to pay for an alternative.
It's amazing how adoptable cats are both to domesticated life and to life in the wild. Is there a way for evolution to work its magic and for species hunted by cats to develop countermeasures?
Only if you don't understand anything about economics...

> Homelessness grew noticeably more widespread in Japanese society since the collapse of the Japanese asset price bubble across the 1990s, and the resulting "Lost Decade" of economic stagnation. This has resulted in higher unemployment, a contributing factor towards potential homelessness.[1]

National economies are complicated, and the connection between high (or continually-appreciating) housing prices and homelessness doesn't always run the direction that a naive model assumes it does.

[1] https://en.wikipedia.org/wiki/Homelessness_in_Japan
I'm curious about your monetization strategy here, you mention using a 1 time app purchase + other what looks like 'cosmetics/item' purchases. Correct me if I'm misunderstanding. Have you thought about making this is a subscription based app where 'professional' feedback on worries etc could be a paid feature?
I never conceded that flattening the curve was not about reducing the area, so I have not moved any goalposts.

I was going to make a comment on this article about the meme being too effective, in that it convinced people that the only point was to reduce the load on the medical system. Of course the goal is to reduce the load on the medical system, but that's step one, to get though the first wave of infections and to a situation where the spread is potentially controllable.
People really haven’t really woken up to the reality that contact tracking, forced testing, and eventually vaccination will NEVER happen in the US, at least not in a consistent and effective way.

A significant portion of the population won’t stand for it, and given the current make up of the Supreme Court any mandatory citizen tracking, or job based discrimination based on mandatory testing will not pass muster. Nor will forced vaccinations. We can’t get people to vaccinate against measles and whooping cough, which spread faster and kill more people (including children).

Civil liberty practically ensures that in most places tracking and vaccination will have to be optional.

Whether we like it or not we are heading toward a herd immunity strategy.

If this were killing 30% of the general population, like smallpox could, people would fall in line. But I can’t see it happening for something as comparatively mild as COVID-19.
I just hate any phone calls period.
I use both TablePlus and DynamoDB at work. I don't see any reason to bother trying to put DynamoDB support into TablePlus.

DynamoDB is great at its one killer feature of supporting arbitrarily huge tables without you having to worry about any details. For everything else, it's just kind of adequate, considering the constraint of needing to support multi-Terabyte tables. It lacks a huge number of features that all RDBMSes have that would admittedly be impossible or not make sense on huge tables. Thus, it doesn't make much sense to try to access it from a RDBMS GUI.

The AWS Console provides all of the GUI that really makes sense for it, plus the CLI tools and API.
Maybe, I am wrong, but none of these seem particularly high-bandwidth
Both things can be true. They don't really care for Trump personally, they just want to sow discord, but Trump is a great way to sow discord.

Non-Russian-aligned intelligence agencies were pretty unanimous in their assessment that Putin was trying to get Trump elected and that they troll both extremes of the political spectrum.
MC68k (anno 1979) didn't like misaligned memory access either and I have no reasons to believe that this started with Motorola. But yes, it's always fun watching a new generation falling into the old traps.
Yes, but with multiple compression technology available. I use RealVNC where there is only one knob for controlling image quality, but in TightVNC for example there's a choice of using zlib, RRE, hextile and its very own Tight encoding[1]. The problem with Qt over X is that it tries to send every frame on every redraw event. With VNC this is automatically limited by the frame rate.

[1] https://www.tightvnc.com/vncviewer.1.php
When I look at pin 5 on a schematic, it makes it easier to find on a PCB if it is physically close to pin 4 and 6.

This is true in programming too. Spatially close data should be stored in memory adjacent to each other.
You don’t speak for me. I would rather pay my taxes than have the money if I know every one else is in the same situation as me in being obligated to pay taxes. That is not the current status quo. Tax shelters and tax minimization strategies generally are tools that are not beneficial to market participants equally. It’s simply not worth the trouble unless you are offsetting a substantial tax liabilities. It’s not always the case that tax liabilities increase as wealth increases. Taxes don’t always go up with your income either. The fact that these variations and exclusions and deductions exist show intent to tax fairly and a desire to not double tax if not a reality. Yet the clear evidence that in real world examples, very high net worth individuals pay less than those in the upper middle class. Taxing proportional ability to pay seems fairer than the current system. That this is not the natural order of the tax system is itself curious. The governments of the world already deficit spend in excess of tax revenues. The tax system isn’t any more about fairness than it is about the money. If the government was able to choose to forgive your tax liability due to an exclusion or deduction, it could choose to do so for the entire tax base. It is not necessary to tax system to exist in its current state. It is the way it is because it benefits those who have money and power for it to be this way. Maybe this is why Fukuyama foresaw the end of history. We just ran out of ideas so this is the closest thing we got to a steady state society.
Postico
https://computerhistory.org/oral-histories/

https://computerhistory.org/blogs/

http://www.youtube.com/user/ComputerHistory

HOPL I: https://dl.acm.org/toc/sigplan/1978/13/8
Mixed memory order as in, a memory write stores the data in an order like 5, 7, 6, 4 instead of 4, 5, 6, 7?
Yes. Here's a concrete example:

Google has (or had) a stray cat feeding station at the Plex. When birders complained, the security threatened the birders if "anything happened to the cats." The Plex is located next door to wetlands containing two endangered species that are at risk of predation.
Do you mean checked by a human reader? If so, a linear sequence of if statements that return early is far easier to check than than deeply nested statements where the error handling for failures is effectively back-to-front at the end.

Or are you saying that there are some lines of code at the end checking the post conditions? I'm not exactly sure what that would look like, it sounds a bit insane, especially if you do it for every function. Could you give an example?
Gartner: Worldwide Smartphone Sales to End Users by Vendor in 2019
GUI search is awful, but it does exist. Right clicking on an object type node (e.g. 'Tables' or 'Procedures' in the object explorer) and selecting the 'Filter' option gives you a limited search feature for objects in that node.

It is clumsy and painful, and I will most often just query the sys schema to search for objects, but GUI search is there.
IMO what’s important isn’t merely whether something poses proximal danger to human life (which asks for immediate and more severe solutions), but whether something poses greater community burden on a level where it’s hard to trust an individual to self regulate.

Owning any equipment or process with bad waste or ecological burden should also require extra licensing under the same rationale.
Something that kills me is how roads are paved and then within a few months they're torn up to do work on pipes underneath like clockwork. They say it's because the utility companies and the town don't have good communication, but think we all know it's because of kickbacks from the paving companies. I've rarely ever seen work done under roads that weren't just paved over. And no, it's not just because I only notice it when the road is new because every since I've had this realization about 10-15 years ago I've been paying attention to it and it's still the case.

Aside from that, a big issue is that cities aren't designed for maintenance. Why are we still building towns with the pipes under roads? Keep them under the sidewalks with loops in the cement blocks so they can be easily lifted up and moved for repairs. It'd be faster and cheaper b/c no more repavements, you don't need super heavy equipment (simple forklift with chains can move them), and it'd cut down on job completion time, not to mention it's much easier to plan. For anything that crosses a street, do it at intersections and you can just make intersections a composition of concrete slabs that again can be moved.

Another issue is not utilizing technology. It'd be incredibly simple to create a web portal where citizens can report maintenance issues like potholes, broken street lights or traffic lights, tree limbs that need cutting to keep away from power lines, a sewer drain that's clogged, a fire hydrant that's leaking, etc. The list goes on and on. All these things being reported would make it much easier for the city to plan the maintenance so you could bang out a bunch of things at once early on rather than waiting for it to build up so much that it becomes obvious without the reporting and by that time it's usually late and has lead to other issues.
I honestly at least in US culture we'd end up with a 'boy who cried wolf' situation if we had tried to even encourage social distancing during past pandemic scares. If we had done that in the past when a pandemic didn't occur we would have had an even harder time getting people to take this one seriously, and it would likely have been worse.
QLC with SLC cache is probably the best analogy for these drives, too.

Some workloads will never have a problem, others will hit performance walls.
Interesting, didn't know about SetApp before, thanks.

I wonder how they manage around DRM rights with the individual app publisher?
"cat mouths are nasty and bites typically get very badly infected."

What are you basing this on? Are you implying a cat bite is worse than, say, a dog bite?
Then use a clear, simple, precise language; I think Java for instance, with the improvements in the last versions, could fit the bill.

Personally, I'm happy that we live in a time where we have many different languages featuring meny different paradigms; I find it refreshing and stimulating.
>You can't solve an exponential problem with a constant size reduction.

Isn't that exactly what we're doing with social distancing?
What does this even mean?

I'd like to see an actual example of such a city for better context. What city do people think we can't build today better and faster? Who are the people that are poorer? Like the US is richer, but detroit got wrecked over time.
Google is kind of bad now? (Rather than finding answers it ranks SEO spam)
It the product of evolution. As a species we have to make decisions on imperfect and limited information all the time. If we were programmed to wait to figure everything out we would have died off ages ago.
I don't think the environmental cost is worth "business meetings"
Those SFH zones are getting infilled by apartment buildings and townhouses and ADUs and people selling their backyards to create a new lot. It's nothing like vast surburban tracts.

Lynnwood has 35K people in 8 square miles, 5 Kpeople/sqmi.

KC has 500K people 310 square miles, 1.4 Kpeople/sqmi.
More that it's difficult to find people that are as good conversationalists as they are at whatever topics they're good at. Luckily, smart people are a pretty diverse set, so all one has to do is keep trying
I don't know if I'm one of "these people", but you're singing my tune.

I want to start a kind of real estate development company to buy distressed land (as opposed to raw wilderness) and develop "living neighborhoods"[1] (like Village Homes[2] in Davis, CA) combining Pattern Language and Permaculture (applied ecology), and sell sell them. "Rinse and repeat".

I don't know of anybody else doing something like this, and yeah, it puzzles me too.

[1] https://www.livingneighborhoods.org/ht-0/bln-exp.htm Christopher Alexander's site.

[2] https://en.wikipedia.org/wiki/Village_Homes
Spectre exploits are low bandwidth too.
NSA data can only be used for military and anti-terrorism purposes; any other use would be an unacceptable invasion of privacy.
My parents did this. I really wish they hadn't. It fucked with my ego well into my thirties.
Ha, you got me confused there for a bit, because of: https://wiki.c2.com/?ThreadedInterpretiveLanguage

Anyway, thanks for sharing your tips!
I picked it up for around 10 IIRC. Have also used Xming in the past (not on Win10). Liked how simple and easy X410 was to setup. It worked flawlessly with WSL.
No surprise here. Climate models do a job on the details that matter most. They might improve as suggested in this paper.
Study finds evidence for existence of elusive 'metabolon'
Hey @avaku, I reached out to you over email. Let me know if you didn't get it (my email address is in my HN profile).

I would love to chat with you about an audio app that I'm working on. Thanks!