skysight-inc/HackerNews huggingface dataset:
>They appear to think that the borrow checker isn't achieved with type theory, but with some other technique ("global analysis").

No, I think they appear to think that the borrow checker is not about the programmer stuffing the program with type theory annotations for this purpose, but the borrow checker handles the analysis automatically across the program.

Of course it doesn't handle it perfectly, so there's some "fighting the borrow checker" and lifetime annotations sometimes needed - but it's not like designing the whole of your program based on type theory - the same way you're somewhat free from thinking about freeing memory in a gc language.
Conceptually your theory makes sense if the premise of "feedback loops" of situational awareness and effectively dealing with psychological & social & physical environment and conditions are in fact mapped out and conditioned by hearing and mental imagery alone.

I would challenge that premise and I'm sure someone out there has already ran the experiment to see which parts of the brain light up when listening to a story about X vs actually acting a part in a real world X scenario.
> Which you know better than a committee of politicians who have never even met you.

If you haven't met your local elected representatives, that might be on you. It's not hard to meet them, and usually IME they make an effort to know voters.

> The government giving you $100 for school is strictly worse than the government just giving you $100.

We the people might be willing to fund schooling, but not other things. Regardless, I tend to agree with giving cash for charitable purposes. But where is this coming from? Who disagreed?

> Which is why it's good, and also why it's unpopular.

How do you know that? School vouchers are popular, and people could have said the same about them.

These rants about government - that we see commonly - are somehow given a pass for establishing a factual basis and making strong arguments. But they don't really say much except express frustration.
You're being downvoted, but you're right. I used to work in defense/intel, and then spent a lot of time at a large Federal consulting firm, where I learned just how insanely wasteful these agencies are on software projects. It's not THAT infuriating that the product is so thoroughly _NOT_GREAT_, until you find out that the budget for it exceeds by orders of magnitude anything you've ever seen. The size of the teams on these projects is mind-boggling, and when you find out there's multiple managers for every developer, that's when your head will explode.

People on this site tend to think that any attack on the horrific spending efficiency of these agencies is motivated by an antipathy of the government in general, or a view that the government CAN'T do it right.

I'm not of that mind at all. My gripe is that the people who are most invested in expanding the government's role in the US for positive goals seem to have zero interest in even discussing the rot within these institutions that has crippled their ability to execute on the funding they already have. I can confidently assert that, if I'm being generous, 3/5s of the current Federal (and yes, contractors too!) work force is what my old chief called "furniture". I have no doubt that many, many private corporations have the exact same problem. (I've seen the inside of the average insurance company, and my god are those places bloated).
using chrome's manager and android 11 has native autofill for apps which works 100% so far
Do you think the good done with the 900 million is outweighed by this death?

Do you think Pakistan would overturn blasphemy law if it were threatened or the funds taken away?

Do you think a more liberal and prosperous government would form were the current regime overthrown?
Awesome quote. It incites awe.
B2B apps & services.
> But all of their "assessments" are closed-ended, which means she cannot actually demonstrate her proficiency level.

Closed-ended testing is standard for Gifted and Talented programs throughout the country. Are you saying that she did not meet the requirements using those tests?
At least with subs the performance is there for you to see (and hear), even if you sometimes miss it. With dubs, half the performance is removed completely.
But again, your entire premise is wrong. It's not 1 request per physical building. People in apartments are able to get free tests from this just fine. You've made up a totally wrong hypothetical scenario and gotten all upset about what happens to people in your imaginary world.
Can you re-state the cost in terms of F-35 fighter jets?
Google actually nailed feature this with their Tasks feature in Gmail ("Add Email to Tasks") ... but the rest of the task application is so basic and ridiculously underdeveloped that there's no point even going there.

Google, your Tasks app is cr@p ...
seems like it would be possible to allow placing the order, and have a human review before the items ship.

Yes. A human to review 500,000,000 addresses. In a timely manner. We'll just tap that massive skyscraper complex full of surplus government humans sitting at computers not doing anything at all.

and what are scalpers going to do, compete with a free service?

Yes. They already do it with the free in-person COVID testing, by setting up fake COVID testing services and charging immigrants and people with poor reading skills who don't know any better.
I'm jaded enough to imagine that if I ask someone to define it better and try to give a "senior" response that covered codepoints, an interviewer will write down "struggled with simple question".

Edit: That seems consistent with a statement made in another response.
I frequently choose not to watch films because I can't find the right subtitles for them.

They are an absolute boon for those interested in learning foreign languages.
The paid Android apps, YouTube purchases, etc which the parent commenter bought using his account. If it was just email hosting (the GSuite service itself), it wouldn't be such a big deal.
Even disregarding how much goodwill the company had burned at that point. Your solution implies that they would've set up a backup method once the employee left.

For most company the exit interview is done to tick a box. The feedback given will not be listened to at all. I can absolutely understand why he didn't feel like it was his job to setup and entire source control system on his way out the door.
> Getting any sort of advanced instruction for our daughter has been like pulling teeth.

'A' people teach 'A' people, 'B' people teach 'C' people. 'D' people teach 'F' people. Just do the math.
Etymologically[0]:

> mid-14c., enginour, "constructor of military engines," from Old French engigneor "engineer, architect, maker of war-engines; schemer" (12c.), from Late Latin ingeniare (see engine); general sense of "inventor, designer" is recorded from early 15c.; civil sense, in reference to public works, is recorded from c. 1600 but not the common meaning of the word until 19c (hence lingering distinction as civil engineer). Meaning "locomotive driver" is first attested 1832, American English. A "maker of engines" in ancient Greece was a mekhanopoios.

The original meaning seems to characterize a very specific kind of activity and not what the broad genus "engineer" that we believe today suggests. The growing inclusiveness over time actually seems to suggest that the demarcation between "engineering" and "other arts" is an open question even when posed in historical contexts predating software. The problem of determining whether "software engineering" is engineering is not a problem unique to software development, I think, even putting to one side the numerous cases of what is arguably title puffery.

The ancient Greek "mekhanopoios" is interesting because the ending, "-poios", from "poiesis", refers to making or producing. So the mekhanopoios is someone who produces machines; he does the production. The division of human activity (in relation to knowledge) into poiesis, praxis and theoria seems to give us a good starting point for understanding the myriad activities that human beings engage in because it is a principled classification. But "engineering" seems to have been appropriated for new uses over time for diverse, though not necessarily principled reasons (specialization, analogical similarity, a desire to cash in on established prestige). As a result, at least until the bad appropriations have been dispatched, maybe we cannot expect a crisp taxonomy because the evolution of the meaning of the term has not been principled in the first place.

There does indeed seem to be a connotation of sophistication, specifically scientific sophistication, which is a question of methodology. Even if we accept this definition, sophistication is, of course, a matter of degree, not kind, and what counts as sophisticated seems to be relative to the state of the art. But you could then speak of degrees of engineering. Just as science that is more rigorous and thus more perfect could be said to be more scientific, so, too, we may speak of one field as more of an engineering field than another.

So where does this leave software engineering? If engineering is understood in terms of productive aim achieved by means of scientifically-informed methods, then presumably software is the product, so it's a question of establishing the scientific basis for the field and identifying the "scientifically-informed methods".

[0] https://www.etymonline.com/word/engineer#etymonline_v_25786
Imapsync maybe? I haven't personally used it, though I did previously buy it thinking it would download to local machine -- it transfers between accounts using IMAP which wasn't my intent but sounds like it is yours.

https://imapsync.lamiral.info/
I kind of agree, but I respect the fact that the site hasn't had any major issues while (presumably) millions of orders have flooded in over the last 24 hours. I can't remember the last product I pre-ordered, for example, that was that stable.
I like how you had to word it in terms of 5 years just to make it sound substantial...

It's 3 dollars a month.

You could be conservative with tissue paper and make up the difference to your monthly budget... so how much cheaper can you get that cheaper than tissue paper and still expect the service to be around forever.
No, we have problems to solve, and we have a responsibility to solve them. Just shooting down what other people say is not acceptable in any serious situations - for example, if that's what you do at work you'll find yourself on the outside looking in. It's also a signal of an argument with no real effort behind it.
Sure in 2022...but when spreadsheet software first arose....many people lost their jobs and many many more people were hired in jobs that never existed before.
Friends Remember Michelle Go, Killed in NY Subway Attack
I just discover that https://analytics.usa.gov exists to show the number of users on the site and other participating .gov sites in real time.
and if you were pointing one way, and now you're pointing the other way, that's a shunt
Antimicrobial resistance now a leading cause of death worldwide, study finds
I implemented 1Password at my company for the enterprise features, but I use Bitwarden personally. I prefer the Bitwarden UI/UX significantly.
That's exactly what I did, because I felt that I was just too sure that typed language were just superior to non typed languages without actually having proper experience.

I learnt Clojure, to the point that it's now my favourite language and the one I use for many things. Nevertheless, I still think that typed languages have two advantages that make them a more practical option for most situations:

- It's easier to evolve your code. This includes refactor but also normal program evolution through aggregation.

- It allows to express abstractions in pure code, rather than in documents or comments.

The first advantage requires little explanation. The second I think is more difficult to appreciate without enough experience with typed systems and an interface oriented programming style.

How these two things are important for a given person is difficult to say. I have come to the conclusion that it relates a lot to how your brain works. Unfortunately, mine can only track 3 or 4 things at the same time, so I need to abstract away anything else than the little piece of code I'm working on and get the compiler to worry about how things glue together.

I need the comfort of getting the compiler to help me change my hats and be able not to think about anything else that the concrete piece of code I'm working on and the interfaces of the other parts it uses. When I don't have this possibility, I miss it even more than the comfort of programming using inmutable data structures that Clojure spoilt me with. I think need to seriously try Scala 3 at some point, since it seems to combine inmutable data structures by default with an advance type system (although the lenses libraries I've seen look like an abomination in comparison with Clojure's update-in and company, not to mention the absolute elegance and triviality of the implementation of the latter: https://github.com/clojure/clojure/blob/clojure-1.10.1/src/c...).

So I would second your recommendation and encourage people trapped in dynamic language echo chambers to try for a year something like Typescript or Kotlin to appreciate other ways of doing things in languages with practical type systems. Perhaps some of them will discover that it suits them better or help them better understand why they prefer the dynamic style.
Using md5 with no salt while providing paid services and obviously earning income, but in 15 years not even a basic security check? At this point, the web is becoming ridiculous, and stuff like this should be sanctioned.
You are correct. OW2 is going to 5v5 (removing a tank role) and yes league will be on the OW2 client but it will still be 6v6 as OW2 won't be out yet. The change to 5v5 is requiring major character reworks and don't affect that league.
I think you are missing my core point: That the web browser, as my agent, should do what I tell it. Which means any browser that refuses to load a site because of a cert issue because of HSTS, that browser has been hijacked by the server operator.

For any other certificate issue, my browser will allow me to bypass it if I know what I am doing. But because HSTS has hijacked the browser, it will no longer act in my stead unless I fork the browser and recompile it. I consider HSTS to be a malicious specification in this respect.
~12k is the federal level for eligibility, but the actual threshold depends on state definition as most states increase the baseline.
Ask HN: What do you think about David Graeber's new book?
The book is called "The Dawn of Everything: A New History of Humanity".
I was a mild advocate of static type systems. Then I spent about two years working on dynamic languages, mostly Python, on two jobs with otherwise very different code bases. I am now fully converted: after that experience, I strongly, strongly, strongly advocate static typing, so much that I will leave any job that requires me to use languages that lack them. I don't know if I was just unlucky, but I found that experience to be dreadful. Aside from the million small friction points, I remember things like needing to allocate a full week for a refactor that would have taken less than one hour (and that's a pessimistic estimate) with the standard tools of a static language's IDE.

I really don't see the advantages of dynamic languages. Supposedly you develop faster, but in my experience that's absolutely not true.
It's an interesting idea. Maybe I should try. I suspect, though, that I want control over every node, no matter how general. The thing about my notes is they contain only information I think I might need. I have, for instance, an "emotions" node. I'm sure the Wikidata node for emotions is interesting, but I want my own node too.

I tried to square this circle once by writing Hode[1], which permits encoding certain data as relevant to me, and then filter my view accordingly when I wanted. But the encoding process (i.e. the user experience when adding data to one's knowledge base) was so hard that I gave up.

[1] https://github.com/JeffreyBenjaminBrown/hode
mine does the same, but boot from USB still works fine. It's security theater for the bosses who don't know the difference. The more annoyed everyone is the more the bosses think we have 'good' security.
everything said in this article applies to non gifted learners as well!
You love to make up things, now about me. If you use hyperbolic terms like 'adulation', do you think it makes it more true or persuasive? All it means is you are ranting; it only says something about you.
It definitely looks like USWDS, which happens to have accessibility well baked in.
The only formal specification of a software is the software itself. If there would exist a way to specify exactly what a program should do formally you wouldn't need the programmer: you already have the formal specification, can't you just compile that to executable code?

A formal specification doesn't make a lot of sense, if no sense at all. It's a waste of time and you will end up doing the work two times, one to write the specification and then to translate that specification in a real programming language.

The most difficult part of the job of the programmer is not into writing the code, it's into translating the informal specification from the customer to a formal specification in the form of computer code.
Wow. Really the only excuse to restrict a mainstream browser like that would be for a complex internal webapp where you can mandate browsers through organization policy.

I remember I had to install a UA spoofer addon when I used FF to access some sites. Absolutely obnoxious.
I don’t see any reason why it couldn’t support compound keys, assuming the combined min/max definition is in index column defined order. I have no idea if the Postgres implementation does though.

You’re also correct that a compound BRIN is questionably useful. If the first column in the key isn’t already an effective filter, you’re going to have to scan the whole table anyway in most cases- and if it is, then the cost of storing the min/max of subsequent columns is going to increase the overhead of the BRIN index in a way that seems unlikely to justify the benefit. It seems to me that the indexed columns would have to be mutually correlating in sort order for that to be useful (eg: created_date, created_time)
What's curious to me is the absence of women. If it were people in penury and dire straights, you'd see more women doing it. But we don't. It's guys doing it.
Did you guys even read the bill? It's not a remote kill switch anybody can flick. It's some vaguely defined system to detect when the driver is driving unsafely. The bill is so vauge about what the thing actually is that I don't believe this is ever gonna happen. Atleast not before AIs start driving more cars than people do safer than people are.
Sorry if I'm not using the terminology correctly. What I was trying to say was that they asked almost entirely addition and subtraction questions and then decided that she was just above grade level. If they had asked questions about fractions, multiplication, division, or geometry, they would have discovered she is well above grade level.

They did the same thing with reading: don't give a student the chance to show higher proficiency, and you effectively cap the level a student can be 'assessed' at.
I always thought this was how git commits were meant to work? Isn't this just GitHub flow with sensible commit grouping?
Me too. I find subtitles are the main distraction for me to enjoy what’s going on in the screen. I understand that a lot people actually need them. That’s why I am very thankful that subtitles can be turn on/off if needed. I actually hate any videos that have subtitles embedded inside the video (part of each frame)
I have the same complaint. I agree it would be more work, but I can’t imagine why it wouldn’t be practical (unless the extra work is what you mean).
> If you are a middle manager then grow a backbone.

This applies more generally even if you’re not managing people. Particularly as most corporate cogs are programmed to avoid confrontation. You’re more likely to get someone who respects your principles or someone who just bends over than an incalcitrant “no”.
All taxation is void? And every other means of the same? What if you lose a civil suit against me?
Those who'd had Covid-19 less likely than vaxxed to be infected in Delta wave
So who in this group is arguing for an overly complicated tax system?
You can use suid programs to do what they do. You can use other mechanisms to do other things.

Suid programs on Plan9 could not possibly behave any differently. If the user rebinds `/bin` and then runs a suid program that calls other programs, that suid program cannot use the rebound `/bin`. That kind of binding simply can't be allowed to cross security contexts.
https://en.m.wikipedia.org/wiki/Pakistan_and_weapons_of_mass...

They need 0 US tax payer dollars.
Good thing I already have a kill switch in my car - but I'm guessing a bright red switch on the dash isn't what the government has in mind
So I own the domains, I can register them for 10 years at a time with ICANN, with that I can switch providers at will. Most of the reputable domain registrars have been around for the past 20 years and offer free basic DNS hosting... All I need is a MX record.

Next step is buying IP space, that's a lot more expensive with the yearly AS fees, I'm not sure I can afford that, and ARIN/RIPE seem just as bad as the [PS]aaS cartel where if you don't pay up your IP space gets re-sold.
> The biggest problem I perceive is manipulation of the public through disinformation.

I agree that this is a problem, but I suspect we disagree sharply about where the most dangerous disinformation is coming from.
A Field Guide to Roadside Wildflowers at Full Speed (2019) [pdf]
> But to argue that 'we are taxing your wealth because you have too much' obviously falls outside of that category.

Who says that?
> Given Lisp's near-mythic status of productivity

I have seen a lot of claims of this but no real evidence? And I know Lisp quite well (having implemented my own versions of Lisp for fun). If Lisp truly is way more productive than other languages, why haven’t we seen lots of Lisp software out-competing software written in other languages? Surely a few Lisp guys could outcompete everybody else if Lisp is as super productive as claimed.
> You're complaining that a service you use all the time for a decade for free now might cost the equivalent of a cup of coffee per month?

It’s easy to paint customers as frightful moaners, but that’s a surefire way to lose customers, or at least alienate them. Google’s Reader debacle comes to mind.

In particular, the short notice period (3 months + 2 months grace) for something people have been using for a decade is jarring.

And these were the earliest customers of Google Apps for your Domain, and created a lot of positive word of mouth publicity for Google.

Ultimately, it’s not about right and wrong, it’s about how you make customers feel, and Google institutionally doesn’t know how to make ordinary customers feel great when things go wrong. It’s an institutional issue. (Exception: if you’ve got enterprise support for GCP. Then you get a lot of engagement.)

By the same token, people have been using free Gmail accounts for a while now. What do you think the perception will be if Google asked them to pony up $60 a year with 5 months’ notice?
Idea: subtitles that are placed by characters' mouths like a comic book