skysight-inc/HackerNews huggingface dataset:
> Neither of these things is true, and it's a big mistake to think so. People do things for diverse motivations, and money is only one.

Well, when most of the essay contains references to how much money Mojang made, how much Notch went home with, the many billions thrown around, the bonuses paid out per employee, the dividends from Mojang, over and over again, one gets the strong impression that he is concerned about how much money he didn't get.
But you can still remain suspicious, see what happens in the coming months, and make yourself an opinion at this point.
and abs instead of absolute
That wouldn't work because Zwift championship races require a separate power meter on the bike in addition to the smart trainer. If you just strap an electric motor to a separate bike then the power meter numbers would be all wrong, especially if it supports ANT+ cycling dynamics. You would need a reciprocating machine that actually pushes the pedals, like what power meter manufacturers use to test their own products. So it could be done, but would be difficult and expensive.

In the end though it's impossible to be 100% certain that the data stream coming in to the server is an accurate representation of a real human effort. The whole thing is kind of silly.
Rust is, in fact, a "memory safe" panacea if you're willing to put up with the syntax and complexity. Memory unsafe code in Rust is clearly marked as such, and you have to go out of your way to write it. Swift is similarly memory safe out of the box.

By contrast, it seems to be trivial to write unsafe code in Zig.

https://www.scattered-thoughts.net/writing/how-safe-is-zig/

The window has closed for languages that don't take memory safety seriously. The Zig team can work on it now, or they can work on it later, but they will have to do it to get the language past a certain level of adoption in the modern world. People are starting to write real, useful Linux kernel modules in Rust.
I just don't understand in which universe having to look for X plug-ins which may or may not be maintained (the first I looked at had its last update in 2015) is better than cmake ; cmakelang could be literally a befunge variant of INTERCAL than it'd still be a better choice than this for me
Then it isn't anything. What's your point?
If ZEV’s and alternative energy take off, and self driving eventually lives up to the hype, public transportation will be obsolete with the exception of dense cities.

Assuming such a future comes to pass (And that’s obviously a big question mark), desirability and property values in suburban-like neighborhoods would go up, since suburbs are no longer at a disadvantage for all those things you are arguing, like walkability, socially vibrancy, etc. A quick tap on your phone and 15 minutes later you can be at the bar or the shops or whatever else. Combine that with the remote work revolution and the future is looking great for suburbs and terrible for cities.

If anything, I’d argue Americans are ahead of the curve. In a society where self driving cars are cheap, environmentally sustainable, and always available people would naturally fan out into suburban living, with mixed-use development falling out of favor.
To be clear, the submission title used to be something like "AOC 2022 in q"
I passed this on to consultants at scientology, and several right oriented edge groups. When I get their analysis, I'll be able to see this original text in a better, much clearer light ideally somebody exclaiming "nailed it! what took us so long to type that up?" /sarcasm
It's worse than that, ChatGPT's answer are superficial on a fundamental level.

Earlier today, I asked it to produce a complicated piece of code in a niche language, and it dutifully did so - but the code had a type error, and used a reserved keyword as a function name.

When I asked it to rename the function, it did so successfully, including usages and comments. (So it didn't totally treat the code piece as opaque.)

But when I told it, "there is a type error here in the function X, the type should be (this)" it replied: "You are right, I fixed the mistake. Here is the code but with the function X having type Y", followed by the original code verbatim with no changes whatsoever.

This really helped me understand what these text generation AIs do. They try to produce a text that looks like a correct answer, which may or may not be correct.

In my example, it clearly didn't have nearly enough training on the specific language and programming style to decompose and "tune" the code to the right answer. But it had a lot of training in saying "right, I fixed the bug, here's the correct code", whether or not it was true.
The fact that the amount of text you have to write is greater than the amount of code AlphaCode writes should reassure programmers afraid that their job will ever be taken over by AI.
I would be surprised if it wasn't scripted, the movements are so angular and linear.

I can only see ML being involved if the ML's interface was an over simplified model with all of the individual movements pre-scripted, i.e only allowing it to decide when to position limbs and onto which drums, but not how, which isn't much of an achievement. It smells of lies and hype. I could be wrong but either way the result hardly looks groundbreaking.
I can't comment to staff, but I've never seen a retirement home or similar that required any kind of vaccination for visitors. Not to say they don't exist, but certainly they weren't part of a normal lived experience here.
>>Sure, a single crontab makes it hard for packages to schedule things and makes it hard to assign ownership to individual packages/people/whatever.

and makes is hard for admins to schedule things, and make is hard to figure out what is scheduled when, and makes it hard to test if the process will work under the schedule.

I absolutely hate cron's format, and pretty much everything else about it. systemd timers is a WONDERFUL and absolutely needed change to the world of linux administration.

cron was written in a time where verbosity had actual costs to the system, we are not in those times and the need for nostalgia to be cryptic and only use minimum chars is over and I for one am glad for it.

Both in programming and administration people need to be MORE VERBOSE not less
Cell phones. Not necessarily radiation, but information access/social media.
A GPU Approach to Conway's Game of Life (2014)
This is about the language the compiler itself is coded in. It would be absurd to try to run a compiler on your ESP microcontroller just because that is where the program you are compiling is supposed to run. (That does not stop Forth fans, of course.)

People do often run compilers on RaspPis and the like (though rarely for any good reason), but those compilers are most often coded in C++, whatever the language it is compiling, just like Zig's original compiler.

Most of the Rust compiler is in C++, and they have no plan to change that.
The rate of serious adverse effects is literally a full order of magnitude higher for the COVID-19 vaccines than for the flu shot or the longstanding childhood inoculations like MMR. The difference you see in trust is because of an establishment that appears to have become so biased it undermines itself by not openly acknowledging fact.
You may, or may not enjoy chapter 5:

https://arxiv.org/pdf/math/0404335.pdf

..."Why should I believe in a real number if I can’t calculate it, if I can’t prove what its bits are, and if I can’t even refer to it? And each of these things happens with probability one! The real line from 0 to 1 looks more and more like a Swiss cheese, more and more like a stunningly black high-mountain sky studded with pin-pricks of light."
Yet another twitter thread that could have made an excellent blog post.
I asked it to create an ASCII art banana and the result was hilarious. It then tried to explain it by elaborating that the 'O' was a curvy letter and represented the curves of the banana.
>Compile the compiler to C code - This is the approach taken by Nim, for example.

>In Zig’s case, I explored this possibility, and found the generated C code to not only be target-specific, but also large.

Even ignoring the large-ness, the fact that it was target-specific makes it unusable for bootstrapping new targets.

The WASM blob is target-independent.
Prestel was a Viewdata service over dialup modem (usually V.23 1200/75 bps ones). The screen rendering looks a lot like Teletext but fundamentally this is completely different technology.
Open Source and Social Systems
"The people who are right are the people whose beliefs haven't led to the undermining and collapse of all mathematics."

If this is a criterion for determining who is right, then it implies there is an imaginable alternative. There has to be a counterfactual in order to make a meaningful statement about a fact. If we say "X is blue" then there must be such a thing, at least hypothetically, as a color that is not blue.

But I can't imagine beliefs leading "to the undermining and collapse of all mathematics" much less those beliefs being "right".

(now I looked at the link, and I think I wish whoever this is would focus their venom more squarely at the "placebo effect" which, when explicitly studied or invoked, is an anti-scientific cancer)
Cocaine and alcohol both have societal measures in place to prevent abuse (mostly shame based, excluding hollywood and the "adult industry"). Remove those and what do we have ?

Overindulgence, dissolution, and complete shift towards hedonism and away from eudaimonia. Those two should be balanced.
Which of those vaccines still resulted in most of the recipients still getting infected like we see with Covid?

You can't compare the MMR type vaccines to Covid, they're not remotely similar in efficacy.
Lurking was different, I used to read interesting threads that were many months old and that gave me inspiration. Now it's much more FOMO on the latest threads and it becomes distracting, that's why I prefer interaction on classic forums.
Yes. The white paper is very brief on details. Some systems in the wild totally miss the fact that a relation userset operation isn’t “include only”. That also applies to tupleset_to_userset.

I was in that misled camp for quite some time. One day it clicked, but only after realizing that the namespace config pseudo-code from section 2.3. IS what defines relationships: https://gruchalski.com/posts/2022-10-22-zanzibar-with-prolog.... Not the fancy object#relation@subject. That’s just the query language.
I too am pretty disappointed with the change. I'll be looking for alternatives. I sent them a message in product asking them to add other options.
Be shallow? Add lots of stories that you pretend to be arguments?
Not sure about the cocaine, but Cristal bottles used to be made with lead: https://www.louis-roederer.com/en/wine/cristal

Waterford ceased using lead in their crystal products: https://www.waterford.com/en-us/discover-waterford/the-water...

Pretty interesting stuff: https://en.m.wikipedia.org/wiki/Lead_glass
Lex Fridman Podcast search engine
As a side project, I created a search engine for the Lex Fridman podcast. It uses https://huggingface.co/sentence-transformers/all-MiniLM-L6-v... to encode the YouTube auto-generated captions. Feedback is greatly appreciated!
I've been using Warp since it was announced on HN, and it is great. May favorite terminal yet. Fast, features such as autocomplete so much better than iTerm.

There is a lot of negative thoughts on this thread - would love to hear from the people who actually have tried out Warp and not those waxing on about the indignity of being asked to login to a free product.
The most important benefit of the public announcement is that showing successfully completed projects like this helps the defense industry with recruitment and encourages more students to become aeronautical and mechanical engineers.
America lost most of those villages that raise children and families with two parents decades ago.
I hadn’t realized that much of the public doesn’t know Edwards. Then again, I’m a SoCal native with a father who was an aerospace engineer…
>At this point I expect they're sitting on the feature until or unless there's public outrage

Possibly so. However, I believe they have two alternatives to client-side scanning:

A) I think their wording still allows uploading a perceptual hash, which would then allow typical server-side scanning without entirely breaking E2E.

B) They could handle this on a case-by-case basis. I'm sure their code-signing privileges can be (ab)used to get around E2E if Apple really wanted to, and they probably can push an 'update' to a single device to do just that.
> Back in the day, when it was first rolling out, you could (theoretically ofc) join the plane's network and scan for MAC addresses, then clone someone else's for free access.

Given that the MAC address is the only thing the access point has to tie your packets to a (paid) session in an unencrypted network, I'd expect this to still work today, or am I missing anything?

OWE [1] might help in this scenario (if it‘s possible to reliably bind that to a login session somehow), but that's pretty new, and given how long upgrade cycles on airplane hardware are, I wouldn't count on seeing that within the next couple of years.

[1] https://en.wikipedia.org/wiki/Opportunistic_Wireless_Encrypt...
> Yeah, but at the same time irrigation using sprinklers is going to coat the produce with whatever's left behind from the water evaporating.

Same as it happens when people wash their veggies at home, or use their dishes they've washed with the tap. Nobody worries about consuming small amounts. You know, it might not even be a big deal to drink from it, it's just not done. It's not that it's guaranteed to be undrinkable, it's just not guaranteed to be drinkable, and there's a difference between consuming a few milliliters to consuming a few liters.
i agree, not because there's any special risk involved - rather people with opposite values should probably avoid each other in first place.
Federal money is our money. They don't make money, they take ours.
what's the practical benefit? if there's already a self-hosted Zig to binary compiler, why not delete the C++ code and call it a day? if suddenly some to bootstrap Zig checkout the old commit, and done.

I assume the Zig to WASM compiler and WASI were already a thing anyway, right? So instead of safekeeping the old commit now they can opt to keep this generated WASM code?
Some day we'll have the technology to report speed traps via CarPlay. I'm guessing that they got a lot of pressure to nerf this feature from law enforcement, as crowdsourcing realtime info on speed traps kinda ruins it for the cops by giving everyone using Google Maps a very powerful long-distance detector.
Something goes wrong on business day 1 without anybody to respond to customer issues and touch the database.
We're talking about compiler, right? Sorry don't see why classes would be a bad match to compiling Zig code to LLVM representation. As long as we don't do lot of numbers crunching (where Fortran, R, Julia, MatLab shine), then structs/classes are ok.
It doesn’t fly yet, so that narrows it down a bit.
As someone who is not in the "rationalist" crowd (and has no interest to be), could someone explain their weird vocabulary to me?

You pretty much know you're reading a rationalist if they use phrases like "less wrong", "mildly opinionated" or now "less than infinite".

Is there some reasoning behind those phrases? Rejecting the null hypothesis as a way of life?

Why not just say "why I'm still bullish on crypto even though everyone says the opposite"?
There's something I don't get about all these models... Why aren't these using external tools, like a calculator, when they "know" they're doing something a tool would solve perfectly?

Humans do it all the time now. Engineers aren't designing microchips using pen and papers, doing all the computation in their head. Instead they're using tools (software / calculators)

Apparently the model can tell what a multiplication is and when it is called. So why isn't it using a calculator to give correct results to basic maths questions?

In the rot13 case, I can ask it "how can I automate the rot13 of text" (you don't even need to use correct english) and it'll explain me what I need to write at a bash prompt.

Would it be complicated to then have the model actually run the command at a bash prompt, in a sandbox?

It's really mindboggling: humans uses tool (like ChatGPT btw) all the time. Why do these systems use none except their own model?
Was it happening to M1/M2s like the article states? Because I’m experiencing very similar issues with a 2019 model.
I'm actually at the opposite end of the spectrum. I can see how this was beneficial to them when reviewing the document, and if the title was... check out how we collaborate on published journals in our own Google Docs like interface, it would have made sense. But, based on the title I thought they were going to actually explain Google Zanzibar in layman's terms. Not just have a bunch of comments that required you scroll around to figure out what they were even talking about.
Think of it as overly aggressive error correction at the language level.

It has a context of some Base64 code. Given that is almost always seen associated with computer code, is "address" or "actress" more likely.

It "knows" the algorithm for decoding base64, and can follow those steps. But it can't overcome it's built-in biases for optimizing the most likely output given the context.

(This problem is solvable, but I think that thinking about it like this helps understand why it behaves like it does)
I like the 3 day / 2 day. I'd also like to see fully remote offered as an option to people who've been in the same role/team for 5 years. At that point, you have enough time in the role/on the team and in the company that you can carry the culture with you and leverage those relationships to be just as effective at home unlike someone brand new to a company/role/team.
The US doesn't keep local businesses the way Europe does.
Corporations with local branches is about as close as we get.
A small rural CVS next to a small rural Texaco next to a small rural Dennys is a rural town economy.
The rate of adverse events seen with the flu shots is a full order of magnitude lower than the COVID-19 vaccines. People are partially up in arms because there is a continued conflation of two very different safety profiles.
The thing is, America is very big. For perspective, America is just shy of the square mileage of all of Europe - but America is just one country... and it has half the population of Europe.

This means things can be, and are, very spread out. It is not unusual for a person in the US to live 20-60+ miles from their work - by choice.

It is simply not possible for everyone in the US to live in or near these mega-cities. Nor do most people (by the numbers) want to live in or near these mega-cities.

When I visit mega-cities, I see overt drug usage on the streets, trash everywhere, homeless camps everywhere, parts of the city a visitor is unsafe being in... and worse. That doesn't mean these things don't exist in a suburb - but clearly they are more readily evident in a mega-city.

We can go on about externalized things like carbon emissions from the commuter cars... but every time I visit a mega-city, there's miles of idling cars just spewing emissions while in traffic.

If you like living in a mega-city - good for you. Enjoy it, as is your right. That, however, also means I get to enjoy my suburbs. We don't get to tell each other how to live.
Isn't that effectively four prompts?

Also it added a question mark which introduces a little doubt over what it's doing.
Well I'm not complaining about systemd's verbosity here, I generally agree on that point. Nor am I saying cron is particularly good, I think there's definitely room for improvement.

What I am saying is that splitting a basic timer between two different files is really bad for readability and understandability.
- rip another site's theme to apply to that content, removing attribution
https://archive.ph/HgdJM
Having done some amount of business in Ukraine, I can attest to how hard it is to move money into that country. Crypto really solves that use case, provided that there's some trading inside the country as well as flowing in.
The Sayburç reliefs: a narrative scene from the Neolithic
This is much better than layoffs for employees.
They'd stay on until someone turned them off, we don't have timers on them.

Oh, you didn't mean the actual building lights ...
It's really not so complicated. This is just an issue with text tokenization, and the fact that the learning model never actually sees the raw input bytes.

All modern LLMs use a tokenizer to convert a sequence of bytes into a sequence of tokens. Short, common words like "the" and "why" are represented as single tokens, while longer and less-common words are represented by multiple tokens. For example, the word "fantastic" is three tokens ("f", "ant", "astic").

Each of these tokens is assigned an arbitrary integer value ("fantastic" becomes [69, 415, 3477]) and then those integer values are used to lookup embedding vectors for each word.

Each embedding vector represents the MEANING of the tokens, by plotting them into a 4096-dimensional vector-space. At runtime, the model looks up each token ID in a dictionary and finds its embedding vector.

For the word "fantastic", those embedding vectors might look something like this:

"f" (69) = [ 0.123, 0.456, ...etc... 0.789, -0.890 ]
"ant" (415) = [ 0.111, -0.222, ...etc... 0.333, -0.444 ]
"astic" (3477) = [ -0.101, 0.202, ...etc... -0.303, 0.404 ]

All of these vectors are assembled into a matrix, and then passed into the layers of neural network, where the actual training/inference occurs.

So the language-model has NO IDEA how any of the words are spelled, because the tokenization (and embedding vector lookup) happens as a pre-processing step, outside the bounds of the learning algorithm.

If you want a LLM to understand spelling, you have to include exhaustive spelling information in its training data. For example:

"The word 'fantastic' is spelled f-a-n-t-a-s-t-i-c."
"The word 'FANTASTIC' is spelled F-A-N-T-A-S-T-I-C."
...etc...

And even then, even with 100k+ English words all spelled out in your training data, you'd be hard-pressed to infer any ROT-13 tokens in your output data, because the learning model has probably never seen a token like "qvq" or "pebff".

You can play with the GPT tokenizer directly here:

https://beta.openai.com/tokenizer

It will show you the tokenization of any block of text, and the token IDs of the resultant tokens. It's very handy if you spend much time working with GPT-3 (or any other modern language-model!)
> Is it likely that NG / USAF would be actively avoiding the potential for satellite imagery? Does it mean all the time it was being built, they avoided having it outside during the daytime?

During the Cold War black projects like the F-117 did exactly that. IIRC they weren't necessarily limited to being out side only at night, but they were very careful about satellite orbits to make sure the secret aircraft wouldn't be caught on camera.

When the B-2 bomber was unveiled, the USAF didn't really want people to get good photos of the wing's shape due to some of the stealth technology incorporated into it. Aviation Week famously [0] got the drop on them by flying a Cessna right over the rollout. Considering how many very high quality cameras are in orbit today I imagine they put some thought into preventing Russia, China, etc. from getting good photos of the B-21.

0: https://aviationweek.com/defense-space/aircraft-propulsion/s...
Fantastic piece. The space program analogy is particularly apt. People say crypto is a worse way to replace functions that already exist, like the space program inventing a pen, say. But the fact the pen can work in space is actually rather important. The fact that decentralized systems can't be shut down or centrally manipulated, is also rather important.