skysight-inc/HackerNews huggingface dataset:
Unsafe blocks have to uphold their invariants while accepting any possible input that safe code can give them. Any subtle interactions enabled by "unsafe" need to be part of the invariants. If they don't do that, it's a bug in the unsafe code, not the safe code using it.

If done properly, you can and should write out all the invariants, and a third party could create a proof that your code upholds them and they prevent memory errors. That involves checking interactions between connected unsafe blocks as a combined proof, but it won't extend to "the rest of the program" outside unsafe blocks.
I try to visualize the dependency graph for my variables. I figure OoO cores and optimizing compilers are good enough nowadays that, as long as I don’t really mess things up too badly, the computer should figure out how to extract that ilp.

Or, as a special case if I am writing an MPI code, I try to imagine what in the heck the slowest process is doing while everybody else waits at the barrier.
Reminds me of the idiocracy intro. All people think about is getting more, until they can no longer have it.

https://www.youtube.com/watch?v=YwZ0ZUy7P3E
Just the other day I wasted 20 minutes tracking down a problem before caving and pasting some code into Claude, running a massive machine learning model trained by the foremost researchers in the AI industry, all so it could tell me I forgot semicolons in some CSS import lines.

I thought we were done with such goofiness in the days of auto-linters and syntax highlighting, but that’s why it was so tricky! The cause is always the last thing you think to check, after all…
> mankind has been created to...

That's a narrative from a certain perspective. Let's advocate for different perspectives, like the article does.

I'm perfectly fine with the Darwinistic idea that mankind has evolved from something very primitive rather than created for a purpose.

The declaration of basic human rights is a narrative that humans deem good. But they are still human inventions, no superior creator needs to be involved to have something deemed good for everyone.

We are here, that is a fact. Why or how is a mystery. You can build narratives around that but in fact they are not necessary. I would say, let's just make the best of our existence by trying to not make other beings miserable.
I'm not sure i know which side of the debate you're on but the analogy that comes to mind is if you put your watch on a shelf in Walmart, they're supposed to protect it for you? It's absolutely your responsibility to lock your doors at night even if the bank currently owns your home.

People are walking around trying car doors at night and people are throwing dictionaries and tables at log in forms. Would you blame the bank if someone guessed your password of 1234? How are they supposed to tell it isn't you?
What business is it of the government what parents choose to screen for? Even more pointedly, how can one support elective abortion and not support genetic screening for whatever the parents want to screen for?
That's not why there's massive income inequality in South Africa. LOL.
python-box library
The python-box library seems useful.

I saw it at Chapter #12 in this video by user ArjanCodes:

https://youtu.be/OiLgG4CabPo

It does have some limitations, which he mentions, and for which he gives some workarounds.
In theory what you’re saying is true, but in practice if someone gains access to a machine on your network it becomes significantly easier to gain access to additional machines on your network.
The New Artificial Intelligentsia
I have a Windows laptop with a two USB-C ports - and I only use 1 - and it's connected to my monitor.

My monitor acts as a dock. My monitor is powering my laptop, handling the video output, and has the keyboard, mouse, headset, and camera connected to it.

All I have to do is plugin one cable and I'm done. It's a good setup. The monitor even has a monitor-to-monitor hub so if I get a second monitor, all I have to do is connect the two monitors. Still only one cable coming to my laptop.
I'm sure if we were to confront him on it, he would give a much more nuanced view of it. But unprompted, he assumed it as true and gave further opinions based on that assumption.

That tells us, at the very least, this guy is suspicious. Then you mix in all the other lies and it's pretty obvious I wouldn't trust him with my dog.
> My view is that extremely dense cities with already low vacancies implement rent control as a social measure and usually that doesn’t have a real impact on market dynamics.

How could a portion of the housing stock being held by people paying below-market rates not impact market dynamics?

At the very least:

* People paying far below market rent are disincentivized to ever move, even if they have a long commute, their children move out, etc.

* Landlords are disincentivized to ever renovate or improve rent-controlled units. The improvements can't be captured in increased prices or marketability.

* Developers may constrain supply, since it would be more profitable to develop housing somewhere without rent control, all other things being equal.

* The market rent (paid by newcomers or movers) often increases, owing to constrained supply caused by multiple of the above points.
Thanks for your comment! It's really helpful for prioritizing future features. I find the idea of re-allocating furniture really interesting. Right now, the tool focuses mainly on changing styles, but I’m working on adding more features, like the ability to add or remove actual furniture from the space.

This is essentially an MVP, and I’m testing interest before building out more. (I could have just set up a landing page with a form, but I wanted to see the real engagement.) That’s why some elements, like privacy policies and terms and conditions, aren’t there yet—I'll try to add those this weekend.

By the way, I'm Paul, the founder of Mailead.io. You can find my Twitter at the bottom of the site!
No-one was saying this 2 or even 1.5 years ago.
Yes when I go to the store, I hope to find a million dollar gemstone in my loaf of bread. But is that evidence that my trip to the store was meaningfully motivated by this?

Anyway, I've made my point every way possible now, it's time to leave it and let those who understand, understand.
For the simple country folk, a cow or horse pasture may have exactly what you are looking for.

I don't condone picking unknown fungus from fields...don't go die from picking the wrong thing.
"this is most of the reason why". He's assuming it as true.
Depending on when you bought it, it was a pretty risky play until AWS came out and got traction. Their retail business _still_ doesn't make money.
Just add some unique IDs to your records.
Farming.. The ultimate form of corporate welfare..

"This is all a bit misleading. Farmers don’t want to repair their own equipment. They want to be able to call someone on a Sunday when something breaks to come fix it. Which they can’t do today due to restrictions on John Deere’s IP that limits 3rd parties from offering that service."
Yeah... I grew up on a multi-generational family farm and we hacked everything to repair or extend its functionality.

Or just consider animal husbandry at its roots, OG bio hacking...
> If you disagree, I would argue you have a very sad view of the world, where truth and cooperation are inferior to lies and manipulation.

You're holding everyone to a very simple, very binary view with this. It's easy to look around and see many untrustworthy players in very very long running games whose success lasts most of their own lives and often even through their legacy.

That doesn't mean that "lies and manipulation" trump "truth and cooperation" in some absolute sense, though. It just means that significant long-running games are almost always very multi-faceted and the roads that run through them involve many many more factors than those.

Those of us who feel most natural being "truthful and cooperative" can find great success ourselves while obeying our sense of integrity, but we should be careful about underestimating those who play differently. They're not guaranteed to lose either.
Microsoft should help this project setup CI infra with necessary GPUs.
LINQ is the name for the overall system. LINQ can be written using two different styles:

// Method syntax
var evenNumbers = numbers.Where(num => num % 2 == 0).OrderBy(n => n);

// Query syntax
var evenNumbers = from num in numbers
where num % 2 == 0
orderby num
select num;

Method syntax and query syntax are both part of LINQ (query syntax is syntactic sugar). .Net developers tend to overwhelmingly prefer method syntax.
If you start missing collaboration in Obsidian, check out the Relay plugin.
A lot of folks are compelled by the offline-first capabilities of Obsidian but then find that they eventually want a shared folder to collaborate with a colleague, friend, or partner.

(disclaimer: I'm the author)
Meh. I get it.

It’s just so bassackwards to use an imperative, indirect form to describe state, even if it’s just state changes.

Maybe simply specify the new state?
That was funny, the "Igor is only powered by Ethernet" phrase made me laugh way too much.

Also, I did not know about Hacker Typer, I will keep it around :).
Edit: it's been pointed out to me that the zine actually is publicly available for free - https://drive.google.com/file/d/1ra6r2zSkw7NCYNTAqP9923ValZi...

I really like the overall idea. Two thoughts I had while browsing.

From the main page:

> PURCHASE ZINE

Is the only way to get a copy of the manifesto, really to purchase it (or join as a member)? How is someone supposed to even know whether they want to be involved in the project, if they aren't allowed to read the document first?

and from the Docs:

> How is Subvert funded?

Unless I missed it, nothing in docs mentions the most obvious source of funding for a marketplace - a cut of revenue? Is there any plan for that?

If I were a member of such a collective, I'd rather give the collective a small cut of my revenue than have to deal with the complexity and risks (and potential loss of control) of dealing with outside investors.
Definitely don't need a last gen. Someone else did the math upthread and came to one request every 20 seconds, which if you factor in burstiness and that if you have a particularly bad burst that slows down the system a little, the next request will take even longer etc. (ask me how I learned that lesson), it's probably good to budget for it handling multiple requests per second. For this application, my understanding is you've got a handful of people in your group that you're splitting a couple of expenses with, so data processing is small beans and that'll definitely run on a first gen Pi if you optimise it properly, or perhaps a 2nd-3rd gen if you don't want to spend the time
China Builds a New Eurasia
If you do this or similar, choose very good passwords because it is certain to be probed.

Also consider using the whitelist option.
This repository provides an implementation of our paper Grandmaster-Level Chess Without Search. https://arxiv.org/abs/2402.04494

The recent breakthrough successes in machine learning are mainly attributed to scale: namely large-scale attention-based architectures and datasets of unprecedented scale. This paper investigates the impact of training at scale for chess. Unlike traditional chess engines that rely on complex heuristics, explicit search, or a combination of both, we train a 270M parameter transformer model with supervised learning on a dataset of 10 million chess games. We annotate each board in the dataset with action-values provided by the powerful Stockfish 16 engine, leading to roughly 15 billion data points. Our largest model reaches a Lichess blitz Elo of 2895 against humans, and successfully solves a series of challenging chess puzzles, without any domain-specific tweaks or explicit search algorithms. We also show that our model outperforms AlphaZero's policy and value networks (without MCTS) and GPT-3.5-turbo-instruct. A systematic investigation of model and dataset size shows that strong chess performance only arises at sufficient scale. To validate our results, we perform an extensive series of ablations of design choices and hyperparameters.
We're already seeing another dark cloud on the horizon with Deere. They're almost done with the work to move to single-pair Ethernet on their vehicle bus and leave the traditional CAN/ISOBUS connector behind.

We have a number of things that sniff the traffic for important implement data and state and Deere is going to lock it all up. You'll be left with minimal data on the J1939 connector like the automakers did with OBD2.
https://pastebin.com/raw/D7p7mRLK

My comment in a pastebin. HN doesn't like unicode.

You need this crate to deal with it in Rust, it's not part of the base libraries:

https://crates.io/crates/unicode-segmentation

The languages that have this kind of feature built-in in the standard library, to my knowledge, are Swift, JavaScript, C# and Java. Swift is the only one, of those four, that treat operating on graphemes as the default. JavaScript requires Intl.Segmenter, C# requires StringInfo, Java requires BreakIterator.

By the way, Python, the language caused so much hurt with their 2.x->3.x transition promising better unicode support in return for this pain couldn't even do this right. There is no concept of graphemes in the standard library. So much for the batteries included bit.

>>> test = " "

>>> [char for char in test]

['', '\u200d', '', '\u200d', '', '\u200d', '']

>>> len(test)

7

In JavaScript REPL (nodejs):

> let test = " "

undefined

> [...new Intl.Segmenter().segment(test)][0].segment;

' '

> [...new Intl.Segmenter().segment(test)].length;

1

Works as it should.

In python you would need a third party library.

Swift is truly the nicest of programming languages as far as strings are concerned. It just works as it always should have been.

let test = " "

for char in test {

print(char)

}

print(test.count)

output :

1

[Execution complete with exit code 0]

I, as a non-Apple user, feel quite the Apple envy whenever I think about swift. It's such a nice language, but there's little ecosystem outside of Apple UIs.

But man, no using third party libraries, or working with a wrapper segmenter class or iterator. Just use the base string literals as is. It. Just. Works.
tailscale/wireguard
It's had remotely exploitable vulnerabilities in recent years, and I know of no Linux distribution that configures it to listen on an external port by default.

Pinggy does seem to support incoming IP whitelists, at least.
It is a lot easier to make a 2d drawing than it is to make a 3d model.
If I had to choose between (a) an artist who decided to invert the light/dark palette to achieve a dramatic effect or (b) it actually wrapped God and the moment of His death it left pigment on the cloth, I'm going with (a) every time.

If you want to get Bayesian on it, the base rate of confirmed art forgeries and religious artifact forgeries is non-trivial, but the base rate of confirmed creators of the universe manifesting has human form is zero.
This is a VERY silly article.

A better article would have the title:

Life is Not A Story, Life is Many Stories.

I have but one meager, measly, impoverished point of view, but I can tell multiple stories from my one point of view, because I can imagine the point of view of other people.

What is dangerous is being trapped inside a single story, which can be related to trauma in some cases. (Search something like trauma story loop)

When you are trapped inside a single story, you can have strong feelings that you MUST respond in certain ways to certain stimuli, as there is no other story that could be true. When you can tell a different story, you can make progress.

---

Edit: the author's reference to 'perspective taking' is very much like what I am saying. It's still a silly article.

> "Think of the ways that perspectives organise experiences differently. By ‘perspective’ I mean something more complex than ‘point of view’. I’m referring to the way we engage with the world from a particular position or orientation that draws our attention to aspects of experience, like how our visual ‘perspective’ allows bright colours to show up more easily than dull ones. Perspectives are shaped by our place in the world, our beliefs, values and what we think matters. As the philosopher Elisabeth Camp explains, a perspective ‘helps us to do things with the thoughts we have: to make quick judgments based on what’s most important, to grasp intuitive connections, and to respond emotionally, among other things.’ Through perspective some features of our experiences ‘stick out in our minds while others fade into the background.’

Perspectives, then, determine the narratives we adopt. In other words, our core beliefs and values shape the way we see things and what we take to be important in our experiences. It is our perspectives that generate our narratives. Perspective also explains why our narratives can differ so radically from those of other people, even when we experience the same events. But once we understand these perspectives, we can see how flexible our narratives can truly become. Perspectives, it turns out, don’t have a linear, ordered structure. We can’t think of them in terms of sequences of events, like stories. In some ways, perspectives are better represented by the non-linearity of poetry."
Good to hear they saw the light but after I switched to Postgres I never had a single regret.

In a competitive market where people make very long term engineering decisions based on stability and reliability you can’t fuck up this badly and survive.
Boring is not correlated with how good something is. Most of the bad people in history were not boring. Most of the best people in history were not boring. Correlation with evilness = 0.

You could have many other definitions that are not boring but also not bad. The definition published by Sam is bad
I program with stack machines directly, so I visualize plates with numbers, names or things on them.
Pythons might.

https://www.sciencedirect.com/science/article/pii/S096098221...
> The most successful people create religions

I don't know if I would consider being crucified achieving success. Long term and for your ideology maybe, but for you yourself you are dead.

I defer to Creed Bratton on this one and what Sam might be into.

"I've been involved in a number of cults, both as a leader and a follower. You have more fun as a follower, but you make more money as a leader."
> that was computed

Or comes from a set of known values. This stuff isn't that difficult.

This doesn't require prescient knowledge of high timeout edge cases. It's generally accepted good security practice to limit business logic execution based on user input parameters. This goes beyond input validation & bounds on user input (both also good practice but most likely to just involve a !NaN check here), but more broadly user input is data & timeout values are code. Data should be treated differently by your app than code.

To generalise the case more, another common case of a user submitting a config value that would be used in logic would be string labels for categories. You could validate against a known list of categories (good but potentially expensive) but whether you do or not it's still good hygiene to key the user submitted string against a category hashmap or enum - this cleanly avoids using user input directly in your executing business logic.
You're welcome! In fairness to Apple, having shorter traces between the CPU and main memory does in fact decrease latency and power requirements. It's just not the only, or even the best, way to get more performance out of memory chips.

The CAMM2/LPCAMM2 standard is a new way of having replaceable memory which takes up less physical space and is faster, if you're interested. There are a few laptops (and desktops) out there using it already. It still only supports dual-channel memory, though.

As I said originally, my suspicion is that "200GB/s+ memory bandwidth!" might be good marketing copy and make for good synthetic benchmark results, but just isn't actually that beneficial for the average computer user in the real world. This could be why you don't see other computer manufacturers pursuing it, at least not in laptops.
I refer to Strava and RideWithGPS heatmaps whenever planning a new cycling or running route, and they are very useful, but they still need vetting (satellite and street view mostly) since 1) people have different tolerances for safe/comfortable interactions with traffic, and 2) road race data is often mixed in (despite users being able to tag races), which frequently are on (closed) roads you wouldn’t want to be on otherwise.
The Pray codex is listed under “fringe theories” in the Wikipedia Shroud entry. That certainly make it wrong, but it does make it a little more suspect than the c14 dating criticism. The c14 contamination arguments seem more than adequately addressed in the entire last 3rd of the article.
> folders require you to use hierarchical organisation

I find symlinks work for this, which is what I do. I have big directories with the raw pictures dumped from my devices, then categorized directories linking to them.
I'm a designer by trade, programming is largely a hobby for me. By default I see things as pictures in my mind, I always have.

When I read something and it doesn't make absolute sense to me, I need to learn more about the context so that I can 'see' the whole picture and how it fits together. This means I can take a while to grasp something, but once I do I seem to have a better understanding of it than my peers - likely because I have that wider context.

I also have a tendency and desire to simplify the complex - which I think is a combination of my need to learn the detail in order to build that picture in my mind - and with my design background I can represent that well in reality.

In my corporate day job it means that I can take complex stuff and make sense of it. And provided I've got support to be brutal in cutting down information, I can simplify it for others to grasp also.
There's so many demos where Elon has faked and lied its very surprising to have him read as "basically trustworthy" even if he has done other stuff - have dancing people as robots with fake robot demos, the fake solar roof, fake full self driving, really fake promises about cyber taxis and teslas paying for themselves (like 7 years ago?).

The free speech part also reads completely hollow when the guy's first actions were to ban his critics on the platform and bring back self avowed nazis - you could argue one of those things are in favor of free speech, but generally doing both just implies you are into the nazi stuff.
https://archive.is/DKOtf

Archive.is snapshot of the article
One of the very few things that could have made the customer experience even worse.
How do you tell Pinggy is closer to ngrok than Tailscale? To me (I've never used any of these services) they all look more or less the same, with slightly different interfaces. I wouldn't know how to distinguish a more secure option from a less secure one.

I see somebody else also mentioned Raspberry Pi itself has a similar service.
> The typical layperson doesn't know that this is merely the emulation of text formation, and not actual cognition.

As a mere software engineer who's made a few (pre-transformer) AI models, I can't tell you what "actual cognition" is in a way that differentiates from "here's a huge bunch of mystery linear algebra that was loosely inspired by a toy model of how neurons work".

I also can't tell you if qualia is or isn't necessary for "actual cognition".

(And that's despite that LLMs are definitely not thinking like humans, due to being in the order of at least a thousand times less complex by parameter count; I'd agree that if there is something that it's like to be an LLM, 'human' isn't it, and their responses make a lot more sense if you model them as literal morons that spent 2.5 million years reading the internet than as even a normal human with Wikipedia search).