skysight-inc/HackerNews huggingface dataset:
Computercraft Corporation | Product Manager | Remote (US) but hybrid preferred | Full time

Become part of a team developing preeminent, open-source tools and technologies used worldwide to contribute to scientific research and discovery, facilitate the work of clinicians, and improve human health.

Computercraft is looking to grow our team of Product Managers to drive the development of cutting-edge, public-facing products at the National Center for Biotechnology Information, part of the National Library of Medicine at the National Institutes of Health (NIH). The Product Managers will work at the center of decision-makers, users, and a cross-functional team of scientists and programmers, driving the creation of prominent technology products.

Headquartered in Washington, DC, Computercraft is an American Indian and Woman-owned small business that provides technical, scientific, and management support services to advance biomedical research and human health. NCBI provides free access to petabytes of biomedical and genomic information, and scientists all over the world use its products. NCBI has one of the top 400 most visited websites worldwide, and its wide range of applications serve more users and more data than nearly any other U.S. Government agency.

Careers page: https://computercraft-usa.com/careers

Apply: https://computercraft.applytojob.com/apply/fz5bWbWof0/Produc...

Email me: ehayes at computercraft-usa dot com
The Conservative Black Nationalism of Clarence Thomas (2019)
It’s also a great pain cream for topical use. As well as vapour, or edibles/drinks.
Do you also work on pure Ada projects, for various clients?
Not trying to start a flamewar. I found this interview interesting and surprising. For example I would never have imagined Clarence Thomas as a follower of Malcolm X.

Robin is on the left, as is the publication, but they're trying to understand Thomas rather than condemn him.
Does this affect private schools or home schooling?
To me it seems that people who take "I like it this way" and extend it in their minds to include "…and if you disagree you're wrong!" when no such intent is likely are just actively looking for any excuse for an argument. Those people aren't worth engaging with further in my opinion. Just wasted energy/effort, and unwanted/unnecessary stress.
Seems like their sports cars are alright. I enjoy my Z31 project car.
I'd say group projects and class group activities with a goal are far more important forms of socialization than free time socialization.
They're both good to know - PlusCal for concurrent programs with more sequential if/then/else/while/for-type logic, and TLA+ for more event-driven systems that receive inputs and react with few sequential steps. Lamport has published lots of resources on TLA+ itself. I learned from Specifying Systems. I've also seen the video course and it's pretty good.
41 years old with a family. Can't move.
If I only I could convince my friends to play EU4.
I'm not complaining, but rather explaining why there is so much controversy with every other title.

People have expectations when companies announce a sequel to something they have already invested in before. That's where the most bait and switch takes place. Companies use the nostalgia as marketing and then blame their core audience, that has contributed to growth of the franchise since the beginning, when it doesn't do as well.

I don't think I've seen a new IP get this criticism. It's usually previously established IPs, and sometimes they're old IP's from decades ago being resurrected because of their initial success, yet they change it up as if that initial success never mattered.
Several people I know with a formal methods and distributed systems background aren't that impressed with TLA+. I'm not exactly sure why or what else they prefer (Isabel? Coq?). Anyone with a formal methods background care to comment?
An important habit when using testers: test the tester first on a known live wire. You don't want to find out the hard way if your tester has stopped working.
My CIA handler told me that I have to respond to every response, no matter how inane (kinda like yours).

I really hate it, but I don't want to go back to Gitmo.
That's not how how transformers work. They just babble loosely related content. They have no logical model.
Why would you run redbean in docker? I thought Docker was mostly for mitigating dependency issues, which redbean doesn't have.
On the other hand, I want a Tesla with a sweet app and sweet cruise control.
I still can't believe the price they quoted us for it. Sometimes it makes no sense to haggle.
This is why I have an initial distrust for home schooling parents. Most of the home schooling parents I've personally encountered were members of various manipulative cults. They home-schooled their children because they wanted to control their child's world view as much as possible - make sure they never heard about scientific studies that would challenge their unfounded beliefs or encountered people who believed differently.

If you actually believe that your values and world view are correct, then you shouldn't be worried about your child encountering other world views. As long as you teach your child to think for themself, they should ultimately recognize your values are better.

Personally, I want my child to think I'm a terrible person, because I want them to be better than me. Our ancestors made loads of mistakes, and I want my children to recognize mine.
Rise of the dinosaurs traced back to their adaptation to cold
One of many interesting articles from a time when "clickbait" had not been invented (although the title is itself somewhat attractive.) I can certainly imagine what it would look like if this article were written today.

Last Updated: 2G August 1994

For a second I thought that was a 6, but it's actually a G. I wonder if there's any significance to that?
Musings on Zero-Copy TCP
The problem is all of their games are greedy time sucks. You can't play more than one at a time because they all want to be front and center constantly. So all of of their games have to compete with one another, and nothing is going to beat Pokemon anytime soon. The IP just fit their existing game mold too nicely. It was a lightning in a bottle moment.

Plus, the gameplay loop is rather grindy and honestly not that much fun. Were it not for Pokemon only a handful of nerds would even know about the company.
Generalizing a bit, but the east coast in the summer is often very hot, humid, and buggy. The east coast fall is often less humid and more temperate (more pleasant to be outside).

The west coast summer can be hot, but is rarely humid.

Middle of the country varies too much to really generalize imo.
Many folks are talking about bus schedules, but California hardly offers transporation in most districts. Only 9% of children take a bus to school [1] and that's been trending down for decades. Pay more, get less; sad state of affairs.

[1] https://www.latimes.com/california/story/2022-02-03/californ...
If this is such a contentious issue, then why not allow the parents in each district to decide? That's really what I'm getting at - the state is making this decision for everyone by usurping the parents representation at the district level.
> DOS is old code

Not necessarily! http://freedos.org/
I fully understand that some people are seemingly genetically predisposed to get up later, and in puberty this effect is exacerbated (puberty seems to cause people's circadian rhythm to make them stay up later). I'm probably one of them, looking at my sleeping habits.

So while this will obviously have a positive effect on 'night owls', may it have a negative effect on 'early birds'?
You're sounding a lot like a right proper cook. All the great tricks granny taught…
This is the web I really miss!
Depends on the school district. Growing up my district did it younger->older, my partner’s did it the reverse. I think it’s considered my progressive to do older kids later since they tend to go to bed later.
These are high school students they are going to be living on their own soon. I think being able to feed themselves is a skill they should probably develop.
Wow $10 is worse than nothing
If it was a malicious attempt to chill speech, why is it one letter sent to some rando on Twitter? Unless we see more people coming forward with the same experience, I’m more inclined to presume that this is more simply just a isolated instance of a whacky person posting whacky shit.
the chronic lack of sleep in highschool probably set back my intellectual development a decade. These days I genenrally sleep from midnight to 10am and that seems to be what I need to perform in my job. Its crazy that my paid job is happy to accommodate me while highschools continually disrespect their students with wake up times that set them up for failure.
You can use carrot tube then. Sausage is pretty clear to me.
Is it possible to Vape Healthy?
Modern spam filters are almost entirely based on sender, not content.
I was homeschooled and it was an isolating experience that set me back socially until I finally pleaded with my parents to let me go to public school. It took me a _while_ to catch up to my peers socially and it caused me a least a year of being a social outcast until I learned how to act "normal". Did I learn some topics ahead of other kids? Sure. Was it at all good for my development as a person? Oh god no. 0/10, would not recommend homeschooling.
It’s because the Metaverse is just Facebook’s last ditch effort at controlling an App Store.

Never mind the fact that VR is niche and will always be niche, or that VR conference calls add
zero value beyond a simple Zoom call, Meta is going for it anyway because they have no other viable options.

I have to admit that the technology itself looks really cool, but it’s a solution looking for a problem.
I don't want my child to have zero social skills or experience with the opposite sex. That's literally why I don't do it.
Have you ever heard of the fable about the tortoise and the hare? Sometimes speed isn't the most important.
Voyager may have marketed itself as a bank of some form, but it was never a bank.
The law: it cannot be done legally in my country.
Isn’t the vast majority of google’s income still from search/ads? The failure of these side projects doesn’t impact them significantly (or alternatively, like VC with startups, they’re just looking for one project to succeed)
You're being downvoted, but I had the same thought. The garlic paste is going to be stronger in flavor than the diced garlic. If you use it, you'd need to adjust the recipe. This has nothing to do with gatekeeping: diced in oil or squeezed out of a tube are both fine, they're just not 1:1 equivalent.
Football (and its school attendance and passing grade requirements) might be the thing keeping a kid in school and getting an education.
Parts of it, but it’s not clear that MLR was one of those parts or even a net positive for insurers.
But if you live so long that you run out of money then you become a financial liability to your family. That's why longevity insurance makes sense.
The website is atrocious too. It explains nothing and takes up multiple pages to write three sentences.

I'm going to get a bit sassy here, but it's probably the worst information website I've seen so far. They couldn't even write one paragraph of what the software actually does?

If this was the state of things no wonder it failed...
The point is not to "be perfect", the point is to raise the standard of acceptable practices, to make it harder to abuse it.

Just as an example: phone numbers should not be used for validation of anything as they are public. So companies who are requiring phones for any kind of authentication should be shamed into changing their practices, much like we learned to not trust companies that stored passwords in plain text, or use "recovery questions".
My impetus in posting this article was in hoping for intelligent discourse with the people of HN whose differentiated opinions I value.

I consider the system of laws that we use to govern ourselves similar to the logic of code. I want to understand how this "OS" of our society works in controlling access to power, how it's being hacked and abused, and where its vulnerabilities are.

Consider for example that the Nazis were able to legally take over the Weimar Republic, based on the first iteration of a democratic constitution of Germany. This constitution was put in place after Germany lost WWI, and it didn't hold up to the political assault.

The EPA case appears to undermine the separation of powers, a crucial aspect of democracy to prevent abuse of power.

The last paragraph:

In the constitutional crisis we are entering, the court combines all three powers—legislative, executive, and judicial—to limit the scope of federal power. It exercises legislative power by rewriting statutes to remove authorities and structures it doesn’t like. It exercises executive power by interfering in the executive branch’s administrative process before final action is ripe for review. And it exercises judicial power by freeing private parties from government health and safety regulations. As James Madison, French philosopher Montesquieu, and even Roberts himself have noted, such a combination of powers creates the risk of tyranny. It enables an unelected body to exercise arbitrary and unaccountable power. The real threat to republican government today is not the administrative state. It is the court.
"Hey google, I'd like a search warrant for anyone with location histories that have missing/deleted entries and whose last known location was 2 blocks away from X". Silence can speak louder than words.
As a former child, I truly understand that a lack of sleep is a problem in teens, but I think this solution is probably worse for everybody.

1) The flipside to starting much later is that kids will be exiting schools later. Want to participate in some after school activities or clubs that aren't physically in school? A HS kid wants to hold down a little part time job so she can save to buy that first car or afford that summer trip she wants? Any activities out of school become much more difficult to manage if the exiting time moves any later. And these extracurriculars are also a big part of many peoples' lives.

2) I think it's naive to think that kids will get much extra sleep regardless of the school starting time. Their need for socialization and leisure activities out of school doesn't suddenly vanish if school starts later: they just get shifted. If you tell kids that they can manage to wake up at 9 instead of 7 and still make it to school on time, they'll just tend to stay up about 2 hours later playing games, watching movies, or chatting with friends. The end result might be about the same amount of sleep.

3) Logistically, it's hard enough for most parents to see their kids for a few minutes and deal with getting their kids out of the door in the morning (or driving them to school) when their wakeup times roughly coincide and they can get a little breakfast together or have a few minutes to chat. Trying to arrange a much different school schedule for kids is going to present a lot more difficulties to working parents, particularly if the kid has some special needs, is a tad rebellious about going to school, or you have to drive them for some other reason.

Just thinking out loud here, but I'd say that getting rid of the nightly busy work (homework) is a better way to fix teens schedules. They already spend enough time at school learning. Stop forcing them to waste an hour or two every night regurgitating mostly busy work and then feeling like crap and needing to stay up another few hours decompressing. Let them get their fill of fun and socialization after a long day. Without the burden of homework, most teens have enough extra time in the day to get a little extra rest and still have enough to unwind and feel like a human.
Making the statement that companies are laying off "underperforming" employees is
a gross assumption - I got laid off with 25% of the workforce at a pre-ipo company that raised 550 million USD.
Most large layoffs are happening at pre-ipo companies which raised a ton of money in 2020/2021 and were hoping to go public.

Unfortunately the tables turned since Feb 2022, investors want them to tighten belts and reduce cash burn.
That triggers two memories for me, 1) having a classmate in middle school that would regularly boast about drinking a 'rum and coke' on his way to school in order to start the day off right, and 2) hearing that my child's school was having the 3rd grade GT class (which my child was in) teach the second graders how to read, and of course several of those second graders were older than my third grader.
Once someone sends their bitcoin or "crypto" to a lending platform, they no longer own this asset. What they now have is an IOU for that asset that the platform may be unwilling or unable to fulfill in the future, as appears to be the case with Voyager and numerous others before it.
They should still be working as ever. You may have changed the zoom level or possibly we changed some dimension slightly and your screen is no longer wide enough to provide adequate space for sidenotes.

(And I'd point out that even when you don't have sidenotes, the footnotes are still better than usual because they pop up on hover - no click necessary unless you disabled JS entirely, at which point /shrug, you've indicated you don't want fancy frills so enjoy your old-fashioned 1995-style footnote hyperlinks.)
In an earlier email, ACM pointed out that O’Reilly was unwilling to continue providing the service to ACM members. Of course I don’t know the details about why, but this title (ACM drops Safari for Members) might be unfair.

I suspect a lot of people recently learnt that the ACM digital library included this benefit, and O’Reilly were unhappy not taking full payment from these users.
Funny how an article about jarred garlic & ableism quickly devolves into a discussion of making coffee.

My friend Jerry & I are preparing a series of articles testing whether coffee drinkers (and especially, coffee snobs) can actually taste the difference between the outputs of various choices in coffee brewing.

I would think the same technique would shut up some of the cooking snobs about other things: can you taste the difference between two identical dishes, one made with freshly chopped garlic and the other with jarred? (where the garlic is a fairly small component in the dish rather than a main actor, e.g. garlic bread?)
It's more that those states are generally socially conservative. That social conservatism is not religious in nature, but cultural - it was also in full display under Soviets, for example. It just attaches itself to whatever contemporary ideology matches it best.
I'll give a slightly different view. Many of us who lived through the early 90s, the dot com bubble, and the great recession are worried about this because recessions happen pretty frequently (every 4-6 years). However, the last big downturn for the US was 2009.

While there was the Covid downturn, in general, the economy has been on the upswing for 12 years. The US Federal Reserve has appeared to manipulate that due to the Great Recession.

So, many of us are worried that roosters are coming home to roost.

That doesn't mean it will happen, but our fear is mean-reversion.
Paper is a renewable resource, and also a carbon sink. Throw it in the garbage and consider it carbon sequestration.
Germany is poised to tax that shit. Finally.
The social needs argument is always made by those who went to traditional schools. Always. It's a kind of 'mesearch' argument.
I'm largely ok with the infotainment in my Mazda. It's simple and to the point. I don't have any major complaints after it stopped crashing like it did for the first month i owned it (I have no idea why it stopped).

I'd really like car manufacturers to let me run whatever i want on it though. It's just a Linux box and since you can reboot it while driving the car, i know it's not safety critical. It would be cool if I could just load on a standard executable in whatever machine code it runs and make my own apps.
You self selected because he turned up the heat on those buttons, and you know what? He’s okay with that

(Being facetious)
Location: Brooklyn, NY.
Remote: Yes
Willing to relocate: No
Technologies: C, Python, Java, Flask, Linux, Bash, Git, HTML, CSS.
LinkedIn: https://linkedin.com/in/abe101
Résumé/CV: Feel free to request on LinkedIn/E-mail.
Email: abe.hn7 [at] habet.dev

Self-driven Software Engineer with a passion for open source
Yes, I agree that price controls set by the state are a bad idea.
The AlphaZero for LLMs+search is GPT-f, which most recently did https://openai.com/blog/formal-math/
Yep, high school socialisation is so far removed from real life socialisation it’s funny. When I look back at my public school years I laugh to think we were supposedly learning vital social skills!

What other part of life do you interact with only people who were born in the same year as you were (and, in the case of some schools, only your sex)?

Homeschooled children (in my experience) learn to make friends with kids a lot older and younger than they are. They also learn to look after and teach younger ones, and learn from older ones.

I went to public school myself, my wife was homeschooled (for all but two high school years), and we homeschool our five kids. There’s pretty much no reason I’d consider sending them to school, unless they want to in their high school years (so far our oldest doesn’t).
Ego is the real problem. Placing too much value on managing your external identity is what leads to assuming how other people feel about your experiences is more important than how you feel having them. How can you enjoy a nice meal when you are worrying more about status than how it tastes? Why is it so important to express your superior status and look down on those that produce fractionally less tasty food than yours?

Better to not spend your life planning on how to improve your status and instead focus on finding things rewarding.
The fact you think it's "sociopathic" to defend yourself and your property against actual people with sociopathic mindsets - because if you actually think anyone in their right mind would go around slashing / deflating tires, the person who needs help here is you - is a testament to just how far not just American society has fallen, but the Western world period.

I'll make it really simple for you understand.

Tires cost money. Money costs time. Time is life.

Therefore, when you do this, you're robbing people of their life. Don't be surprised when they shoot you dead for stealing their life.
I wonder if this is at all related to the recent move by Coinbase to merge USDC / USD balances.
If we're going with full anecdotes, all the homeschooled folks I've had to deal with have had major issues integrating with wider society. I felt a bit sorry for them, even if they weren't always the nicest or well-meaning people to actually be around. But by the time they're a bit older, I guess it's too late.
In the replies, other people are expressing that this happened to them, too. Here's one example: https://twitter.com/_the__snowflake/status/15427023930617774...
Depends on a lot of things of course--including where on the East Coast and the activity. (I wouldn't make such a categorical statement about Maine for example.) But not so hot and humid. Not so buggy. (Also fewer people.) In general, I'd say that September/October are the ideal months for much of New England (and a lot of the West Coast as well.)
> I wish large companies would collectively do more to go after leakers in court to stop this trend.

"Don't talk or we'll ruin your life financially."

Whistleblowers have a hard enough time in this day and age. I hope more do this - corporations dominate enough of our lives.