skysight-inc/HackerNews huggingface dataset:
Generally I agree, although I think there's also some weird other effects going on - I don't think it's in any businesses interest that there are tons of homeless people or drug addicts in SF or pushing prosecutors not to get them off the streets for instance. But yes, as a longtime Nevada resident who saw the harm casinos did to local populations, I can definitely say that cities often do what makes the most tax revenue if the costs are diffused enough (or not politically important)
You should probably get one anyway, it's incredibly life changing. You can always sell it on eBay after the 16" comes out, they hold on to their value pretty well.
The backend for frontend pattern is exactly why I got sold on GraphQL. We had a pile of relatively low value server code that could be replaced a GraphQL resolver and the client got all of the advantages of that pattern. The move to GraphQL genuinely freed up a lot of our time to work on more important problems. This was on a smallish team so that time mattered.
It's like gov system don't even have test cases. They should, and they should be public. Why aren't these softwares for the public open source?

See also: employment security sites, cannabis track and trace, driving license, etc.

Some of these bugs cause direct financial harm to citizens and this one is much worse!

Show me the test cases! Show me the code!!
I had really good success with https://github.com/grpc-ecosystem/grpc-gateway for returning json to the web from a grpc system
I've enjoyed Ishkur's Guide since the old version. Checking out music genres I hadn't experienced, seeing the history, it's all great. But the best part is his descriptions of the genres. This is one of my favorites:

Funk music started out in the 1970s as something black guys would occasionally perform while wearing capes, jamming on synthesizers and laying out long, noodly basslines while singing about spaceships and elves. It is the coolest music ever.

This contrasts with Progressive Rock which also started out in the 1970s as something white guys would occasionally perform while wearing capes, jamming on synthesizers and laying out long, noodly basslines while singing about spaceships and elves. It is the dorkiest music ever.
UK judge rules against Epic in bid to sue Apple despite mixed Google decision
> Another week, another submission that hopefully edges more people towards realizing that they've just created an under-standardized, under-powered SQL-with-braackets that forces you to bring your own query optimizer, and eschews the advancements of Swagger/OpenAPI, JSONSchema, HAL, JSON-LD and the flexibility of HATEOAS.

Why the insistence on condescending towards people who make decisions you don't understand? It's one of HN's less attractive aspects.
... some people do really support abolishing the police. And those people are also likely to go and protest. Sure, the bigger moderate masses picked up the slogan, but it started with that radical message.

Plus on a realpolitik level it doesn't really matter what the slogan is. Really. See how tha ACA was turned into Obamacare and death panels. Yes, independents initially might be confused, yes a dumb slogan doesn't help, but fundamentally if the political and social will is there, the slogan does not really matter.
I have no idea why big business, who supposedly controls the world, would want lockdowns.

But in any case, we clearly won't have herd immunity by April, so don't embrace conspiracy theories when lockdowns continue.
Lockdowns in the US are theater. Because government can't do much to stop the main driver of the epidemic--people meeting friends and relatives behind closed doors--they ban a bunch of stuff that makes very little difference.
> It’s the #1 reason why graphql is so popular. You only fetch what you want.

It's certainly one of the main sales points for graphql. On the flip side, I've never been frustrated by getting too many fields back from an API. I suppose if I was developing exclusively in extremely bandwidth limited contexts where getting back only 2 fields rather than 50 actually made a difference, I might care. It just seems like such a non-issue to solve/talk about in almost every other context.
It sounds like the only issue is high fees..?
But if the computer could detect the issue and slowdown or pause the simulation, ask for an administrator to intervene and then resume the simulation the issue would appear solved.

In Trek tricking the crew fails either because the simulation is imperfect or because it is to slow and fails to do high computation but the crew tricked Moriarty because he is a computer program and they can pause or slowdown his simulation and handle exceptions.

I recommend watching the movie Inception, it also has the idea that you might never be sure if you are in reality or stuck in some simulation.
I loved the early Internet, and initially stoked when more and more people got onto it. I thought we'd enter an enlightened age of education and everyone could live up to their potential. Obviously, that's not what happened at all, and the current-day internet is a cess pool of people profiting off misinformation and encouraging these stupid bubbles where people are fed a feedback loop of bullshit.
Isn’t this just GPT-3 under the hood? Other similar things do exist (eg: copy.ai).

Not sure whether there’s much of a difference between all these GPT-3 powered services when all that distinguishes you from competition is some (slick) UI and the 500-1000 extra words of “training” you give to GPT-3.
Doubt it. These guys played Ibiza plenty in the 90s. People would know.
Yes, sorry, should've said.
Lockdowns have been extremely successful in a great many countries.

Some examples include:

* China bringing their initial outbreak down to near-zero

* Italy arresting their early surge that overwhelmed health systems

* New Zealand bringing their infection rate low enough to essentially return to normal life (apart from international travel)

* The UK stopping a dramatic winter uptick involving the B 1.7.1 variant from overwhelming the NHS

In what way have they not worked?
“Show me the incentives, I’ll show you the outcome.”

If corrections staff were held personally liable for these failures, or the local jurisdiction faced steep financial penalties, it wouldn’t happen. No liability, no responsibility.
It's the fallacy of the C-list celebrity to realize too late that fame does not easily convert to fortune.
and presumably teachers and staff too.

Hope this administration follows common sense.
My original comment might have given the impression that I was some gRPC guru when in reality I’ve only played with it very briefly.

What are the versioning problems with it? I was under the impression that it was actually designed from the start to be fairly flexible with regards to changing API methods etc
Launch CRM SalesLab
SalesLab CRM for long cycle sales. We strive to make the most user-friendly product in the world. Yes, we still have much work to do to achieve this, but we are ready for it!

We started working on this project in December 2019. Before that, I had a CRM system integrator company for 4 years. We had received a lot of feedback on various CRMs from our clients. Most of the customers were unhappy with too complicated UX and outdated interface design. So we decided to create our own CRM with better usability and modern interface design.

We are now launching a beta version of SalesLab CRM and offer you a 180-day Trial version. SalesLab CRM can benefit sales teams who work with long cycle sales. While it's not suitable for Retail or fast sales.

In the beta version, we included the basic functionality necessary for the work of the sales teams.
> Both tactics and proof terms are already quite old (for CS concepts, that is) and there hasn't been any real competition, so I imagine in the medium-term we'll just see refinements of them.

So it's really more of an issue of presentation? The techniques are fine? (I'm a professional programmer but an amateur logician, I really don't know what the big kids do.)

> I can't imagine anyone wanting to read latex source code over tactics/proof term code. Unless you're talking about rendered latex?

Yeah, you would generally only be looking at LaTeX source to debug your tools.

> But that's not something people can realistically work with.

I don't understand. I rarely work with it, but I was under the impression that it's pretty standard for writing math and science papers? Are there no WYSIWYG tools for working with rendered LaTeX? How do people work with it now, I guess is what I'm asking.

> Graphical proof assistants exist, but nobody uses them.

I just did a quick search and found two but they seem obscure:

https://en.wikipedia.org/wiki/Jape_(software)

https://github.com/liamoc/holbert

I guess the question I have is why does no one use them? Is it just inertia? I mean this is a thread about promoting the use of Lean et. al., so even the non-graphical, well-known tools are still kind of a niche, no?

Are graphical proof assistants only good for students and teaching, not "heavy lifting"?

In any event, I still feel that we can do better on the presentation side of things. (That's not controversial is it? The Lean folks are working on it?) I want to understand what kinds of software would help mathematicians.

> In a sense, tactics are a very weak form of this. Instead of just describing a proof as its structured in the system, they allow a proof author to also describe some of their intent or intuition. It's definitely why some people prefer tactics-based proofs.

That's pretty cool. :)

> I can't even imagine would formalizing something so subjective would even look beyond this. I'm not sure if it's even possible.

The Turing Machine is itself a formalization of a subjective process, eh?

If we get to the point where the machines can "read our minds" then it will be really easy. :) Heck, mathematicians can just watch videos of each other's mental imagery!

In the meantime, externalizing and formalizing these subjective intuitive processes with the machinery we've got seems like a fun and useful challenge, eh?
It's pretty weird actually. The news desk for the WSJ is among the best out there. Their news stories tend to be really dry in a good way - full of facts and figures, with very little in the way of click bait hyperbole. Their subscriber model is all about business people who want the details and not opinion...

Which then makes the opinion desk at the WSJ a real oddball. It's consistently right-leaning, sometimes to the point of absurdity. I would think that a more varied field of opinion would resonate better with their target reader... but what do I know.
Reducing severity is just as important as reducing transmission.

I know what you're driving at and it's all pretty interesting - but counterintuitively I think it's way more effective overall to reduce transmission than it is to reduce severity.

If you make the disease half as deadly, then pretty simply half as many people die. But if you make the disease half as transmissible, then the compound impact means that far fewer than half as many people die.
I've gone back and forth on this in respect to database tables and ultimately prefer singular. If the table is named "profile", I think it's obvious that it can store more than 1 profile, since... well it's a table and has rows.
Those peep shows where closer to strip joints/late night cable than Miley Cyrus. Full frontal nudity etc.

She’s a little past prime time TV, but hardly porn.
Not an exaggeration. I expected some technical reason why if you carefully write your code to avoid garbage collection then GraalVM can beat C++ in some cases (or something like that).

But no. Literally just "actually, C++ is better, but Java is easier so you should use that instead".
> Yes, this is what that complaint was about?...This whole subthread was about reading other people's Go code.

So the complaint, restated is "Go doesn't prevent other people from writing bad code?" Am I getting you right? If so, well, I have nothing to say about that.

edit: I do actually have something to say. I just remembered having to work with an 82,000-line long Perl module file that would defeat any IDE. Fun times. No language can save you from poorly organized projects, whether the modules are file-based or folder-based.
no, what im saying is graphql is introducing something they think is novel, when it already can be done in REST.

it's not hard.

In my specific case, using Flask-Marshmallow i can do this

```

some_resource = Resource.find_by_id(resource_id)

arg = request.args.get('type_of_resource')

if arg == 'with_commments':

return full_resource_schema.dump(some_resource), 200

if arg == 'no_comments':

return no_comments_schema.dump(some_resource), 200

```

there i just implemented graphql in 6 lines of code
So yes, you'd pay capital gains tax on the DAI that you've borrowed when you transfer it back to USD, but DAI is a stablecoin that's pegged to 1$ and the volumes are pretty high on many exchanges.

Once you include your exchanges fees in your cost basis, you actually lost like 30-40$, so it's a taxable event with capital gains loss.
And good luck making it fit in a multi-language project of any kind.
Also the Christmas special of Black Mirror. It's about a police interrogation on a brain scan where you have less ethical issues getting in the way (arguably). A few other black mirror episodes touch on the same thing, but not nearly as much as this one.

Probably near my favorite black mirror episode for the sheer amount of dread it's caused me.

https://www.imdb.com/title/tt3973198/
https://www.imdb.com/title/tt5058700/
Cassandra Table Optimization Following a Generic Schema Technique
> When they deliberately gave diseased blankets to indigenous peoples, I think that checked off both boxes

That's certainly horrific, but the diseases that the colonists brought killed 90% of the indigenous population at the time, most of whom died without ever setting eyes on a European.

As for "which people group was the most evil", that seems like an exercise in subjectivity and bias or worse, so I don't see what good could come from debating it, but I am a little surprised you don't locate it anywhere in the 20th century with its hundreds of millions of deaths between fascism and communism.
thanks, this is very helpful.

I think I can agree that special-casing functions that take no arguments is a reasonable approach (such things should be pretty rare), but I'm less sure I see the utility in not special-casing function call syntax in the first place.

Generally, I think of function calls as "special" because they redirect active execution of the program to a different context.

e.g., in:

f a b

the space between the letter "f" and the letter "a" means "transfer control flow to f, passing a", whereas the space between the letter "a" and the letter "b" means, essentially, "also". In a butchered English sentence, "transfer control flow to f, passing a also b". This seems far more explicit when looking at ALGOL (and following)-style

f(a b)

I'm curious what the argument for not special-casing general call syntax is, because I guess I've never run across a place where it was articulated!
Ah I see, so the reparation isn't avoidable for now? That doesn't seem very appropraite for compilers then.
Are there actual results of the system for evaluation, or even any system at all? All "demos" on the site seem prewritten, and done by hand for all we know, and in all probability are.

A bit premature for HN?
https://www.researchgate.net/publication/38061313_Men_and_Th...

"The present study makes several important contributions to the literature. First, it is the first comprehensive meta-analysis on sex differences in vocational interests. We synthesized evidence from interest inventories over four decades and found large sex differences in vocational interests, with men preferring working with things and women preferring working with people. These sex differences are remarkably consistent across age and over time, providing an exception to the generalization that only small sex differences exist. Second, this study provides a systematic review of the sex differences in the STEM interests that has not previously appeared in the literature. The pattern of sex differences in theSTEM interests revealed by the present study closely resembles the composition of men and women in corresponding occupations and contributes to the understanding of the gender disparity in theSTEM fields. The results suggest that the relatively low numbers of women in some fields of science and engineering may result from women’s preference for people-oriented careers over things-oriented careers"
The Black Mirror episode is actually closer to a different holodeck episode (they made a lot of them) called Hollow Pursuits, where an introverted engineer creates simulated versions of his crewmates in order to act out his fantasies.

I don't know if Star Trek invented this particular subgenre, but there are a lot of modern examples that seem directly inspired by Star Trek episodes. In addition to Black Mirror, the Rick and Morty episode M. Night Shaym-Aliens! has a lot of similarities with Future Imperfect, another simulation-within-a-simulation TNG episode.
Breakfast is just the first meal after a fast. Usually the fast is done while sleeping. You just want to prolong that fast, either more fasting before and/or after the sleeping fast.
Celebration is not anything close the utopian city dreamed of by Walt Disney. EPCOT was still in blue sky planning stages when he died.

It’s a pity we never saw what was possible. The land for Walt Disney World has its own government and possibly could have developed the concept without public interference.

Disney (the company) commandeered the idea of EPCOT concept thinking it would be a nostalgic nod to the founder and created a theme park and real estate development which barely, if at all, reflected Disney’s (the person) vision.

Meanwhile, Celebration kind of turned into a dystopian situation.[1]

[1] https://www.thedailybeast.com/celebration-florida-how-disney...
The code is immutable and open source, so you can inspect exactly what it does.
Math and physics are a tangled mess so it's not surprising that mathematicians and physicists write code which looks like a tangled mess. Mathematicians and physicists are trained to handle ambiguous concepts and they can work with weird abstractions which are far detached from reality. Unlike programming languages, the language of math is full of gaps - This requires the reader to make assumptions using past knowledge and conventions. Computers, on the other hand cannot make assumptions so the code must be extremely precise and unambiguous.

Writing good code requires a different mindset; firstly, it requires acknowledging that communication is extremely ambiguous and that it takes a great deal of effort to communicate clearly and to choose the right abstractions.

A lot of the best coders I've met struggle with math and a lot of the best mathematicians I've met struggle with writing good code.
Very interesting work, but I see 2 major weakness: (hinted at the bottom of the introduction)

> So. During hibernation we freeze userland. We then reset PCR 23 and

> extend it to a known value. We generate a key, use it and then encrypt

> it with the TPM. When we encrypt it, we define a policy which states

> that the TPM must have the same PCR 23 value as it presently does. We

> also store the current PCR 23 value in the key metadata. On resume, we

> again freeze userland, reset PCR 23 and extend it to the same value. We

> decrypt the key, and verify from the metadata that it was created when

> PCR 23 had the expected value.

First weakness: kexec. It's not clear how the extension of PCR23 will be compatible with different kernel versions. What if you want to upgrade in place and kexec your new kernel, to avoid too much time spend in the bios (as is often the case on systems with multiple disks and specific peripherals)? What if an attacker use kexec for more evil purposes?

Second weakness: kernel image attack. This work is interesting in that in provide a nice way to prevent a specific kind of evil maid attack (replacing the content of your swap by something evil), but the job of protecting the swap falls in the kernel.

If the extension of PCR23 is done with a common key (to help with the kexec - for example the UUID) or anything that can easily be guessed/recovered, it will be possible to cook an "evil" kernel that 1) extend PCR23 with it to get access 2) inject content into the swap before resume. It just moves the problems.

As most systems use a shimx64 followed by grub, it won't be detectable by the user.

The best solution I see:

1) secureboot with your own keys, using a fat EFI (kernel + initrd + cmdline in one EFI file) that you sign (cf https://wiki.archlinux.org/index.php/EFISTUB ; and to automatically deploy new kernel on apt upgrade, use a systemd monitor: https://wiki.archlinux.org/index.php/EFI_system_partition#Us... ) : the computer won't boot if this is altered

2) place what's used to extend the PCR23 in a luks partitions with 2 keys: a plain text one for recovery or transfer of the disk to another computer (or rescue operations etc), one stored in the TPM

You could also store in that protected partition the keys for other boot related task - just let the kernel key manager expire the key and have the final step of the boot unmount this partition. Even if it's 0700 and the file inside are readable only by root, you don't want a zero day to expose your keys
Variables can change type though. This is working python code:

x = 1
y = 2
print(x + y)

x = "no "
y = "types"
print(x + y)

Whereas this will not even compile in Go:

x := 1
y := 2
x = "no"
y = "types"
Fun fact: United Airlines, Pratt and Whitney, and Boeing used to all be the same company. They were forced to break up after the Air Mail Scandal:

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

United Technologies is the result of the manufacturing interests east of the Mississippi and Boeing got everything west.
obligatory link: https://www.evanjones.ca/linear-search.html
In C++ you spend time wondering "who owns this allocation?". In Java you spend time wondering "what exactly is ConfigurationGeneratorFactoryInterface?".

Clearly the solution is Rust. :-P
> .. Wisdom is cultivated by and linked to curiosity [2], but this link has not received a large amount of attention in lifespan development research. Moreover, research on aging populations has often overlooked the role of curiosity in aging [3], despite curiosity demonstrating connections to enhancements in memory, health, wellbeing, and longevity [3,4,5]. Unfortunately, curiosity is also known to decline as individuals get older [3], and many adults cease to ask big and beautiful questions as they age [6]. ...

https://www.researchgate.net/publication/323716917_Curiosity...

Curiosity in old age: A possible key to achieving adaptive aging
Texas power crisis spurs flurry of investigations
"I had to stay up another 2 or 3 hours until the entire segment repeated itself to catch who it actually was."

Ah, the days when phones were on the wall with a cord too.

At least MTV did still play music back then. And the record industry wonders why file sharing sites took off? I loved limewire because I could find songs I liked, then I would grab everything else that person had and I discovered so much new content - I bought more CDs than I ever would have otherwise simply because I discovered stuff I didn't even know existed. I still haven't found anything that could match that discovery experience; it's kind of crazy really.
I dunno. We started doing something like that at my company (we actually use the plain Accept/Content-Type headers, so "application/vnd.mycompany.service.v1+json") and it's been a giant pain. Routing based on headers sounds cool, but basically no backend OR frontend frameworks support it well. Even if they say they support, there are bugs or weird traps to fall into. Path versioning is just so much easier for everyone.