skysight-inc/HackerNews huggingface dataset:
>This is a tricky problem, because your specifications can and usually does have bugs. I once measured this on a project I worked on and found that it accounted for up to ~60% of all incoming bugs - that is, 60% of bugs were due to misunderstandings or miscommunications involving a spec of some kind.

Well, OK, but the reason you have "bugs" in your specifications is usually that the English-language (or whatever you have) informal requirements documentation is imprecise, ambiguous or contradictory.

At least with a formal specification, you shouldn't have that problem.
That style has a very BeOS / OS/2 vibe.
Treasury Sanctions China-Linked Hackers for Targeting US Critical Infrastructure
This goes across generations, not limited to Gen Z alone.
“Screen time” is ruining careers and relationships.
Backend engineer with sysadmin/OS knowledge is a powerful if not necessary combo. A great backend engineer will have a working knowledge of k8s/systemd/etc and their OS kernels. They won't be afraid to look at some lower-level C source code to debug something nasty.
Uh, yeah clearly. We're looking at it.
Interesting - paid $1.15B and currently up $0.5B with 60 years to go, so the meters are generating $1.65B per 15 years, which'll be $8.25B (assuming no price increases) over the 75 years.

If you do the math, going from $1.15B to $8.25B in 75 years is only a 2.66% annual rate of return.

I wonder if the Saudi's saw this as a good investment, or a good PR deal ?
> the fintech is developing an interoperable payment infrastructure using blockchain technology — *known for its ability to scale infinitely*

WAT. Why would you write these words in this order on a website that's name start with tech?
Yes, this is true. There's no such thing as 100% redundancy or uptime in the real world without significant cost. The likelihood of that happening goes down exponentially with each successive layer of redundancy or fallback in my experience.
> just terminating a goroutine isn't safe with respect to I/O and defer chains.

Agreed. The idea is to panic() if a goroutine has to be forcibly terminated due to GC, instead of a slow leak. Requires more thought though.
Yes, of course. Someone already payed [1] for the ads that they are trying to show to you and me and with that for the content funded with those ads. If we block them, nobody loses any money, at worst some future sales will not happen. And if you decide to get a subscription in order to get rid of ads, then you are paying twice - once with the subscription and your are also still paying a fraction of the ad budget with everything you buy.

[1] Unless companies are taking out loans for their ad budget hoping to get that money and then some back through additional sales.
Indeed, why would you avoid shortest straw, if the tallest grass gets chopped first?

I think he meant "The tallest blade of grass is the first to be mowed down", but that's not during "turbulent times", it's when you are mowing your lawn. I guess that's turbulent for the grass.
haha! I did use regex to find and delete repetitive patterns of code with slight variation that would be carried out by the aforementioned function.

I wish I could write such a monstrosity though :)
Things have pretty visibly been getting pushed away from exclusivity by the console makers. MS commits to bringing all first party Xbox games to PC and Sony has ported over a lot of its most popular titles as well.
Looks good, I like the ability to make a quick dashboard too, will give it a try for sure!
>That sounds like empirical data on a subject where I have never heard of their being data

c.f.

https://userweb.cs.txstate.edu/~rp31/papers/KingHammondChapm...
Unrelated, but you reminded me of this clip from The Life of Brian:

https://www.youtube.com/watch?v=wjOfQfxmTLQ

It's funnier if you know that the ear-twisting Roman at the start was basically a caricature of many Latin teachers that were around when Latin was taught more widely in schools (such as when the Monty Python team were young).
Fantastic, but unfortunately the source code is minified: https://github.com/txstc55/ugly-avatar, making it difficult to see how it was done and learn from or contribute to the project.
Ag. The Satoshi Maneuver. I like it!
Elusive 3D printed nanoparticles could lead to new shapeshifting materials
Some spec based systems allow you to refine a high-level spec until it’s detailed enough to generate code from, where each refinement can be proved correct [1]. I doubt this is done much, but it is possible.

[1] eg https://en.m.wikipedia.org/wiki/B-Method
Deadly and non-deadly mountain lion attacks are rare, but dog attacks are not rare.
deno_bindgen exists which can be used to do this from Rust.

I have written a partial solution for C, though it is bespoke for my libclang bindings, and a very rough one for C++. Both of these require more work to really be ready-to-use tools however.

[1] libclang C binding generator: https://github.com/aapoalas/libclang_deno/blob/main/build/bu...

[2] C++ binding generator: https://github.com/aapoalas/txx
The total amount that we’ve already gifted Ukraine is absolutely relevant when we discuss sending even more.

Since we are running historic Federal deficits, every dollar we agree to send them comes at the expense of decreasing the purchasing power of Americans.

Government spending at these levels contributes to inflation and makes Americans worse off. Enough is enough.
Oh great, another tool to enable spammers that target users cannot opt-out of.

Fantastic.
You slightly dodged the question. Is it easier to write a correct specification? But I think the answer is still yes, and still because it's at a higher level of abstraction. There are more details to specify in a program, and there can be bugs in that.
> a cpu with N wip contexts

That's what "hyper-threading" is. There's enough duplicated hardware that beyond 2 hyper-threads, it seems to be more effective to add another CPU. If anybody ever built a 4-hyperthread CPU, it didn't become a major product.

It's been tried a few times in the past, back when CPUs were slow relative to memory. There was a National Semiconductor microprocessor where the state of the CPU was stored in main memory, and, by changing one register, control switched to another thread. Going way back, the CDC 6600, which was said to have 10 peripheral processors for I/O, really had only one, with ten copies of the state hardware.

Today, memory is more of a bottleneck that the CPU, so this is not a win.
Canonical Extends Ubuntu LTS Support to 12 Years for Ubuntu Pro Customers
Thanks for the feedback! The core idea is to pair two words to create a simple and understandable name. As it's a free tool, you can iterate to find a different variant. I'm looking into improving the prompts for better results in the future.
I've been bitten by off leash dogs in California. They often give chase and try to attack your legs or bike wheels causing a crash.
>Honestly, hard disk space is cheap.

Not on Apple's laptops. They also markup hundreds of dollars for +8 GB of RAM, which probably costs them 10-20 USD.
reminds me of the meme where a photo of a contemplative looking cat is captioned with, "what if i'm the pet and the human is owner!".
You are correct as is the other reply to my post. The chip in chapter 3 of the 1977 "The Bipolar Microcomputer Components Data Book" from Texas Instruments is the SBP9900 processor, not the TMS9900. I had never noticed this detail before and always had used this book as my reference for the 9900.
> the physical mechanism behind nearly all psychological disorders in isolation remains poorly understood, let alone their interaction with any particular psychedelic.

That's what I'm saying, though. There's no way to know how susceptible one is to a particular disorder in general, let alone while on psychedelics.

There is evidence of psychedelic use connecting parts of the brain that aren't normally connected, AFAIK the white matter becomes much more interconnected during a psychedelic trip.
They use it fine by using Docker. So many major Python repos on GitHub come with a Dockerfile compared to, say, NodeJS. It's unfortunate, but having dealt with Python packages before, I don't blame them.
> For a beginner trying to run someone else's Python project, it is free.

Its absolutely, by far, the highest friction alternative on Windows for anyone that doesn't use Docker for other purposes.
Chrome is the most popular browser and Apple’s largest competitor and isn’t on the first page?
They are different.

When I get a business loan from a bank, I make no promise to pay it back. I promise to pay it back with interest if the business succeeds, and we agree that it might not succeed and they might lose their principal.

When I tell my romantic partner that I won't sleep with other people, it's an absolute promise.
> “X Corp. has brought this case in order to punish CCDH for CCDH publications that criticized X Corp. — and perhaps in order to dissuade others who might wish to engage in such criticism.”

"I'm a free speech absolutist"
That's neat!

My uncle gave me a bunch of large electrical insulators from the old high-tension transmission lines heading West from Hoover Dam. They make great yard ornaments.
ML has always been considered a subfield of AI: https://en.wikipedia.org/wiki/Machine_learning#Artificial_in...

AI as a field started in 1956, while the term “machine learning” was coined in 1959, as a sub-discipline of it.
And people now who I'd guess are probably under 50 are downvoting your comment here for some reason. I'm old enough to remember sitting in the backseat of my parent's station wagon waiting in a long line of cars at the gas station. You could only gas up on even/odd days depending on the last number on your license plate. This was around 1973 IIRC.
Yeah, I pay for Windows because that way, I can trust that Microsoft will treat me right, unlike Linux, which I'm sure is infested with ads.
I understand your point and it's because I'm using GPT-3.5, as it's a free tool. However, I'll ensure to work on improving the system to meet the quality expectations.
What about all those desktop computers on 24/7 in the world?
This excerpt from the FAQ might be interesting:

> We also want to show Utrecht’s residents and visitors how much life there is underwater in the canals. The doorbell also provides information on the species and numbers of fish travelling through Utrecht’s waterways. We can use that information to improve the quality of underwater life in Utrecht.

Of course AI could do this without human intervention. They want the public to take part in this project.
12 Years of ToaruOS
Thank you for the clarification. Great extension!
What Letter-Pair Tileset Forms the Most Words?
>can be a tooling step that takes the spec as input

It's been said that a sufficiently detailed spec already has a name: a program.
X Corp will have to pay CCDH's legal fees because it was deemed that the suit was indeed brought to quash free speech.
Huh? No president in the history has targeted journalists like Obama did.

Persecution of journalists in the US is a bipartisan issue.
Any working demo for that boilerplate?
No ads… no subscription… how? I’m not complaining but this doesn’t seem sustainable.

Also the ‘about us’ page 404s
>returning the wrong HTTP status code is going to confuse a lot of search engines

How is the search engine going to find a page that doesn't exist, isn't in a sitemap, isn't linked to in any nav anchors, in order to index it?
What you’re describing is essentially an arms race in quantity. Yes, we can use tools to help sort, but those same tools can also be used to deluge the inbox and obfuscate the bad. In fact, one of the best ways to sort is by using specific journals/journal metrics as a proxy for quality. That is much, much easier (and productive) than trying to sort based on some Google scholar advanced query. For example, it's much easier for a journal to retract an article that was shown an inability to replicate than to create a search to do the same.

The tone of your comment is very techno-optimist, which is very on brand for HN. In that view, every problem is solved by technology, even those that are created by technology. I would argue there are some problems that are better solved with less technology, not more.
Thank you! I searched for her and found an interview of hers by Lenny Rachitsky and its pretty awesome.
Is it not just install and run? The alternative is installing Python, installing pip, etc.
The Netherlands has not legalised anything, cannabis is tolerated but under its laws it's illegal.
It's been observed by one television documentary that, among other things, included a dog with a collar in one of these shots (with no explanation for the context).

There's no peer-reviewed scientific research describing this phenomena. Or even any attempt at gathering any data with something resembling scientific rigor.

A simpler explanation is that these dogs and baboons are just... Living side-by-side in a garbage dump. And that the film-makers just didn't include any footage that didn't fit their narrative.
Sometimes, an app or library developer wants to target multiple Linux distributions.

For example, I want my own Python apps to work equally well on Debian oldstable (which currently provides Python 3.9) and Arch Linux (currently on 3.11). That means that I’m going to choose the lowest common version (3.9) as the language level for my app or library.

And if I program against a 3.9 language level, I absolutely *refuse* to use any other interpreter than a 3.9 one at development time. (If I used a newer one, then my linter and type checker would helpfully give me false alarms all the time, unaware of the actual language level.)

Hence, I use pyenv and poetry to get exactly the interpreter for the language level I want, and to allow pylint and mypy to be perfectly aware of the language level I’m using at development time, allowing them to give me findings that actually make sense.
Because one day We The People will pass Apple Laws which levy a 100% final point of sale sales tax on products (containing at least one universal machine) and services which reduce owner sovereignty.

If a product could conceivably do X and steps were taken in R&D to keep it from doing X (not that it wasn't implemented, but was specifically designed to prevent owners from doing X even though otherwise it could if steps weren't taken), or if the product maker does not publish protocols, formats, standards, etc, or designs those with the intent to thwart interoperability; or if the owner is prevented from changing programming code on a universal machine regardless of the product's function (phone, PC, microwave, washer, blood sugar monitor, automobile) with well-known interface hardware and communication protocols; or anything else in this spirit I have missed, will be in violation of Apple Laws and must have a 100% final point of sale sales tax levied so that philosophically highly anti-Stallman products can't compete easily against near-Stallman compliant products.

Closed source proprietary software and hardware are huge national security problems. Even if USGOV can sign an NDA to inspect source code and chip design, it's still a national security issue that you and I can't. It is a national security issue when decade-old idiot-TVs and idiot-cameras long out of software updates pwn computers and/or get turned into remote surveillance devices for digital voyeurs paying top dollar to collect private feeds into peoples' lives (don't ask).

Phew! I hate mobile keyboards!
I'm reading the very well written "Weavers, Scribes, and Kings: A New History of the Ancient Near East"[1].

I'm also reading the English translation of Johan Rundberg's "The Queen of Thieves (The Moonwind Mysteries Book 2)"[2] to my daughter who loves mysteries. It's much different from Book 1, but in a refreshing way. Most mystery series are kind of the same-but-different. Book 2 is darker in a more personal way for the protagonist.

1. https://www.amazon.com/gp/product/B0B8P5S3CV

2. https://www.amazon.com/gp/product/B0BN6NJ3SL
I think the argument is the same for files that fit in memory. This sort of thing is fairly well-trodden (if unsettled, to mix up the metaphors) ground, for yet another take there's varnish and Poul-Henning Kamp's strident writings about it.
Well before the cataclysm 12k years ago.
LSD (and other psychedelics) foster empathy, no military needs that in their fighting force, it's counter-productive for their goals...
Seems requiring IO of debugged device is directly connected to scan registers, like a FPGA.
You've done it? For how big a program?

And, for how many aspects? You can determine the absence of type problems; you can determine the absence of buffer overruns and use-after-free. Can you determine the absence of race conditions? Can you determine that it meets timing constraints with 100% certainty?

There are a huge number of different kinds of things that a specification could specify. I'm pretty sure that we can't formally verify all of them.
The original distributed configuration system from the 1980s, Sun's NIS (aka yp) was also driven by makefiles.
Small dogs can do OK in your typical suburban block. (Block as in land for single dwelling). They need walks though yes.
newbie question: in https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_pr...
What is the point of step 8/9? Couldn't a wrong password already be rejected in step 5/6?
I don't have any experience with Go but to my untrained eyes this looks very much like a general problem that I've noticed with coroutines in other languages, e.g. JavaScript or Python¹: Coroutines are so lightweight that people tend to "fire & forget" them, when in reality coroutines take up memory and can easily leak. One should keep track of them and garbage-collect them but last time I checked there wasn't a great out-of-the-box solution for that.

¹ Same thing in frameworks like RxJS, where observers in some sense take on the role of coroutines.
Good point. That said, as African countries are underserved by traditional financial infrastructure and frequently have currencies that nobody in their right mind would want, interest in blockchains is high there.
I'm largely someone who fits into #1 but I'm the end I'd like grandparents/great aunts/cousins/etc to easily visit my kids digitally, and it would be nice to just be closer to them. I'm not going to radically change my entire digital life to do so, but installing a (hopefully free) app would be nice and something I'd do in an instant.

I think it wouldn't be like >50% of Android users using it or anything, but I imagine there's a lot of people similar to me in this case.
Not Just for AI, Developing for AMD Versal AI Engines Using Simulink for 2D FFTs
try pyoxidizer
CFOs Tackle Thorny Calculus on Gen AI: What's the Return on Investment?
For the sandbox example I was thinking of desktop operating systems where things like file IO can become brokered without apps being aware of it. So the API doesn't change, but the implementation introduces IPC where previously there wasn't any. In practice it works fine.
You can (and should!) ask that question if presented with this problem. From the presentation in the article, it seemed like they were looking to see code the compiles and does the bare minimum.

From my hiring experience, it can be pretty hard to get bare minimum from candidates, so I've never looked for more beyond that, but I think some of the other people on my teams have looked for more in their interviews. I would rather hire someone who can write code that does what we agreed (or really, what I said) it should, but isn't great at thinking about robustness than someone who can think about robustness but can't write code that does what we agreed it should do. I've worked with lots of people who weren't great about robustness, and have a handle on how to get them up to speed. I've worked with a few people who couldn't code even though it was part of their job, and I don't know how to get them up to speed in a timely manner. I have helped maybe one or two people go from a non-coding job to a coding job, but it's a long process, and I shouldn't need to do it for someone who is supposed to know, so it needs to be tested for in the interview.
Figure 33's hexdump and Figure 35's binwalk output look suspicious to me. The hexdump is too sparse - lots of zero bits but no long runs of 0x00, consistent 0x00, 0x01 or 0x10 in odd-numbered positions, etc. It might be valid, or it might point to some kind of clocking or pinout issue. The binwalk output is even more suspicious - the signatures are likely all spurious. One does not expect a Flash ROM to consist solely of MySQL databases, particularly not random versions; this is likely the result of random bytes happening to match the file signature. As such, there don't seem to be any recoverable files in the dump per binwalk.
Thank you! I had not heard of this. Will check it out
As others said, it just merges the words you add, I had some high hopes as finding catchy names is a task by itself.
Same for me. It took me completely by surprise, but as soon as I stepped inside, I started to cry. I don't like it that much from the outside (though I don't mind it either and appreciate it's unique style in contrast to a lot of people that seem to hate it) but on the inside, it really is amazing. I'd visit Barcelona just for the Sagrada Familia
Show HN: EtherTale – Onchain Interactive Storytelling with AI
EtherTale is a decentralized platform that integrates AI-generated narratives with blockchain technology to enable a new form of interactive storytelling. The platform utilizes advanced language models to generate dynamic story snippets based on user votes, while the Minimal Anti-Collusion Infrastructure (MACI) ensures vote integrity and transparency.

The backend, built with Python, efficiently handles user inputs and generates AI-driven story content. The frontend, developed using React and Next.js, provides a responsive user interface for an immersive storytelling experience. WebSocket technology enables real-time collaboration between users.

EtherTale implements MACI for secure voting, deploys smart contracts on the Linea blockchain, and tests MACI contracts on the Optimism network, pushing the limits of decentralized narratives.

We invite the Hacker News community to explore EtherTale and contribute to the future of interactive storytelling, where decentralized technologies and collective creativity merge to create engaging, collaborative narratives.
previously https://news.ycombinator.com/item?id=34216316
Yes, I use GPT-3.5, and the numbers represent a score out of 10, considering how short, understandable, and reflective of the user's needs the brand name is. The variation in outputs for the same inputs is due to the AI's generative nature, producing slightly different results each time. As for specific projects like "Entendrepreneur", I'm not familiar with them directly, but it sounds like a fascinating reference!
Looks like Kasm Workspaces [1] for developers, I'll give it a try.

[1] https://kasmweb.com/
Jetzig – web framework written in Zig
Paywall removed:

https://archive.ph/vkFD0

https://www.wsj.com/articles/cfos-tackle-thorny-calculus-on-...