skysight-inc/HackerNews huggingface dataset:
Ok, this is a very interesting and in-depth overview of the modern realities of software development.

One thing that strikes me is how this is similar to how a factory operates. While the existing tooling certainly is used for mass production, it is also regularly retooled for new requirements. These might be small changes, involving only a few minor molds or stages, or very large ones, involving complete replacement of whole sections. These operations also face the shifting sands of obsolescence and modernization, as well as changing market requirements.

It seems reasonable that all the expenditure to create the current tooling of the manufacturing plant is a capital expenditure, even tho, like software, it is never "Done", but rather in a constant state of progress and development. All of these iterative changes are likewise much akin to a form of research, albeit incredibly practical and occuring right where the rubber meets the road.

The modern picture of software development and operations you very clearly layout makes this capex framing more imperative and reasonable than before, despite not producing "done" assets. While it's certainly true that installation costs, bug fixing, and testing during production are not easily seen as capital expenses, it sounds reasonable that the other work to produce these production assets really is capex.

It also seems as if the IRS guidance already specifies this distinction, with the former category being specifically excluded from the proposed rule changes. Thank you for this very engaging and informative discussion! :)
Clubs turning people away is a feature, not a bug.

It's a moderation problem, and if you don't have the right "vibes" you don't get in.

It's arbitrary? Yes. Prone to false positives? Yes. Does it work? Also yes.

That's how clubs maintain their unique identity.
I have a theory that nothing can be proven but I can't prove it.
> Grok is being developed with data from Musk’s X, formerly Twitter, and is thus better informed on the latest developments than alternative bots with static datasets, the company’s website said https://x.ai/

It will be interesting to see some example interactions about live events. Would even loyal/heavy Twitter users think that an LLM trained on live Tweets is "better informed on the latest developments" - there's so much contradictory content.
>I'm not sure what you base your 'weakest'

Linux kernel has memory barriers, Alpha makes an exception with needing virtually all of them - with other architectures (esp. the total store order ones) some (most) of the barriers are nop.

Yet, overall Alpha is famous for how crazy the memory model is. There is nothing like any longer (personally I am happy with Java Memory Model). Just to make sure it's understood "weak" attributed to :memory model: just means how concurrent with regards to reads and writes it is.

A quote[0]:

AND THEN THERE'S THE ALPHA
--------------------------

The DEC Alpha CPU is one of the most relaxed CPUs there is. Not only that, some versions of the Alpha CPU have a split data cache, permitting them to have two semantically-related cache lines updated at separate times.
This is where the address-dependency barrier really becomes necessary as this synchronises both caches with the memory coherence system, thus making it seem like pointer changes vs new data occur in the right order.

[0]: https://www.kernel.org/doc/Documentation/memory-barriers.txt
Perfect Dark: Recompiled
Fine with me, they can be as unhealthy as possible for all I care. Little bastards deserve the worst in life.
BeagleV Catches Fire with the BeagleV-Fire
Story: Back in 2012, writing a program to extract obfuscated email addresses out of text corpuses was the homework of the first class of Stanford University's Natural Language Processing online course at Coursera. No AI or LLM involved.

[1]: https://www.classcentral.com/course/nlp-836
We started a little thing here in Western Australia that's spread across the world .. no, not a novel Australian STD, but:

https://dfn.gfo.rocks/

https://gfo.rocks/

The Global Fireball Observatory is an multi-institutional collaboration, with partner networks around the world. Our observatories take pictures of fireballs so we can recover any meteorites that might have landed on the ground.
Even though your question is a bit pointed, I think it is worth understanding what software is built upon Chez and Racket. The answers would be instructional to everyone. Here is some stuff, that I _do_ know -- there is probably a lot more usage in the wild:

Racket is used extensively in education and research relating to Scheme and programming languages in general. Lots of work on gradual typing, programming language semantics comes out of the Racket community. Many colleges around the world use Racket. Scheme/Racket is very pared down language and lends itself to this kind of work -- the principles of whatever you are studying shine through quite easily in a way that it may not if you were using C, Rust, Python etc. in the problem domain.

As noted elsewhere in the comments, Idris 2, an important dependently typed language outputs to Chez/Racket Chez. Previously it output C code which was then compiled.

See: https://en.wikipedia.org/wiki/Racket_(programming_language)#...

In general, Chez is probably a great language to use as a "base". It lends itself to embedding and is performant. Lua and some Javascript implementations come to mind as comparables. In general, we might not know much about Chez being used a lot in the wild because it could be tucked deep into various proprietary company products.
I "love" how the title makes it seem like it's the grizzlies' fault. As if they're the actors here.
Perhaps you should work on completing your incompleteness theorem.
Do you know how the model accuracy compares to GPT-4 vision?
What impresses me about it is that it just 'fire and forget'. It takes a while to run (a few weeks, in my case) but it will do its level best to get your data off the drive and to see the amount of unrecoverable space slink steadily over the days was really neat. In the end I think it recovered 99.9% or so of the drive but the directory structure was still damaged so much that whole sections of the tree were gone. But without ddrescue only a few 10's of files were visible.

If the original owner of the drive had not tried to recover the data themselves first I'm fairly sure that I would have been able to retrieve even more of it because connecting the crashed drive to a windows laptop probably caused it to try to write to the crashed drive (there is no prompt to mount a drive RO before mounting it on windows).
Already starting with 8086 all Intel x86 CPUs have been intended to be usable in SMP systems.

Nevertheless, there have been very few SMP systems using early Intel CPUs, before 80486, mainly because those CPUs were still too weak in comparison with the contemporaneous mini-computers, and not even SMP would have made them competitive in performance, while the high price of SMP would have been incompatible with personal computers.

Intel 80486 has been much more frequently used in SMP systems, not only because it had added the more convenient atomic fetch-and-add and compare-and-swap instructions, but because Intel had also provided for 80486 an APIC integrated circuit, i.e. a multi-processor interrupt controller, and also because 80486 was very fast and a SMP system using it was competitive with much more expensive computers.

Intel 8086 was intended to be used in SMP systems by using the atomic swap instruction proposed by Dijkstra, i.e. LOCK XCHG with the Intel mnemonics.

The atomic swap is good enough to implement any kind of concurrent programs, albeit at a lower performance and higher complexity than when the atomic instructions added by 80486 (LOCK XADD and LOCK CMPXCHG) and Pentium (LOCK CMPXCHG8B) are available.

The 80386 has added atomic fetch-and-modify-bit instructions, which remain useful even today in wait-for-multiple-event scenarios (together with LZCNT, which can be used to get the highest-priority event that must be serviced).
What Surprise Move from X for Idle Users?
Exclusion based on contribution is different than exclusion based on discrimination.

It's a very important difference.

If I, just some random dude, submitted a correct mathematical paper solving a millennium or Hilbert puzzle to a prestigious journal, for instance, they would publish it regardless of the fact that I'm not so and so from Princeton. They wouldn't exclude my valued contribution.

Discrimination would be me submitting the correct solution but first having to find and tack on so and so from Princeton as the author in order to even get considered.

Now I'd probably have to wrangle them a bit to convince them, but that's just credulity, not discrimination.

That's quite different than say Hattie McDaniel, a black actress, being excluded from the premiere of her movie, Gone with the Wind and unable to accept her Oscar on stage because of discrimination.

Discrimination exists regardless of contribution for reasons ultimately unrelated to the nature of the contribution
Except it makes it easier for people to mentally conflate "energy" with "electricity".
Raspberry Pi 5 review – Part 2
then maybe I am wrong! I just see those enormous SUVs all the time (probably small for americans), clogging the street and not fitting into parking spaces. With enormous, wasteful hoods. If you're family is big we have fitted in a van just fine and could also drive to our vacations.
Elon Musk's XAI Launches Grok: A Witty AI with Real-Time Data Integration
Thank you for your interest!

1. The company is Estonian and regulated by the EU GDPR. Founders and all employees are the residents of the EU.

2. Was some stupid bug during the latest merge, already fixed, thanks a lot for finding this!

3.1. If we talk about the latency of cluster API, such a board is in our backlog atm. However, GitLab runners are clients by its nature, so it's hard to say what the API latency gives you here. Could you please elaborate?

3.2. The hardware is owned by GPU Computing OU and is placed in Tallinn, Estonia. We're working on adding US region as well.
01-AI/Yi: A series of large language models trained from scratch
Assuming they had C# or .NET as a constraint. I'd wager not, they just wanted something that would work for "scripting".
Matt Levine once described this very well, although he did it when referring to Adam Neumann and WeWork. I’m paraphrasing, but there are a subset of people who are able to consistently and accurately to great success exploit a bubble in the VC world, by dint of exactly knowing what to say and of being able to get the meeting in the first place.

Lee being able to credibly sell bullshit like the quoted claim is a feature, not a bug. It’s somewhat irrelevant if he actually believes it.
No it means it can act as a host, when it would normally be a device.
Ugh, I still shudder at our weeklong SAFe planning. At least I got a couple free trips to Europe for the meetings.
That's what allows the Alpha to be multi-processor.

And if you like the 'Java Memory Model' I'm not sure what your point really is, you're comparing a virtual machine with actual hardware.
Sure, I intend to give it a shot.

I will say though, I personally get the impression that attempts at "concurrency" in JavaScript (in production code) are quite rare, which I attribute to how difficult it is.

That is to say, I don't know if there really _is_ a "default pattern".
Excuse me I don't understand where is "the problem with Tolstoi" in this sentence.
He wrote about every government and every people on the Earth - "every government tries to keep people uneducated"

It's not about tzarism in Russia and not about XIX century
Kai Fu Lee has so many terrible takes. Some things he says are borderline delusional.
Ask HN: Use AI to generate app images
As an indie dev, my biggest cost is hiring designers to create the images when I create a mobile app.

For 2d games, I need to pay to create spritesheets.

For utility apps, I need to pay to create the menu images, simple images, etc

Is there an AI tool that would allow me to do that?

I tried DALL-E 3 and midjourney, but the results are less than satisfactory. The main issue is that the consistency of images is not there.
The conclusion of this article was also written by chatgpt (or at least it feels like it).
Street cars can brake abd dodge less. That makes them much harder to bully.

Get in an accident with a bus, and the bus driver has some suspicion on him, people won't immediately blame you. Get in an accident with a tram, and you are just an idiot.
I’m a backend dev who has gone through this journey. I’ve looked at everything. I don’t want to do design, but I want it stuff to look reasonable. Six months ago I probably would have said “learn react and use ChakraUI” today I will say “learn react and use park UI components”.
I don't think you're based in Germany if that's your experience.

I linked two short documentaries in another comment, but basically:

tik tok kids don't adhere to safer drug use at all. Outfits and photos are not the worst thing. Overdoses are on a high. At the same time, looking out for each other is not something they tend to do. Especially at "illegal" raves, we have a very big problem of Gen Z not helping folks who feel unwell, leading to people dying on the floor. This is not a "the new generation is shit" argument. I despise tik tok ravers, not the gen z per se.

> There is a huge difference as well for lgbtq people at these places, the inclusivity has dramatically improved.

I don't understand where you're coming from. In Germany this was never a problem. Nobody gave a shit who you are and how you're dressed.
That one is actually pretty easy in JavaScript - in the past I've implemented the same sort of behavior using async generators.

(I also like Go's time.Ticker behavior quite a lot)
I don’t know about “of note”, but here are a couple pieces of software I’ve built with Racket:

* https://franz.defn.io/

* https://remember.defn.io/

* https://defn.io/2023/08/10/ann-franz-source-available/

HN itself runs on Racket.
If they actually let that happen, then they would be sued, wouldn’t they?

It would be fine if they charged a flat rate universally like domain names but the moment they determine trademarked names are more valuable, they open themselves up to civil suits.
Classic schooling. Never fails to fuck people up on numerous unintended ways a decade later.

Though, in terms of the title, letting go of spite, i don't see the author really talk about that. Beyond just, yeah this happened to me, and now I want to try to let go of spite.
Nope!

a) A keyboard has a little computer in it too. Fundamentally they're both computers. It's not the "computerness" that matters, it's "is this normally a peripheral?"

b) This is normally a peripheral - you connect it to a host computer to program it.
>I was looking into Unity at the start of Covid while laid off, and DOTS was "around the corner" even THAT far back!

to be fair, DOTS 1.0 did "release" in 2022 I believe. IIRC the core came out and the biggest ommision was DOTS animation. But many core parts of DOTS has been deemed "production ready" for about a year now.

>They still don't have an answer for a network stack, and now LOD is broken

broken implies that Unity had a robust LOD system to begin with. That's always been very primitive since Unity's most successful projects were mobile or 2D.

But yes, the Netcode has been in absolute shambles for years. Very confusing since that is the backbone of mobile. I'm guessing there's some popular 3d party they defer to that integrates well with Unity.
Bitcoin's smart contracting language is a Forth variant, and arguably this was a very astute and smart choice by Satoshi.

When designing a multi-party contract, the essential problem is that two people specify the terms they each want to apply to any case in which the funds must be spent, then these two sets of requirements must be merged into a single program. This is, in general, difficult to do securely. We can establish conventions that are relatively easy to follow, but it would be a lot nicer and more powerful if we could syntactically enforce that both sets of requirements are enforced in the combined program.

Concatenative languages like Forth meet this requirement nicely. If you represent the spend requirements as a program, then combining the two programs together in such a way that they both are equally enforce is as simple as literally concatenating the two programs together.

For example, suppose Alice's requirement is that Alice signs the transaction with her key, and Bob's requirement is that Bob signs with his key, and the spending transaction is after some specified time T. Expressed in bitcoin script:

Alice: <AlicePubkey> CHECKSIGVERIFY

Bob: <T> CHECKLOCKTIMEVERIFY DROP <BobPubkey> CHECKSIGVERIFY

The combined script that meets both these sets of requirements is as simple as putting Alice's script, then Bob's, unaltered:

Alice&Bob: <AlicePubkey> CHECKSIGVERIFY <T> CHECKLOCKTIMEVERIFY DROP <BobPubkey> CHECKSIGVERIFY 1

(The `1` at the end is a quirk of bitcoin that it has to finish with a non-zero value on the stack. This combined script could also be simplified in a couple of ways. Also there's a couple of ways in which this can fail in practice. Alice's script could contain OP_RETURN, for example, which causes the entire script to become unspendable. Or a mismatched IF/ELSE. A better designed and strongly typed Forth dialect would fix these issues.)

Bitcoin's Forth is not type checked, but suppose that it were. And furthermore, suppose that it had a powerful dependently typed system that captured various key signing and stack requirements at the type level. It could be used to track not just what a program does, but also the properties of a program. Alice could put a constraint in her program that says "lock time can be no later than April 2024," and this becomes part of both the input and output type requirements of her program. Then when Bob's program is specified with T=15 May 2024, then his program no longer type checks when concatenated to the end of Alice's.

No one has yet written a system like this, but it would be really powerful if it did exist. Alice writes here smart contract conditions all by lonesome self, and Bob writes his. Then they literally concatenate one program to the other, and if it type checks then Alice and Bob can be certain that both sets of conditions are satisfied.
>> I think the government should provide a basic bank account to anyone who wants one though.

Absolutely agree. Holding and transferring money should be a basic human right.
None of the people you're arguing with here have been defending exclusion based on discrimination of the kind you're objecting to, so it's then unclear why you're making this argument.

The specific comment you replied to that I replied to did not argue for the kind of discrimination you're talking about here either.

I'm absolutely sure that the kind of discrimination you're talking about is also an issue with quite a few clubs, but they are two very different issues.
But the hidden assumption here is that somehow our perceptions don’t generalise to the actual goings on in the universe, when they clearly do. Our perceptions seem extremely well correlated with reality, and even when this isn’t the case for someone psychotic, the rest of us perceive that perfectly normally. I’m agnostic and obviously can’t make any statements about where things came from or why, but I’m entirely confident that I perceive my lot in life accurately enough that I don’t need any philosophical angst about it.
I think this speaks more to the entitlement of government bureaucrats and less to a decline in open source, although the point is valid and taken. They do make another good point about the different types of open source projects, that about sums up the open source world.

Still, I don't think it's struggling at all. I build things I want to use for myself that don't already exist, or things I want to see in the world. I take donations, though I've never received any, but I have never complained about that. I'll get them when I get them, when something I want to build is compelling enough. The contributions I get are other people building things I use, or contributing to things I maintain. In fact, I have a policy of not maintaining things I build but don't use (besides pull requests), I think of it as giving a community of people who do use it a head start on their development, and if no community forms that wants it to continue to exist, oh well. I also have a policy of not adding features at user request, though I do build things to be feature complete within scope, even with features I don't personally use. My goal with everything I build is to show people what's possible and to give them a gift that can improve their lives if they want it, not to support some type of infrastructure for eternity. I'm happy with that. I'm not struggling, or chronically underfunded, or overworked, I'm just expressing my creativity and building for the sake of building. And I think there's enough of that in the world that this open source thing will continue to do just fine, so long as we take seriously the whole "no implied warranty or fitness for purpose, I don't owe you anything" ethos we put into our licenses.
They exist in most places as makerspaces. Only problem is they are quite expensive making them inaccessible to anyone but the most avid maker.

I’m not really sure what could be done about it though since the machines and floor space is inherently quite expensive. Seems like something that should be somewhat government run like libraries to promote socialising.
Order Amazon from Your Terminal
Guide to order any Amazon products from your terminal with 3 API requests
>you're comparing a virtual machine with actual hardware.

The memory model is meant for developers - and how many&different memory barriers they have to issue.
Show HN: An Australia focused tech jobs aggregator
Stand-alone garages are popular place for older men to hang out in ex-USSR towns. These garages are often refitted until they turn into man-castles.

They were built alongside commit blocks but some distance away so they represent a place of escape and socialization. Also, "garage economy" of small businesses run there is a thing.

A lot of weird videos from YouTube such as "remotely controlled Lada" or "a car on floor mops instead of tyres" were filmed in this setting.
If you want it to run on exiting the function in reverse order, something like Python's context managers would probably be necessary.

I've dabbled in that too, though I don't actually use it for anything, currently: https://github.com/Mcsavvy/contextlib/pull/1
> i don't see the author really talk about that.

The last paragraph touches on that:

> I’m now writing this in an attempt to start letting go of that spite. Just like I was during school, those teachers too were probably doing their best, and making mistakes, as we all do. Instead, I thank them for trying, I thank them for their patience. I know I derailed nearly every class and I know that many of you at least recognised the potential, and tried to get me to see what I was capable of. But the truth is, the format of traditional schooling just didn’t work for me. And I now know why. But, I found my path eventually, and continue to do so.
We have one of these locally, but it's called a community shed, to not exclude women arbitrarily. At the same time, I still think it's mostly used by men, as it's quite focused around woodworking etc.

They were one of the first businesses to use my CMS for one of their websites, so they hold a special place in my heart :)
thanks, I will fix it :)
This is kind of insulting.

Australia does not have domestic violence shelters for men (first very small opened two years ago), but there are "sheds", where you are allowed to work while healing! Even dogs get more resources!
"Compelling" evidence would be great, but SOME evidence would be nice too.

The media not reporting it is certainly not evidence, down that path lies true crazy.