skysight-inc/HackerNews huggingface dataset:
if the UK government had an extra £100m, rest assured they would not use it to help anyone or improve anyone's lives
I don't. but their dominant position enables an abnormal influence on modern discourse and politics.
I don't even care about their search monopoly. I've never found a search engine that works great these days because the internet is so filled with SEO blogspam, AI garbage, engagement farming, and information siloed behind specific non-searchable platforms like Discord, it doesn't matter what search engine you use.

I care much more about how they essentially own the browser space, and can just force through garbage "standards" that no one wants like Manifest V3 for no reason other than to make more people look at their own ads. That seems like an actual abuse of their monopoly status that's going to harm the internet.
We can see this right now with the Ukraine invasion. The 'peace' side is advocating giving Putin whatever he wants.
Tour of an ASML machine: https://www.youtube.com/watch?v=pfU20SAR21A
No, they are not wrappers. I know what they are though, so I won't be able to explain them to you.
"Maybe because the regulatory offices aren't built well enough to handle all monopolies at once? "

Based on what data is this asserted?

As I pointed out elsewhere, the FTC has 780 attorneys, which is about 20x the largest antitrust lawfirms you will find.

The DOJ antitrust division has 380 attorneys, which is about 10x.

Both have hundreds of support folks as well (the DOJ ATR has 900 employees total).

It's not just them either, they have states with them as well that each carry their own resourcing.

They are also happy to hire outside resources.

There seems to be a weird view here of how any of this works, which amounts to what you said in your next sentence - "These companies have a huge amount of lobbying activity and the best legal teams out there."

Even if this is true, which it's often simply not (for example, the DOJ hired Boies to deal with Microsoft, at a time when Boies was unknown, and they overall had a much better legal team than MS, at a time when antitrust regulation of companies was neither new nor surprising), it doesn't change how many resources you need to deal with multiple companies at once.

I met plenty of DOJ antitrust attorneys in my time in DC. They are the best out there. What basis do you have for asserting they are not?
I ask because I've yet to see a single person in this conversation who has a view based on things other than "gut feelings". Hopefully you do!

Because if it's just more of the same dataless trope spouted elsewhere, then it's not just a silly stereotype, it's also horribly denigrating to those folks, who really are, as i said, the best you will find.

It may change political wherewithal, but it has no bearing on the ability of regulatory offices to charge and prosecute multiple cases at once. Contrary to your claim, they are in fact, built to handle this.

Like anything else, trying a case like this has a relatively fixed, and well known cost.

The ATR and friends are well funded to be capable of trying multiple big tech cases at once, and in fact, are.

" I don't think taking down one monopoly would strengthen others, it'd set Google as an example and other monopolies that don't shrink themselves will get taken down next."

Given the exact opposite has happened in every single case historically (AT&T, MS, et al), this seems very wrong.

Overall, HN seems to focus on tropes about antitrust law, with very little data or knowledge of how any of it works for real.

People seem very happy to offer strong opinions despite that lack of data, however!
I agree with you on all of those points - but my conclusion is different: those are the reasons it's so important to me that the prompts are not abstracted away from me!

I'm working with Llama 2 a bunch at the moment and much of the challenge is learning how to prompt it differently from how I prompt GPT-4. I'm not yet convinced that an abstraction will solve that problem for me.
> jq -r \
> '.apps.http.servers.srv1.routes[0]
> | .match[0].header.[env.AUTH_USER_HEADER][0] = "$username"'

> That's an error because you can't select an env var key '[env.AUTH_USER_HEADER]' in the middle of a chain like that, only immediately following a pipe:

> | .match[0].header | .[env.AUTH_USER_HEADER][0] = "$username"'

You can use `env.AUTH_USER_HEADER` as a key the way you wanted. The issue is that you had to write `... | .match[0].header[env.AUTH_USER_HEADER] ...` -- no `.` between "header" and the index operator!

This complaint is a fairly frequent one, so in fact we did "fix" this in 1.7! You can now write `.a.[0]` and it works.
But what's the solution to this? Legally requiring communications companies not to store metadata?
That programmers don't change their opinion about types. He did.
Correction, that's a tour of the Cymer EUV light source facility, the secret sauce that makes ASML machines the hot shit. That light source gets integrated into the ASML stepper machines.
I'm working on binary support, then we can have CBOR, yeah.
I always lobby actively for golang because of this. Golang is a "batteries included" language ecosystem, where golang.org/x is the package that implements almost all RFCs you could ever think of.

In most industries that I worked in, management folks do not understand how graciously they have fucked up for politicians to care about something unmeasurable as cyber security.

A lot of developers I have spoken with think that workflow patterns like Test Driven or Domain Driven Design will make their code inherently more secure. Even when you point out absolute rookie mistakes like missing sanitization of user input they're always smart-assing you about how this will never affect anything that they built. If you then point out RCEs in libraries they keep reintroducing for whatever opinionated reasons they deflect the blame upon the random guy on the internet that built this library on the weekend.

I am glad the US made the first move after the pipeline incident, and I am glad that government projects started with SBOMs. Why? Because it showed up how little companies know about their risk management of operational dependencies.

It's easy to blame the log4j maintainer, but it isn't easy to blame the guy for a mistake that he made more than 20 years ago, and fixed it meanwhile while already documenting it. Because that is totally upon software/development managers and the total lack of quality assurances and testing in their workflows.

And that is talking only about something as easily fixable as a java dependency in your xml file.

Imagine how messed up security could be if there's a babel library affected, and joyent would not hard-fork it to force-fix it for everyone. There's no way to guarantee anything in npm, by nature of the pre/post hooks in its package manifest format.
Are you suggesting all these staff are just sitting idly and doing nothing? Or could it be they have these large staffs because there is a whole lot of lawyering to do on a day to day basis keeping these agencies running for a country with 300+ million people.
This is none sense. What about Android $40B small potatoes right ...
Because there are magic strings that work considerably better than what you might come up with. Like “think step by step.”
The Code Quality Advantage: How Data Shatters the Speed vs. Quality Myth
I don't actually want to allow dependabot. The reason is then Dependabot becomes a contributor, but it didn't sign the CLA. I think that's a problem. I don't want issues with my code ownership or my company's!

BTW - nice username, you actually work there?
A lot of bickering behind whether Google fits the definition of a monopoly or not, this legalese is make-work for lawyers. As a citizen my only concern is:

Does Google deserve its monopoly?
Obviously Yes, there’s nothing Google does to prevent you from using Bing, DuckDuckGo etc. In fact you can start using them today, but Google will remain dominant because their product is superior

Is googles monopoly harmful to society?
Their premier product is free to consumers. In fact a lot of their core products are simply free. They’ve done an incredible amount of r and d from transformers, tensorflow to deepmind which easily costs them billions a year. In fact it’s very hard to make an argument that they’re bad for consumers. The biggest complaints I see are from companies that run ads on Google, who are frustrated by the lack of other options and googles high prices. Fair enough, but I don’t see how this concern should lead to breaking up one of the largest companies in the world that is also a source of so much innovation.
I don't actually want to allow dependabot. The reason is then Dependabot becomes a contributor, but it didn't sign the CLA. I think that's a problem. I don't want issues my code's ownership or my company's!

I think I'm fine to include dependabot's contribs IF it will sign the CLA. So far it's refusing tho...hmmm, sus! haha :)
Perhaps the first thing I’d clarify is not all the ‘bad’ things described happened to me personally, and out of the ones that did, I employed artistic licence in the recollection.

We did start integrating dbt towards the end of my time in the role. Our data stack was built in 2018, so a fair bit of time before data infra-as-a-service became a thing. The idea is dbt would help our internal consumers to more easily self serve. That said I did see complaints about dbt pricing recently; as they say there’s no free lunch.

Re: ORMs, I respectfully disagree. I’ve come across many teams that treat their Python/Rust/Go codebase with ownership and craft, I have not seen the same be said about SQL queries. It’s almost like a 'tragedy of the commons’ problem - columns keep getting added, logic gets patched, more CTEs to abstract things out but in the end adds to the obfuscation.

ORMs don’t fix everything but it does help constraint the ‘degrees of freedom’ and help keeps logic repeatable and consistent, and generally better than writing your own string-manipulation functions. An idea I had I continued (I wrote the post early last year) was to use static analysis tools like Meta’s UPM to allow refactoring of tables / DAGs (keep interfaces the same but ‘flatter’ DAGs, less duplicate transforms).

Interestingly enough, I currently work on ML and impressed to see how much modeling can be done in the cloud compared to my earlier stint in the space (which had a dedicated engineering team focused on features and inference). On the flipside I similarly see an explosion of SQL strings, some parts handled with care more than others.

I’ve not looked into a data mesh but a friend did mention pushing his org to embrace it - self note to follow up to see how that's going. Looks like there are a couple of ‘dimensions’ to it; my broader take is that keeping things sensible is both a technical and organizational challenge.

I look forward to future blog posts on ‘how we refactored our SQL queries’, maybe there’s a startup idea there somewhere.
Babelinkcrypt a Python project for infinite storage system
BabelInkCrypt a python program that combines multiple methods to offer an infinite storage by storing it on YouTube and safe with an encryption method
That's definitely a sufficient understanding to make progress with. It doesn't describe every monad but it describes the ones you will commonly meet when programming, and it provides enough understanding to scaffold further understanding of the more abstract concept.

A lot of the "it's so hard" BS is from people who think you have to understand a concept in its full generality in one shot. That's definitely not how effective learning works in most cases.
See "Useless Use of Cat" for more.
Just to expand upon this, tropospheric propagation happens typically where there is a temperature inversion, meaning, air near the surface is cooler than higher up in altitude. That warmer air aloft acts as a layer that radio waves bounce off of.
https://archive.ph/u5Nf2
Show HN: Automated competitor tracking tool for startups
Almost every company that I've worked for has always used Notion or Google Docs to manually track their competitors. Once I started working on my own startup, I quickly realized that it's pretty tedious to try to keep an eye on my competitors and keep all the data updated manually.

RivalHunt is designed to empower startups in tracking their competitors effortlessly. It offers:

Real-time updates on competitors' website changes, such as pricing updates, team modifications, and feature releases.
Stay informed about competitors' latest social media posts across Twitter, Facebook, and Reddit.
Access the most recent Crunchbase data on competitors, including funding rounds, acquisitions, and team alterations.
Customizable update frequencies to suit your monitoring needs.

There is a Free plan available for anyone who wants just to try it out. Thanks!
I don’t. I think it’s counter productive. Going by that reasoning we shouldn’t be using the Internet because it was funded by DARPA.

NixOS is open source. Anduril can just use it anyway. Besides, almost every major tech company will have defense ties in one way or another.
Because, that's nowhere near general enough to describe what monads can do, that is, your explanation is wrong because of its over-specificity. That's the problem with monads. They are an extremely general mathematical object, but the specific uses of them are wildly different. It's the exact same "problem" with functor and applicative.

It's like explaining a vector space using the analogy of arrows in space and then having to explain how sets of functions are also a vector space.

In mathematics you just have to stick with the general definition and a few examples, keeping in mind that those examples are specific. Most programmers are simply not used to thinking in that way. That's why it's "some form of voodoo".

Further, much like the definition of a vector space does not make it immediately obvious that functions can be vectors, it's not obvious from looking at the definition of a monad that it allows us to do sequential IO. That's why people think it's some sort of voodoo. You have to just accept that the example obeys the definition, the example doesn't fall out of the definition.
It takes a lot more motivation to raise an offensive army than a defensive one (assuming that your populace believes that your society is worth defending, anyway).
Which do what exactly? It's surveillance equipment.

Do you know how many people die attempting to cross that border? Hundreds every year.

Maybe when the temperature is extreme, you want to have an idea of where people are.
I'm also looking forward to it. One of the big challenges is the sorting, for which I'm unaware of a good WebGPU implementation. I have some more notes on this question in a Zulip thread[1].

[1]: https://xi.zulipchat.com/#narrow/stream/197075-gpu/topic/Gau...
Thanks for the ergoemacs hint. I was looking for a linux notepad++ replacement, and kate notepadqq vscode nano all have downsides.

While I used to like xemacs back in the day, neither emacs nor vim really clicked, the basics are just to alien.

This brings emacs back to the list of usable options.
The trouble I've found is that there are no 'clean' numbers in the US, all numbers get spam calls. Pick any number and you'll get unexpected calls on it.
The Paradox of the Radioactive Boars
For what it is worth I would much rather work for parts of western defense industry than for Google.

I'd be overjoyed to help create the tools to drive the invaders out of Ukraine for example, but not so much to try to finally kill the rest of the browser market or to serve shady ads.

Yes, while I am not exaggerating I am probably a bit one sided here - I know there are parts of Google that I have nothing against like GCP - but I am serious: Much rather work for the military than Google.
Texas paid Bitcoin miner Riot $31.7M to shut down in August
Exactly. If NATO countries maintained cold war weapons and ammo stockpiles, the war would already be lost for russia. Instead we got unilateral demilitarization .
Maybe if people didn't just spam 16/F/Cali whether it was true or not lol

I remember being in Yahoo chat rooms and my 11 year old logic was "I should lie and say I'm older...13 is old enough to be 'not a kid' right?"
> Getting some goodwill of non-paying users

I think you'll find they'll loose goodwill from some other non-paying folks. There are many people who code and use this technology who are pro-military. They may not speak up in the same circles as those who are against this but they exist. I'm only pointing this out to showcase the market is more diverse than people often realize.
my favorite tool; makes writing a bash fun for me.
There are NO clear conventions about tipping in North America. It’s such a giant cultural meme because of it.

How much should I tip? Can you answer that?
I've never understood the Morse code explanation. How does QWERTY help avoid Morse code errors?
I don't think he could send building inspectors to Saudi Arabia.
I'd recommend going back to spontaneous generation first. A very respectable, old idea. Or perhaps the existence of a soul? That's even older, and is still heavily defended until this day. If lineage is so important, belief in a soul trumps pan-psychism.
Very important, I've seen first hand a CEO drive a company straight into the ground, because the owners had made the mistake of tying his bonus to quarterly profits.
Should the US have stayed involved or gotten involved with Afghanistan? Why? What good has come from it?
Not as far as I know :-/

I got the glibc errors when I moved a binary I compiled on the newest Linux Mint to my VPS running some ancient debian.
As long as most people are not aware of these problems, they will not vote against the politicians that make these laws. This is really not a question about democracy but a question about how well-informed the population is.
For people learning Haskell, one of the big challenges I see is that learning about monads is often when people need to start understanding higher kinded types. It’s not so bad as long as you focus on container-ish things like lists, Maybe, and Either, because people tend to have an easier time thinking “the m is the box and the a is the value inside it”, but it really tends to throw people off balance when they need to think about something like IO or State where the intuition is less immediately obvious.

Ultimately I don’t think learning them has to be hard, but it can be, and it does usually require a bit of patience to let the full picture sink in.
This throws me back. I spend hours on my C64 doing pretty much the same, inspired by the text scrollers of various demos. Even printed them out on this continuous paper with the holes on the sides. Getting a readable @-sign while doing a bold font was always a challenge.

It's funny how similar most of these look to those I did. Some styles were pretty much universal back then.
Absolutely. (Although I'm not convinced that exa or a fork won't still function perfectly fine in 20 years.)
I am really curious, why build another project that has similar features as another open source software pixie - https://px.dev/.
a) I feel that any comments about X (please respect how they identify themselves) have the well poisoned right now. Whether they do anything good or anything bad, it's impossible for them to get an objective opinion right now so posting this on here is just inviting really vapid criticism.

b) Should X have banned you? Probably not.

c) Was it kind of dumb of to post a random copy/paste message to multiple people with a link on X knowing how algorithms are dumb? Probably.

d) A suggestion for Elon. Zig where others zag. Most SV giants provide no human customer service to fix issues like this. Can you figure out a way to provide good customer service in some form to resolve the issues these customers face? If you want X to be the method to handle online payments and anything else you envision in the future, you have to be trustworthy to people and be able to handle problems with intelligent humans.
Microsoft does let you use other authenticators. My non-MS authenticator app has 3 MS accounts on it.
Honda is the latest automaker to adopt Tesla’s charging port for its future EVs
Generating Golang API Doc with Swagger
It's like the google 2FA where you can accept the login on ANY android device where you are logged in.
and you can't disable the feature and the only way to remove the option from a device is to logout your account on the device...
I have an tabled and an phone which is used by other people in my family and I definitely don't want the 2FA requests on these devices...
I don't believe it's rejecting the monopoly concept, but rather pointing out that monopolies are but one (economic) instance of a broader pattern, monocultures. Monocultures are hyper-enriched in some aspects but depleted in many others and most importantly depleted in diversity. From game theory we can understand monocultures as an extrema on the exploration-exploitation tradeoff (trading off all exploration for exploitation). From evolution we know how this ends (poorly).
To a large degree we have all of those, I'm not sure which countries rank better on those parameters but there can't be all that many of them.

- #6 press freedom ranking https://en.wikipedia.org/wiki/World_Press_Freedom_Index

- #9 freedom house https://freedomhouse.org/countries/freedom-world/scores

- #11 freedom of speech https://worldpopulationreview.com/country-rankings/countries...

And so on. Now: this isn't saying that NL is perfect, not by a long shot. We have seen some absolutely terrible behavior by politicians, most notably on the right extreme part of the spectrum. Emboldened by Trump's election populism is on the rise here as well and we see just the same idiotic behavior as in the USA. Including word-for-word translations of talking points (which are utterly ridiculous in a Dutch context, but never mind that sort of detail), attempts (and some success) at polarization and so on. For that reasons alone the next elections are pretty exciting in that we can either further derail or - hopefully - that there will be some pushback against this.

But it is usually the people arguing the loudest that there is no democracy, freedom of press and separation of powers here that are the ones that are trying to destabilize things further.
See Sitecore fully embracing NextJS, moving away from .NET, with Vercel sponsored keynotes.
@simonw it sounds like we'd agree that:

1] when prototyping, it's useful to not have to tweak each prompt by hand as long as you can inspect them easily

2] when the system design is "final", it's important to be able to tweak any prompts or finetunes with full flexibility

But we may or may not agree on:

3] automatic optimization can basically make #2 above only very rarely needed

---

Anyway, the entire DSPy project has zero hard-coded prompts for tasks. It's all bootstrapped and validated for your logic. In case you're worried that we're doing some opinionated prompting on your behalf.
Mastering Computation in 1 Week: Deep Dive into SICP with David Beazley
Is green growth happening? An empirical analysis
Facebook is almost un-usable for me.

Every week or so they lock my account due to "suspicious activity" even though I haven't used my account.

I have all the security features and such turned on like MFA and a strong password (that I have to change like every week after every time my account gets locked).

There is no useful info in the security logs. I have no idea what to do to stop this from happening.
The comment you're replying to is technically correct, but completely misses the point.