skysight-inc/HackerNews huggingface dataset:
> You agree that the information on this website is copyrighted, and you therefore agree not to distribute this information

It seems like that's not a logically valid statement. Linking to a page on their website isn't a copyright violation (unless I'm mistaken). And the statement seems to be saying "you agree it is copyrighted and, because you agree it is copyrighted, you must also therefore be agreeing that you aren't allowed to link to it. Which doesn't follow. It seems like saying "you agree this ball is red and, therefore, you agree it is rubber"; the two things are effectively orthogonal.
I literally could not sleep after listening to that podcast. This is very exciting!
Europe's population is hundreds of millions, too. Pills are not cars.
GPS is trivially blockable.
Direct barter of the thing you produce for the thing they produce is of course difficult and inefficient.

But barter in pre monetary cultures often involved the exchange of a third commodity that was commonly traded - things like salt, spices, alcohol, oil, copper and silver. Things that were in high demand and were non-perishable. Coins developed as standardised units of the precious metals that were already being exchanged.
Nice recommendation.

My grandpa and uncle built a cabin on Twin Lakes over the summers with Dick Proenneke. I've got pictures of them together felling trees and hauling logs to build the cabins. Now, you can only get to the cabins by float plane.

The cabins have been taken over by the State Park now, and they've been restored too. One of their cabins is now the ranger station, and the other is kept as a "stuck in time" snapshot from the 50s and 60s. Pretty neat.
Has anyone tried this out? Or any other Lisp-to-ecosystem-I-need systems (eg Fennel for Lua)?

I had considered going the other direction: translating other languages into the Lisp of my choice, but I’m fairly certain the VxLisp approach would be easier for all but the simplest code.

Edit: I have used Parenscript and it seemed like it would have been amazing back when JavaScript was truly terrible (before let and const, for example). But I kind of like JavaScript these days.
Take a look at the prompts people use in these examples. They are always so contrived. Sure if you ask it to "Take this function exactly as it is from this file at this repo and output it without changes" it can do that.
Absolutely. That was Tramiel and Shivji's intent, I believe. Rock bottom price general purpose computer. People comparing to the Amiga are missing the point. Tramiel didn't care much about games, and was interested in "computers for the masses, not the classes" -- bringing cheap 16/32 bit computer power to the market (and as fast as possible before the competition could).

The comparison point for the ST should be the IBM PC or the Apple Mac, not the Amiga. Productivity computers that were many multiples the cost. In 1985, 1986 there was nowhere else where you were going to get that much memory and clock rate for the price Atari was charging.

That plus the crisp paper white monochrome monitor (no dubious interlaced flicker), the Mac-like UI, PC compatible floppies. They had potential for a real winner, but he problem is that Atari failed to effectively iterate. At least not until it was too late. The Falcon was a great machine.
Enough to make the company politically unpopular in its home country, yes.
Introversion/extroversion is very surface-level. If you look at the study, you see that "value-oriented" traits (views on politics/religion/children/education/family etc.) tend to have higher correlation when compared to personality traits:

> Across analyses, political and religious attitudes, educational attainment and some substance use traits showed the highest correlations, while psychological (that is, psychiatric/personality) and anthropometric traits generally yielded lower but positive correlations.

See an interesting chart here[1]. Anecdotally, I'm also pretty introverted and attracted to extroverted women. On the other hand, I'm also a Christian and have a hard time dating someone that doesn't at least share some set of overlapping moral and ethical values. I also don't smoke, and could probably never date a habitual smoker (no matter how attractive she was on other axes).

[1] https://www.researchgate.net/publication/373552866/figure/fi...
Dunno about that. Most work proxies I use just forward the LAN subnet not reroute all traffic.
It takes a while. At Google at least, new systems in android are required to be built in rust and there are major efforts to rewrite significant systems. But it takes time and rewrites are dangerous in other ways. And you need all the tooling to handle everything else an engineer does beyond simply writing code.

From where I sit, it also feels like the industry has really only coalesced around "the only real solution is safer languages" in the last 2-3 years. "Rewrite it in swift/rust" was way more controversial in 2019. So hopefully we'll see significant progress in the next several years.
Oh. I missed the word inconsequential.

I don't think it's inconsequential at all once you have a substantial user base, especially since increasingly people tend to use resource hog frameworks and overpay for AWS and other cloud services.
> JVM, V8, or even QEMU

> extreme performance drawbacks

That's just not true.

> And media decoders actually ARE sandboxes of sorts. They are designed to interpret media formats, sometimes even Turing-complete bytecode in retrictive and isolated environments. And like any sandboxes, they too have bugs.

It's pretty easy to sandbox a simple bytecode, but that's not the bulk of what a media decoder is doing. A plain old decoder is mostly not sandboxing what it does.
Sandboxing is not perfect. There are sandbox escapes all the time.
Your argument is basically "my truths are true because they are true". That to me isn't mathematics anymore, it's metaphysics.
Crazy how much blank space both of these seem to waste on a wide screen.
> It's a government mandated bullshit

This is definitely what Google would like you to believe. Considering indeed all other browsers have killed third party cookies, Google legally very well could as well. But they'd love you to believe they must provide a way to invade your privacy.

The issue regulators had was Google retaining special access to user tracking, they have no problem with Google removing their own ability to track as well. Of course, that doesn't buy Larry and Sergey's next yacht or private island remodel.
You can turn off lockdown mode per site and per-app in safari. I had to do that to get Obsidian to work, but I also use it for specific trusted sites.
I thought too long on this and was just thinking of words that almost everyone would know the definition of.
> The pay is great but the work is bad.

In just about any other context this is called a bribe. But you're right. If that person doesn't do it, someone else will.
The entire conversation would be moot if vpns were called RLANs
If that. This weekend I ran into a TIFF decoding issue (Canon scanner produces TIFFs with embedded JPEG compression with different parameters than the outer TIFF container). This is an issue with libtiff and affects any Mac or iOS app using CoreGraphics, anything using ImagMagick, etc. GIMP, Nikon NX Viewer, and others with their own TIFF implementations are unaffected.

I doubt anyone at Apple cares. If a CVE is filed for libtiff, they’ll rebase, but I doubt they are actively fuzzing it or even have regression tests for it.
Out of curiosity: Let's say the poor person is sexualy attractive. Is sex appeal vs money always in favor of the later? I know couples where the sexy one is the controller even against a person with more financial leverage.
Unfortunately people don’t have unlimited time/energy/money. It may not be that they don’t care, but rather they are expending their full effort on other tasks
Not at all, PyTorch uses sub-classing (nn.Module) and other Pythonic features heavily that are not supported with Mojo.
If that were really their motive, a better strategy would be making user agent string customization a first-class feature.
On iOS there isn't even an API to get the MAC address (or any other persistent identifier for that matter).
Chrome is not baked into the operating system.
Dutch: preken voor eigen parochie
I ran Emacs on Windows and used it every day for most of the past year, first natively and then in WSL. I can confirm that performance is many, many times better on WSL, in lots of ways.

Unfortunately, WSL's GUI support is extremely buggy on multimonitor setups (and maybe elsewhere), so you may have to restart your Emacs session often to get window management or even just clicking around to work right.
TBH I'm surprised the User-Agent header has survived as long as it has. Referer, too.
I can't speak for emacs performance on windows (you surely have very good reasons to put yourself through devving on windows), but if you're a big vim user I'd highly recommend looking into evil mode, to bring vim bindings into emacs. I find emacs native key bindings kinda stupid, and modal editing to be superior. There's also full emacs config suites around this, such as spacemacs and doom, if you want to explore how they integrate vim-ness into emacs.

Emacs + evil mode has been my primary text editing environment for 7 years now.
I find the acronym unfortunate because it overloads a previously unique acronym in an adjacent space. It costs nothing to avoid these issues.

https://en.wikipedia.org/wiki/Bit_error_rate#Bit_error_rate_...
That's not what happened here. If you have difficulty keeping context of the thread we're all in, scroll up and reread. Snarking (and being wrong to boot) contributes nothing to the discussion.
The output of an LLM is not necessarily stored or hosted. It would be like filing a takedown for someones spoken word a week ago. What are they taking down?
this comment is downvoted but it is correct. while fill-in-the-middle is less obvious in the decoder-only paradigm, it is still possible. one example is code-llama https://ai.meta.com/blog/code-llama-large-language-model-cod... it is a variant of llama 2 (GPT-style decoder-only) but it supports infilling

> [W]e split training documents at the character level into a prefix, a middle part[,] and a suffix with the splitting locations sampled independently from a uniform distribution over the document length. We apply this transformation with a probability of 0.9 and to documents that are not cut across multiple model contexts only. We randomly format half of the splits in the prefix-suffix-middle (PSM) format and the other half in the compatible suffix-prefix-middle (SPM) format described in Bavarian et al. (2022, App. D). We extend Llama 2’s tokenizer with four special tokens that mark the beginning of the prefix, the middle part or the suffix, and the end of the infilling span

Tokens are super powerful :)
This is a great app! You might want to put Summary and Comments as headings or at least make them bolder for easy scanning.
"This is all so shady, and very un-Google like"

Since when has shady been un-google like? they ditched "Don't do evil" decades ago.
That resemblance is coincidental:
hudor derives from Proto-Indo-European *wed-
(as does English water, wet, winter) while dwr derives from Proto-Indo-European *dʰewb- "deep" (as does English dip, deep)
https://en.wiktionary.org/wiki/Reconstruction:Proto-Indo-Eur...
https://www.etymonline.com/word/*wed-
It was updated years ago to a plate layout showing how much space each food group should take up on your plate.
The Washington Post article makes clear that Musk was speaking to the Russian ambassador, according to Isaacson, although Musk went further and made it sound like he was talking to Putin himself.

>Although he had readily supported Ukraine, he believed it was reckless for Ukraine to launch an attack on Crimea, which Russia had annexed in 2014. He had just spoken to the Russian ambassador to the United States. (In later conversations with a few other people, he seemed to imply that he had spoken directly to President Vladimir Putin, but to me he said his communications had gone through the ambassador.) The ambassador had explicitly told him that a Ukrainian attack on Crimea would lead to a nuclear response. Musk explained to me in great detail, as I stood behind the bleachers, the Russian laws and doctrines that decreed such a response.
Margin can be an opportunity (incumbent overly expensive options are what a lot of solo startups can pick away at).

But there is more. For example being a smaller company that gives more attention, or being a bigger one that can tick all your compliance requirements. Or being local (same country). Or just marketing to a group that doesn’t know the other options.
> However, I’m curious about how the complexity of big systems can be tamed. A system that is hard to reason about even with the source code being accessible is more expensive to maintain and to modify.

By removing the misfeatures that make layers of abstraction seem necessary. Linux has already gone thru this several times with things like the transition from HAL to udev, or the potential simplifications falling out of well written copy on write file systems (gefs is one I particularly have my eye on here). The main things which dishearten me in this regard are, respectively, the complexity of GPUs (and thus their supporting infrastructure in software), and what is needed to support the OS-within-an-OS that is the modern web browser.
After the launch of this feature they plan to disable third party cookies. It's not happening simultaneously because they would get hit with antitrust suits by adtech companies if they gave no time to transition.
I have a good bit of experience with some of these drugs. These types of drugs absolutely have therapeutic use cases and its good people who need them will have easier access. HOWEVER - these are powerful drugs and making them more easily available to The Common Idiot is grossly negligent.
"Is Temu Ethical?

No, Temu is not an ethical brand.

A U.S. Congressional Report from June 2023 raised alarming concerns about Temu and Shein’s potential links to forced labor. The report highlighted an “extremely high risk” of products on Temu being associated with forced labor, and the committee expressed particular worry about the exploitation of U.S. de minimis provisions by both companies. The de minimis threshold of $800 allows goods below this value to enter the country without inspection, which could contribute to potential issues with labor practices.

Furthermore, the report revealed that Temu lacks a specific policy against goods made in Xinjiang, where evidence suggests forced labor may occur."

https://yoursustainableguide.com/is-temu-ethical/
A while ago now I booked a room on Expedia, which ended in me getting a confirmation email with an itinerary to my Gmail backed address. Lo and behold, few minutes later a CTA pops up on my Android phone offering to create a matching trip in Google's trip planning product. I'm sure it's all above board once you got into the fine print but it was not a pleasant experience.
Why is it only foreign software is fingered as malware? I have no doubt this is extraordinarily malicious software, but so was google ads, so was facebook, so were the app stores on our phones.
Anthropic Launches Claude Pro as Paid Alternative to ChatGPT Plus
I was talking with ChatGPT4 about how best to summarize comments. Landed on sorting them into a few categories:

1. Surface-Level Content: Meme/Shallow Humor
2. Intermediate-Level Content: Opinionated/Analytical
3. In-Depth Content: Research-based / Thoughtful Discourse
4. Meta Level: Meta discussion about the platform, the discussion process itself or overarching themes

Would be interesting to see all comments given a rating icon from grey to red to green to white to make insightful comments standout more
No, they literally can't. The UK Competition and Markets Authority made Google promise they won't remove 3rd-party cookies from Chrome before adding alternatives.
> I don’t think Google has a secret back door tracking mechanism their ad network is able to use.

they have 80% population using search, youtube, storing browsing history etc while logged into google account, so they have lots of data about most of the people.
“I want real Chrome on iOS. Safari sucks! It’s the new IE 6! Chrome is moving the web forward!”

Yeah. Things are going great in Chrome world. Totally should give them dominance over the one sliver they don’t control.

(I have no problem with letting people have FF/etc. but let’s face it, it will be 90%+ Chrome within days)
> This only requires that my laptop trusts a self-signed TLS certificate that Squid uses.

The word "only" is doing a lot of work there.
it depends on who has more of a scarcity mindset. sexy women can find a well-off man pretty easily.
No way this replicates. Classic junk psychology result.
Well, the modal command system is sort of hacked onto the qwerty keyboard. Surely it'd be more natural to just "insert" directly rather than hitting "i".
In reference to Luke not really knowing what the heck he is doing, see also The Mandalorian season 2.5 (BoBF) - (summarized) "Hey little green guy, you can either join my weird cult and never see your friends again, or you can go ahead and f*ck off"
> Mac OS doesn't have access keys for the menu bar. Either someone assigns a keyboard shortcut, which you can use, or you have to use the key combo that focuses the menu bar and then arrow through the menus.

Try Cmd+Shift+/ (aka Cmd+?) and typing a few letters of the command you want to invoke. It's pretty much the same mechanism that Emacs uses (C-x followed by the command name).

I'll admit it's not very discoverable.

> In contrast, the IBM Common User Access guidelines established that you can press Alt plus another key indicated by an underlined letter associated with a given menu option in order to open/select that option

First, Macs don't have an "Alt" key ;) But more importantly, CUA dates back to 1987, which is predated by the original 1984 Macintosh - which by that time already had established quite a few conventions of its own. I wouldn't blame it on Apple that they've stuck with their own conventions, their OS is arguably the most consistent one on the market thanks to that. Some people (hi) greatly value that consistency.

I think it could be argued either way about which convention is better, I'd say it boils down to preference.
0. they're running away in space and the imperials can't catch up.
unless the two ships are exactly the same then at some point there will be a power to weight difference and one will catch up or get away.
fuel was never an issue in any other SW story.
also why didn't the imperials just hyperspace jump in front?

7. why bomb the base they're escaping from and not the ship they're flying to?
8. they only launch about 5 tie fighters against poe at the beginning and the ship only has about 6 self defence lasers. Rogue One showed us just how many Tie fighters could be launched to defend an important base.
9. the rebel bombers. nuf said.

there's so much wrong with that film.
1-day / n-day zero click nso exploits are certainly not available in kali linux.
Well they generally call the first type Site to Site VPN tunnels and the second client tunnels. Lots of different marketing from various companies makes it confusing since it's basically all the same oss under the hood.
Is this a good thing or a bad thing ?
Hoping this doesn't reopen "Julia is dependent typed" debate
Is there a more security-oriented alternative to SSHFS, where the connecting client won't be given shell access on the server? I just want to share a directory from server to an untrusted VM over network, and have VM mount it, not give the VM shell access to the server.

FTP is close to such a thing, but it is somewhat archaic, slow and not sure about its security.
If people had direction or inkling they might go along with it and not wonder if they’re going to be understood or not.

But I get your point. I say ‘kwebek’ and not ‘kebek’ and ‘MAdrid’ not maDRID.
> Chrome's invasive new ad platform, ridiculously branded the "Privacy Sandbox,"

Ars seems to be confusing the topics API with the privacy sandbox as a whole. Most features are early, like client hints, while others like privacy budget haven't even been released yet.

https://privacysandbox.com/open-web/#proposals-for-the-web
Has anyone figured out how to pair magit with git-sim (https://github.com/initialcommit-com/git-sim) so that you can use magit's controls but then get a picture of what you're about to do before you do it?
If you are curious about NSO Group, Pegasus, or Citizen Lab - Darknet Diaries podcast (Episode 100) does a good job diving into the history.
I weirdly feel a sense of respect for this idiot.
My grandfather drove oil trucks all over West Texas and I worshipped the ground he walked on. Once when I was a child I told him I wanted to be a trucker too. He sat me down and made it very clear that I did not want to be a trucker hah. Driving trucks is a hard life which is probably why there’s lots of country songs about it.
> Diagonalization adds a level of self-reference which may require that you use stronger axioms to prove that if is a total function.

Sorry, but this is nonsense.

Here's a proof of my argument in Coq (without any extra axioms) which is based on constructive logic (and yes, I'm ignoring the fact that some sequences of digits are the same real number and everything before the decimal point etc. pp. for simplicity's sake):

Require Import Coq.Init.Nat.

Inductive Digit :=
| Zero | One | Two | Three | Four | Five | Six | Seven | Eight | Nine.

Definition succ (d : Digit) : Digit := match d with
| Zero => One | One => Two | Two => Three | Three => Four | Four => Five | Five => Six
| Six => Seven | Seven => Eight | Eight => Nine | Nine => Zero
end.

Theorem d_succd : forall (d : Digit), d <> succ d.
Proof.
intros d.
destruct d; discriminate.
Qed.

Theorem feq_each : forall {A} {B} (f g : A -> B), f = g -> forall (x : A), f x = g x.
Proof.
intros A B f g hyp x. rewrite hyp. reflexivity. Qed.

Definition Real := nat -> Digit.

Definition Seq (A : Type) := nat -> A.

Definition not_includes {A} (s : Seq A) (e : A) := forall (i : nat), s i <> e.

Theorem diag : forall (l : Seq Real), exists (g : Real), not_includes l g.
Proof.
intros l.
remember (fun x => succ (l x x)) as g.
exists g.
intros i.
intros contra.
specialize ((feq_each (l i) g) contra).
intros contra'.
specialize (contra' i).
rewrite Heqg in contra'.
revert contra'.
apply d_succd.
Qed.

If you're going to argue with Coq, then whatever, but this is as constructivist as it gets.

Edited to add that a proof of essentially the same theorem can be found in Bishop's "Foundation of Constructive Analysis" (in my edition, page 25), with explicit reference to Cantor.
Installing evil mode was surely one of the first things I did :) Right after set a dark theme ofc.
Apple uses a ton of open source libraries. They could give bounties for security issues found in public releases.
I'm a bit disappointed at the features of the included lsp client. I went back to lsp-mode.

Also I feel like performance could be improved a lot, but that's probably an issue in my particular setup.

If someone has an efficient lsp-mode + typescript-mode + eslint checks, I'd be happy to see how you achieved that.
Finding a command injection vulnerability in my smart thermostat (CVE-2023-4212)
Prejudicial means “ harmful to someone or something; detrimental” and this is harmful to individuals discriminated against. I think many, but not all, would find it is unjust as well.
Maybe not yours, but it's baked into the operating systems used by billions of phones (Android) and millions of kids/others with generally lower tech literacy who may not have great context on the privacy implications of these changes (ChromeOS)?
The IPA in the readme (sɜːks) suggests it’s pronounced like “sex”, but not sure if that’s a joke.

https://github.com/searx/searx