skysight-inc/HackerNews huggingface dataset:
> Most companies have cleared out the lowest hanging fruit by now

This seems unlikely. There are lots of companies with 50 employees with no programmers, hobbyist or pro, on staff. That's why taking a business' excel spreadsheet nightmare and turning it into a program is a viable consultancy.
Not an exoert on the space or substance if the article, but I can see the difference here is intent/motive. A player killing a character (m/f/it) for in-game benefits is something else than doing so for the pleasure of abusing someone. The real question would be: do these same men also abuse male chatbots (and if not, why not)?
Bayesian datacrime: defining vaccine efficacy into existence
> I strongly recommend this. Put all the CICD machinery inside the dev repos, letting all the devs see, understand, and modify the pipeline.

I disagree with this 1,000%. This is a massive security risk.

From an InfoSec perspective it's a massive security risk because it implies the developers have access to AWS API's directly, otherwise how could they modify the pipeline or even engage it, when it manipulates infrastructure?

And that's not even to mention all the other security implications that come with allowing developers to edit a pipeline... holy s-... I don't even want to imagine the chaos brought about by a quick edit to the `.gitlab-ci.yml` file that runs `terraform destroy -auto-approve` an hour before handing in one's notice.

And no, code reviews aren't a sufficient barrier on their own.

This is just such a bad idea on so many levels.

> In my experience if the pipeline is even slightly different Devs will treat it as a foreign object and will whine about it not working the way they want...

Who cares? That's not how DevOps works. It's not how a business works. Everyone has a part to play and it's not always going to be comfortable. Operations specialists are just that: specialists at handling the operations. Let them do it, just as they let developers use the tools they want or handle things the way they see best.

Comfort doesn't apply.
It’s all about making this empowerment as frictionless as possible, preferably with a press of a button, no need to hot pursuit and then filing reports. Which to me is troubling.
“In case” or “for when?”
> The more rich the type system the more you can express

Why is this interesting? You pay an extremely heavy price in terms of language complexity. In practise, you almost never have the invarants at all or correct when you begin programming, and your programs evolve very rapidly. Since with dependent types you loose type-inference, you now what to evolve two programs rather than one. Moreover proofs are non-compositional: you make a tiny change somewhere and you might have to change all proofs. In addition we don't have full dependent types for any advanced programming language features, we have them only for pure functions that terminate.

> the same language to prove theorems about them

That sounds like a disadvantage. Ultimately verification is about comparing two 'implementations' against each other (in a very general sense of implementations where logical specs and tests also count as implementations). And the more similar the two implementations, the more likely you are to make the same mistake in both. After all, your specification is just as likely to be buggy as your implementation code.

> type systems suffer from complexity.

This is clearly false for just about any reasonable notion of complexity. For a start pretty much as soon as you go beyond let-polymorphism in terms of typing system expressivity, you looks type-inference. Even type-checking can easily become undecidable when the ambient typing system is too expressive.

There is no free lunch.
I've configured VSCode for this purpose. You can set a proportional font, at which point you are already halfway there. The default syntax highlighting already assigns scopes for headlines, bold/underline/italics, lists, code blocks and links, and it is either easy or default to style the text accordingly.
I don’t want anybody to be able to see my WIP commits, even if it’s easy for them not to see them.

Yes, that probably is a “me” problem, and I’m too anxious about it for no reason, but that’s me. But if you saw my local scratch branches you’d probably understand.

(My wip commits occasionally bitch about coworkers, for example. Or they just contain a bit too much profanity for a professional environment. Or there’s just 50 worthless “WIP” commits with no other description. You’d never know any of this from my PRs.)
There was another article about building this structure into a single, self-contained executable and decide via command line arguments which piece(s) to use at startup. For some reason I remember "microlith", but it must be another clever word combination because I can not find any relevant HN posts, just one about archaeology...

You can run a single copy of the resulting binary (eg. for testing) that spins up all sub-components, or copy it to multiple machines and start individual parts. The ones which happen to run together can use in-process communication as well, others will have to dial in via remoting.
> It will inevitably be abused, loopholed, and twisted

The unwillingness to do the right things, to head the right direction, for fear that the things is not perfectly done is a paralysis to be avoided.

There's two issues you raise that get conflated: 1. The above, that it will be loopholed, and dodged. Yet for many of the very rich it will have a meaningful impact. I'd rather start, than worry. 2. The fear that this gets used to extract wealth from the middle class. This is where the bulk of your words reside. Yet, even far-left democratic-socialist US politicians like Bernie Sanders only proposes taxing the top 0.1%[1], those presently making over 32m$.

To be so bound up in fear & uncertainty, to make oneself unwilling to act or try, to hold the belief of doom & misery as the only outcome of trying: it's far short of what a peoples should permit themselves.

[1] https://berniesanders.com/issues/tax-extreme-wealth/
I mean, how many people _really_ are using this feature? And what added benefit do they provide to Google for being "early evangelists". Not defending Google, just a little surprised people think that being an early adopter would matter to a company as large as _Google_.
Standing up sites that are HTTPS only are a matter of not opening port 80 on your server. HSTS is an action to force access to fail even when you know the content being served, know the server is correct, and understand the issues with certificates.

HSTS would be an annoyance, but still manageable if not for the complete removal of our user agency. I think that's really where HSTS moves from a security specification to an abhorrent abuse of monopoly control of web standards. It's less about protecting the user and more about giving Google and such power over what you can and can't view with your browser.
thanks I didn't know about that

maybe, but it's probably much simpler. It's just a small bash script that runs git blame twice for each line in the index and creates a fixup per commit found
I think we just didn't pull our punches, even if the story was for children, and sometimes that's a great disservice. Take the end of Little Red Riding Hood as recorded by Perrault (SPOILERS):

> "Grand-mamma, what great teeth you have got!"

> "That is to eat thee up."

> And, saying these words, this wicked Wolf fell upon poor Little Red Riding-Hood, and ate her all up.

THE END

The tension builds and then the bottom drops out because the protagonist is dead. The ending is jarring. The wolf is so dangerous that he doesn't just kill Red, he kills the whole story.
> Meta is planning to encrypt users’ messages on Facebook and Instagram, but has delayed the plan until 2023.

> The Home Affairs submission claimed that this move will “provide predators with the ability to evade detection as they connect with multiple vulnerable children anywhere in the world and develop exploitative grooming relationships”

Wow, the Australian government sucks big time.

All they have to do is say "child molesters" and the Australian public gives up their right to private communication online?
But without IP you can’t get capital behind ideas and then everything grinds to a halt. In reality, the consumer is to blame completely. If there was an appetite for engineering teardowns of products (AvE style) or in other words if the consumer were actually discerning then the market would reflect that.
Can you please tell the supposedly low tax state of Texas that these wealth taxes are a bad idea? I've got to pay mine to them in a few days.
Ask HN: Open-source Embeddable node based scripting
I know there is Unity Bolt and Unreal Blueprints for generating node-based interactions within their given platforms. I know there are things like Twine [1] for helping tell interactive/non-linear stories. Twine is actually close to what I am looking for, but I am wanting something that can be embedded rather than generating hypertext stories.

My phrasing could be off, but I hope that conveys what I am looking for. Also, would prefer opensource.

[1] https://twinery.org
Also curious about this.

I’ve done a lot of research on CE/FCC and while it seems possible to do CE yourself (since you can self-certify) you are on the hook if you miss something, like certain required tests (and doing some tests can be very expensive).
curious: would mind describing exactly what kind of manual labor in a creative field?
AWS is 0.01 or 0.02 between regions.
Azure can be 0.16 between regions!

AWS egress is 0.05 at scale. That is competitive with Azure egress.

We keep on hearing things like AWS is 80x price, but no one will actually show the math where I can actually get 0.01 range egress.

So, yes, there is a discount to be had, but there are discounts with AWS as well.
> Not really, because you can usually shake or tilt the pinball machine to set the ball free

> Software bugs happen (literally) billions of times per hour

Physical bugs occur very frequently as well, we just correct them ourselves like in your pinball example.
I bet you could automate the version bumping with some introspection; perhaps with a prepublish script that inserts a timestamp or a hash.
The title is kind of misleading. I thought it was something specific to GitHub, when in fact it's a generic guide for any static site, no matter where it's hosted.
Very cool. Looks very professional like there is a large team behind it.

How do you market it?
> The pre-trained models took an immense amounts of compute resources to build.

Oh definitely, but nobody is serving models from the same machine + process that they used to train them right? And solutions like ONNX exist (although TF and PyTorch’s support is inconsistent at best)

Additionally, those who built the models weren't necessarily developers and Python is an low-barrier to entry language.

It just feels like an engineering anti-pattern to build “down” to this level, instead of skilling people up, or standardising on some standard model serialisation and serving format, model serving tools exist, and they’re often written in faster/more optimised languages, so at that point, why bother with Python after actual model training at all.
Indeed, IMSLP is such a phenomenal resource. Both of my kids are classical musicians, and they enjoy getting together with friends to play chamber music. Besides being able to get so much material, they both have Apple tablets and page turning pedals, so they're largely paperless.
Until recently though the only fealty was a deceased former leader of the party (Reagan). The living fealty thing is new and disturbing.

But let's not pretend it's a US trait. I hear more criticism about democratic leaders from democrats than republicans. Less vitriol, but more criticism.
> The billions came from appreciation on his part. It's independent of his position as CEO.

You don't think his work as CEO might have had something to do with it? Was he doing the job for $1 out of pure altruism?

And displacing a salary isn't really the point. Jeff Bezos could retire from working whatsoever and still be making more money than you (entirely in stock price appreciation) while not paying any taxes at all.

This isn't necessarily wrong -- they have to pay the tax if they want to spend the money -- but that's kind of the point. It's not really a loophole, and there are actually good reasons why it works that way, but it's also in practice a thing that enables very rich people to pay lower effective tax rates than random doctors and engineers.
No, you are entitled to request to "have your data deleted" but the interpretation is basically left to the data controller. In practice this means that the controller as many options to make your life as miserable as it can/wants when you try removing your data from its systems, and more particularly when you want to remove specific portions of your data.

Twitter is a perfect example: removing "some" of your tweets is purposefully made cumbersome for users so that they get discouraged to manage their tweets. Searching through your tweets by date range or by keyword, and a button to delete all results? "Nah, too complicated for us silicon valleyers" :)

One thing to remember with GDPR is that it is not a law that protects customers. It is a legal framework that specifies a set of requirements, which companies must abide to in order to do whatever they need/want with your data. Once you understand this, GDPR becomes much clearer :)
That's info related to cancelling from "Google Workspace". I'm on "G Suite legacy" so i'm not sure that applies to me. Maybe I have to upgrade, but not pay, then cancel. It's a bit of a gamble. What if I do that - or do nothing except wait - and find my account is eventually suspended? I have a bunch of accounts I use for photo backups, plus maybe 5 humans using accounts for Android login, and email. Suppose I own mydomain.com. Can everyone continue to log into android using user1@mydomain.com, user2@mydomain.com? Gmail stops working - what does that mean? Assuming the users can continue to use their accounts for Android (youtube, photos, apps etc) can't they configure gmail to send/receive email via some other service?
Whenever I see a link to an interesting and historical document like this, I look up the authors to see what the ended up doing after. I didn't recognize any of the authors, but did some searching.

James Mitchell [1] is still with us and developed the first ARM instruction set, and went on to work at Acorn, Sun and Oracle doing interesting work.

Richard (Dick) Sweet was most recently at Adobe and just completed a 4000 mile Tesla trip around the America West.

I couldn't find any other info about William Maybury outside of his work at PARC. William (Bill?) are you out there in HN land?

Here is some additional info on Mesa. [2]

[1] https://en.wikipedia.org/wiki/James_G._Mitchell

[2] https://en.wikipedia.org/wiki/Mesa_(programming_language)
Well, we're using it for business automation. We have automated agents that are selectively override-able by humans on an as-needed basis (e.g. a case we don't currently handle, or because of a runtime error).

Also, most of our code needs to support suspend/resume on another machine, either in the middle of an action or more often between actions. So, a "behavior" might begin on machine A and then migrate to machine B to do more work, then on to machine C. While doing work, its execution state might be serialized to Postgres while some dependency is waited on—say, a human task that doesn't get done until the following Monday. It's then resumed in the same execution state, potentially on an entirely different worker/machine, and continues executing.

The suspend/resume stuff completely destroys the code if you're writing it by hand, as does moving from machine to machine.

So we write the core logic in our own internal MLIR dialect and then output code that has the suspend/resume semantics automatically (i.e. literal compiler transformations, plus our own "interpreter" (which is just JavaScript/v8 with all of the extra suspend/resume cruft added in).

We don't translate out of SSA form at all, our codegen can execute it directly. We also insert debug hooks so when there's an error, you can map the execution state to the original code.

Most of the cool machine learning stuff MLIR can do, we're not even doing yet outside of some internal prototypes. So far, just the methodology of MLIR has made a huge impact—it gives really nice structure (read: tooling) for the kinds of code transforms we've needed to do.

HTH
I need to migrate away now, what a total pain.
Maybe pitch less work for your team? Set more realistic goals ? Fight for them?

Not every business is a startup fighting to survive or grow like hell within a year. Some businesses have been around for decades and are in a comfortable place, they can very easily ramp up or down the amount of work they have to accomplish to keep talent happy.

And how can you manage hundreds of engineer?
The GP's blog (the "data controller" in GDPR parlance) isn't an EU entity and it's not clearly intending to offer goods or services to EU data subjects. The blog therefore isn't subject to the GDPR.
I guess, like with everything, the best way to learn is with practice, so as soon as you can start getting screen time on the markets.

Use whatever books to understand concepts, not strategies. For example, work to understand the why of the Bollinger bands or why hammer patter and how is can be related to volume... don't try to learn strategies like "buy the dip" because nobody really know what's the "dip".

It's very easy to see patterns on a graph but it's completely different to see them as they are forming and being able to predict what is going to form.

It is all random but it's based on human behavior, so a "breakout" is not just something that happens on a graph, is a bunch of people (or machines programmed by people) looking at a specific price and when that price is reached a bunch of trading happens moving the price because an expectation was there... "if $AMZ reaches $XYZ I'll buy"

Also, people have memory, and tons of greed, so if they made/lost $$ at some price point it's possible that they are now fixed around that price to make an action... i.e. I buy $AAPL at $500 but it went down to $480... well, I'm greedy enough to try to save face and try to wait for AAPL to go back to $500... even if it keeps dropping...

All that is to say, look for books that give you insight into why people behave the way they behave on the market and then try your hardest to behave in a way that is of your choosing and to your benefit instead of just letting emotions take over.

Also, about getting screen time, it's completely different to get screen time on a paper account vs with your own money, so as soon as you are able put some money in (something that you are ok loosing), you'll very quickly realize some strong emotions creeping in, and handling those emotions is what a few traders say separates the ones that are profitable vs the ones that get wiped out.
'DeepStack' is already the name of an important major DL poker playing algorithm.
Using hidutil to map macOS keyboard keys
Maybe. I still think just heading and subheading would suffice. However, if pull quotes are used, they should function as links to bring you to the part that caught your interest and to give context for the quote. Or, alternatively, provide that context in a pop-up on hover, with the quote itself bolded.
Presumably just leaving users with 10 accounts not attached to a company would cost zero dollars.
To even do a "test" you are assuming the truth of the axioms already. There is really no escape from epistemology. Axioms are simply accepted on faith, and everything is built on top of them.
Situations like this are why I'm afraid to get married. Maybe I'm a coward but I'd like to avoid strife like this if possible.
Regarding Google voice, voip.ms is lining up the features to replace that (sms/mms/voice transcription/forwarding/etc.). For $20 (paid to google) they will release your GV number so you can port it to voip.ms, and then you pay as you go there.
Silicon-based qubits take a big leap forward
> The unwillingness to do the right things

Taxing people so the government can waste more money is not "the right thing".

> even far-left democratic-socialist US politicians like Bernie Sanders only proposes taxing the top 0.1%

As the GP pointed out, this is exactly how income tax was originally pushed through: by saying, oh, don't worry, it will only apply to the very top earners. Now look at it.

The fundamental problem with taxation of any sort is that, most of the time, the government is worse at spending the money than the people that it gets taxed away from. I don't see why a wealth tax would be any different.
Poll: Do you think cannabis should be legalized?
Feels like view on cannabis and even psychedelics like mushrooms are changing. But maybe I live in a bubble.
Should be decriminalized.
My email didn't say "You may". May's a stupid word. Do they mean "You are permitted" or "hey, you may have access, you may not - depends how we feel".
The DOJ under Obama and earlier used to regularly sue in cases like this. Probably not as often as they needed to, but they did.
I wish it worked for me. My home has three separate addresses (it's a corner property), but USPS won't accept any of them. One it says is a commercial property and they won't deliver the COVID tests to there, and the other two it says don't exist. Despite the fact I get mail at all three addresses every day.

I can't leave my home to get a COVID test because I am on house arrest, so I guess I am just out of luck.
That's exactly what i'm doing for my ( almost fulltime) side-project.

While we do Microservices at work ( distrubited team and Conway's law does make sense: https://ardalis.com/conways-law-ddd-and-microservices/ )

It doesn't make sense for me personally. So I applied all DDD logic and implemented it in my app.

In dotnet there is a useful feature where functionality from referenced projects is included in your main WebApp. Which makes everything pretty clean.

I use application logic over 2 "gateways". Where a gateway is a dummy solution that contains Swagger, global things for that project ( eg. auth verification) and uses the controllers/logic from the referenced projects.

- SPA - Angular that contains a Ocelot gateway on the same domain ( = no cors issues)

- ApiGateway - Contains all the backend api logic and custom integrations with partners.

- ShopGateway - Is included in the Frontend.

- Frontend - the shop itselve. Currently in the process of making this db-less ( everything over API / messages or using the gateway. The gateway is currently a referenced project ( see up), so everything is pretty fast)

In the meantime, i can make "reasonable" quick adjustments and the logic is really flexible.

Overview of the solution: https://ibb.co/k5wn07x

Note: Db migration from "1 project" to this is not complete yet :( . But it's one of the bigger shifts and i'm already 90% finished before i can start the actual shift to MartenDb from EF / Dapper )

If you want a quick summary on the logic behind, DDD would be the answer.
It doesn't need to.

"Large PHP application" just means "at scale", in terms of LoC, and - most likely - contributors. Which means (a) potentially anything may be combined in templates by somebody at some point without careful manual code-review, which is difficult to audit at scale, and (b) there are a larger number of files to audit, likely with a degree of complexity to their overall structure, which further adds to that difficulty.
This is basically why I read comments more than articles: to learn more about these kinds of tools :)
How about "we are taxing your wealth because the money has to come from somewhere, and we can't take it from people who don't have any"? Given the diminishing marginal utility of income and wealth[0] it makes economic sense to tax the people who have a lot of wealth at a greater rate than those who have a little.

[0] https://www.economicshelp.org/blog/12309/concepts/diminishin...
Political Compass Fetishes