skysight-inc/HackerNews huggingface dataset:
This appears to be the same language that started as a custom build rule DSL for bazel (and evolving from lessons learned in blaze's Python extension), the page positions it as a much more general-purpose embedded language.

I'm all for using the right tool for the job, and I'll acknowledge the benefits of hermeticity and parallelism in many contexts. But, I also think that you need to weigh the cost of adding another language to a project. I don't imagine myself using this anywhere outside of a build system, and even then I would first try to take the declarative rules of that build system as far as I can. It's probably better than shell scripts, though, at least most of the time? May depend on your team's prior familiarity with shell and/or love of Python.

There are three implementations (Go, Rust, Java) which could be a good thing if the language doesn't change often. They would have to be kept in sync for any changes, as well as keep from drifting due to changes in the host language's semantics.

I also think that the closeness in syntax with Python can be a disadvantage, especially if users are expecting more recent Python additions like the walrus operator or pattern matching to be available.

I like to design languages, too, so these comments come from a place of love and understanding.
I think it would help if there were some more specific justification (or examples) of why this is better than something more established (e.g. Lua or MicroPython) or more distinct (e.g. pure data in configs instead of embedded code). I do like that the language attempts to remain as simple as needed.
Of course I see a difference among those. Where did I indicate anything to the contrary, or on the topic at all?

How am I supposed to take you privacy advocates seriously when you make such wild logical leaps?
Obviously it's useful in many cases; designing anything like this is an exercise in trade-offs.
You know that people can see you as you sit there sharpening your teeth.

I dont think anybody who has taken up an artistic practice, professional or otherwise, should or would spend much time basing their life decisions around an online job board.

You’re missing the point.
The problem with non-technical decision makers is that they will mostly listen to the MBAs who think like them and not the technical people. They tend to waste their time on stupid things to prop up their egos, compensating for lack of understanding of their business fundamentals and what direction to go in.
Step 2 - enjoy a cup of lukewarm bath water while you discuss the lessons from the movie
not sure if they care much about the OS any more, its all about O365 (with teams team lock in) and Azure. Note that office now saves to one drive online by default, and the remote desktop app is now called windows… pretty sure locally installed windows is going away soonish
It's delusional to think you'll win Powerball just because you bought a ticket. But that's a case where the odds of _someone_ winning are reasonably high, due to the very large sample size.

This is like if $billionaire announced that he will publicly generate a fair signed 32 bit number, and give a specific person a billion dollars if the number is exactly 1234567. It would be delusional to think that will happen, there's no world in which it will, and it won't.

People who think otherwise are ignorant of the process of jury selection, and how straightforward it is to find twelve citizens who don't want to spit directly in the face of the judicial process (and judge) and let a bloody-handed murderer off the hook because of feelz. They're unable to separate their social media fantasies from the real world.
How do you/they deal with presumably all of their peers doing the opposite?
I was also surprised by the low score of NS. I think the ranking puts too much weight on pricing.

NS is quite expensive, but the service is way better than say, DB. In my last trip from the Netherlands to Germany, officially 2:45 hours, I had a 45 minutes delay just on the German side, on both ways, at least they are consistent.
That wasn't even the one I was thinking of; sounds like this has been happening a lot.
Been a Hetzner customer for years and have considered using them for a new business project of mine. Will reconsider it partly after reading this. At least use a separate provider for backups so I can quickly recover, just in case.

Seeing it happen to a reputable project such as Kiwix [0] definitely damages my perception of Hetzner. I've read numerous complains on Reddit a few months ago but they mostly boiled down to breaching the ToS in obvious ways. Still, not giving a heads up before cancelling a service and no option to recover data is just bad business practice.

[0] (I've deployed Pi's with Kiwix in remote areas in Africa, it's an amazing project)
I don't know about case law, but when you walk into a grocery store, it certainly becomes their business!

Where's the case law and precedent that says your business is only your own, even when on a public sidewalk or in a grocery store? If you're going to make such unreasonable demands, can we start with your own claims, since you made them first?
I feel you. I now just use email in my web browser via the respective providers recommended website, aka mail.google.com, microsoft.office365.exchange.email or whatever it is they are calling it these days.
Taking anything a16z does as an example disqualifies any conversation about art.
You all can only think as a fuction of capital allocated and possibility to make money. It's ok about technology, it doesn't work about art. You just have the wrong set of tool for the discourse, but the Dunning Krueger is strong.

So disgusting.
Except he wrote in English, not Dutch :-)
Neither. There's certainly more than a little nostalgia involved, but I like retrocomputing (retro programming more than retro gaming) because it's fun. I have no age-related reactions to it.

The hardware of "back in the day" is much more accessible and enjoyable to work with than modern computers.
the last two payments I sent by cheque here in France got processed, one by the national electricity provider for about 50€ and the second by an association/company (I'm not sure) for 200€. The last cheque I received, in 2021 (my grandmother reimbursing me the gas refill I did on her car one week before she died), got processed for free by my bank.

But I don't think the chequebook I have can be used to sent money to someone outside of France. And I only have a chequebook because that's how I have to pay my electricity bill.
2008-9 was pretty bad. When I got laid off I decided it was better to take myself off the market and go back to college a few months later to finish my degree (I had 2 more years of school left) than try to fight for a job right away.

I can't pull that trick off again. But at least right now I still have a job, and don't seem to be too much at risk of losing it for the moment (work at a consulting firm and developing some highly requested features that will make a lot of money at my current client).
For .com as of Aug 2024, Verisign says they charge $10.26 wholesale, and ICAANN charges $0.18/domain for a total of $10.46/yr wholesale.

Route53's .com is $14/yr. So the three year price is $42.

Three year prices from a few registrars (there's so many pricing games the "per year" price is nonsense in most cases):

Cloudflare: $31.32 (-0.06)
GoDaddy: $46.93 (+15.55)
Namecheap: $41.24 (+9.86)
Namesilo: $51.87 (+20.49)
Porkbun: $29.61 (-1.77)
Route53: $42 (+10.46)
Spaceship: $28.98 (-2.40)

All diffs given against the $31.38/3yr wholesale price from Verisign+ICAAN.

Not sure how that qualifies as "outrageously expensive".

You can make your own trade-offs, but for something that's literally the foundation of my online identity, business, etc I'm willing to pay $3.50/yr over wholesale for a company with a reputation, support, and generally aligned incentives.

You may choose to instead tie your online identity and business to someone charging less than cost to save half the price of a big mac a year. But I will find it hard to dig up much sympathy when we all find out _how_ they're planning to make money doing that.
Argh put a spoiler cover over today's at least!
https://archive.ph/CwlqT
I believe Starlark allows side effects the first time it evaluates a file but not subsequent times. Otherwise something as simple as calling .append on a list won't work because that returns None but has an input-mutating side effect. I think it's a good choice.
The point of capitalism is that the businesses that have people who know the business and make good decisions eventually win out over the businesses that don’t.

That seems like what is happening.
Drones Favor the Motivated
Computational Care
Have there ever been any further developments and investigations along these lines?
Commercial Long Term NixOS Support
> the houses have much smaller garages

Yes, this is what I mean when I say few Europeans have the two- or three-car garages needed for a table saw to be practical.
It is the same info, you don't need to be logged in to see it (including comments) and can directly verify that it is someone with control over the domain who controls the account.

I think that sounds like a good source.
Your overall point holds that there was China's version of due process and plenty of elapsed time between her capture and subsequent execution. Therefore it was not a summary execution. Nowhere close. Moreover, to call this out is not a nitpick, it's an important factual correction of the OP.

However I would nitpick that while summary executions do include those without due process, the defining characteristic is simply speed. If the execution happened uncharacteristically fast compared to typical executions, even if all due process afford to her was followed, then she was still summarily executed.
I only recently (3 months ago) set up my new house with Lutron devices because their diva dimmers are truly the best of anything out there I’ve used - their slide dimmer control is easy to use and their lack of flicker and buzzing with leds is the best out there. Their battery powered remotes also last forever (10 years?) without needing battery changes and work very reliably.

I do have a couple of zwave dimmers for special cases (dimmer and fan in one switch), and they support zwave association. Without the hub being available, one switch can turn on another - you could have the light turn on a fan, for example, or associate a remote control to a light. Zigbee has a similar feature.
It was moderated I think, the year 2020 was added as well.
We can’t change the bureaucrats but I would expect private companies to have more common sense and customer focus to avoid these shenanigans
Click bait.

Job market has slowed? Compared to what? An anomalous time period following a once in a lifetime global event? The labor market is pretty much close to where it was pre-COVID. Many companies over-hired and then fired back to their original labor-force.
> even more ridiculous than ... writing dates with month not in the middle place

Come on, let's be fair—nothing else will ever be as ridiculous as that!
o1-pro is way smarter still
Where are they going, tho? It’s not like there’s higher pay anywhere else outside of Norway and the US, both difficult to move to.
I was thinking of the patriarchy and oppression.
Huh? Weren't you referring to things like the video decoding blocks? Those are genuinely fixed-function things, they have no aspects of programmability to them. It's why their capabilities are fixed for all time (eg, AV1 support requires a hardware change). It's like a pre-shader GPU.

It's a very useful distinction to make.
Stupified
Looks very great! I have a question regarding usecases. Given that it is restricted to be used only in rust + wasm, also with no access to "regular" side effects (e.g. for http I have to use flawless http but not reqwest), could you give some examples of who and how could benefit from Flawless?
C has many syntactic sugar and [] operator is one of them. -> is another popular one.
Routers supplied by AT&T here in the US for their fiber gigabit service do RADIUS authentication with the carrier gateway using certs built into the device. There used to be an older version of this router that had known vulnerabilities which made extracting those certs possible but they've since been patched and those certs have been invalidated.
2005 isn't retro. That's essentially yesterday. "Retro", to me anyway, measn any system from the 80s or earlier.

Now excuse me, I need to go chase some whippersnappers off of my lawn.
1. Imagine a situation where someone must run a (publicly-known) program on your behalf, and produce an output. But you don't fully trust them to compute that output correctly. This problem crops up in all sorts of applications, from blockchains to cloud computing.

2. Of course there is a simple solution to this problem. You (as a recipient of the output) could simply ask for the inputs, including any random numbers used, and re-compute the program yourself. But there are cases where this doesn't make sense:

a. If the inputs to the program are secret (for example, the computing party is running a statistical calculation on some confidential data), then this won't be possible.

b. If many, many people have to verify the output is correct, then re-running the calculation millions of times might add up to a huge amount of extra computation.

To deal with this, systems like this (zkVMs) allow you to solve problem #1 by producing a short "proof" that the program was run successfully on a virtualized processor, and that the output is the result of that computation. Anyone who has a copy of the program code can efficiently verify that proof in much less time than it would take to re-run the program. As a benefit, it's possible to keep (some of) the program inputs secret -- so the verifier just learns that the program was run on some input, but does not need to learn the raw inputs.

The challenge here is that these VM "processors" run at speeds in the KHz if you're very lucky, rather than the GHz we're used to on real processors. So in order for this to be worthwhile you need to be willing to accept a (for example) 1-million-fold slowdown in calculating speed for the person doing the proving. For applications that satisfy 2(a) and 2(b) above, this still might be worthwhile!

Currently most of the practical applications are in blockchains: in that setting you have one person making a transaction, and then the whole world (literally millions of people) need to know that the transaction was executed successfully, e.g., that it updated an account ledger correctly and didn't steal money from an unrelated account. So far zkVM proofs have fewer applications outside of that setting.
> No types

It's pretty easy to add types to Python nowadays. I'd consider it bad practice not to do so in a large project.
Show HN: Astrology advising in Human Resources process
Hi everyone!

In my company we developed the Astrological Service based on huge calculations and a little bit AI for our Human Resources department. Just look at the example of the generated report! What do you think? Now we are searching for new ideas and metrics to improving our service. Will be apprechiate for any advice or comment!
https://drive.google.com/drive/folders/1hW_0Ghu3eSnnC1iyq_Tm...
now's their chance to make dave and buster animatronics.
i'm thinking they could be a statler/waldorff style hecklers making fun of the patrons.
In the before-times (before the euro), we dutch used to write ﬂ123,45
So putting the euro symbol in front comes naturally.
1.5M-Year-Old Footprints Rewrite Human Evolution
Sadly you are in the vanishing minority of Android users who care about this. Most people just want a phone that works. So much that many people switch to iPhones because, admittedly, many things are work better in their walled garden, and the phone is "simpler" because the OS hides many details or doesn't allow you to do anything.

I used to spend lots of time trying different ROMs, figuring out SU and SELinux stuff, and fighting with SafetyNet. These days I just use stock Samsung ROM. I still have Termux on my devices but only use them occasionally when I don't have a laptop next to me and need to do some hardcore stuff. (I might even switch to iPhone someday because the password autofill experience on Android is just atrocious and infuriating while Google has done almost nothing for the past few years.)
AI infiltrates the rat world: New robot can interact socially with real lab rats
I just tried to run it and all it produces is a single line and segfault:

./maze
136789
_._._._._._._._._._._._._._._._._._._._._._._._._._._._._._ ._._._._._._._._._
Segmentation fault (core dumped)
My best answer is it depends on the language and country. E.g. Germans will write it after the number, whereas Swiss, who also officially speak German, will write it before the number. And yes, I needed to display some prices on a page recently, that had versions for Germany and Switzerland :-).
How Pour-Over Coffee Got Good
dude is creating capital and asset funds for a business that doesn't yet exist. i'm afraid we've got a clinical case of the silicon valley brain worms here folks.
i used to think that the cardboard circle underneath a frozen pizza turned into the crust when you cooked it.
Yazi: Fast terminal file manager written in Rust, based on async I/O
He said he's trying assuage his friends' concerns that artists are obsolete. Ie op agrees that artists are not obsolete.
New Gold Rush Sparks Real Estate Boom in California's Historic Mining Regions
All my online friends are on Discord, but I don't like it.

Family and IRL friends use WhatsApp.
Do you mean written down code? I think that deciding whether that's software is debatable. Other than that I can't think of anything that doesn't run on a computer that can be called software. Unless you want to be pedantic and say 'this program doesn't run on a computer, it gets compiled down into machine code. The machine code runs on a computer.'
https://massgrave.dev/, or so i have been told
We need to boycott hetzner.
What is a fossil fuel ad? I don't think I've ever seen an ad for e.g. a gas station. Car ads maybe?
Starlark (originally Skylark) is the configuration/extension language of Google's build tool Bazel.

It's a bespoke Python subset... functions but no recursion, dicts but no sets, etc.

It's also been adopted by the latest version of Buck (Meta's Bazel analog).

I use it daily.

It's an option for lightweight embeddable scripting language, with implementations in Java and Go. If you want Python familiarity, consider it as an option.
The universe is a big place, and we don't really possess the ability to find or see an Earth-like candidate as of yet. Our exoplanet searches are fairly rudimentary. For the solar system, it's very possible that at least two planets have had life and that even some moons may currently have it. Given that, it seems pretty unlikely that there isn't life elsewhere.

Given the right conditions, such as Earth, life isn't hard. It showed up almost immediately.
Google (well, YouTube) does provide that info.

https://youtube.com/watch?v=-RJbpFSFziI

Video Unavailable
This video is no longer available due to a copyright claim by Tom Evans
I think Google voice still lets you do this.
You can also run much better panels off a Pi's USB-A port:

https://www.amazon.de/gp/product/B0CSJWPXBV/ 109,99€ for a 16" 2520x1680 60Hz 100% sRGB 8-bit panel. Power via USB-C, video via USB-C or mini HDMI.
Sadly, termux now has its own issues since android 12+. It is possible to work around the limitations, when you do not have an Android Phone with MDM enabled and have no problems with turning on dev tools and start remote adb from time to time. I no longer use it because of those reasons. However, there appears to be a native terminal in android 15. Maybe this will be the game changer I waited for.
Thousands of nonconforming parts missing from Boeing factory parts jail
The errata seems like a mistake.

Makes more sense to drop the term "control character" and leave the specification of which characters are not allowed as-is.

The cat's already out of the bag on this one. Changing the characters now will create a lot of invalid JSON in the world, with more being generated all the time.
>There are three implementations (Go, Rust, Java)

There are so many people at Google just goofing around, lol. People just doing hobby stuff for $350k/year.

There is no justification to implement this custom dialect of Python for a build system that drives everyone crazy 3 times. Reminds me of when it was revealed that 400 people were working on Fuschia — a hobby OS that only shipped on a single smart home device.
"More valuable than" is exactly the mindset that likely has ruined Intel. "Stock must go up" is often a great example of Goodhart's Law in action. Markets, especially speculative markets like the stock market, are known to behave irrationally time and again. Also, it's rational to buy a growing stock, so the stock market actively punishes activities like internal restructuring, which an ailing company that Intel is has been needing for years, and was / is undergoing now.

NVidia's P/E is currently about 120, that is, the market values NVDA as 120 years of its current earnings. I'm not even certain that NVidia will last as long, or will be in an equally good shape. E.g. IBM has lasted 120 years, and it had wild fluctuations of its market position in these years; toda it's hardly comparable to what it was a century ago.

I would say that Intel is now easier to buy in a large acquisition, without using words like "valuable".
Connections is a great game to test AI. It really relies on the ambiguity and loosely connected aspects of culture and language. I am shocked at how well o1-pro does.
> And not even particularly nostalgic. I mostly remember things I had great fun with a long time ago and it's fun to read about them again.

Remembering things you had great fun with or found meaningful a long time ago is nostalgia.
You might spend that extra time improving your life or start organising with people in the workplace, and also possibly consume less and have more experiences.
Addressing the Data Storage Crisis – Communications of the ACM