skysight-inc/HackerNews huggingface dataset:
Others have shown that your degenerate example really does optimize it all away, but I'll just say that we really do exist in a theoretical fairy dust C++ spec environment, because when we compile a piece of code we compile it against the abstract machine. This is one of those insane gotchas of programming languages - unless you're writing assembly yourself you must pass the bar set by the abstract machine and nothing else. I recommend [0], along with every link in the article, and every article on the blog.

0: https://research.swtch.com/ub
Such keyboards are good for people with wrist, shoulder, blood flow, etc. problems. But for the majority of computer users a regular keyboard is good enough - just take a short rest now and then.
He's giving a talk, it's for the lulz

If you are giving a talk on a theorem proving programing language you're gonna want to make it fun
Key UX Design Principles – How to Make Products User Friendly
> https://www.amazon.com.au/gp/product/1876492058/

>$900, oof. Archive.org has a scan: https://archive.org/details/fabrication-of-aboriginal-histor...
OpsWorks was based on a really old fork of the Chef code. I did quite a bit of Chef in my day, but it really only made sense in a physical hardware/VMware virtual instance kind of environment, where you had these "pets" that you needed to keep configured the right way.

Once you got up to the levels of AWS CAFO-style "cattle" instances, it stopped making so much sense. With autoscaling, you need your configuration to be baked into the AMI before it boots, otherwise you're going to be in a world of hurt as you try to autoscale to keep up with the load but then you spend the first thirty minutes of the instance lifetime doing all the configuration after the autoscale event.

A wise Chef once told me that "auto scaling before configuration equals a sad panda", or something to that effect.

Chef did try to come up with a software solution that would work better in an AWS Lambda/Kubernetes style environment, and I was involved with that community for a while, but I don't know what ever became of that. I probably haven't logged into those Slack channels since 2017.

IMO, there are much better tools for managing your systems on AWS. CDK FTW!
One such indispensable tool is Leostar, powerful astrology software that has gained recognition and trust among astrologers and enthusiasts alike.
Agreed, it doesn't have to be that way, but for most crimes, it's currently that way. The kinds of things that would get an individual sent to jail usually get a corporation hit with a fine.
I think a bigger issue is that Rust just isn't a good language to write a game engine or a UI in. I wrote a toy game engine in Rust and quickly learned it basically sucks. The entire reason games and UIs exist is to mutate state in weird, complex, and often circular, ways. Rust's borrow checker doesn't lend itself well to this problem.
> I don't see how it is possible to do history without stories.

History is story-telling. https://www.etymonline.com/word/story:

"connected account or narration, oral or written," c. 1200, originally "narrative of important events or celebrated persons of the past, true or presumed to be; history," from Anglo-French storie, estorie, Old French estoire "story, chronicle, history," and directly from Late Latin storia, shortened from Latin historia "history, account, tale, story.

The non-historical sense of "account of some happening or events alleged to have happened" is by late 14c., but the word was not differentiated from history until 1500s and was used at first also in most of the senses of history. In Middle English a storier was a historian (early 14c. as a surname), storial (adj.) was "historically true, dealing with history," and a book of story was a history book."

IMO, the title is bad. The complaint in the article isn’t about story-telling, isn’t even about making them (overly) dramatic, isn’t even on not mentioning facts (nobody disputes there were slaves working in those ironworks, or that a man named Cort was nearby at some time), but on adding ‘facts’ and building a story that doesn’t follow from the facts at all.
This is a fantastic point, and a huge issue that I had with TypeScript.

Libraries for TypeScript like Zod[0] allow you to define types and validate against them at runtime. For example: https://stackblitz.com/edit/typescript-pwzng4?file=index.ts

At work, we use this to validate API responses, local storage contents, or URL/router data. It solves the problem you described -- dirty data coming from outside of the type system.

This isn't a plug for Zod or TypeScript -- there are other similar libraries for TypeScript, and I would imagine other statically typed languages have something to fill this role.

[0]: https://zod.dev/
Doubt it. The post says they're switching to ESM imports, and doesn't mention npm.
I read a book called The Horse, The Wheel, and Language by David W. Anthony after watching Simon Roper videos with great interest for the last couple of years.

I can definitely recommend that if you're interested in the topic. A pretty detailed exploration of the Kurgan Hypothesis.
These types of design look awesome, keyboard should be split and it should reflect the physical difference in finger length etc, the only thing missing is one (or two?) tracking points for mouse movements without moving your hand, are there keyboards like that?
This is wonderfully creative!

However, I hate styrofoam with every cell in my body. I'm philosophically against anything that extends its useful lifetime by any amount of time. It's probably the worst thing for the environment, and it's essentially like toxic waste. When you just barely touch it, small flakes come off into the wind and they will never go away at least in our lifetime. I think we should have a world-wide ban on styrofoam in particular, even if prices go up.
Same for me. I use Google only to find local results, DDG for the rest.
Really, was it really seen as shovelware by the publisher? It was heavily promoted on PS2 booths here in Switzerland back when it came out. Katamari and EyeToy were promoted alongside each other as quirky 2000s era aesthetic titles.

Somehow I feel like the aesthetics of Satoshi Kon were of the same time and same sensibility. I would also add Studio 4°C to it. Masaaki Yuasa’s Mind Game. Genius Party. In my mind all these Japan things from that era blend together.

Kingdom Hearts was also of the same era, and also promoted the same way, but I never played that.
Would it be better to do

sparse_val = sparse[i]
return sparse_val < n && dense[sparse_val] == i

Regardless, we are treading in undefined territory, and the behaviour is not something that can be reliably be dependent upon
Yes, swarajyamag is a very non biased independent source.
Does anyone know a EU reseller?

I would like to buy one, but I would like to have the option to send it back if I don't like it.
> With hindsight I should have moved out earlier because the parents did get alot of unpaid help from me by me still living at home, which is part of that one way older generational exploitation thats normalised in society.

I see it quite the opposite way.

Sure, there is an element of exploitation by the elderly, but that's nothing compared to the exploitation involved with nuclear families. It only benefits the parasitic capitalist ruling class, who have the money to speculate on all these houses everyone "has to" have.

And did you really do unpaid work, or were you just putting in your fair share of the work involved in living in a house? Children often see chores as "unpaid work" and act like their parents are using them as slaves, and that's just ridiculous.
Is beer and wine really worth it though? For me not really. There's vices I enjoy enough to just not worry about it, but alcohol? I can do without and not be any less happy.
IMO we know too much (though obviously still too little) about PIE and not enough about non-PIE languages, and I find those much more interesting.
Is this guy a linguist, published in peer reviewed publications?

It's so easy to make up stuff regarding language, that sounds reasonable, but has nothing to do with reality.
Yes, I really liked the memory stick and UMD formats. Too bad they were made by Sony and were thus uselessly crippled for any normal purposes.

You'd really think that Sony would have figured out that every single storage medium they've ever made has been an utter failure, but Sony is gonna Sony.
Probably the biggest reasons I think they still get used today:

- Really good for breakbeat chopping as they essentially put samples front and centre with the tools to do that. If you check out renoise the first tutorials are about that, but we're talking about octamed etc here...

- I hear a lot of people on music production chat seeking that 'bitcrushed' sampling sound and while you can definitely emulate it using other stuff it's definitely not the same as the entire damn song getting bitcrushed into an 8-bit .MOD file (Or whatever it is you're playing through it - perhaps it's controlling some crisp sounding midi synths and you're good with say bitcrushed vocals and percussion) and I think that has some appeal

- they look cool

I follow a few of these artists, @deatonchrisanthony on instagram has been posting some fun videos
I always refer to Peckinpah as a breaker for this. Someone younger can watch his movies and invariably they say “oh, so is this is where that trope comes from?”
I just want a freaking vertical keyboard.

I don't understand why this is so freaking hard to find.

Kinesis had the Free Style 2 keyboard[1] that you had to go out of the way to buy a vertical stand with, and it has been my go to keyboard FOR YEARS now because I just can't find any alternatives.

I used to use the Kinesis Advantage keyboards, but they mess with my carpal tunnel. As cool as they are the plastic placement for the wrist rests still mess with you. It's awful if you have carpal tunnel. And yes, everyone is saying they help, but they're still sources of aggravation because you are wresting your wrists on the plastic and compressing them. And yes, you can get some pads, but that really doesn't change the system.

I just want some g- d- vertical keyboards. And no one makes them with good layouts.

I got this crazy battlestation vertical keyboard from Safe Type [2] and I freaking HATED it because their layout puts a bunch of keys in the middle and there's an insane F-row keyset that requires me to move my hands all over the place. It's ridiculous!

How hard is it to get a vertical keyboard with a good keyboard layout?! I'm so scared my free style 2 is going to fail and I'm going to have to go back to a world with terrible keyboards. I even e-mailed Kinesis asking if they were going to go the same route of vertical keyboards and they refuse to. I'm dying here.

At this point I would love if someone made keyboard gloves that let me put them on and wear them to type so I don't have to compress any nerves, but I doubt that will ever happen. I feel like I'm nuts.

[1] https://kinesis-ergo.com/keyboards/freestyle2-keyboard/

[2] https://www.allthingsergo.com/safetype-keyboard/
> How is this different from literally any other social interaction in your life?

I already explained this in the original comment?
Especially since the engineers are the ones who created this.
I could echo the same sentiment.

At this point i think it is rather well established; eg. "Taskmasters" in - https://en.wikipedia.org/wiki/Bullshit_Jobs
Yes, and it'd also be a whole lot better if people living overseas and supporting BJP would come back to so called Amritkaal and live here
If you have the drive, you can probably bit-bang the interface pins with a Raspberry Pi or the like. There might already be something in a dusty corner of GitHub for this, or it would be a fun little project for anyone with hobbyist-level EE skills.

[edit] This might be your ticket: https://github.com/keirf/greaseweazle/wiki (Someone just posted this in another comment)
One million Belgian employees expected to get 11.6% pay raise due to inflation
He mentions his credentials(or lack thereof) as the first thing in the video. Did you even look at the video for a second?
I hate devices that have spring loaded microSD slots that practically launch the things when you remove them. The springs have way too much tension and shoot your microSD across the room once you push it in with your nail.
Regular keyboards are why many people end up with wrist/hand/shoulder/etc. pain. Perhaps going as "extreme" as something like Glove80 is unnecessary for most, but I wouldn't recommend a regular keyboard to anyone that types at least a few hours a day.
SEEKING WORK | Location: Bangalore, India (Working in multiple Time-Zone-US/UK/AUS/NZ and EUR)
Remote: Yes

Focus Areas:
FinTech:- Financial Services Product Development, Payment SDKs, B2B SaaS (USA, Europe, India)

AI & ML:- LLM, OpenAI, GPT4 All (Working with 4 clients in LLM based Agents)

SportsTech:- Sports Product Development (USA, Australia)

LegalTech:- Document Assembling, DocumentAI (Blockchain)

Real-time Engagement with Audio and video, Streaming

Technologies: NextJS, NestJS, NodeJs, Angular 14, TypeScript, Redux, NoSQL, ReactJS, Tailwind CSS, Shopify, AWS, Serverless, Kubernetes, iOS, Java, React Native, Flutter, Full-stack

Availability: We are a product consulting & development studio. Due to budget cuts, 2 of our large customers have paused their engagements. We do have more bandwidth in the coming months. We also provide fractional engineers for services.

In the last engagement, we managed the front end (Storybook + React) & back end (Serverless). We follow a ticket-based branch strategy & have written unit test cases (TDD) as well.

Schedule a Chat: https://calendly.com/mobilefirst-intro
Email: rupal.mobilefirst@gmail.com
Ask HN: What books would you recommend to newly appointed ScaleUp CTO?
I’m young, lacking experience on the role. Previously, I was a DevOps engineer at the company (first 15-ish employee). Looking to take on the challenge and read inspiring and useful books.
https://www.zsa.io/moonlander/platform/
It would be better to have the original title, not one bashing Gnome, so "Extensions in GNOME 45".

Of course, switching to ESM modules is a thing to do and nobody objects against that.
That's your choice, but it's not for everyone. And though addiction is a concern for some people, it's not something everyone who consumes alcohol has to worry about.

No one should pressure you into having alcohol if it's not your choice, but it brings joy to other people's lives in moderation like many other things. If you ate BBQ or heavy desserts every day you'd probably die young in the hospital, too, but that doesn't make them something for everyone to totally avoid always. Many things technically take time off our lives, but are also the small joys which make life worth living in the first place. Balance is key.
A case study: The story goes that Snapchat intentionally made their UI hard to use as a way of filtering out adults. An influx of adults would’ve made their app a lot less “cool” in the eyes of their target audience (teens)

HN’s UI definitely feels to me like it serves a similar purpose, whether intentional or not :)
Why aren't the Nvidia Linux drivers open source? (2021)
I'd like to reverse the whole question: why do mobile browsers force every website change their layout/fonts/etc instead of just rendering sites so that they would be readable by default?

(also I don't understand why people read webpages with their mobile phones... if you're in your home/office you have a computer, if you're outside how about you enjoy looking at something else than the internet?)
Robert Ludlum's "The Prometheus Deception" has so many plot twists...my favorite of his.

Also Le Carre's "The Russia House" is my favorite, and has such great prose. More of a love story maybe, but the subtexts are really a thing of beauty in that work.
No, they couldn't. It wasn't trademarked in Italy.
> The common theme among all of their situations was that they moved into social circles with a lot of drug users.

Or maybe they moved into those social circles because they had a developing drug problem. The reasons why people use drugs is very complex. I used a lot of drugs when I was younger (< 18), and I lost many friends to drugs. Not that my experience translates particularly well to adult drug use, but there were definitely some common themes to why teenagers I knew started using drugs:

1. They were sociopaths. This was a big category of users. They just didn't care and wanted to do whatever felt good.

2. Endured some type of abuse at home.

3. This isn't a reason, but rather a correlation, but many drug users I knew came from divorced households, myself included.

There were other reasons, but those were the three broad categories I noticed.
I think most folks would disagree that the other commenter is on the "extreme" end of the privacy spectrum. It's very context specific. Some ISPs are state specific or even town specific.

I agree with my sibling comments, your evasiveness isn't helping us make up our own opinions on this matter.
I had severe problems with RSI many years ago, to the point where I thought I had to give up programming alltogether. I also got an ergonomic keyboard, which helped, and an argonomic pen-like mouse. However, I would say that even more important in getting rid of my problems was the use of a break program. It reminds me to take regular breaks, and prompts me to to stretches throuhgout the day. The combination of these things meant that I recovered completely from my problems.

More info here: https://henrikwarne.com/2012/02/18/how-i-beat-rsi/
> Every game has its bad apples, though. I doubt you get that ratio playing chess or trading card games.

Chess and trading card games are notorious for having participants who have absolutely horrible social interaction skills.

My experiences playing bridge were always way superior on a social interaction scale.
Isn't all commercial beer pasteurized?
Was Marx anything like Ceausescu?
Druze
Trunk keys used to be different, no inside button. Glove compartment key. Valet key.

Some cars had different door and ignition keys.
nb 'modern' here meaning 15th century
Loved making S3M mods in the early 90’s, fun and educational for a kid interested in making music.
I think one of the issues is that the key wells need to hand soldered, which increases the cost per unit.

You can find well-priced Glove80s sometimes. I was particularly lucky and found one for 150 Euro. But for the other, the 360 Euro was well spent!

At any rate, people spend thousands on a MacBook, but for a product that probably lasts longer and might save your job long-term, we suddenly practice extreme austerity. When I had my brush with wrist pain, I realized that the money spent on a good keyboard, chair, and desk is nothing compared to the income lost if I can’t work until I’m retiring.
I think it’s mainly because of the myriad of rules and laws surrounding budgeting. Like, we’re using BC365 right, but we’re also paying a 3rd party consultant to build some custom APIs into BC365 for us because the laws needed to “manage” Danish companies require more features than BC365 provides. SAP would be able to handle some of those better, but SAP is sort of this thing that takes over the way you do ERP. And it’s still not really build to handle our use case of managing many companies in many different countries.

There is also the issue of how you’d likely want payment systems to integrate with your ERP system in the year 2023. But payment systems are two separate things, one deals with banking and managing bank accounts and one deals with the transfer of payments. You’d think they should all be just one system, I do, but the rules and laws are so complex that they are 3 because you can have an entire enterprise sized company specialise in just one of those areas due to the complexity of the laws. I’ll give you one example, in Italy every “bill” (sorry I don’t know the English word for faktura”) has to pass through a national registry. This is mafia prevention, and frankly a rather good idea. It also means that a budget system in Italy needs functionality to handle the flow of obtaining SDI approval (the Italian thing). And that’s just one small tip of the iceberg of complexity you’re dealing with.

Automation is a whole other topic. That is probably ripe for disruption, but it’s already been sort of disrupted by Robot Process Automation. Which again has its own sets or issues, because some of the actions that you would like to automate can’t be. I forget which EU country made it illegal to approve payments automatically, but ideally you’d like automation on the outgoing payments of the transactions you’ve already got approved on your books. But then you can in most countries and not in others because of the law. Sometimes there is also the need for physical two-factor verification to log into things. In Denmark your systems can’t log into company bank accounts unless you build a robot to press a button and read a number on a little IOT device.
> When renting, it is just the rent. When owning, it is certainly not free: you're paying other irrecoverable costs (e.g. out of PITI+HOA[...]

What is too often overlooked is that the rent also includes all those PITI+HOA+maintenance costs, plus a slice of profit for the landlord. If you own it you still pay the same PITI+HOA(hopefully not)+maintenance, but you cut out the middleman which saves you some money.

The ease of moving is a factor, but not always easier. If you can have a month-to-month rent then yes, it's certainly easier. In many places though, you're locked into a year lease. Most of time as a renter my leases were year-to-year. Which made moving difficult unless I could time it perfectly to coincide with the yearly lease renewal.
Irrelevant, because we're not seeking to replace such a staple in the first place, as was already previously stated.
The definition of capitalism used by 99% of people is one that includes copyright.
I think Rust is a great language to write a concurrent stable ECS in, which doesn’t need circular data structures at all. Like bevy.
I've played in 2 Diplomacy tournaments. won my first. lost my second. for the 1st, I had been playing regularly prior and had prepared well in advance. for the 2nd, I had zero prep, hadng played in 10+ years, and was a walk-on replacement for another player who was a no-show.

I can rightly say I am a Diplomacy tournament champion.

here's my problem. The 1st, that I won, was during The Digital Dark Age. around 1990

The 2nd, the no-prep walk-on that I lost, was like 15 years later. When everything was getting put on the web somehow, Google-able and archived etc

my Diplomacy record therefore is Heisenbergian. I am a champion... except if you Google to confirm it. in which case you'll see that I lost

both things are true. paradox FUN caused by the Digital Dark Age
A lot of people have half-joked that startups are essentially a convoluted method to funnel VC cash to SF landlords...
If you’re willing to buy/be given/dumpster dive some e-waste, there are endless old-but-not-vintage PC motherboards that can be had for minimal money (like, $10-20 with CPU and RAM) that will still accept a 5.25” floppy drive and will still run a modern Windows or Linux for ease of transfer. Think Core 2 era. I have a HP Z400 workstation from ~2010 that will take a floppy drive. Beware though because some machines will be BIOS/chipset limited to only accept 3.5” 1.4MB drives. I think my HP is one of those.

EDIT: actually, no, I just looked it up — the Z400 will take a 1.2MB 5.25” drive. It will not take DD drives of any kind.
He didn't point out but the music videos that he showed at the very beginning were also probably made on the Amiga using VideoToaster

Here's a promo video from the time that also uses tracker made background music bringing it full circle https://m.youtube.com/watch?v=fH3keLuj9OI

It's kind of a shame how commodore disappeared. A humble 1980s home computer made all that