skysight-inc/HackerNews huggingface dataset:
> In the old days you'd get by without even defining it at all.

GCC and Clang have a `__builtin_printf()` instead, quite useful for adhoc printf-debugging without having to include stdio.h. Under the hood it just resolves to a regular printf() or puts() stdlib call though.
> written in perl

Perl scripts are surprisingly resilient. I have seen Python modules only a handful years old turning to garbage, and unmaintained Perl modules still working fine after > 20 years.
> Has anyone ever actually found this to be true?

Yes, always.
Rrweb, web session recording and replaying based on DOM changes and events
Good question, I'd have to try. Usually I simply don't want to see subtitles, unless the audio is in a foreign language I don't speak, or if I want to quickly check a video (e.g. a tutorial) without having audio, like during a meeting.
> Even on this small subset of C it took me five minutes to get an out of memory error and a further five minutes to craft a C program with a double free that passes verification [10].

Nice work with the program. However, the only reason it verifies is we haven't yet implemented `||`, so in the parser the phrase `if (x || !y)` is being interpreted as `if (x)` (see [0] for the relevant production). This may seem like another frustrating indiction of how "extremely limited" the subset of C that Xr0 works on is, and indeed it is. But the most important point is there is no logical flaw in Xr0's design here, and no reason whatever that an error of this kind wouldn't be detected. [1] is an equivalent program that shows the logical cogency of our approach (I know it's ugly!).

> I'm doubtful Xr0 will be useful for someone without a background in formal verification.

> Most of the people interested in formally verifying their C code will already know about formal verification and absolutely don't care about whether Xr0 is written in C or not.

We aren't making Xr0 for people (self-consciously) interested in formal verification, but for C programmers interested in safety of the kind that Rust provides. And I can tell you that C programmers prefer their tools in C.

> All this combined with a website that makes great promises about how awesome Xr0 is (or rather going to be) and handwavy explanations about how easy adding the missing features will be that don't hold up to any scrutiny. Dozens of similar projects exist, few of them work at all on non-trivial C programs and all of them require herculean effort (and are thus only used for safety critical software) to correctly annotate C code (often this includes rewriting parts of the code to make the annotations simpler or unnecessary). There is no discussion at all how Xr0 is going to solve the problems that killed these projects.

Fair enough. The proof is in the pudding. Give us a few months. But understand that we have limited resources (this is an open source project and we're working on it part-time). We could either stop and make long-form arguments with full bibliographies or focus on building Xr0 into what we say it's going to be.

[0]: https://git.sr.ht/~lbnz/xr0/tree/master/item/src/ast/gram.y#...

[1]: https://pastebin.com/raw/7EpcUVzv
Web tool to streamline the process of creating responsive layouts
A simple AI copilot for people facing teams
Need to validate my idea

http://cheatsheet.to

Any opinion and suggestion would be a great help

Thanks
The clear meaning of "h only makes sense on the keyboard used by vi's author" is that it's meaningless for everyone but the vi's author. And "once you've learned enough" is self-fulfilling for any set

W is not the reverse of w in my comment once you read that it's about direction

And it makes no sense to go through the great pain of retraining when you can't explain the benefit
I was told: "I suspect that in airplane mode it would only communicate at the specific request of the system (and perhaps in spread spectrum mode), so [before baseband is activated from outside] it would not be worth measuring." What do you think?
Yep, that's something Firefox manages the right way I think (in about:config).

Each setting can be in different state:

- default value

- explicitly set to something

As such, parameters set to the default can (and should) be changed in further upgrades, explicitly changed values should be kept, unless they don't make sense anymore.
I feel your argument that people are locked in to Facebook is undermined somewhat if you quit using it in 2018 and moved to an alternative.
I haven't used it, but couldn't you serve them out via RSS and consume with Apple Podcasts, Pocketcasts, etc?
I think you're confused about the difference between [x]*4 and [x for _ in range (4)]. It's not, at any point, a difference between something being a value or reference.

The first code is equivalent to:

list_multiply([x], 4)

(the function is actually called list.__mul__, but that's an unimportant detail). The latter is a syntax sugar for:

out = []
for _ in range(4):
out.append(x)

(actually a bit more complex, but close enough).

When you understand it, the behavior is obvious in both cases.
Shazam has a feature to automatically add shazammed songs to a "My Shazam" playlist in your Spotify account if you consent to, and then you could set that playlist to be always downloaded offline. Easy peasy.
I took care, found the logic seriously flawed, explained some of the reasons above. Take care to address the substance, please
What's stopping you from starting today?
Sort of similar, I was handed business critical system to maintain on my own. I was new into the company, and new into that industry too. I was expected to handle business requests, establish good relations with users and run all meetings with them, Sort out the old backlog which was in a total mess, provide constant support, progress stories, create new stories. My manager threw me under a bus early on, we had a pre meeting catch up to decide what we'd discuss with business stakeholders. In the meeting I brought up what he mentioned and I genuinely thought he'd forgot to ask, his response "why would you think that..." Then proceeded to act shocked I brought this up and proceeded to contradict me.
If I asked my manager for anything he'd throw it back in my face.

I had 18 months of pure hell. Only after I left did I realise I was in a sort of abusive relationship. I heard later he said that my problem was I refused his help. It was a miserable experience, made worse because I pretty much always blame myself if something is wrong.
So, is it better or worse than the Etherlink 3c501 ? :-D

https://mirror.math.princeton.edu/pub/oldlinux/Linux.old/net...

IIRC it over-wrote the buffer the CPU tried to read with new packets from the network or something like that. I had it for a while in Linux and the performance really was bad. :-D
The clamor for LLMs to evolve into AGI solutions epitomizes tunnel vision at its finest.

Typical of AI all along --- a quest to build AGI without understanding or even defining what "intelligence" really means or requires.

It's modern day alchemy --- striving for a fantastical result to just "emerge" while lacking fundamental insight and understanding or any workable plan or reason for believing it is even possible.
It's nice of you to assume that Australia has what it takes to manufacture chips but all we really like to do is dig minerals out of the ground and sell them to other countries to let them capture all that value.
Only 20x? I started my career programming on a mainframe system with a 1MHz memory cycle time (think of this as it's 'clock speed') - it had 3 megabytes of memory and supported 40 timeshare users (on terminals) and batch streams. At one point we upgraded by adding 1.5Mb, it cost $1.25M

Compared to a modern CPU it was maybe 5000x slower, the early Vax systems that Unix ran on were maybe 6 times faster.

People certainly wrote smaller programs, we'd just stopped using cards and carrying more than a box around (1000) was a chore. You spent more time thinking about bugs (compiling was a lot slower, and they went in a queue, you were sharing the machine with others).

But we still got our work done, more thinking and waiting
On one hand, really nice to see the whole thing in 1000 lines of C code.

On the other hand, that malloc function low key terrifies me. :)
Study of two tribes sheds light on role of Western diet in blood pressure
In syntactic problem, this is called the PP attachment problem. Basically, should the sentence read (get into the problem) (with the GH team) or (get into (the problem with the GH team)). Turns out to be a very hard thing to do correctly.
Apple Ferret-UI: Grounded Mobile UI Understanding with Multimodal LLMs
Great article, I think this pretty much nails it from my perspective.
Biden and Kishida likely to discuss reviving Texas bullet train project
I see this in my job, so at least for me it's not a claim, it's reality.

I can only recommend everyone to learn both FE and BE programming, to avoid this situation and the overhead.
> HN doesn't pay anyone. Y Combinator is worth $20+ billion? Oh no we are all serfs.

Except HN has nothing to do with Y combinator valuation, we're just the funny monkeys in the circus on the outskirt of the city
Only for third party tags, not phone apps, though?
Global configuration for an instance:

https://github.com/searxng/searxng/blob/f1a148f53e9fbd10e95b...
https://github.com/searxng/searxng/discussions/970
> In the cloud, we have things like AWS S3, which is a very reliable distributed storage

Yes, but S3 is basically a standardized protocol at this point. There are many both open and commercial alternatives, like Cloudflare R2 (no egress). So depending on the reason for self-hosting (such as preventing lock-in), S3 might be the least important thing to actually move away from. It’s way more difficult to migrate away from eg a proprietary db, sometimes by design.
Exactly. And probably in 300-400 years from now, if Humanity is still there or it can entertain itself studying its past, they will laugh at how we permitted that.
South Korea to invest $7B in AI in bid to retain edge in chips
And it's literally impossible for [[]]*4 to be a shorthand for a list comprehension, because nothing in Python can be a shorthand for a list comprehension. Instead, it is but a method call.
These are amazing and very informative. There is an important caveat to consider: how roots actually grow depends a lot on the soil. Sand or clay, moisture and especially if and where there is compaction has a huge impact. A lot of root systems can't even penetrate heavily compacted soil, so you can imagine there is a lot of variability.
How much does the electricity cost to run the servers? How much for the maintenance of those computers running the software? How about rental fees for the space they are kept in, air conditioning, sewer, taxes? Nah… doesn't exist. It's self-imposed feudalism.
You're missing the point. Most software doesn't need to scale or solve hard data storage problems, and if it ends up having to, you can always upgrade to Postgres with minimal effort. That makes SQLite an attractive option if you won't immediately benefit from Postgres' rich features.
But then they have that annoying rule about saying a "zero" when there is a 0 for a magnitude between non-zero digits, for example 108 is one-hundred-zero-eight.
> Quietly also nationalize the debt to the public in a line item somewhere that nobody writes about. Squander resources for years. Sell back to industry claiming the salvation of capitalism.

Ah, the privatization switcheroo.

1) Have a state develop and pay for expensive and necessary assets

2) Preach that privatization is necessary because -something-something-government == inefficient.

3) Take prized assets at a bargain price. Under-invest chronically and strip valuable assets

4) Get paid again when company is re-nationalized

5) Goto 2)

To make the different steps smoother, you can add a good government-industry revolving-door policy. Nothing helps capitalism efficiency more than a bit of cronyism.
Lack of motivation to work on more technical stuff after having done the same all day at work? Mental exhaustion? Wanting to spend the remaining free time with loved ones instead?
I was on a self improvement discord server that had a large amount of teenage boys a few years back. The conversations they had about diet and fitness reminded me of horrifying conversations I heard from teenage girls over a decade ago when I was a younger teen. Stuff like boys freaking out because they ate cake on their birthday and others telling them to restrict to repair the damage. It made me suddenly very very concerned about male body image.
Governments already have the means to position your phone, all the time, whenever they wish.

They don't need google for that. It's built right into the phone network.
Not sure, but according to Elon a significant difference in this case was that they were being gagged such that they would not have been able to disclose that the takedown requests were at the behest of the Alexader Morales and had to pretend it was X terms of service.

https://x.com/CitizenFreePres/status/1777386419561828804
> Our argument is that it is the interface formality issue that really determines safety.

Frama-C also does "interface formality". Chapter 3 (i.e. the first chapter after the one telling you how to install Frama-C) of the Frama-C WP tutorial is literally called "function contracts" and explains how to use ACSL to annotate pre- and post-conditions on functions.

> The comparison to Rust is actually a whole lot more helpful than that to Frama-C.

Your approach is way more similar to Frama-C than to Rust. The difference between Rust and Frama-C is that Frama-C allows you to specify arbitrary constraints, while Rust only allows you to specify very few and specific constraints. That may feel limiting (as you have pointed out) but that's also what makes it possible to deduce whether the function actually satisfies these constraints without having to annotate every loop (which is tedious for simple loops and hard for complex ones).

> If this is so, why should it be "hard and exhausting" to be empowered with the ability to be formal at the interfaces concerning the things that influence safety?

Annotating functions can be hard if the pre- or post-conditions of that function are hard to formalize (e.g. "this function returns the first element of a loop in the given linked list or null if no loop exists"), but having to annotate interfaces isn't what makes Frama-C hard to use. Frama-C is hard to use because it is hard to get it to accept that the function actually satisfies the function contract and this is a problem you will also face.

> To point to one important difference, we're focused on securing safety, whereas Frama-C is a general purpose tool for arbitrary correctness considerations. [...] They are "this function has well-defined behaviour according to the C standard under these circumstances". That is a much more limited kind of condition to validate.

Undefined behavior is extremely pervasive in C. If one of Xr0's goals is to verify that a C program does not exhibit undefined behavior (and it has to, given that undefined behavior is anything but safe) then you'll have to verify properties such as "this addition doesn't overflow", "this value is never INT_MIN", "this value is never negative", "this value is never zero", "a is less than b", ...

There will barely be any difference between verifying that a function has "well-defined behavior under these circumstances" and full verification.
>It was the US fighting south vietnamese freedom fighters.

Hilarious how now we are calling revolutionaries who fought to merge their country with a totalitarian dictatorship "freedom" fighters.

War is peace. Freedom is slavery. Ignorance is strength.
Do you happen to have any pointers or recommendations regarding C++ for desktop applications? Especially towards state-management and user-interaction?

I am primarily doing game development and HPC; I am decently familiar with C++, but desktop UI has been a pain point for me so far. Most GUI tools I write in C++ are using ImGui, or they are written in C#.
I think this strongly depends on the application and use-case. I've worked at two businesses so far, and they target small and medium-sized companies in a tenant-style manner.

All data for one customer that is important enough to load easily fits within less than 5MB. That is of course not counting logs and such, but it's all "important" user-specific data. It's not -that- dissimilar from a small to medium-sized redux store in complexity. Lots of toggles, forms, raw text and some relations.

Of course this architecture doesn't scale to the enterprise level, or to other certain heavily data-driven applications (like imagine running the entirety of your sentry database in-browser?), but that's what architecture is -for-! Pick one that synergizes well with your use-case!
In the IOT/Home Automation device world, Zigbee and Z-Wave were competing standards.

Z-Wave was a proprietary standard and have a device certification process.

Zigbee was a open-source IEEE standard.

Both had their pros and cons but weren't interoperable.

Manufactures have agreed to create and move to a new standard "Matter"

> https://en.wikipedia.org/wiki/Matter_(standard)

I don't see why this success storey couldn't happen for the 'lost device world' or most other proprietary non-interoperable systems. (why can't i send a message from Whatsapp to Messenger)
Exactly, X userbase is going down. So less than zero sum.
This is the same dynamics we have seen before. How many national supermarket chains are there? Crossing Walmart or Amazon seem very analogous here. If anything, business in the past was more feudalistic, as people were bound to a given market and they are now able to negotiate more broadly.

All of the replies here seem to point out that monopolies are bad and tech companies tend to be monopolistic. This is obvious and we all agree. However, when asked what is the difference between a mall and Apple Store, Varoufakis did not mention a monopoly or oligopoly as the issue, he mentioned rent. Specifically he mentioned that getting a percentage of profit was the biggest issue. I think this is not a strong argument for calling it a new economic model.
The CPU was a Z80, that must have been RAM. http://www.s100computers.com/Hardware%20Folder/Vector%20Grap...
Just teaching myself Swift this week. Thanks, this is helpful!
I was fat fat and now extremely skinny Fat, it is bad.

I don't even look fat with my clothes on lol
Diffusion-RWKV: Scaling RWKV-Like Architectures for Diffusion Models
The issue is not giving you the option by making Twitter interoperable with an open protocol.

Imagine if the web was like that instead of being an open network where if you follow a few protocols you can access it through any protocol-compliant software (aka: a browser) giving you the option to self-host or pay some service to host it for you, if it was a single service operated by a Big Tech that closes off this web based on their whims, locking out competing browsers, impossible to access outside of their provided clients, etc.

It's self-imposed feudalism, Twitter created a feud, API access has been curtailed, you have to access it through their provided means.

Open protocols is what made the web as powerful as it is, the closing of parts of it is a disgrace.
https://cc.bingj.com/cache.aspx?d=5112008762264&w=DpsJkcNq1o...
> for leisure

You mean you're addicted like everyone else. Every platform has highly tuned algorithms designed by some of the smartest engineering and data science teams on the planet, to keep you coming back for more, and doom scrolling for hours on end.
Gnome terminal would also need some unicode handling improvements, its current score in `ucs-detect` rating is D-[0].

[0] https://ucs-detect.readthedocs.io/results.html
I love your tool. If you want a slightly more structured version of Gists that speaks parquet try my own tool, csvbase :). I pasted this data in as https://csvbase.com/calpaterson/opcodes-6502 and you can get parquet by adding .parquet to that (https://csvbase.com/calpaterson/opcodes-6502.parquet)

Here's datasette lite running off that file:

https://lite.datasette.io/?parquet=https%3A%2F%2Fcsvbase.com...

Really nice when webby stuff works together
Karpathy's code, teaching and contribution to the body of knowledge in this area really is admirable.

Sadly I am a generalist, but if I were a specialist, I would hope to contribute as openly and widely as Karpathy.

Not clout chasing, click-bait, "top 5 javascript frameworks of 2023!" ... just high quality output that marks a specialist.

Sorry to gush.
Fascinating to think how good GPT4 is considering this is < 1% of available YouTube data. Lots of opportunities to improve the model. Future is bright.
I learned colemak a long time ago, and progressed just like you, except I didn't try to retain qwerty speed. I figured I can look at the key legends anyways. I initially reached about 50-60 wpm but after that the speed still seems to progress slowly. Now after several years I can type about 100 wpm which I was never able to on qwerty, and I didn't do any significant practice on typing speed.
From the NY Times article:

> As long as you can get over the synthetic data event horizon, where the model is smart enough to make good synthetic data, everything will be fine,” Mr. Altman said.

This seems intuitively incorrect to me. How can you advance the capabilities of a model by using the output of a model of the same level?
> Moreover, this discussion isn't just about licensing MP3s; it's about managing common knowledge—that which is accessible to everyone, including competitors in different jurisdictions—for the creation of an industrial revolution.

Great, why don't these companies train their models on that "common knowledge" then and leave copyrighted work alone? Would be a great option wouldn't it? Solves the whole problem in one go.

Personally, I think these companies are just stealing copyrighted works, and should be sued for that. It's against the law, it's pretty simple.

And the whole China argument... Sorry but it makes no sense. They could beat us in AI by doing illegal things, so we should do the same illegal things to not let them win?

China has a lot of slave labour too. By the same reasoning, shouldn't we introduce slavery to not let them win production?
> Can't use it in telephony (obvious application for low bitrates); phone handsets and headsets don't have the power to do it in real time.

Not now but in another 5 years they will start to and in 10 years all new ones will probably have the power for this. I find it really exciting although it will consume more battery to run that; but if that is less than the radio antenna requires then it might make sense.
After dealing with the inevitable mold problems, I'm sure you'd rather step on the cold hard floor.
> you can be rewarded with engagement and attention and even the possibility of growing your own brand and following.

I'm reading this over and over trying to comprehend how we ended up in a world in which this sentence isn't satirical
Definitely jail. These low-income losers should be punished as strongly as possible, to make an example out of them. It's too bad the Bay Area can't just round up all low-income trash people who can't afford $5M+ homes and ship them off to far-away concentration camps, but until that's legal, they should do everything in their power to keep these useless people out. Whatever useless low-income jobs they were doing, these people don't belong among the people of the Bay Area. Restaurant cooks, janitors, supermarket workers, schoolteachers, firefighters, all these kinds of people are low-income trash and should be pushed out, and the Bay Area will be better off without them around.