skysight-inc/HackerNews huggingface dataset:
That's not entirely the case. It's actually a matter of risk assessment. You need to consider the "cost" of being prepared based on the risk (likelihood x consequence).

The effort/cost/maintenance of being prepared. Everyone has a different threshold.

100% agree. There's always a cost/benefit analysis in play. Nobody can truly be "prepared" for every eventuality, and even if it were possible in principle to do so, some preparations would have outlandish costs that would not weigh well compared to the likelihood of that event in question ever actually happening.

I self-identify as a "prepper" to a very mild degree. Eg, I don't spend half my monthly salary on stockpiling ammunition and food, and I don't have an underground bunker, yadda, yadda, yadda. I do keep a couple of extra boxes of ammo in the closet for firearms I own, and I do keep a (small) stash of certain dried and canned foods in my storage unit... but that's more a byproduct of that thinking that "I rent this storage unit anyway, why not keep a little bit of survival food in here just in case?" Not like I would rent a storage unit just to stockpile survival supplies.

But ya know... some people would (and do). Some people do build complex underground bunkers and stockpile thousands of rounds of ammo, etc. To each is own, I suppose. I'd like to think I take a fairly balanced approach of spending a small amount of time and money on things that could have a big return someday, or if that doesn't ever come up, can simply be taken out of storage and used normally or whatever.

At a certain point being "more prepared" is the wrong choice. For some people, in an urban environment, simply have a phone and some cash is prepared enough, and that's not necessarily wrong.

Yep, yep. I lean the way I do for various reasons despite living in an urban area. Some of it is that I grew up as a "country boy" and some of those life lessons were internalized at a young age. For me, carrying a knife, carrying a pistol, etc. are very normal, routine, expected things. Add in the fact that I do spend quite a bit of time outdoors, doing solo activities, the thought of carrying a flashlight and a ferro-rod or whatever becomes just another "cheap, lightweight, non-intrusive thing I can do that might never be required, but causes no harm or undue burden and might save my life one day."
It's basically a trope on this site for everyone to imply that everyone who doesn't have their fingers in code 8+ hours a day has a so-called "bullshit job," as if developers don't work for businesses which have to earn money, so forgive my skepticism.

And yes . . . I do code.
Exactly my point. The Segway(tm) is also a great way to avoid sitting all day, but perhaps taking a walk is even better.
Can you only apply via Twitch chat or is there some other venue where you can genuflect before his greatness?
Ask HN: Websites that works with old browsers (mid-2000's browser)?
I've done Logical Foundations and part of Programming Language Foundations, and some of the stuff in your tutorial is new to me (especially dependent types).

Your tutorial is very interesting, but in comparison to the Software Foundations series you have relatively few exercises and they're all at the end of the chapter. I found it helpful to do exercises as I went along, in many cases testing or exercising my knowledge of a new concept or Coq feature right away. So I would suggest writing more exercises and sprinkling them closer to where some of the material is introduced.

Also, some of your exercises in some chapters have a pretty steep ramp-up in difficulty, so again it might be nice to have exercises that gradually build in difficulty.

These are probably important considerations when readers are going to be working through this material entirely on their own and it might be their first exposure to Coq. (I think your tutorial says it was previously presented in-person, which has got to be a lot easier, since people can ask questions!)

Thanks for writing and sharing this material!
I think Lemmings used MODs too (or at least the music was easily converted to MOD format, because there are MODs of the soundtrack available which sound exactly the same as the in-game music) - https://www.camanis.net/lemmings/music.php. Anyway, the original soundtrackers were very much built around the Amiga sound hardware's capabilities, which was pretty good for the time - there was a custom chip that could play 4 channels of 8-bit samples where you only had to supply the memory offset, the frequency, volume etc. and then the actual playing and mixing of the channels would be done automatically. So this was of course ideal for game music, because it used very little CPU time. Later trackers were able to offer up to 8 channels by mixing 2 channels into 1 hardware channel (the first of them being OctaMED - https://en.wikipedia.org/wiki/OctaMED), but these couldn't be used in games on the original Amiga.
Follow Alice | Experienced Full Stack Software Engineer (Python + Typescript) | Remote (anywhere) | £40'000 - £60'000 | https://followalice.com

Follow Alice is looking for an experienced Full Stack software engineer to help us make adventure travel even more awesome.

We’re all about using the latest technology to make it easy and fun for travellers to plan and book their dream trips. Our trips in East Africa, Asia and South America are built and executed together with our local leaders to ensure quality and authenticity. In the past year we've witnessed significant growth and want to capitalise on the momentum.
That’s where you come in.

As an experienced Full Stack Software Engineer, you'll be at the heart of our mission. Your code will delight our users and take away the pain points that come with adventure travel and exploring exotic destinations.

Since we’re a small tech team, you’ll contribute across the entire stack, touch every aspect of the system, and work closely with non-technical colleagues.

Our stack:

- Angular
- Tailwind
- Contentful
- Django
- Postgres

https://followalice.com/full-stack-engineer

jobs (at) followalice.com
I've lived in the DC area, the Bay Area, visited NYC, and various other cities in the US. I lived in Brussels, Belgium for almost eight years, and in that time we visited many countries in Europe, including London, Edinburgh, Berlin, Paris, Rome, and Naples, among many others. I've also lived in Austin since 2006.

I wouldn't say the drivers here are the worst in the US. In my experience, that would be DC, NYC, and the Bay Area. The bigger cities seem to attract the worse drivers, and those are like bad apples that spoil the bunch. Because Dallas, Houston, and San Antonio drivers are all worse than Austin drivers.

But US drivers are not anywhere remotely as close to the bad drivers in Europe. My skills learned the hard way in Brussels stood me in good stead when we went to Paris and Rome, the two places where I've seen the worst drivers I've ever encountered.

Yes, Texas is the land that inspired the Canyonero, and other giant size SUVs. Today, I'd be terrified to drive anything that wasn't nearly the same height, even if it's not nearly as long. And yes, Austin has the worst stretch of Highway in the country, known as I-35. Anyone who has driven in Austin for any reasonable period of time knows to avoid I-35 like the plague. But MoPac and 360 aren't all that much better -- especially with all the construction that is and will continue to be happening on 360 for the next several years.

IMO, the drivers aren't the big problem here in Austin. The big problem would be the combination of the extreme temperatures (both hot and cold) and the continuing piss poor performance of ERCOT, the organization responsible for running the Texas electric grid.

There are plenty of good things to do here, except when things like SXSW comes to town. That's when you want to make sure to take your vacation and get at least 50-100 miles away. And good live music is happening all over town, not just down on the tourist-happy 6th street.
Used to be very unusual to see any videos make it to the front page. But it seems to be happening more often recently.
I love my glove80. Went from 110 WPM to about 10 the first day, practiced a few hours and got to ~60 in a day or two. After a week or two I could comfortably program with it without feeling slowed down.

I have no more pain in my left arm after a work day, and I feel like it’s easier to sit with a proper posture.
RIP Terraform.
While I'm not sure I have much sympathy for her, at the end of the day these were her choices (and she makes a pretty terrible criminal at the end of the day), it is interesting to me that she was handed a rather large 14 year sentence, despite not actually giving the illegal trade secrets and data to anyone else.
Why didn’t Yjs work? It seems like it would be perfect for that.
I think that is why it's important for development managers (team leads, tech leads and whatever else you would like to call them) to be either actively doing hands-on work or having been reasonably good developers in the past. Then they can appreciate this kind of work better.
Congratulations on your new role as a ScaleUp CTO!
Exciting times ahead with lots of learning.

I will recommend the following books.
But more than books, you will probably require real talk with other people who are experienced in their sectors related to your tech stacks.

1. "The Phoenix Project" by Gene Kim, Kevin Behr, and George Spafford
- This book provides a fictional narrative about transforming an IT department, offering valuable insights into DevOps practices and the challenges of scaling technology within an organization.

2. "Team Geek" by Ben Collins-Sussman and Jennifer Greene
- As a CTO, managing and leading your engineering team is crucial. This book focuses on building effective engineering teams, fostering collaboration, and maintaining a healthy work culture.

3. "High Output Management" by Andrew S. Grove
- A classic in management literature, this book offers timeless wisdom on organizational management and leadership, with a focus on achieving high performance and scalability.

4. "The Lean Startup" by Eric Ries
- As a ScaleUp CTO, you'll likely need to embrace innovation and growth. This book introduces the principles of lean startup methodology, helping you navigate the challenges of scaling your company.

5. "Continuous Delivery" by Jez Humble and David Farley
- Scaling your technology infrastructure while maintaining a robust and efficient development pipeline is crucial. This book delves into the principles and practices of continuous delivery and automation.

6. "Inspired: How to Create Products Customers Love" by Marty Cagan
- If your role involves product development, this book is a must-read. It provides insights into building products that resonate with customers and can scale effectively.

7. "Zero to One" by Peter Thiel
- This book offers unconventional wisdom on startups and innovation, challenging traditional thinking. It's particularly relevant if you're leading a company in a competitive market.

8. "The Innovator's Dilemma" by Clayton Christensen
- A classic in the field of innovation and disruption, this book can help you understand why successful companies often fail to adapt and how to navigate disruptive technologies.

9. "Good to Great" by Jim Collins
- Scaling a company to greatness is a common goal. This book explores the factors that distinguish great companies from good ones and offers insights into leadership and strategy.

10. "Crucial Conversations" by Al Switzler, Joseph Grenny, and Ron McMillan
- Effective communication is key for leadership success. This book teaches you how to have difficult conversations and resolve conflicts constructively, which is essential in a leadership role.

These books cover a wide range of topics, from technology management and leadership to innovation and personal development. Depending on your specific challenges and interests, you can select the ones that resonate with you the most to help you excel in your role as a ScaleUp CTO.
A little later, Unreal, Unreal Tournament, and Deus Ex all used tracker music, to enduring acclaim.
My dad lived in a Memphis, and his parents lived in Murfreesboro. I've done extensive driving in both of those areas, and the stretch of I-40 between them. My dad passed away a couple of years ago, but I haven't seen crazy drivers in TN that are as bad as the ones I've seen here in Texas.

Somewhat crazy, yes. But not as bad.
My understanding is that most of the new generation of GUI frameworks/application runtime are targeting all platforms. And there's clearly a demand for such feature set if the popularity of Electron says anything. Software businesses no longer want to specialize on specific platforms. What's more, it's provably[0] doable[1] to[2] do[3] so[4]. So, why shouldn't they?

[0]: https://avaloniaui.net/
[1]: https:/flutter.dev
[2]: https://platform.uno/
[3]: https://unity.com/
[4]: https://www.jetbrains.com/lp/compose-desktop/
I didn't read this (and i don't plan to) but;
I thought that the oldest of human history was recorded aurally in songs, ballads and epics, where the more dramatic things were the better they could be remembered. So to call the incentive to be dramatic increasing, is to selective over which time frame you are talking.
> I think a bigger issue is that Rust just isn't a good language to write a game engine or a UI in.

Here's my hot take of the day, as a Rust dev/fan/proponent who's done a few different GUI projects in the language: it's actually mostly fine, but Rust developers won't just settle for "just make it work".

There is true value in a cross-platform common wrapper of native widgets that nobody is really hitting. So many of these GUI attempts are scenarios where it feels like someone stumbled into "how do I build a GUI" and got fascinated by the problem, iterating until they hit a "good enough" point. The problem is that that level of "good enough" isn't actually good enough for a general purpose framework.

Arc/Rc the hell out of it, stop trying to get cute with the borrow checker and lifetime handling, and just make it work. 99% of applications that ship today don't need your novel approach to some virtual DOM diffing algorithm, they just need to reliably shit stuff out on a screen in a way that interacts cross-platform well enough.
The US isn't what I would call a "worker friendly" place so IMO the payout period is completely under the decision of companies yet most choose to pay ever week or ever other week while in Switzerland for example almost every company pays out monthly.

I was curious if there was some benefit for a company to pay more frequently when it appears to be more of an overhead.
Clickable:

[0]: https://avaloniaui.net/

[1]: https://flutter.dev

[2]: https://platform.uno/

[3]: https://unity.com/

[4]: https://www.jetbrains.com/lp/compose-desktop
I’ll never enjoy computing again as much as I did as a teenager with an Amiga 500, a CD ROM with CDs full of mod files and Fred Fish disks, and my trusty 8 bit sampler. Sampling and making extended mixes of favourite rave tunes from the era, recording them to tape and playing them on a Walkman to friends at school who had no idea computers could do such things!

Making 15 minute mashups of this and dancing like loons to it in the break room. Thanks, Amiga!

https://m.youtube.com/watch?v=yefUXmB9n6c

I can credit those years to a love of programming and now being a developer of audio FX plugins!
Buses are meant to take you to school. Which could even be the local college or University. They're not used for much else here in Texas.

Commuter trains exist in a couple of narrow corridors, but they have very few stops, and are meant to take you downtown.

If your office isn't downtown, then public transport isn't going to be of much help to you.
More interesting floppy content: https://youtu.be/qSehRwClXNk

Title: “How did Microsoft store 1.68 MB on Windows
95 Setup diskettes?”
That’s only the case for CmRDTs, right? AFAIK CvRDTs (which send the whole state with every request) don’t impose any constraints on message order.
You have been on HN 11 years. Since this comes up about once a week that's over 500 times you have seen it put down. I have never seen anyone say it doesn't work, because it does. Fixing what isn't broken is the curse of our age.
The track is by Lyn Collins, not James Brown.

But JB produced the track and can even be heard on the track in the section you posted! The "Yeah", the faint "Come on" and the "Ya bad" has his unmistakable voice.
All I read is: "I have been a professional carpenter for a decade and sharp knife is all I use. I use it for floors, chairs, tables, and all. If it doesn't work for you then don't use it"

Of course I can work with a tiny laptop screen and keyboard, but I choose to actually have a pleasurable experience when I work.
The jury is still out on if this study is correct or not, but for the non-drinkers out there, non alcoholic beers seem to have similar, if not more benefit: https://www.earth.com/news/lager-beer-is-beneficial-for-mens...
That sounds awfully like an analogue simulation.
Rust community seems altruistic, so perhaps they're just making the mistake of trying to fix everybody's problems instead of just focusing on the simple immediate one: making money.

I could suggest that this is why capitalism works as a tool to improve society, but perhaps that extrapolates a bit too wildly.
> Desktop apps want "Give me all your cores. Now." Mobile is all about "Please, sir, can I have some battery?" Web is all about "Back in my day all we had was one damn thread so that's all you get and you'll like it."

As a Rend3/Wgpu user, I'm very aware of that.

Web is very "you only have one thread and you will use async."
GUNHED – English dub version (1989) [video]
I asked my son, who's a keen gamer, if he had ever played RtCW, Doom or Quake. They are 'old and boring' apparently, and far too crude. He's not at all curious about trying out the 'originals'. I guess he's too young to have any nostalgia for them. I understand it though — I didn't have much interest in history at that age either.
Infamous fiasco Fyre Festival relaunches – and is already sold out
> Marx and his ideology when they were happy with the soviets, Ceausescu later when the political winds changed.

Exactly that.

If it matters, and while we're talking history of ideology, towards the latter years of the Ceausescu government real and genuine "local" Marxists had been sidelined almost completely, meanwhile there was a push for inter-war nationalism veering into what today would be called far-right.

The 6th volume of the "Military history of the Romanian people", published in 1989 under the editorship of one of Ceausescu's brothers, had details of the Romanian Army's involvement on the Eastern Front during WW2, meaning while we were on the Germans' side and fighting against the Soviets, on Soviet land. That had been considered more than taboo until then.
Thanks a ton!

We hope we can get in touch with infographics to convey what their fans want.

Breaking linguistic barriers with AI is one of the enablers that YouTubers should use often. This was our primary motive behind building AutoDubber!
Why are functional programming languages so popular in the PL community? (2018)
People sometimes ask for a cross desktop solution with gui designer, this seems one of them. And it supports Vala on Linux.
If you see Xbox or PlayStation you see dvd/blue ray player too
Do they sell eye-strain relief software too?

I need it after squinting to read the ultra-fine low contrast font on their website...
Some streaming boxes will do exactly that; both Apple’s and Amazon’s will, and perhaps others. For example, if you search for a movie or TV show on Fire TV or in the Apple TV app (on that box) it’ll show you the title and what services currently have it available. Searching for Stranger Things and House on Apple TV, for example, return links into Netflix or the Prime Video app (where I’ve been watching the latter).
It seems a little disingenuous to call something written in an obscure Haskell dialect a "high performance UDP packet parser"
You can yourself translate using our platform also, as our free tier (limited time offer) allows sufficient minutes for a infographic video.
That's genious, my nigga!
I wonder what is out there still using it?
Using Wolfram Language in Jupyter (2021)
https://confessionsoftheprofessions.com

Little did I know when I thought about starting a blog focused on people ranting about their shitty days at work, horrible bosses, and backstabbing co-workers, that it would evolve into so much more. I'd solicit people for their stories and so many wanted to tell so much about it. From the webcam model, to a woman whose boss took advantage of her and gave her an "advance paycheck" in exchange for sex, to an undercover FBI agent, etc. The stories are endless because everyone has a story to tell about something that happened at work. The evolution is the focus on jobs, careers, and the workplace.

While the blog has been very successful over its 10+ year history and will probably demand I keep it going for the rest of my life, I'd say my blog has "deprived" me the ability to have the choice to walk away and do nothing with it anymore. In other words, when I first started it, it was me writing blog posts and soliciting stories from anyone and everyone willing to send them my way or let me write it for them. Nowadays, the blog has attracted seo marketing agencies, freelancers, small companies, and an audience that reaches anywhere from 2 to 3 million a month.

So each time, when I was ready to give up, stop blogging, and let it go by the way side, I kept getting emails from people wanting me to publish on the blog for them. So ultimately, it became the people's blog... and I keep it going. I have my daily contributors, but every month, it's many new people sending in more articles to me. The fortunate thing about it is learning to value my time. I used to spend 2 or 3 hours a day on it, but this has amounted to about 5 or 6 hours split across 2-3 days on the weekends answering emails and scheduling articles.

I have only seen one other similar website pop up, got featured on the news, and then fell into the abyss, where I saw they hadn't posted in weeks, months, and then years. I've never stopped publishing since I started almost 10 years ago. Unfortunately, I've also never gotten the publicity of news, but it somehow keeps being discovered. And so... I'm married to my website for the rest of my life. And why not keep it going? Especially if there are curious eyes from all over the world.
Univalent Mathematics: Symmetry Book
Ask HN: Which books are the best to self study proof based math?
The aim is to understand books on proof based calculus, analysis, linear algebra, probability, etc.

Mathematical logic has confusing things like exchanging position of quantifiers changing meaning of entire statements, etc.

Where to learn the language of mathematics (suitable for self study) so that I can read other serious math books and topics?
If you don't like noun genders, you should check out Finnish
is there an option to emit a warning on encountering ub?
If you don't mind unsolicited advice, I think your service could easily facilitate a paid "newsletter" of recommended new authors based on some sort of user profile.
For me the first switches I bought felt mushy. You could argue I didn't do my research, but you can end in same place with this Glove, should I get the normal Reds or the Red Pros? Maybe I would like the tactility of the Browns better? Then again what is the point of having a mechanical keyboard without THONC so maybe Whites aren't that bad?

With hot-swap you can just buy a set and if you don't love it you don't need to buy a whole another keyboard.

But I do get that some people know exactly what they want, but I often need couple tries before I get what I like.