skysight-inc/HackerNews huggingface dataset:
To offer a counter opinion: while I can live without ChatGPT and cancelled my OpenAI plus membership, I cannot live without Copilot and would be willing to pay a lot to keep it.

There are a lot of tricks to optimizing output from Copilot ("Copilot-Driven Development"), I wrote a little about what I've discovered here:

https://gavinray97.github.io/blog/a-day-without-a-copilot#co...
If you put your content on a billboard, what expectation should you have that you can control who reads it?
The current situation for third party apps (which do exist, plenty of them) is you either give them your Tesla account username/password (super bad) or an access token that you get by signing into your Tesla account, which is less bad but still gives the app the same access as your full Tesla account.

So yes, by building a framework to allow users to authorize third party apps to receive limited telemetry data without handing over their full Tesla account keys this may allow for an improvement in privacy for those who want to use such apps.
One is the world’s dominant gateway to the internet, the others are a handful of websites.
That's irrelevant, though, when you're talking about the vast majority of people who apply who don't get accepted because of those factors. Telling someone "you're privileged because a child of a Kennedy gets a leg up in going to Harvard and shares your skin color, even though you don't get that same leg up" is ridiculous, to say nothing of Asians who are discriminated against despite having relatively few legacies.
For your switch to ML did you also work on a portfolio of ML projects? If so, what's an example ML project you worked on that you were able to show your future employer?
Most Canadian media is owned by asset-stripping American private equity firms, just like American newspapers. They just want to get paid, and have figured out a particular way that Canadian, Australian, German, and Californian legislators can be duped into it.
This isn't quite true. At a macro level, light slows down. At a micro level, photons travel at the speed of light, get absorbed and re-emitted, and change directions. These effects average out to looking like photons traveling slower.
The font and the layout are amazing. I was wondering what font it is.
make a healthcheck ping every x seconds that never ever gives a false positive. ever.

try that and you'll understand why they update the pages manually.
What would you suggest as a pure enough example of FP GUI? Anything besides Elm, I mean? :)
Maybe for CRUD business apps this is true, but there are constant innovations and research papers coming from rockstars in dark corners of the world. All of the time.
Not a linguist, was briefly taught sentence diagramming as a child, found it confusing. When I think back on it, it feels counterproductive to actual reading. Constantly labeling subject / object / adverb as I'm reading would be closer to an intrusive thought than a support structure.
Raising money means your first priority now is to please investors, not customers.
Report of the Standing Committee on Industry and Technology in Canada on Crypto [pdf]
Could you, in theory, stream a “video” of a website to the user and handle only the input (mouse, keybord) from the user?
The user would then not interact with a website but with a “video” where everything is rendered server side thus making it impossible to block any ads.
> There's no imbalance here: newspapers produce content, search engines/social networks surface and link to it.

The imbalance is that as platforms, newspapers cross-subsidize content. Interesting headlines attract readers to the newspaper, but once in hand readers are likely to continue reading the other, less unique articles. (See also why newspapers carry sports scores and comics). An investigative report is by itself a money-loser, but the overall effect on net readership is a win.

Aggregators break newspapers as platforms. Google et al provide extra discoverability for a single article, certainly, but then there's no lock-in to keep readers on the (now) website, reading more and seeing other ads. Headline-and-summary view might even result in zero-click satisfaction, denying the outlet even that first impression.

This might just be a change that the industry must adapt to, in the same way that television and radio news took over the news-breaking role. However, it is more than a trivial threat to the fundamental business model of a news outlet; it's not (just) superficial greed.
Perl can do sh/awk/sed and a bunch more at once.
> They've turned into the store where it's only worth using to get AmazonBasics from.

Some that is because if anything does well in their marketplace, they make an AmazonBasics version and then undercut them.
Interesting! Do they do some kind of washing or processing to remove the salt? I assume without that step it would be impossible to use as soil, but I don't know.
Practical Offline Payments Using One-Time Passcodes [pdf]
On Windows with NTFS drives (networked or local), I use VoidTools Everything for instant as-you-type search results. It doesn't index contents of files, and for networked drives must periodic'ly re-index them, at moderate cost (compared to the heavier cost Windows Search when indexing /local/ drives).

Also unlike Windows Search, it doesn't default to "search a few of the most common locations and either take a random number of seconds to realise at least one of the search targets was already displayed in the current folder where you started your search or claim that nothing was found (when one or more actually matches exist)".
But the solution is to remove the injustice. That's not what's contended here, I think.
by https://shishirpatil.github.io/
News websites worked fine before Google. People did go to them directly.
Ask HN: Desktop mail client with good rule setting and filtering
I've been using the new Outlook for some time now, and many of the redeeming qualities of its predecessor are gone while its negatives remain or, in some respects, have been exacerbated. While the new client is betaware at this time, the prospects for meaningful improvement in a reasonable period of time are dim.

My one great need has been rule-settling and filtering. I get hundreds of emails a week, and, while Outlook isn't superb, it's the best of the ones I've tried (Thunderbird, Claws, etc.). If there is a client that can sort every message received into folders by sender and all in a few lines of code, I would greatly appreciate being informed of it.
I personally waste more than that.
Writing is a set of techniques that can be learned to communicate effectively. That said, reaching excellence requires some talent other than the technique, but that's obvious, and common to every other activity. It's worth remembering that teaching how to communicate effectively is 2500 years old: it started in Sicily with sophists, paid teachers of rhetoric in the ancient Greek world. We kinda unlearned that writing is a learnable skill.
> The problem with Dafny and other SMT solvers is that when they work, they're brilliant, but when they don't, they're infuriating

Yeah, look I'm not going to disagree with that. I have had plenty of frustrating times figuring out why something won't verify with Dafny. But, the more you do it, the easier it gets. And, we should work on the assumption that these tools will get better.

> Languages like Coq, Lean, and Isabelle/HOL are better in that you prove things manually (unless you abuse `auto` and tactics for non-trivial proofs, then you still run into the above).

So, it is nice that you always feel like you can make progress with these tools. But, at the same time, that progress can be awfully slow and painstaking. I think the sweet spot lies in using automation as much as possible, but with the fall back option of proving things manually. Dafny to some extent lets you do this, as you can always fall back on manual induction using a lemma.
Futurama had an episode about that!

"I understand how the engines work now. It came to me in a dream. The engines don't move the ship at all. The ship stays where it is and the engines move the universe around it." ―Cubert Farnsworth

https://futurama.fandom.com/wiki/Dark_Matter_Engine

https://www.youtube.com/watch?v=1RtMMupdOC4
With all due respect, white people don't need your forgiveness.
When will the black Africans who's ancestors sold people into slavery earn your forgiveness?
They don't need it either.

No one alive in the US has legally owned slaves.
The more we focus on this insane rhetoric of "sins of the father" the longer it will take for everyone to just see each other as humans. I'm a jew from a tiny family, most of them died in the holocaust and Russia. I don't expect reparations from the current Germans or Russians, they had nothing to do with it. I came to this country in my early teens with my parents who had literally a few k to their names after selling all their possessions in our home country.

My dad died essentially a pauper. My brother and I each are by all measures financially and socially successful now. People should stop spending so much effort blaming the past for their present, just get on with it. Its your life, do or do not.
Building an invisible PC (2020) [video 27m]
and for a quick overview of other GUI solutions: https://lispcookbook.github.io/cl-cookbook/gui.html (Gtk4, Qt4 and 5, LispWorks' CAPI (incl. for mobile runtimes), IUP…)

I have been pleasantly surprised lately to discover surprisingly nice-looking Tk themes (like https://github.com/rdbende/Forest-ttk-theme). We can use them from CL too, with the nodgui library :) (see link)
it seems like the canadian government wants to use its news as propaganda in small local regions without the rest of the world being able to figure it out via searching for it.

this might also be a leeway for charging the same cost to social media sites. might this be an insidious form of censorship?

given the canadian government's strong ties to its government-funded media, this sounds like it could be concerning.
Is Zellij in the same realm / in competition with Warp terminal?

https://www.warp.dev/
You can also change /shorts/ to /v/ in the URL
They still own cable and satellite TV. They make a lot of their money from live sports, one of the only reasons to still subscribe to cable.
Harvard has said that 85% of students who apply would do well academically, but they only accept like 4%.
The primary source is https://journals.aps.org/prc/abstract/10.1103/PhysRevC.107.0...

From the abstract:

An α-particle energy of 7750(20) keV and a half-life of 1.0 (+1.4,−0.4) ms were measured [for the new isotope astatine-190].

Now that's an unstable isotope! Makes astatine-210 look like Methuselah. Yet this is far from the fastest-decaying isotope known. Take a look at the exotic isotopes of helium:

https://en.wikipedia.org/wiki/Isotopes_of_helium#Heavier_hel...

The shortest-lived isotope is helium-10 with a half-life of 260(40) yoctoseconds.

If you don't have your exotic SI orders-of-magnitude prefixes memorized, you'll need a trip to this table to understand how incredibly short a yoctosecond is:

https://en.wikipedia.org/wiki/Orders_of_magnitude_(time)#Les...
It sounds like you hired a personal mercenary, not a 10x engineer. Everybody is more productive when they ignore the rules everyone else is expected to follow.

There's probably nothing wrong with your existing team except it being too large and democratic. One guy can bounce ideas around in his head faster than a dozen negotiating them with each other. I've seen teams like yours, and IME the issue isn't always incompetence, sometimes each of them thinks they're the rockstar. Anytime one of them doesn't get their way, they jam everything up for everyone else.

We've become too democratic as a whole. Nobody follows orders from above; everybody expects to have a say in things they don't even have a stake in. Whenever you get to hiring again, try stacking your team with 2-4 ex-military types and see how it works out for you (it works well for UPS well beyond that scale). You don't get bleeding-edge experience (and never a 10x-er), but you get tax breaks, competence, obedience, people trained to work as a cohesive unit, and you can wave the flag and call yourself a patriot (which helps with government contracts if that's your business).
It is sad that most comments to this continually focus on the racial identity outcomes.

What this really means is that some students who had better grades and test scores will get into their more preferred university, and some students who had worse grades and scores will have to settle for a more fitting less-preferred university.
Since when is the CTO expected to be to be a rockstar programmer? CTOs communicate technology matters to the board that they are beholden to. And they manage the technology teams within a small region towards the top of their departments pyramid.

These are different skills and responsibilities from being an elite rockstar developer.
https://dcnanature.org/sargassum-fertilizer/

... found that vegetables grown in soil enriched with sargassum had higher levels of arsenic and cadmium, heavy metals that can be toxic to humans and animals. Researchers warn that sargassum should not be used to compliment animal fodder, nor used as a fertilizer for consumables until further investigated.

https://www.npr.org/2023/03/15/1163385168/sargassum-seaweed-...

... we're finding [sargassum] can contain heavy metals, including arsenic. It has fairly high concentrations of the toxin," he said. "There's a concern that, through leaching, that could impact groundwater."

https://www.bbc.com/future/article/20230622-what-is-causing-...

Another interesting thing we discovered is a set of genes called 'zot' genes, which causes leaky gut syndrome," says Mincer. The toxins produced by bacteria carrying these zot genes increase the permeability of the intestinal tract, leading to a range of symptoms including chronic diarrhoea.
In the replies they link to this blog post with the details.

Using the UBI images and public cloud instances does seem like a clever way to handle that.

https://rockylinux.org/news/keeping-open-source-open/
oops, github committed the wrong github
Cool site. Do you planning to keep adding more commands to the database?
Thanks for making it!

I’m just posting to make sure everyone is familiar with [0]ss64.com or to introduce you if not.

It had more macOS command that this, and each command links to a verbose usage page with details and arguments, man pages and examples.

Plus it has CMD,PowerShell,Linux,Multiple Databases,ASCII Table/Generator, VBScript,Base/Hex/Decimal/Binary/ASCII Calc,Bytes-MB-GB…/Bits-MiB-GiB…Calc,an up-to-date Forum and a great single html file Password Generator/Hash-er(Use one Master to derive a list of many Unique passwords) that can be used locally[1].
And global search.

It’s really great!

ss64.com

It’s so good that if you haven’t been before, you really should go there right now!

[0]https://:ss64.com

[1]https://ss64.com/pass/passwords.zip
Not parent , GNOME is not a community project, there seems to be one or a few big ego persons that do not even use GNOME and that push a "vision".

Like they wanted CSD and they decreed that everyone, even non-GNOME apps like old games that nobody works on should implement CSD because they are not going to be backwards compatible.

Same with notifications, old apps, third party apps should implement the GNOME way, they do not care for supporting non-GNOME stuff.

But more power for them, they self select a niche user, a "GNOME user" that either is compatible with the GNOME way or they will contort themselves into it.
I found the tool submission you're talking about, I remember putting my username into it when it was first shown and it did produce a list of accounts with % probabilities (in my case all unrelated to me), but when I tried doing it again now it says "This user does not have any public activity in the previous three years." for "swores" (and I've multiple comments just this week).

Luckily for the throwaway person above, it says the same for them. But does still show results for some, maybe only big accounts now?

https://news.ycombinator.com/item?id=27568709

edit: ahh, I think it just took a one-time snapshot of the three years leading up to its 2021 creation, as my old username that I changed to swores does show up. So it's an interesting proof of concept that someone could do similar analysis, but not an ongoing tool. So it won't be telling us which CTO to avoid :P
How do people still not know this. I am azed that every year another article comes out claiming that it's somehow a novel idea.....

I understood this when I was 4-5 years old.....it's obvious if you have pets, go to a farm, anything with animals....squirrels....birds.... seriously....pet fish....haha
Hard agree. I give my Tesla creds to other third party apps willingly, because I want the benefits those apps offer (we own several Teslas, and both the historical data and remote vehicle control has value add). The effort to move to a more secure auth mechanism is welcomed, and it's my data, so I don't get the outrage. This is part of the value in my purchase decisions, and within the risk appetite of my threat model.

This is also more efficient on Tesla infra (streaming telemetry data), vs aggressive polling (what current apps do, typically slow polling when vehicle updates are minimal, such as when parked, and then switching up to aggressive polling when traveling at speed).
I'm honestly surprised that Google hasn't directly injected the ads into the video itself, so it can't be skipped beyond some kind of AI looking for drastic scene changes.
I think historically it was customers — it wouldn't bring new customers. It might make the existing customers happy, but I can't think of a segment of customers who are on the fence about a Mac because there aren't gaming options.

Nowadays, hardware. Apple Silicon is so far away from the existing gaming hardware (somewhat with regards to ARM, not discounting mobile devices, and the custom-built integrated GPU's with shared memory) that supporting games would add whole new complicated use-cases to their chip designs — to effectively reach no new customers.

All that said, the Game Porting Toolkit highlights that, for people to take their VR offering seriously, Apple has to take games, or at least their engines, seriously.

I'm skeptical it'll turn Apple into a gaming destination — but Apple Silicon is truly impressive and it would be a industry wide shock if they suddenly made gaming a key strategic direction.
This is good, but it also leaves out that the Civil Rights Act legislation made this kind of "thumb on the other side of the scale" for "disadvantaged races" patently illegal. Affirmative Action was, therefore, a recognized court exemption - explicitly stated by judges as a temporary measure - and which has been further narrowed in multiple later cases brought to it (cf. University of California v. Bakke, Gratz v. Bollinger).

A more recent group, Students for Fair Admission, largely cited the anti-Asian angle its effects were producing.

Affirmative Action was never part of formal U.S. law, and never designed to exist indefinitely.
We've gone full circle: efficient meta languages back to inefficient and ambivalent natural language.
You can enable all email notifications and respond to them without visiting the site. If you like to work like that, you still can.
And they've just posted the article about how they plan to get the sources without violating the RH ToS:

https://rockylinux.org/news/keeping-open-source-open/
What Does the Supreme Court Decision on Affirmative Action Mean for DEI?
The equity approach is so blatantly racist / classist that I can’t believe it has taken root in left leaning states like California.

Equality based: Fund the schools, and use evidence based educational reforms, with the result that California schools were top ten in the US.

Equity based: Not everyone can do math and stem, so defund science and art programs (already done) and try to discontinue funding for calculus (almost happened this year). Schools are now 43rd in country, but rich districts can have parents fund the missing programs via donations, and are some of the best in the country. Further fuck with things by forcing UC admissions to be based on standing within each school’s graduating class, so illiterate minority kids end up being admitted to the top schools, and need to be weeded out.
Major problems are arising because of politicians silly proclamations and attempts to buy votes that are not backed by engineering reality.

Reducing certain emissions is commendable... But not when you realize that the environmental damage from strip mining rare earth metals in developing countries is far worse.
> CONCLUSION
>
> Remember these techniques are only effective
> if the forum participants DO NOT KNOW ABOUT THEM.
> Once they are aware of these techniques the
> operation can completely fail, and the forum
> can become uncontrolled.
We are worried about AI apocalypse, but the most short term outcome is AI spam and clickbait.

Our voice are just getting better. Expect tons of spammy calls. Or you think you're calling a human tech support and it's just some machine blabbing about snake oil.

Sam Altman talks about having a 100 humans in the cloud working for you. It easily turns into a 100 humans in the cloud trying to juice every little penny out of you they can.

Google's algorithms are quite dumb, and LLMs are getting real good at parroting.
Germany paid reparations.
> Valve is within their rights to demand additional coverage.

As a near-monopoly gatekeeper, Valve is vulnerable to antitrust charges.

FTC is apparently about to go after Amazon.[1] US antitrust policy did far too little for too many years. EU competition policy is more aggressive.[2] The EU competition authorities already fined Valve for selling geo-blocked content that only worked in some EU countries. That's a violation of the basic Single Market rules of the EU.

[1] https://arstechnica.com/tech-policy/2023/06/ftc-prepares-the...

[2] https://competition-policy.ec.europa.eu/sectors/ict/cases_en
I think a lot of us are working heads down in isolation because we don't have a shareworthy project yet. In a week or two I think my system will be fancy enough to write a blog post about and maybe make open source.

HN has been a pretty good source of exchanging knowledge so far, every couple days or so there's a write up like this that has some new tidbits or confirmations of ideas. If everyone keeps doing that we're doing great in my opinion. Looking forward to seeing your write up on here!