skysight-inc/HackerNews huggingface dataset:
Every so often I get into using org mode for a while, and the first day or so is always great. But, as with every similar tool in the space, I quickly find cases where the different features don't compose or interact well.

For example,

- org mode will fill out/align an ascii table if you start it and tab. When you change a cell, just tab, and everything aligns into a well-formed table again. Great!

- org mode will let you type latex and then `C-c C-x C-l` to render those latex snippets in text. Lovely!

- but the table logic is unaware of whether $latex-snippets$ have been rendered or not, so you can't see an aligned table whose cells contain latex snippets

Yes, one could do the whole table in latex, but this is more verbose and more fragile if one is incrementally building out the table as one takes notes, and occasionally previewing to confirm it's not broken.

Roughly, I think this illustrates a key tension where

- if everything is pure text, then improving tools is 'easy'

- but people don't actually want pure text for all uses; for some domains, dealing only with text requires some mental energy which can detract from the actual task of interest
Thank you for posting this, it really made my day :)
ChatGPT is already able to write programs in various languages. I guess it was trained on open source programs like those in GitHub. Someone (let's say the NSA) can train it on a large database of viruses, warms, known exploits, etc, and ask it to come up with a new virus with some given parameters. The NSA is either doing that or not. Russia's hackers are either working on that or not. China's hackers may or may not be working on that. Ditto for Israels hackers. But the chance that absolutely none of them is working on that is infinitesimal.

Which means that actually all of them are working on that. And some indie hackers too.
I see this as a more filled-out map. Making a map is fun, but it's not a story, it's a setting. Making a setting can itself be fun and I genuinely enjoy making imaginary maps. I sketch out some lines, and then almost by accident there are bays and mountain ranges and outer reaches and so on. Soon it's populated by different species and has history... and the lines I started out with aren't the source of all of that, but they got the process going.

In a more story-oriented approach you find the story and the main characters and then if you are smart you'll build the world around them. But secretly! If you make it obvious then it will feel manufactured, that fate is guiding the protagonist, not the protagonist's free will. Which is true: the author is fate and the protagonist has no free will.

Another option is to find the story amid the world. In an open world game you hope the player finds their own stories.

From a more technical point of view, I don't think you want the normal building/character generation to the main antagonists, the villain, or the hero. GPT can't hold itself back, and now every other building will have some character like this. Like if there's a big prison break from Arkham and the villains don't even work together (rendering many characters as one) but instead Gotham is filled with an apocalyptic danger on every street corner. If this tool was to have villain creation it should probably be a top-level thing: you make N villains and place them, they don't emerge organically in the fabric of the city.

All that said, perhaps a quick fix would be to change the current prompt from:

{
name: "FirstName LastName",
type: $building.jobTypes|first|repr, // Or $building.jobTypes|rest|repr
description: "[a description of the person, their profession or role, their personality, their history]",
arrives: "8am",
leaves: "6pm",
}

To something like:

{
name: "FirstName LastName",
...
goal: "[a driving desire]",
flaw: "[a character flaw or weakness]",
}

This is another place where defining the schema as part of the city design could be helpful, as it might let you highlight what interests you about the people in your world.
Still stuck on this one - anyone?
in the USA a political assistant in Federal govt said "the more effort it took to make the letter, the stronger first-impression by staff, therefore, an ordinary email is the lowest impact form of input from the public at the office"
PyPy uses a modified Mark and Sweep garbage collector, CPython uses Reference Counting. C extensions such as NumPy (and so Pandas, sklearn etc) are compiled expecting Reference Counting. A translation layer is needed for memory management from PyPy to extensions like NumPy and that introduces overhead (historically - a lot of overhead).
Zoom: The sound of web chat biz's annual profits nosediving
There's two main brands of desktop cutting machines, Cricut [0] and Silhouette [1]. Prices range from around $150 to $400, which depends mostly on piece size, materials support and tool support (e.g. pens/markets, scoring tools, embossing, etc).

They aren't printers, but they all support "Print & Cut" features where you print out your design on a standard printer and then the cutter automatically aligns itself using registrations marks added by their own software.

Note that Cricut tried to push a cloud subscription model a while back but backed off after customers got upset [2].

0: https://cricut.com/en-us/cutting-machines/cricut-explore/cri...

1: https://www.silhouetteamerica.com/featured-product/cameo

2: https://www.ifixit.com/News/49494/cricut-messed-with-crafter...
It is. The new part for most westerners is the political jurisdiction that those legal requests are beholden to.
I'm just pointing out that it's incredibly magnanimous for you to ponder the thought that maybe black people don't have to be poor. Like I said, incredibly magnanimous.
They were also visible in Germany:

https://www.rbb24.de/panorama/beitrag/2023/02/brandenburg-po...
This seems similar to the limited messaging integration in some cars (e.g. Teslas). You can send and receive SMS and iMessages, but no media or group texts. The latter is a serious limitation in practice.
Elon says I'm lazy.
I think he's a joke.
Folks told me to learn to code.
That's great, but now I'm broke.
Face shape is the most evident. This is a photographer oriented post, you may have to look longer and harder to see the same things that a trained eye would immediately notice (same with graphic design).
> I posit that our protections and rights that we guarantee regarding personhood are not universal. They do not even extend to living beings that experience the world far more closely to the way we do. They do not extend to beings that can and do experience pain. They do not guarantee humane treatment. They do not bar slavery of all beings that can experience existential dread.

Isn't that really bad? The fact that we've been making a horrible abominable mistake for a few thousand years doesn't mean we should continue to expand on that mistake.

I do agree we should probably fix the 100% real cases before moving on to AI, though.

Also, how sure are we this intelligence doesn't experience pain? I don't believe it does, personally, but lack of physicality doesn't exclude pain. You can have emotional or psychological pain and suffering.
(2020)

Lots of previous discussion:

https://news.ycombinator.com/item?id=24488224
When it comes to insects, I think your anger is misplaced. Capturing and mounting a specimen hardly makes a dent compared to how many die on car windshields, due to pesticide use, or from loss of habitat. Adult insects also tend to have a short life - for many species only one season.

And in this case the collection was done for a valid scientific purpose, not just for funsies.
I was honestly impressed when I started writing my blog posts in org-mode for Hugo, and accidentally placed the .org file in my content directory, forgot to export it to Markdown, and it actually showed up on my blog. I was like "surely I must've rendered it and forgot" but nope, it just reads basic .org files on its own. Kinda neat.
> "highly placed members of society and the media", and not so much "infiltrate" as "buy"

Zero evidence for this in the U.K. 81,000 voters chose the last PM in an election 0.3% were eligible to vote in [1]. They’re more middle class and rural than the average Briton and from outside the London cosmopolitan bloc.

[1] https://www.bbc.com/news/uk-politics-60037657.amp
I just have an ec2 i shove stuff onto with a swag container proxy, works well enough tho it doesnt have the bells and whistles other static hosts do
I have early access to Bing, so I guess I’m in the unequally distributed future.
Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
I won't use it myself, but it's linux, it's technically possible to use it in and out a vm anywhere
Those are probably the people falling for clickbait in the first place, but the proportion of such suckers is growing as the tech advances. What happens when it gets good enough that we can't tell? I think that's soon enough to make it either moot or critical.
So, this is where I guess I just don't understand. I've had ChatGPT produce code for me that there is absolutely no way it already had in its training set. I realize it can't actually "think", but then I also don't know how to describe what I'm seeing.
I wonder why a huge disadvantage of all these markup-in-plaintext formats if almost never mentioned: it breaks (the easiness of) search. So you can't simply type `simply type` in your search box to find your phrase because the markup interferes

(What's the best way to deal with it? Are there plugins for the org/markdown etc. format that allow you to search the "invisible" markup-stripped text?)
A bit off topic, but in your talk you said that intel, nvidia and amd encoder are worse than svt-av1. How much worse and which card is the best? Always encoding with ab-av1/av1an using svt-av1, but with the "right" preset it's still really slow. Which hardware encoder (in your opinion/experience) is the best to use (size/quality speed doesn't matter as much). If I want to convert my media server to av1 only should I stick with svt-av1 and eat the power/time-cost?
So basically the only solution is for colleges to actually care about undergrads and run undergraduate classes just like graduate seminars where the students have to interact, in small groups, with the faculty for faculty to gauge their command of the subject matter.
Julia? Odd choice for that, but cool regardless.
It supports dynamic route and cluster, we can avoid `nginx -s reload` when we need to create/change an API. It supports the use of plug -in for new functions, which is easier and more standard.
I have TwisterOS[0] installed on my Pi 4. It comes with loads of retro gaming tools out of the box.

[0] https://twisteros.com/
I think there is a through-line... a thread within many arguments that would remind us of the Golden Rule.

I like to imagine a vastly superior alien race which perceives the world in 6 dimensions.

Is their truth, their perception, their stimuli, their physicality necessary for preserving human life? Does our relative pitiful might make our rights?

This might help shape what law or societal changes we need to make for ourselves if we hope to become masters of our universe.

Viewed in this lens, I think pets are a good analogy. AI is cute, useful, and to the degree it reflects our values and ourselves, we protect it above other life. Not always because it is intelligent and not because there was confrontation.

One personal experience at a time, in a precarious and limited way we carved out additional protections largely through group dynamics, convention, and through mistakes, we evolved additional protections where needed.
Well, let's start with React. It's used by 100% of Facebook users.
I'm not removing sentience from anything; AI chat bots are not sentient.
More like a vertical twig that has ropes tied from the middle trailing off to the left and right. If you have enough ropes then it's really the ropes holding the weight in tension, not the twig in compression
Lichen covers ~7% of the surface area of Earth.

"They can even live inside solid rock, growing between the grains. It is estimated that 6–8% of Earth's land surface is covered by lichens. There are about 20,000 known species."
Project Tatooine
You are talking about one month's cellular or cable bill.

It will take effort to set up and run one of these - it's always easier to get corporations to do everything for you, but is that what you want out of life?

Anyone could set up a small business supplying these with domain included, and even provide remote admin for a fee. Some people would like that, some would not. Hover will sell you a domain in five minutes.

You put the puck and your router on an UPS, like any security system. If you have a power hit longer than an hour, does it really matter if your website is offline? How often does that happen? Maybe solar power it, just for giggles.
Yes, the UK has good consumer protections for this.
Yes, but there is a whole field of artificial intelligence called unsupervised learning that tries to identify labels without pre-defined labels. At the extreme end there are no externally imposed / defined labels and artificial labels are determined by empirical clusters or some orthogonal data pattern or algorithm. Unsupervised learning is much less effective and not as mature as supervised learning. In the case of LLMs the label is "next words" and it's inferred from a corpus of text.
Surely they would do this for leases instead of sales? Why would Ford want to do this for sales anyway, in the case of a sale, the financing company pays ford in full. The only exception would be if ford financed the car with its own financing arm. Incentives could be aligned to make leasing the preferred option for most people who are likely to miss payments then.

Also I’m not sure you’re correct about the ownership and the lawsuits. Sure you can sue anyone for anything but why would this be any different from me leasing a car from ford and the same thing happening? That doesn’t seem to have been an issue for automakers so far…

For the record, this sounds like a dystopian nightmare to me. I’m not in favor of the concept.
Companies like Google and Facebook CHOOSE to not operate in China because they don't want to follow the the laws that Chinese companies are following. They're not banned, they're not allowed to operate unless they comply with local laws. Just like they wouldn't be allowed to operate in Europe if they didn't show a Cookie pop-up. It's not like they're not allowed to operate in China because they're American apps.

The US should make the data collection itself illegal for everyone and be done with it. They're currently walking this weird path where the exact same data collection is fine if it's Americans doing. It's not one set of rules for everyone.
Sure, if that's your hobby. I used to do that, but there are other things you can do with our time too. So now I use ProtonMail with my own domain.
More rent-seeking, more of the "you will own nothing and like it."
I've been trying to get color space and bit conversion to work with png's and bt2020 video. Apparently any time I use a png with ffmpeg's avif encoder it comes out too bright.
Lol, absolutely not. I just came back from a trip to a national park that simply would not have been doable without my car. My commute into work each day would be significantly harder without my car. I wouldn't be able to visit much of my family without my car.

I can get into the nearest city and town just fine on public transport, and that's what I do. But public transport here is spoke-hub. If you want to go somewhere that is moderately far away from a hub, it becomes incredibly difficult (and expensive).

If you live in a city, and you never leave that city other than to go to other cities, then you absolutely do not need a car. Most other people do.
I think this misses the forest for the trees.

This technology in any car should be a violation of our rights. A corporation dictates when to access the vehicle remotely?

It’ll start with justifiable use cases. In a not too distant future, imagine something like:

* can’t access car during peak CO2 emission times because you got the cheaper monthly rate that uses a green subsidy to pay for the cheaper rate

* your incorrectly a suspect of a petty crime, your car is now inaccessible because Ford doesn’t want liability if you do something bad with their car (despite you cooperating with law enforcement)

* you’ve been categorized as spreading hate speech/misinformation/disinformation and that breaks our terms of service

I could go on, but you get the point.
> The advocates of "clean code" that Casey mentions will go for extensibility no matter the use.

Unfortunately this is just some catchy stereotyping that probably doesn't match reality.
> A technology like this means that the vehicle still belongs to Ford, which means if something goes wrong with it, or if you get sciatica from their shitty seats, you can class action sue them into oblivion.

Nothing prevents that from happening now, though. I'm also uncertain how reclaiming the collateral for the loan is any different in this scenario.

Granted, I think this is extraordinarily gross and consumer-hostile. Aren't there myriad of options on the table for reclaiming the vehicle? How often does someone "get away" with keeping a car, anyway? That's what the repossession industry exists for.
> read and understand the specification

The what? Sorry? If you had the specification you could just give it to the latest ChatGPT et al and it would create 90% of the code for you (just kidding, but kinda not).

No, the most important task of a software engineer is to help gathering requirements, understanding them and then translating them to code, considering internal and external constraints. Actual coding is usually the smallest part of this process. Communication may not be THE most important, but it certainly is important.
From the read me:

As with any application a small risk of critical security issues (such as buffer overflows, remote code execution) exists; the Rosenpass application is written in the Rust programming language which is much less prone to such issues.

I think their formal analysis is only security/crypto related, at least for the time being.
Just pregenerate a large corpus of characters that is shared with everyone. Especially if you want human intervention in the creation (which is the right choice for now). Then you have potentially hundreds of characters. And you can invest in things like secrets... who wants to add lots of secrets to their NPCs now, knowing that maybe no one would ever discover them? But if they are cheap, then sure. Now any player has a real opportunity to discover something truly new in the shared world.
Isn’t python “memory safe” too?

From my experience the trickiest bit of getting python extensions to work (i.e. not segfault) is dealing with the lifetimes of the objects in the wrapped library. If python owns the object you’re golden, if it borrows a reference then things get real complicated real fast. It usually takes a lot longer to get the ownership model correct than doing the grunt work of wrapping the library — unless you own the lib and make it python friendly it’s usually a case of “do what you can with what you were given”.

Blender’s python API is full of cases where the python object can’t be trusted to be valid if you do anything with the underlying container and it is super easy to crash the whole program doing something that should Just Work™.

Wondering how rust would deal with the cross-domain model where nothing can be guaranteed once python gets its dirty little paws on the pointer?
I recently started using Tailscale funnel for the same purpose. Works well! https://tailscale.com/blog/introducing-tailscale-funnel/
I think text massages (SMS) are much more popular in US than in some other countries (obviously there are a lot of places where people still use SMS besides US).

Not sure how accurate is the data but this seems interesting:

https://www.statista.com/statistics/1263720/mobile-messaging...
The first 12 months of my startup journey
Ok. This does not happen very often, but: nice job MS!

For once, a feature added to Windows is actually a feature that people may find useful.
That was my first thought too - maybe Randall can publish an updated version based on this new data?
As much as I don't like WhatsApp for other reasons, at least it's honest in a way that you know that messages sent over WhatsApp will be sent and received using WhatsApp, and not some confusing half-backed combination of SMS and another App that you can't control.

iMessage is not the only one at fault here, Google Messages (or how they call it today) is not better. It's the first thing I disable when switching to a new phone.
The over riding premise seems to be, get feedback. Always a good reminder.

However, this can be taken too far and contributed to me leaving my last job. I was pushed for review on too many things, in my opinion. It got to the point where it was a waste of time trying to decide anything for myself. I had to invite people from multiple disciplines in the off chance a good idea would surface. Not only did it demoralize the experts, it slowed progress from weeks to months with no appreciable difference in quality. Most meetings were met with little or no feedback because the people involved had no experience in the stack. Most suggestions were to solve the problem within their own area of expertise, the web service guy would always suggest a web service, the DBA would always suggest TSQL, etc.

What I would recommend is develop the ability to recognize when more feedback would be beneficial and schedule a review or meeting for that and act like a working professional and take responsibility when things don't go perfectly. Which suggests the real root of the problem and need for getting feedback all the time...
The Necessity for a Green Revolution in 5G and Beyond
Here's a cool infographic showing all the animals, and comparing that to all the other forms of life.
https://www.visualcapitalist.com/all-the-biomass-of-earth-in...
Yep, first .facebook.com link I opened in years and my default browser zoom setting for that domain appeared to be 200%, so I immediately noticed that all the icons and logos are raster graphics (instead of vector like they're supposed to) and the quality is extra crappy due to poor resolution / excessive compression. Amazing to think that this is the "F" in FAANG.
(my answer is general and not specific to this submission)

The question is too broad to be answered, there are many different formal verification techniques (including static formal verification techniques, and also dynamic formal verification techniques which happen at runtime), and you could be formally verifying only specific properties of the system.

Now, if your formal verification technique forces you to check that each index you use is within bounds (for instance, by forcing you to write loop invariants for each loop, but that's not sufficient because you can index buffers outside a loop or with something unrelated to the loop invariant), then yes, you have proved that you will not overflow buffers.

But those pesky implementations are always imperfect and never totally proved correct, what's more they run on pesky hardware which could have flaws and which is usually not itself perfectly verified, so…

And then you have model checking, which is also a formal verification technique. You can prove that you won't overflow buffers… in the model (which is a spec). That proves that your spec is sound and that you can implement it without flaws, but it does not actually check that your implementation is correct, of course. Unless your model checking tool can also build the implementation and this feature is proved correct.

edit: it seems my model checking paragraph is more relevant than I expected, this submission is actually about model checking if it checks the protocol (and not the implementation).