skysight-inc/HackerNews huggingface dataset:
Yeah but like the GP said, the other commenter was confusing Doom with Build. What they described wasn’t a feature in the original Doom engine however it was a common trick used in original titles on the Build engine.

If I recall correctly, the only way Doom (the game) achieved dissecting planes was to have stepping stones.
The vast majority of people using languages like Coq, Isabelle, or Lean, are researchers, and those tools are designed for research (such as defining and exploring new logical systems). TLA+, on the other hand, is designed for practitioners, i.e. people who build systems for a living. That is why more papers are being written about Coq and Isabelle, but more bugs in more real-world systems are being found with TLA+. So it depends on what your job is.
I wonder if growing up in an environment with a lot of other kids might have changed your experience.
You have a very misunderstood perspective of both the rest of the world and unions.
Its okay, just continue take reap the benefits of their efforts while you vociferously argue against them.
Greetings, HN! OP here. This is a review of my experience with prompting GitHub Copilot to create full functions in Typescript. In all, I was pleased with the result with a few shortcomings. In this post, I show the full history of my prompts and Copilot's output, along with a commentary on each function it wrote.

I value and welcome your feedback! Thanks in advance.
SOM - System on a module - is that a standard of some kind? Would you be able to swap in another module with say an Arm cpu?

Mentioned in this other article covering the same machine:

https://liliputing.com/2022/07/the-first-laptop-with-a-risc-...
Location: Denver, CO, USA

Remote: preferred

Willing to relocate: no

Technologies: C/C++/Python/JavaScript/PHP/React/Three.js; 3D graphics guru (40 years experience, several famous projects); OS Team for original PlayStation; R&D for 1st Live Internet Video Service (5 years before YouTube); authored multiple complete media production pipelines (documentary, 2D animated media, feature film VFX); global technology patent author; ffmpeg contributor; extensive deep learning for computer vision experience; Finance & International Business duel major MBA, graduated 2nd in class; extensive past successful startup experience.

Resume: https://www.dropbox.com/s/g6olxpy37vh3rz1/Blake_Senftner_Res...

email: bsenftner[at]earthlink[dot]net
I don't think I know any mainstream channel that focus around dev hardware. It's almost like Apple optimised their laptops for YouTubers all they do is review their hardware!
No, that's just a small niche. Shaming barefoot people is now a national pastime. Especially in airplanes and offices.
Seems like a useful replacement for, say, nginx for running static sites in dokku or the like.
I recently published a command-line tool written in python that'll convert a YouTube video into a Podcast (anchor.fm)

https://pypi.org/project/tube-cast

Under the hood the tool uses yd-dlp to download the video and pyppeteer to publish it on the site anchor.fm as a podcast.

I could use help with documentation and testing

https://github.com/abe-101/tube-cast
Latino here I eat a lot of beans and lentejas, I had no idea they were toxic. My mom and wife boil them and serve them like that. I guess if you eat them raw, they are very dangerous?
I don't want one company to be the arbiter of all communications everywhere. Phone numbers work fine.

For me too and if there is an application that allows to block numbers, spam is not a problem.

Now I use the Google builtin caller app antispam function. Most of the spam numbers have already been marked as such by somebody else. Even if that didn't exist I could just block the number after the fact and no more calls or SMSs.

I'd rather program that myself than relying the functionality to Google, I hope Pine or some other programmable phone gets to a usable state some day. But as of now, it's good enough.

Edit: I'm in Spain, not sure if that works the same in the USA.
> The maintainer will respond with annoyance.

The maintainer is the face of the product in certain ways. We would never defend a corporate CEO responding in annoyance to their free/paid users because it's unprofessional and puts the brand in a negative spotlight. In the same way, if you're leading/promoting a project you are held to a higher standard. You can choose to ignore bad faith comments, or respond in a positive way to bring the discussion to a higher level of civility.

Yes, it's annoying to have people give bad faith criticisms. But if you want a product to succeed and you want to foster a positive community, you should always elevate the level of civil discourse. So I disagree with your sentiment that other users are moralizing here.

If I'm going to engage with a product, it gives me much higher confidence knowing that the maintainers conduct themselves in a professional manner, even when a user is unprofessional.
Not to defend the legacy of good old logging, but if you have ever tried to log in Node.js applications Python logging starts to feel godsent.
Teenagers literally have different sleep rhythms than either children or adults, so in the average case staying up late is a symptom, not a cause.
This was California.
> Which the current times do.

According to... what? The whole reason that California passed a law like this and why it's been suggested to push up the start time for high school is largely because the time that many school districts started their high schoolers at was of negative consequence to the children.

> This is totally untrue. At the district level, parents have more say in creating the rules that work for them (their local demographic!).

Are you saying that you'd have no objections if the local school district chose to start high school at a later time? I might agree with you that the state is overstepping its bounds by mandating an earliest start time, but that doesn't seem to be what you're complaining about. It seems more that you disagree that a later start time is beneficial to students (because you personally benefitted from the early start time of your high school) and that it's inconvenient to parents because they have to figure out the logistics of getting their kid to school at a later time.
I know nothing at all about the chemistry or nutritional aspects but I do cook my own dog food and know that many canine nutritionists are recommending <10% of a dog’s daily calories come from legumes because of a (still, I believe, poorly understood) link to heart issues: https://www.fda.gov/animal-veterinary/outbreaks-and-advisori...

My understanding was that initially most vets assumed it was the “grain free” thing causing a problem but then it was discovered that the heart issues have only been associated with certain grain free brands. I can’t help but wonder if it’s something to do with both the volume of lentils in the brand recipes and also how the brands are preparing their lentils.
Did you only read the first page of the article? She describes a physical condition that actually does prevent her from chopping fresh garlic:

> A repetitive strain injury led me to develop thoracic outlet syndrome. Pain shot through my forearms and into my fingers when I did simple tasks. My hands often went numb. My elbows ached and seized. Looking down at anything—a book, a cutting board—hurt my neck and shoulders and worsened the rest of my symptoms.

The article is actually interesting from a human perspective: many disabilities are invisible, or only manifest in ways that appear trivial on their own but that exacerbate feelings of inadequacy, inauthenticity, etc. She doesn't dispute the fact that fresh chopped garlic is better; she's found herself aware of a source on inadequacy that feels trivial to everyone else. I think that's a pretty relatable sentiment.
I've been an employer and an employee. It is symmetric. Employees can and do negotiate, and if you do something they don't like, they walk away. You cannot make them do anything.

If anything, it's the employee with more power.

Employees have special rights. For example, meeting payroll is the first priority of any employer. Any disruption on that and the state will hammer the employer into a pulp. Employees have all sorts of legal advantages in pressing frivolous lawsuits against employers. I've had lawyers from BigCorp tell me they just settle the frivolous ones, because it's far cheaper than going to court, especially with the court heavily biased against them. The suing employees know this, which is why they do it.

Employees can walk away at their whim. They can walk away if they don't like the cut of your jib, or because they don't want to work for a woman, or for any racist reason they feel like. An employer cannot.

Employee candidates can ask any question they like of the potential employer. Not so the other way.
Yeah, I wish this was kept up to date. I can't imagine it had a large user base, though, and I'm sure it was always a labor of love. Labors of love can die quick if there isn't interest or if someone expresses distaste in the product of the effort.
I was one of those kids. Only because taking the bus was a pain in the ass and my parents loved me enough to put up with it, at least until I could drive.

Bus was awful. Kids had no respect for the driver or other kids. Plus it easily tripled the commute time.
That's still wacky because you (or the manufacturer) boil them first. The only reason to heat fakeburger to 165 (like the manufacturers all tell you do to) is to give you the psychological feeling of cooking meat, and to cover up hygiene failures of manufacturing, transportation, or storage.
The rage is because the commenter didn't say it was optional (I guess I've never heard of "0" period). The implication was that 6am was the standard at his school.

But if anyone wants to get to school at the crack of dawn, have fun! Just don't impose that on those of us with different internal clocks.
They can be the same. Voyager looks like they have their sweep account as a brokered deposit with an FDIC insured bank. This similar to other investment firms. I think Etrade lets you have up to $1M for FDIC insurance spread across 4 banks but you have to set it otherwise it sits in a money market or equiv.

Good thing is that voyager shouldn't be able to touch money in the sweep accounts.
Blame the linker, not GCC.

Also it's pretty well known that the order of command line arguments passed to the linker is important. It is sometimes also needed to pass a library to the linker multiple times.
Yes, that statement seems perfectly reasonable to me. The proposal, depending on its design (support for pseudonymity?), has potential to solve some security problems, but could cause others.
If this[1] is what "dying" looks like, then it's not so bad.

Android still accounts for over 72% mobile OS market share, with iOS far behind in second place at a mere 27%, and everything else is trivially insignificant.

[1] https://gs.statcounter.com/os-market-share/mobile/worldwide/...
If it is such a contentious issue, then why go through all the extra time and effort to decide it for each and every district? Parents still have a voice and vote at the state level do they not?
I remember when they cut most of the busses in California. They claimed it reduced their carbon footprint.
I'm guessing this person hasn't used (ImageMagick) "convert"; AFAIK it is the program that does the most to turn a sequence of command-line arguments into an imperative scripting "language"
I'd be interested in hearing their opinions! Do you know more about their contexts? Like if they're in academia, industry, what kinds of things they're doing, etc.

(I don't think it's necessarily the case that they prefer Isabelle or Coq; it really depends on what they're trying to do. I'd be especially fascinated if they prefer, say, SPIN to TLA+, which is a much closer tool.)
I interviewed with Voyager just before the drop in stocks. It was a pretty arduous process iirc, glad I didn't make it through.
Yes, but setting aside direct ownership which is not a prerequisite for investing in any coin, how is bitcoin a better choice? It seems to me that is like saying, well you really should have invested in Exxon and you would be ok now.
Or 1m+ people if you count non Americans as people. I'm optimistic that self driving tech will be able to be repurposed to prevent accidents even if fitted to non electric non self driving vehicles. The switching to bikes etc. is a nice idea but probably won't happen in a hurry.
You can quite easily add your own logging levels - it is not hardcoded. I think it’s even covered in the documentation, as I have done it before.
I can't tell if this is unhinged xenophobia or satire.

In case of the former: the crusades, any of the millions of athiest or non-christian pacifists, and... I can't believe this needs stating, but shooting someone in the face with an assault rifle is an exercise of "might".
You don’t need to be a reactionary to see that it was very poorly written and that the implementation was even worse.
Bigger discussion happening here: https://news.ycombinator.com/item?id=31952379
USA especially but also Western Europe.
That's the main approach I've encountered. Slice, inference, filter duplicates from the results.

https://github.com/obss/sahi
i can hardly think of a worse place to learn social skills than a classroom.
all an intelligent kid really learns in public school is how to be cynical, detached and to maximally cheat the system.

oh and also how to sell drugs. public schools are great for learning that.
> Let me guess, you’ve always been a morning person?

Please don't cross into personal attack.

https://news.ycombinator.com/newsguidelines.html
I wouldn't say your UI is bad - it's certainly a reasonable MVP at this point. You could probably stick ads on it or a newsletter sign up on it for people interested in it. If I wasn't looking for UI improvements to point out, first glance would be it's pretty good, and what I'd expect - I certainly wouldn't immediately bounce - though the input boxes do need to support splitting ingredients by typing a comma - typing enter is not instinctive and even once I'd figured that out, when going again I "messed up". I listed ingredients as I'd expect to for an input box, and when I moved to the next box my input was lost.

It sounds like you need to spend time using it yourself, thinking over it's use, getting others to use it, watching them get stuck, listening to their questions. Get family or friends who have never used the app to use it while you are there and find out what they struggle with. For knowing what functionality it needs - find people who are interested in paying for that kind of product - family and friends are great for doing the app equivalent of proofreading, but unless they are in your market they may well have lots of ideas, but you'll have no idea if they're the right ideas to build.

Some confusing things about your UI (in order of me noticing them):

- "Are there any ingredients that are not available?" - this looks like it needs rewording to something like "avoid these ingredients" or "any common ingredients not available", I knew what you meant, the search will exclude recipes with those items, but it felt weird to read - there are probably 1000s of ingredients that I don't have in my kitchen, I'm not going list those. I might list things like milk if I where cooking for a lactose intolerant person in that box, or I might use that for if I where out of something common.

- on laptop screen, box around the search form has a huge gap to the right of the form inputs. I'd either make the inputs a % width of that box, or put them in two columns when wide enough

- the previously mentioned thing about inputs needing to treat , being entered as if the user had tapped space

- I'd probably expect to see filters for vegan/veggie/pescatarian / low gi etc but then maybe not - that's the kind of thing you could build if you run out of things from proper users - unfortunately I rarely cook proper meals so I'm not really in your target market I would assume.

- Shopping list feature is a feature I could use, if it where better, (though I currently use a shopping list app that I threw together myself by quickly modifying another thing I'd made previously, and it works reasonably well for me) - your icons seem too small and fiddly, and I'd want a few buttons on screen of common things - so I can tap those instead of typing them.
The implicit magic makes writing pytest tests painless.

Also with improvement of type hinting, tooling like PyCharm starts to understand pytest better and make it easier to read and manage and a lot of the magic can be dispellt by written out explicitly. Though this need some discipline from the dev team.
Getting buy-in from your own parents is a giant hurdle, because they need to dedicate a huge portion of their personal time to schooling you. That's not an easy undertaking.

I have not seen any efforts in developing materials that children, once they've decided they want to be homeschooled, can give to their parents to convince them that homeschooling is a good idea.
$10 is terrible. Reminds me, I had a Lyft driver. Took me from the airport, absolutely FLEW, tailgated an ambulance with its lights on for 2 miles, literally nearly hit two pedestrians, ran through a couple red lights just late enough after they turned that other cars were starting to enter the intersection from other sides. I was scared with my very visibly pregnant wife in the car, but it was a 15 minute drive and much of it was quick highway turns so didn’t feel comfortable telling the driver to stop.

I left my first bad review on Lyft writing a detailed account similar to above. Lyft messaged me “are you ok we take safety paramount” and the resolution was a scant “we won’t match you with this person again, $5 off your next ride.”

That was honestly worse than no response. I spend hundreds of dollars on rideshares monthly and this was a first.
> artisans

It’s “content creator” now. ;-)
The problem with those LCOS numbers is, from what I've seen, that it's a projected cost once production is scaled to a certain (high) level. Lithium ships in high volume today and benefits from scale, flow batteries don't. Manufacturers with public info like ESS are careful to qualify the price disclosures like that by saying it assumes future scaling - it's not their cost today.

For example, from the ESS ($GWH) 10-K:

> [W]e have not yet produced any iron flow batteries, Energy Warehouses or Energy Centers at volume and our expected cost advantage for the production of these products at scale, compared to conventional lithium-ion cells, will require us to achieve rates of throughput, use of electricity and consumables, yield, and rate of automation demonstrated for mature battery, battery material, and ceramic manufacturing processes, that we have not yet achieved.

If there's info to the contrary, I'd love to see it, but I'm skeptical of any current cost advantage. At the moment they seem to mostly be attractive for longer duration battery installations, like that Fort Carson 10-hour battery mentioned in the article.
I work remotely and start my day at 10am. I've done this for years and the only reason I ever got up early was to drive kids to school. As a working parent starting at 8 was a nightmare for my wife (who works similar hours) and I. We alternated so neither of us would be to sleep deprived as it's really hard to get back to sleep after driving your kids to school.

It's to late to help us.. my youngest just turned 16 and will be able to drive themself to school next year and we'll finally get decent sleep during the school year. But this would be a big boon to lots of people.
"Studies show" that kids will not stay up later. I don't have the time to really look into it but I guess I'll trust it for now. I know 100% that I wouldn't have been disciplined enough to go to sleep sooner though.

I would always pretty much get as little sleep as I could function with because at that age, video games were more important, lol. But I don't want to extrapolate my experience, I'm sure most kids will adjust... but I can see a fair amount having even worse sleeping schedules.
See also: https://news.ycombinator.com/item?id=31952379 (which interestingly has a lot more comments)
The expectation is that interest rates will be increased to reduce inflation however this increase will also be expected to cause a recession. The hope would be that this recession would be smaller than the later recession that might be expected later from the high inflation. The theory was the same in the ’70s between Carter and Reagan. This time around, some think that raising rates won’t work in the same way to curb inflation due to differing theories about its cause. Needless to say, these things are hard to predict.
I'm not really sure it's any worse than what we had before. My Ford's entertainment system (pre-Android Auto) hasn't received an update since it was about 1 year old and in the dealership for a warranty service.
For whatever it's worth, java logging has mapped diagnostic context (MDC).
Why not just "ass"?
Most astroturfing on the net is cheaper to do with low paid labor in content farms than with high paid developers. People are inclined to presume sloppy posts are automated, but similarly sloppy results happen when low paid ESL workers copy/paste content.

The pro move with political astroturfing is: don’t target the people who you want to influence, target people who are already inclined to agree with you. They’ll latch on to ideas that resonate with them and amplify your message out to a broader audience. You end up getting 50 “bots” for the price of one.
Generally speaking, this sounds incredibly dangerous to me - if the courts retroactively decide it isn't fair use - companies who have used Copilot generated code in their closed source offerings could find themselves in hot water.
> I thought find was a strong contender for Unix command with the weirdest argument handling, but I guess gcc takes the cake.

Depending on how you count, surely dd should take the cake? Otherwise, you're just including the group of commands that uses arguments as a command language, and I don't think that's actually such a small group; ffmpeg does the same thing, too.
So... are these actual people typing these, automated written messages, or have people finally started using language models for scams?
Oh boy, so the story about the ring is it’s own interesting tidbit - my whole life I was told my aunt stole the ring and “traded it for a bag of pot.” Now, my grandfather only had two children so for it to be the exact same story but with my father as the perpetrator makes for an even stranger twist in this whole story.

How did this man have such a similar story? My father lived and worked in the general area of the conman, did their paths cross at a bar? Both my aunt and father were and are substance abusing screw-ups for most of their lives so it could truly go either way!

Unfortunately, I cut ties with my father before leaving for college and so will likely never know. I accidentally found this newspaper article a few years ago while Googling around, wondering if the stolen original ever turned up for auction or something and your comment about searching for merchandise reminded me. I’ve thought about writing to the imposter and or the article’s author but I feel that would sound like a scam unto itself.
Just wanting to note that a lot of the hate is coming from gamers who complain about games being "too easy", "too dumbed down" or "too casual".

Chalking this up to modern games not having enough grinding honestly feels like exactly that kind of crab mentality itself.