skysight-inc/HackerNews huggingface dataset:
select with a circle shape -> draw selection. Not as straightforward as possible, but still quite easy.
Kraken crypto exchange lays off 30% of workforce
(Mangle was posted recently which I like so I am a bit biased)

Datalog is a formalism like relational algebra but additionally supports recursion.

So it can roughly play the role of SQL. Compiler writers have used it to query their symbol tables and identify patterns for example (seems to be the origin of Soufflé, "static analysis").

I believe the reemergence of datalog is at least in part due to compute and memory being more plentiful so it is more affordable and practical to use a declarative query language. A lot of databases (or the part that is relevant for answering a particular query) comfortably fits in a single machine's memory and an expressive query language is fun to use. There is also an incremental evaluation story.

Another potential reason is that the logical data model makes it easy to represent any kind of data without schema changes and such.

A lot of programs end up either doing SQL or something SQL-like. There are therefore many applications of such datalog like languages.

In many places where people use custom "rule languages" they could use datalog instead.
(edited: typo & rule languages)
I personally am a proponent of rebase, but not all the time and not for every workflow. It has it's place though, IMO. I like/value clean history and good commit messages (although I admit I don't always succeeding providing that all of the time). I prefer to stage my commit pieces at the hunk level at the largest. I like to rebase my branches before merging them into release or main (depending on git strategy as a whole), but it isn't always necessary. I use interactive rebase from time to time to clean up my feature branches (especially longer running ones). This is all stuff I prefer in my own workflow.

That said, every time I try to really teach someone rebase, particularly a new dev, I understand why people shy away from it. I did for a very long time. So I totally understand and get why the above style workflow may terrify folks (or just seem unnecessary). It is easy to mess up and there are a lot of little gotchas if someone isn't careful. And worst of all, it can result in lost work (although even that is "usually" recoverable, but not always). I do think there are some benefits to it, and I think it is something that can be integrated into a dev's workflow a bit at a time. And it really doesn't take significantly more time, in my experience.

I'm not gonna argue here for adopting that. Except for "no commit messages", I'd be pretty ok with a workflow as outlined by this post. I do think folks should understand how rebase works, what commits will be moved/changed when they run a rebase (this is vital), and how to recover when a rebase goes bad (no, not reclone, not generally even delete branch and check it out again).

.

Couple random thoughts I try to communicate to folks who decide to utilize rebase more in their workflow:

- rebase often (if main updates often)

- if worried the rebase may be messy, create a temporary branch prior to starting the rebase at the feature branch HEAD - allows for an easy way back (and prevents lost code)

- don't rebase shared branches - this is a tool to use PRIOR to "sharing" (i.e. pushing) code

- squash/clean up unneeded commits before rebasing on another branch (this may bring it all the way down to a single commit, but for larger features, I think there is value in seeing the main decision points along the way)

- fix conflicts with the code at the specific commit you are on only, don't fix it with the eventual end result X commits down the line - this will generally avoid the dreaded "fix the same conflict over and over for each commit" problem some people encounter with rebasing

- remember rebase creates new history - it doesn't rewrite history (however, old commits will eventually be garbage collected)

- pro tip: understand how `rebase --onto` works, sometimes you shouldn't, or at least don't want to, take all of the commits
Right, but cost to that is your company losing some lunch money on prototypes.

The costs to "fail fast" (if we're being generous) strategy Twitter employed so far far exceed that
Then we all die, the end, might as well kill ourselves now.
Not much I can add here, I think musk_micropenis really hit the nail on the head
Sit vis vobiscum.
What's your opinion of https://digs.fm ? It's built by a HN user: https://news.ycombinator.com/item?id=32551862

Which features made rdio so good?
But that's not bullying, that's just straight up Abuse.
We're talking about cynicism and not criticism, correct? In my experience, cynicism is unproductive at best and anti-productive at worst. Criticism, of course, is valuable and healthy.

Cynicism is a good and healthy thing to share with colleagues over a beer, but when you're on the clock will kill morale. Arguably dumping loads of money on a vaporware moonshot is also a morale killer, but sniping at it in meetings helps no one.
Let's be honest - baseless speculation because HN clearly shares all the same biases of the rest of big tech: https://i.imgur.com/Si183zE.jpg
I don’t understand this recurring retort.

Does it mean that to use a tool you must be capable of building it?

Does it mean that to share criticism you must be able to build it? I’m thinking about applying this logic to the rest of life and it’s rather amusing to imagine the silence. Hmm, maybe that wouldn’t be so bad.

I think one could more fairly say, “offer up money for someone to build the features you need” but I think that’s also a very difficult proposition given the logistics of the matter.
That sounds like excuse after the fact someone called him on his bullshit
That's one of the books I used when I got back into it. These days, there is so much great material on youtube and edx and coursera (plus maths stackexchange and discords) that it's absolutely fantastic to learn maths, as fantastic instructors are immediately available.

For me, I realized thst I need to write the code to accompany the maths, because it helps me disambiguate mathematical notation and put "types" on things.

It helped me a lot to work alongside real maths PhDs and realize that they have a very "intuitive" approach to maths, and don't necessarily yeet lemmas and proofs around all day, instead spending a lot of time brainstorming on the whiteboard and discussing things out, very similarly to software design. It was one of them telling me that my thinking was very mathematical that helped me "deconstruct" the fear of maths that I had built up.
SF allows police to remotely kill suspects with robots
Despite that you were paying 8x the previous amount!?

How is that possible?

E.g.: With Kubernetes and AWS you ought to be able to use clusters with a base of "reserved" capacity plus spot pricing for peak hours on top, right?

From what I've seen (in my limited experience), that should reduce costs for most orgs, not increase them!
Agreed. And if you have a rigid tests-are-necessary-to-merge regime you end up finding that the simplest way to write quality tests are simple approaches to implementations.
That's great. Why don't they produce the next one if they're so good at it?
This is one of the most refreshing comments on Musk since he suggested buying twitter, so of course it's about to fade out of existence.
I'm one of those people. Running FSD Beta in my Model S Plaid in BC. And your negative connotation doesn't apply to me or many/most of the other beta testers with whom I'm regularly communicating.
A lot of the dogpiling here is sensationalism fueled by the media. People have a very short fuse to comment and won’t bother doing research, or consider alternative viewpoints. It’s either left or right wing - and that sort of thing is blatant indoctrination into an incredibly narrow Overton window that did not come from within someone’s mind. It was put there, through constant reinforcement and propaganda.
Sometimes the algo does get in a rut. It's up to you to tell it you're interested in other music. I do this by listening to a playlist I haven't in a while.
Next.js 13 beta code advent at react.holiday
There is that angle also, its unusual as he was set to be sole CEO at salesforce, maybe you are right as he wants to start a company from scratch. Musk has said he has a CEO for Twitter so I'm just putting two and two together. I could be way off base also :)
They have been talked about a lot.

The news is that we are discovering that he wasn’t just funneling money to Democrats.

Even his public money was weighted towards Democrats 2:1…it’s not like he was publicly only donating to Democrats, but now it appears that overall he probably donated equally to both parties.
Sam Bankman Fried Live at NYT Dealbook Summit
I think across this thread we're conflating cynicism with skepticism. I am a utopian; I'm no believer in cynicism. It is unhelpful to shoot down everything or to refuse to even try, and a goal being unachievable doesn't necessarily means we won't accomplish valuable stuff in it's pursuit.

But that doesn't mean we shouldn't examine and criticize ideas, that we shouldn't seek to improve upon them and - perhaps, if they are irreparable - abandon them for better ideas.

Attempting to force the market into a box that is convenient for you because it enhances your power and market position, because you want to be in control of a hardware platform to achieve parity with your competitors - and refusing to acknowledge it may not be what people actually want - that is truly cynical.
Related:

Pup – Like Jq, but for HTML - https://news.ycombinator.com/item?id=24797697 - Oct 2020 (2 comments)

Show HN: Pup – A command-line HTML parser - https://news.ycombinator.com/item?id=8312249 - Sept 2014 (27 comments)

Random bit of history: that Show HN was a very early choice for what is now called the second-chance pool:

Ask HN: Why did three HN stories jump 100 ranking points in 5 mins? - https://news.ycombinator.com/item?id=8313505 - Sept 2014 (6 comments)
> which is the case both for Shopify and here - automatically disqualifies you from being GDPR-compliant:

It doesn't automatically disqualify you. No reason to spread this FUD. From your article:

> The Chamber found that, contrary to what Company A stated in their offer, it did disclose customer data to a third party. More specifically, it disclosed customer data to a third party in a third country (its parent company in the U.S.). Therefore, a transfer pursuant to Article 44 GDPR would take place. The Chamber explained that a transfer in this context must also be assumed when data can be accessed from a third country, regardless of whether this actually takes place. The fact that the physical location of the server that provided such access was located in the EU was irrelevant.

This has to do with the transfer of data from the EEA region to the US, which AWS covers: https://aws.amazon.com/compliance/gdpr-center/#GDPR_FAQs

So, no, from a blanket perspective using AWS doesn't automatically disqualify you from GDPR, but it may have implications based on how you transfer the data.

EDIT: To add, as part of Article 44 of GDPR:

> Under Article 44 GDPR, the transfer (or the onward transfer) shall only take place “subject to the other provisions of this Regulation”. As a result, data controllers or processors exporting personal data to third countries or international organisations must ensure the GDPR compliance of the overall processing activity.

So, if AWS follows GDPR compliance in the US (which as a default AWS US does) and you transfer from EU to US, then you can still achieve GDPR compliance. The reason this was thrown out: https://gdprhub.eu/index.php?title=VK_Baden-W%C3%BCrttemberg... was because the company said "that it would not disclose customer data to any third party", but when they reviewed the case they found out that because a parent company. So they are not GDPR compliant because they failed to disclose that data would transfer to AWS US, NOT that they are using AWS. This is the discrepancy. Lesson learned here - GPDR is more about process control than it is technology.

FYI - that case appears to be a public trading company that is owned by the public serving the government. It seems clear to me that they wanted to send a message of "hey just don't use any US-based company for your services to German government services, here's how we're legally going to penalize you for it". This would be like having an "American first" policy for gov't procurement and making sure TenCent's US based wholly owned entity can't do business with the US gov't.
No. I released part of it as open source, but that was just a script to import Discogs to an SQL database. It was never really more than a proof of concept and I think it would be quite difficult to get the code running now. At the time one of the big issues I had was that I had no idea how to find the closest vector of a vector without it going like really slow.

I was also experimenting with finding a popularity score for songs and artists. The last.fm API worked well for this, but then that was just using an API, so there was a lot of other sources that I was looking into, like using pageviews on the Wikipedia article for an artist.

I've thought about making a new open source version at some point if I get time. I think I've got a decent idea how to make something work quite well now, basically make a vector with the genres/styles, do dimensionality reduction and then store in vector database, so you get like an embedding of the album essentially. A bit like those language models embed words in a vector space, but you don't need a neural network to do it, since that job is done already by humans who have listened to the music and tagged it.
Except when a poll gets a lot of votes that he doesn’t like, in which case he says “looks like the bots are out in force today!”
"votes to avert strike" is an interesting way of saying "makes it illegal to strike".
Citizens United.

https://en.m.wikipedia.org/wiki/Citizens_United_v._FEC
Q: If you were a large language model trained by OpenAI, which large language model trained by OpenAI would you be?

A: I would be GPT-3, the largest and most advanced language model trained by OpenAI.
TikTok CEO Shou Zi Chew explains how US data will be kept out of China
It's important to remember that we're only hearing one side of the story here.

It's very clear the author has emotion about what's going on, and there are several emotionally toned segments in his account. That's understandable, but it also likely means that this is a biased account of what transpired.

Fundamentally, it sounds like SpaceX is having other engineers shadow him because he's a single point of failure. That part alone is not remarkable.
Meanwhile, companies require us to come into work, commute hours, burn fossil fuels, etc.

Companies and governments talk out one side of their mouth about being green and carbon neutral, then tell people they need to burn fossil fuels to come to work, by unaffordable electric cars to be around people you don't work with in expensive to live city centers that they don't pay enough to live in, much less have a family of one or two children, and nuclear is bad.

I've stopped listening, because it's pointless, all I see is highway construction to add more lanes rather than making viable public transportation. If they really believed any of it they'd be doing something about it. I do my little bit, but having this insane nihilistic anxiety about it is far worse.
What is OpenAI is doing right here is more difficult than passing the Turing test, the Turing test rewards machines that are indistinguishable from human beings, that's a free goal when you trained the network on text written by humans, by fitting the distribution it will behave like a human. The more difficult task that OpenAI is trying to solve is to align the NN to acknowledge that it's a GPT model, it has no way to browse the Net and it has limited knowledge about events after 2021, this is not free, only a really limited subset of the dataset was written from this prospective.
I am a simple person, I like GIMP; and I have no idea what "no adjustment layers, still no layer styles" is
I'm not the commenter, but I think you're misinterpreting the intent of the comment (or at the very least I interpreted it differently).

> I expect at least some triaging from the maintainer before the stalebot comes in

I didn't read this as "maintainers should always triage", I read this as "stalebot shouldn't axe issues unless maintainers are triaging" (see my original comment for why). One could reword the above comment for extra clarity/emphasis as:

> I expect that before stalebot comes in [it should check whether] some triaging from the maintainer has been done]

i.e. I don't think @bouke was shitting on maintainers, just on stale bot as a product.

Of course maintainers should be under no obligation to do anything whatsoever: none of that is particularly relevant here when we're just discussing whether stale bot adds value.

(I see Jeff has replied here too but also completely skipped over addressing criticisms of stale bot & focusing on the strawman of maintainer responsibility - which noone is debating)
... and instead demotivating the entire workforce is somehow better?
...and also to keep the kid in an associal bubble. Socialisation and experiencing/handling all kinds of people in life is the most important skill to be learned in school. I woulnt want to give this up for comfort.
>yeah it strikes me as a complete waste of time. nobody needed this 70 years ago.

On the contrary. As someone currently raising children, I can confidently say that historically, we have done a terrible job of teaching people how to have, be OK with, and process feelings in a healthy way. We may not have done this 70 years ago, but we certainly needed it then, just as much as we do now.

And that's setting aside the fact that, "We didn't need X back in the day, so why do we need it now?" is a generally terrible take.
From reading the article he justified his motivation of learning category theory to help him learn how to express himself better. I feel he is looking for some knowledge he is missing from category theory.

I am not against learning category theory because you find it interesting, but one should be honest that it isn't going to benefit ones software engineering ability at least compared to studying good design directly.

>math seems to be a pretty safe bet in terms of ROI.

Ask most people how much math they have used of which they learned it university or high school. There are niches of math that are useful to niches. Study the wrong niche of math when you are in the wrong niche that doesn't use it, it will be a poor investment.
As would not taking cues from right wing fever dream peddlers.
Compared to how many people exists in the world and how many cops there is, there’s really not that much of that happening. Media reporting is widely skewing people’s views.
NYT keeps updating the title.

So far:

- Claims that he did not try to commit fraud

- Blamed unspecified third parties for transfers

- Claimed all of FTX's derivatives were fully collateralized.

NYT interviewer is giving him the rope to hang himself with. Whoever SBF's lawyers is should be fired for letting him speak...
When I read "iterator" I think of an object that points into the vector and can be advanced. For Rust's vector, that is std::slice::Iter (https://doc.rust-lang.org/std/slice/struct.Iter.html). When you advance an iterator, you must do a bounds check if the vector is dynamically sized; otherwise, you don't know when to stop. I.e., if I have

let mut it = vec.iter();
println!(it.next());
println!(it.next());
println!(it.next());

This needs to do bounds checking on each call to next() to either return Some(a) or None (assuming the length of vec is unknown at compile time). (hhttps://doc.rust-lang.org/beta/src/core/slice/iter/macros.rs....)

You are right that theoretically a range-based for loop that uses iterators does not need to do bounds checking because a compiler can infer the invariant that the iterator is always valid. In practice I don't know enough about LLVM or rustc to know whether this optimization is actually happening.
> He doesn’t windsurf off Nantucket, he rides a 100K mountain bike ride outside of Waco with wounded warriors

I’m glad we had such a smart guy that avoided an economic collapse and two wars that weren’t passed on to the next guy(s).
I don't think you have to be ideologically inclined. Photoshop is already turning on the milking machine.

Subscription. Check. Paid add ons. Check. Paid color palette. Check and mark.
Most online debates are filled with illogical opinions on theoretical issues. You get people on this site complaining that they have to spend money on a catalytic converter because it's not required for the car to run and only prevents other people from getting cancer.
In India, some families do follow this type of setup. My neighbor was asking me if I wanted to sell my apartment because he wanted to combine his apartment with mine so that his parents could stay with him. In my neighborhood there are few families, who could afford, have bought 2-3 apartments and combined them so that three generations can stay under one roof.
Find restaurants that are celiac-safe. You may find it safer to pick cuisines that naturally don't include wheat, than to get the gluten-free option at a regular gluten-y restaurant.
If it’s so easy to replicate, what stops competitors from undercutting them with lower fees and dominating the market?
Results

You correctly classified 24 of 30 (80%) images!

You identified 14 of 18 (77%) AI-generated images.

You identified 10 of 12 (83%) human-made images.
And are all the bots expected to vote one way?
It's some Supreme Court interpretation of free speech plus legislation. I remember Al Franken talking about this a bit in the context of a law requiring disclosure that he supported but was not successful.

Looks like the dynamic hasn't changed much since he talked about it.

https://www.reuters.com/world/us/biden-make-remarks-tuesday-...
When you send this thing in you have basically decided the execute the suspect. No trial needed
Wow, that link was a fascinating read
Loan creation doesn’t work like that for many many years. These days banks don’t even have a reserve requirement. They just create the money and balance the books later.

Edit: to make my point clearer, banks don’t need your deposits to create new money. They just do.
The GIMP project, while powerful, personifies all of the worst parts of OSS culture.

A needlessly polarizing/antagonizing name that they've refused to change? Check.

A user interface that no one but the developers could love or understand? Check.

A focus on knobs for users to tweak and being far behind the rest of the industry in basic usability improvements such as "auto levels" that have been table stakes for many years? Check.

Deflection of any criticism by saying "there's a plugin for that", when the plugin is probably locked in a filing cabinet in a basement closet with a sign saying "Beware of the Leopard" and another saying "only supported up to <6 versions ago>"? Check and check.
> This is probably only making any news because it's SpaceX.

Agreed - This is just getting upvoted for the anti-Musk trendiness.

It's also important to note that we're only getting one side of the story here. It's entirely possible that they directly asked him to train other people on what he's doing and that he was uncooperative. Who knows - one-sided stories are one-sided.
"Variston IT" EBITDA was between 6M to 15M € in 2021 [1][2].
Interesting numbers from a completely unknown tech company in Barcelona whatsoever.

[1] https://www.iberinform.es/empresa/8097556/variston-informati....

[2] P&L and Balances are public data in Spain, but usually behind paywalls. Sometimes the financial data without the paywall just shows the order of magnitude, like in this specific case.
It seems very diplomatic of you to say you found Rust hard to learn, rather than that it was hard to make Rust do what you wanted. You seem very clear on what you wanted to do.