skysight-inc/HackerNews huggingface dataset:
I have not had a chance to read up on this yet but does zoom not have a paid version or corporate version that would not follow under these same TOS? If not it seems crazy like a shot in the foot because lots of businesses use zoom and I know most want or are required to use privacy preserving programs.
> Wouldn't it be more straightforward to make those sites that display personal information illegal themselves, rather than make it illegal for Google to index them?

Exactly! Same principle as why we should mandate burqas.

Just make it illegal to be identifiable in public, instead of illegal for surveillance industry to collect and track identities.
It's also fun to note that the IO monad in some perspectives is an abstraction for "functional core, imperative shell" moving as much of the imperative "order matters" computations to an outer "shell". The IO monad in some ways is the way of mathematically representing the "shell" of an application.
Ask HN: What are these refunded charges from Heroku?
Have just seen a charge from Heroku to my credit card for $26, followed immediately by a refund for the same amount. This is for my personal account.

I’ve also seen the same on our corporate Heroku account for a larger amount of money. What’s going on? Has anyone else seen these charges?
People blog about things they learn about. Lots of people use git so they blog about it.

Nobody is pretending it is simple. It is simple.
Found where you're using those: https://github.com/thenorthbay/doculite/blob/c05d98c209d0031...

It looks like your tables have a single value column and a id generated column that extracts $.id from that value:

CREATE TABLE IF NOT EXISTS ${collection} (
value TEXT,
id TEXT GENERATED ALWAYS AS (json_extract(value, "$.id")) VIRTUAL NOT NULL
)

GENERATED ALWAYS AS was added in a relatively recent SQLite version - 2020-01-22 (3.31.0) - do you have a feel for how likely it is for Node.js users to be stuck on an older version? I've had a lot of concern about Python users who are on a stale SQLite for my own projects.
Is your project public? I'm curious to see how you would go about writing a transpiler in luajit.
For your basic needs you'd need:

1. a DNS monitoring with failover (DNSMadeeasy has a decent solution)

2. a Haproxy setup with health checks for switching to a working upstream service

3. a distributed filesystem

4. a master-slave replication with monitoring (something like Mariadb + orchestrator service)

and nightly backups for all this.
Database and FS are latency sensitive so they shouldn't be too far apart.
Microsoft's AI Red Team Has Already Made the Case for Itself
Yes I am quite hard on C# language and .NET framework distinction.

I feel for you it’s more like one package.

I don’t write you off one way or the other.

My main point is that writing off C# as really bad language based on your arguments is at lest uncharitable.
I stand corrected. I suppose reading the contract instead of snarking might have allowed me to avoid the embarrassment. Thank you.
James => Jerome.
Definitely mention "directed acyclic graph"
Quite a few are due to priority changes over time. We are thinking to automatically close PRs when there is no activity for > 14 days.
So what happens if you accidentally delete the comment in the text config? There's a parser that generates an error and recovers from there? Or it's just gone? LOL.

Do you know how annoying it is to have to go into etc/netbeans.conf, scroll all the way down, then find the JDK path from somewhere else and paste it in the quotes after netbeans_jdkhome= just to get Netbeans to run? That's not computing zen! It's the reason nobody uses Netbeans -- old, bad design.

The more people use your help files, the more you know your program sucks. This is not disputable. This is why Linux requires a literal support group called LUG.
Turn-On Found
Show HN: Depo – Always get your apartment rental deposit in full
To echo the op's call to action:

If vim has ever played a role in your computing life, please make a donation in Bram's honor over at https://iccf-holland.org/
For Red Hat, there are bugs and there are customer cases. The two are not the same, but they are linked internally. Customer cases don't deal with "X functionality doesn't work in libvirt", but rather a higher level issue that the customer can't resolve due to the underlying bug. Here a workaround the customer can live with is a perfectly acceptable solution.

In my time I was there I never saw a bug closed as WONTFIX unless the customer case was resolved in a satisfactory manner. Red Hat people are very aware who's paying the bills. I have seen badly managed escalations, but I've never seen anyone taking customer problems lightly. However, bugs that have no customer case attached to them carry very little weight unless an engineer, a PM, etc says that this is really bad and will cause problems in the future.

This is part of where the disconnect comes from. Red Hat prides itself in being an open source company, but it is first and foremost a customer-oriented company. Sure, often individual people will take time they have left and go fix something for the community, but if it's something more involved, it will need PM and management support. Benefiting from and also providing their customers with open source is simply part of the model that has worked for Red Hat, but nobody should be under the illusion that this is done for the greater good. Red Hat is a company and companies serve the purpose of making money for their shareholders. If this happens to align with the interests of the open source community, that's awesome, but will not always be the case. Over the past few years there have been numerous instances of that unfortunate reality.

Without knowing the specifics about libvirt's funding, if a project needs to be truly community-driven, the community must come up with a model that doesn't involve Red Hat paying a large portion of the salaries of the people involved, or it will be subject to Red Hat's business interests.
https://archive.ph/t8UqY
I imagine that making a profitable dating app is difficult. Your most successful customer is one that no longer needs your product. If you make it a subscription service, there's a perverse incentive to make sure you never find a good match. But if you make it a one-time fee, the fee has to be high enough to make a profit, but not so high that people don't want to gamble the money.

Tinder's biggest problem, IMO, has always been whether it's a dating app or a hook-up app. I've found that generally, men consider it a hook-up app, while women think it's a dating app. Granted, there's been absolutely zero rigorous study on my part, so my conclusion is easily 100% confirmation bias. However, I think it's worth noting that generally, women are already less likely to use a dating app than men, and would be even LESS likely to use a hook-up app than men.

I would bet money that if the $500/month sub added some fancy symbol to your profile so everyone knew you were paying $500/month, you would easily get more matches simply because it shows that you have money.
I'm happy for a few (and I'm sure it's a few) of my tax dollars to be spent this way. Actually, I'd like to see more of my tax dollars spent on educational efforts, at least ones that have the potential to be effective.
No, it's not. Engineers figure out what to use based on availability, target Bill of Materials cost, schedule and performance needed. If the Pi hits those perfectly, then you use the pi. If not, use something else.

In many cases, meeting a development schedule is far, far more important than cost or other constraints. I will happily throw a $25 ESP32 module at something that a $0.50 Atmel chip could handle, if I only need to build one unit. The $25 is a bargain compared to the amount of work I'd have to do to get the Atmel chip up and running.
Can you share why they can’t get a bank account?
False. The API has a free tier, followed by 200$ monthly credit, followed by outrageous prices.
Same, just use this as an US layout + umlauts. Because sometimes you need them, but otherwise the US layout is just way better than QWERTZ (IMO, i'm programming 90% of the time and life in zsh and sway).
Glad it works nicely, thanks! :D
The problem is without a formal definition of the program semantics, you run the risk of overfitting or uncovered behaviors that, for a human developer who understands the intent of the program, would be implicit.

And given how hard formal verification is, I don't know that you'll ever get away with not having to manually check these programs, at which point I question just how much productivity you've gained.

It's kinda like self-driving cars: when they work, they work great. But when they fail, they fail in ways a human never would, and therefore a human struggles to anticipate or trust their behaviour.

That said, I'm waiting to see the rise of programming languages designed with LLMs in mind, where a human could use contract oriented programming or similar (think: Ada) combined with TDD methods to more formally specify the problem that an LLM is being asked to solve.
> what _can't_ you run on that? It's ridiculous value.

Yeah - I remember a StackOverflow talk[1] where they basically said that they just vertically scale their database.

The fact that they were able to make it work tells me that most businesses should probably just go that route and avoid the headache of distributed systems[2].

---

1. https://www.infoq.com/presentations/stack-exchange/

2. Obviously a business should probably invest in redundancy when it comes to data (as did StackOverflow), but a pure "Raid 1" setup is the easiest of distributed systems to understand.
I made an outbuilding and an artistic deck out of ipe hardwood:
https://photos.google.com/share/AF1QipNQhDP-uAqRITl2aA6SqUjD...
And with all these words you were not able to confirm or refute the hypothesis that you are still early in your career and still have a lot to learn. Or maybe you have confirmed it after all.
I am. It’s worse than Chrome in a way frankly in that JPEGXL is only supported in the Nightlies behind a flag.

However Mozilla has not completely dropped the feature like Google.
Glad you're not in the government. Some people know how to wield power without hurting people.
Honestly the picture shown in that thread are fine and most people I have met grok those commands really quick.

The issue is git's interface is terrible and very powerful. Which means when something goes awry and they land outside those 5 or 6 commands they often have no idea how to fix it. Which invariably leads to a copy paste of their changes and a delete and re-clone.

Honestly I really like mercurial. I found its interface better but in this day and age all the tooling is built around git so ...
I made a cyclekart, this one: https://www.cyclekartclub.com/registry/2012-CycleKart-Custom...

It's got a 6.5 HP Honda GX200 engine, a Comet torque converter and top speed of around 35-40 mph. More about cyclekarts: https://www.cyclekarts.com/
> Imagine checking the news and hearing that through AI and automation, we'd eliminated another 3% of unwanted jobs and those people were free to enjoy other pursuits.

We don't have any social safety net, so today those 3% can't enjoy other pursuits - they have to scrounge around for a new job. Even if we did, The primary path to security, freedom, and prestige in our society is through industry. We have to change this before automation can stop being a dirty word.
zoom lied about end to end encryption for years and years. I wouldn't trust them no matter what response they give.
Meta disbands protein-folding team in shift towards commercial AI
Excerpt:

>"Meta has axed a team that used artificial intelligence to create the first database of more than 600mn protein structures, in a signal the company is abandoning purely scientific projects in favour of building moneymaking AI products.
The social media giant had employed a group of about a dozen scientists on a project called ESMFold, which trained a large language model capable of processing vast amounts of biological data to predict protein structures. The effort has been lauded by those involved in the development of new drugs and treatments."

That's really unfortunate- this might have been useful research for humanity, but not apparently a priority anymore. I hope they at least open source whatever they did. Here is the Github page for ESMFold:

https://github.com/facebookresearch/esm
I would add pattern matching. I've found this really helpful for manipulating ASTs by matching multiple levels of the tree and pulling out values simultaneously.
It is easy to replace a "bad API". There are a million alternative CLIs and GUIs for git.

They haven't caught on because it turns out git's CLI isnt actually bad. It feels complex because it feels like what it is doing is simpler than is presented. But in fact it is solving quite a complicated distributed database program, transactionally, with editable history. The CLI hides a lot of that but cant hide it all. But you do need the flexibility.
that particular problem doesn't seem very hard to me. how do you put electricity in any house? you lay a cable and attach an outlet to it. what does the wall have to do with it? i'd need to read up and learn more details to understand how this is really a serious problem that can't be worked around.

seems to me the major problem is scale and distribution and cost, getting electricity to remote areas. and sure, maybe there are some technical solutions that can help make things easier and cheaper, but i don't see any problems that could not be overcome.

but i have only spent a short time in africa so my understanding of the reality there is quite limited. i'd really like to know more about what the actual roadblocks are and where technological innovations are required to move forward.
Top priority: ensure our continued existence as a species/planet against all existential threats.

Next most important: human aging and longevity.

Next most important: AI, energy

After that: we're into sci-fi very, very quickly. It's hard to imagine what will be important, we're going to be sprinting in every direction. A million things are incredibly important to support what we're already doing, too. These are just the most important frontiers. There's some other incredible problems falling by the wayside, like loss of biodiversity that is billions of years of code written by nature.

For most of us as individuals, I think the most ambitious work is to help solve human aging and death in our own lifetimes. We're probably the first generations who can call that possible, if it is possible.

https://www.youtube.com/watch?v=RwEKg5cjkKQ
Interesting, I hadn't followed this in a while, and it does sound like this is getting closer to an open standard...

But it sounds like the discussion of it gets mixed up with other muck including biometric, 2-factor, proprietary tools, TOTP auth etc.

Seems we need a first step that ONLY focuses on abstracting the password away and still letting email be a natural reset.

Seems to me that the standard should simply allow someone to delegate their "passkey keeper" of choice to be the authentication engine that tracks tokens. It can be up to the user (up to their passkey tool) to decide everything else. But set up a system that let's us log in without a password, and without a proprietary auth system like google or facebook etc.

https://arstechnica.com/information-technology/2022/05/how-a...
I wasn't starting from the assumption that UBI /has/ to be government-based, and was discussing a core problem (identifiability) that arises when a non-government entity tries to implement UBI. You've just got a different set of assumptions.
> The US military is the country's largest welfare program.

If they were all as successful as the military is at inculcating middle-class habits in people raised without them, welfare would be a lot more popular.
How to send logs from your local environment to Dashcam
Made an issue for it: https://github.com/diogocapela/flatdraw/issues/2
Valid reason I guess. Being unbanked should certainly be illegal.
It's actually an awful misfeature, because those Rats will automatically turn into floats when the rational representation gets too big:

> WHAT 1/10
(Rat)
> WHAT 1/100000000000000000000
(Num)

(There is FatRat, which does not so 'promote', but it is not the default.)
Worldcoin to Allow Governments to Use Its Digital ID System
Controversial Eyeball-Scanning Worldcoin To Allow Governments To Use Its Digital ID System
This whole thread is amazing, bookmarking it, too many rabbit holes for one day.
As a developer, you should write no more code than is needed.

If the code is not needed, do not write it.

= "No Code" or Nihilist Software Engineering =

No code runs faster than no code.

No code has fewer bugs than no code.

No code uses less memory than no code.

No code is easier to understand than no code.

No code is the best way to have secure and reliable applications. Write nothing; deploy nowhere.

One of my most productive days was throwing away 1,000 lines of code. -- Ken Thompson

The cheapest, fastest, and most reliable components are those that aren’t there. -- Gordon Bell

Deleted code is debugged code. -- Jeff Sickel

Measuring programming progress by lines of code is like measuring aircraft building progress by weight. -- Bill Gates

= Master Foo and the Ten Thousand Lines =

Master Foo once said to a visiting programmer: “There is more Unix-nature in one line of shell script than there is in ten thousand lines of C.”

The programmer, who was very proud of his mastery of C, said: “How can this be? C is the language in which the very kernel of Unix is implemented!”

Master Foo replied: “That is so. Nevertheless, there is more Unix-nature in one line of shell script than there is in ten thousand lines of C.”

The programmer grew distressed. “But through the C language we experience the enlightenment of the Patriarch Ritchie! We become as one with the operating system and the machine, reaping matchless performance!”

Master Foo replied: “All that you say is true. But there is still more Unix-nature in one line of shell script than there is in ten thousand lines of C.”

The programmer scoffed at Master Foo and rose to depart. But Master Foo nodded to his student Nubi, who wrote a line of shell script on a nearby whiteboard, and said: “Master programmer, consider this pipeline. Implemented in pure C, would it not span ten thousand lines?”

The programmer muttered through his beard, contemplating what Nubi had written. Finally he agreed that it was so.

“And how many hours would you require to implement and debug that C program?” asked Nubi.

“Many,” admitted the visiting programmer. “But only a fool would spend the time to do that when so many more worthy tasks await him.”

“And who better understands the Unix-nature?” Master Foo asked. “Is it he who writes the ten thousand lines, or he who, perceiving the emptiness of the task, gains merit by not coding?”

Upon hearing this, the programmer was enlightened.

Source: "The Art of Unix Programming" by Eric Raymond
It would be great if there was a tool that could compare TOS of many services and tell me what changed since the last version. Basically diff the two.

There’s already tosdr.org but I’m not sure they have that feature.
Sorry, if you want to claim that tech hasn't burned through social capital, you'll have to make that claim separately from anything about the media. But you'll have a hard time making the case. Look at how much HN commenters have to say about issues with privacy for example. Or we just had an energetic conversation about Google's stewardship of Chrome.

I also think that tech is not "increasingly approaching [media's] turf". Tech absolutely destroyed the funding model for newspapers, but that started in the Craigslist era. The fraction of journalism that survived has successfully made the leap to an online era.
I'm not sure what I think about that. I know when to use decimal/rational types vs floats, but my own Python code has a whole lot more float() calls than Decimal()s. Floats are almost always what I want unless I'm directly working with money.
As a society we are doomed when people see obvious hallucinations from an ai chat bot and still feel the need to confirm that it's outside the realms of reality.

It astonishes me how anyone reads a response like this and then decides to keep using said tool.

This would be like if you went to a restaurant with a friend, with no other customers in it. You order a pork chop with greens.

The waiter returns with a live wild boar, eating a head of cabbage, and you feel the need to ask your companion if it seems wrong.
> you need to work closely with existing fabs

It's mostly this part.

The fabs are using the EDA companies the same way PC manufacturers used Microsoft in the 1990s. There is only really one company for each particular piece of the EDA toolchain -- Cadence and Synopsys don't really compete directly now that they've run everybody else out of business (or bought them up). "Using" here is in the symbiotic sense.
Really nice article, it's cool to see people working on GNU/Hurd.
> As every business-owner knows, disappearing from Google search barely affects one’s traffic.

This isn’t about harms to business owners from not including their business in search results, its about not including Specialized Vertical Providers (SVPs) in certain special-subject search results harming competition for general search and general search ads.

> Contractually forbidding companies from offering competing products is not anti-competitive, good to know.

The court did not find that such agreements cannot be anti-competitive, it found that the plaintiff’s in this case failed to present any evidence that the ACC and AFA agreements were. The law here turns not on whether agreements are of a kind that might have an anticompetitive effect, but whether they factually do have such an effect.
This is just normal for Google support.

The Google My Business help section is a similar graveyard with people wailing for help but not a single actual Google employee there to be of assistance. That is, unless your thread gets some insane amount of traction but also at risk of being locked
Last I heard he's abandoned working with AMD products.

https://github.com/RadeonOpenCompute/ROCm/issues/2198#issuec...
Oh man, I did an upgrade from a i5-2000 series to a Ryzen 5000 series in a machine a while back and it was very worth it. It's great for compiling Rust projects compared to the Sandy Bridge processor, it's super fast.

Worth it to upgrade your storage, as well, to something modern. Makes it even faster for building larger projects.
What in the LexisNexis 2.0 is this...
Thanks for the feedback! I have created an issue for it here: https://github.com/diogocapela/flatdraw/issues/4
Talos Linux is great.
I don't think you have been to France. I am french, and I use Paypal all the time because I don't want to give my CC numbers and a majority of online store offer Paypal as an option to pay. Direct Bank transfer to pay online is not widely offered.
E2EE is not the default mode for Zoom.
No, that's a common use case. Ultimately Kafka is just a big dumb pipe. Only question I'd ask is how much data are you expecting?
My i7-3770 system I mentioned in another post here pulls 100 watts from the wall with p95 and furmark running everything at 100%. When actually gaming it's usually under 90 watts....

My old fx6300 system though pulled +250 watts just existing lol.

When I was running the stack of SFF business machines I was using vastly more power to cool the room than I was to power the machines.
Now that you've built a boat, who's gonna carry it? ;)
I am not sure that the runtime efficiency of the compiler binary is that important. People like fast compile times, but that is more to do with language design than the choice of language for the compiler.

You could write a compiler for Pascal in Python or another very slow language and it would be faster than a Rust or C++ compiler written in Rust or C++. That is because those languages have designs that make compilation algorithmically slow, while Pascal was designed to be fast to compile.