skysight-inc/HackerNews huggingface dataset:
I'd be satisfied with just the first half of this sentence. What they think about the shareholders is entirely irrelevant. Let them do their thing while the company does their own. Distinct entities.
Sure.

Equal is giving everyone a printout.

Equity is giving the blind student a Braille version.

The latter is an attempt at providing equal access to the contents to those with different needs, so that they may learn equitably.

(The alternative term JEDI might argue that this is the just result.)
The Next Drug Epidemic Is Blue Raspberry Flavored
https://x.com/nathanthinks/status/1877510438621163987
C really just needs if / else / while / and void functions. Function inputs should be in/out (const type* or type*).
Are any of those oscillators running off mains power rather than off a lower, separately-regulated supply?
Let me get thsi right... Meta resolved issues with a performative DEI program with an even more performative act pandering to an incoming administration which is openly histile to POC... that's not better, it's worse.
Thank you. That is what I was saying. It's a habit that all the knowledge in the world I've amassed still doesn't help me completely overcome. It's something I have to be conscious of my entire life.

You should see the meals I cook: loads of healthy bean-based vegan dishes, salads, etc. But then it's 10pm, I'm thirsty, but my body struggles to tell the difference between thirst and hunger, and I drift over to eat some spicy chips instead of chugging water like I should be. And then I realize what I"m doing.

In grad school, it was really easy to avoid this: every meal, exactly the same thing. Nothing in the pantry except things necessary to make those meals.
It's been 30 years since 1994, during which time Republicans have had overwhelming control of the legislature, substantial control over the executive, and a lock on the judiciary that is going to outlive me.

Have things improved? If not, perhaps they need to consider another tactic than voting for Republicans.
This article cemented my decision to not buy a new TV and spend the money on a top-of-the-line M4 Mac Mini instead to replace the failing Alienware laptop my wife uses to access the internet.

I've owned a number of Samsungs which do their job (you might buy a Samsung with 2 HDMI ports and they still work 10 years later, a Sony comes with 7 because 4 will be burn out) I've seen progressively get worse over time. I went to Best Buy and didn't see the usual open box deals you'd expect 2 weeks after Christmas and how everything was marketed with anti-features such as "Google TV" (which I want about as much as "Jack-the-ripper TV") sent me home.

(Now I did see a Sony Bravia for $180 at the reuse center the other day and I'm kicking myself for not getting it... But that's what it's going to be)
"Formal" means "written in a language that can be interpreted by a computer" and that is the very thing programmers do. Writing a code is writing a formal specification of the program's behaviour, and by definition, every piece of software must do that.

But you're right that to benefit from any formal methods, you need to compare the program's behaviour to something else that isn't the program itself, and that other thing also needs to be written in a formal language. To be able to write that other thing, you do need to have a precise understanding of what the wanted behaviour should be so that you could express it in a formal language, but it doesn't have to cover the full behaviour of the software.

As an example of what that means, take automated (unit) tests. Automated tests are a formal specification, and running them is a formal verification method. Tests are a relatively weak specification, and executing them is a relatively weak verification, compared to what we normally mean by "formal methods", but there is no clear qualitative difference -- conceptual or even practical -- between tests and more powerful formal specification and verification. You can think of these practices as more powerful tests or as tests that work differently, but tests are formal specifications, and if they're applicable to a piece of software, it's likely that richer formal specification methods are, too (learning the cost/benfit of other methods is similar to learning the cost/benefit of tests -- you don't get it right at first, but you learn along the way).
Note that this is GNU C, not standard C. GNU has extended the normal C language with features such as forward parameter declarations and numeric ranges in switch cases. Lots of people don't know about these things.
Not since they turned on the lasers.
You can easily generate inverted ones that require crossing your eyes to appear properly, but they don't look as nice since they pop out instead of going into the screen/book.
US government buys SpaceX launches instead of Billion $ wrenches from Boeing, Lockheed, and Northrop.
How does that work when I get Starlink in the middle of the ocean as I have done?
This is just common sense, or should be. Unfortunately common sense is as uncommon as people tend to joke about. So you get a lot of focus on business hiring practices, even though it's literally impossible to hire candidates that don't exist. Sometimes this gets taken to absolutely farcical levels. I recall reading a blog from an Irish writer about how activists were trying to demand that companies there hire black people at such a rate that there literally are not enough black people in the country to meet that quota. And yet, this sort of brainless activism continues unabated - why I can't begin to guess.

I do think that trying to shape job demographics is misguided. It doesn't matter that we get more women in tech, it doesn't matter that we get more men in nursing, and so on. What matters is that the fields are open to anyone with an interest, not the resultant demographics. If people aren't interested in those careers, that's perfectly fine.
Show HN: Writing on LinkedIn is cringe so I fine-tuned an AI model
Last year in feb 2024 when my father asked me to make a LinkedIn account as I started my first ever "serious" business as a 17 year old.

Few months down the road I start to see people here can be reached out to ask for work.

Then I ended up doing a bunch of failed outreach.

But creating content on it was really cringe since people there use more of buzzword than there are actual words in English.

I had to find a way to solve this for me so I can show my personality while not spending 1000s of hours writing crappy posts.

Then I came across an AI tool that charged $59 a month. I freaked out seeing how crappy its posts were.

Then I took it into my hand and fine-tuned an AI model on super viral LinkedIn posts from big creators.

Now I have 1,000 followers on LinkedIn and I haven't written 99% (1% for memes) of what I post online.

I couldn't gatekeep it so here it is for free. I need some additional users for testimonials and feedback for iteration.

I hope the hacker news community can help.

Came here from Marc Lou's video.
>This is one less talking point that conservatives will use when literally anything happens.

In this regards, I trust them to handle themselves well, even in a face of shortage. And it's not like grounded arguments matter in era that is being dubbed "post-truth politics".
What amazes me is that FL is hit the hardest from Hurricanes yet the overwhelming view is that climate change is a haux. The words "climate change" are banned from all official govt docs and communication.

Big gas guzzling cars and utility companies building in more gas generators and hiking prices. Yes there is some solar, but it's <5%.

I doubt much will change in next 4 years. Trump and Republicans are very pro carbon fuels.
SpaceX is just an ISP that can launch rockets.
https://youtu.be/0T7huuYNEBA
> It means not only will left-wing people run away in droves, but then toxicity explodes and successive waves of moderates and apolitical people get driven away.

Left-wing people haven't left twitter. Some extreme Democratic Party partisans, many with histories on twitter too ugly and venomous to possibly clean up, have left twitter. Others have created accounts on Bluesky, but still post twice as often on twitter as they do on Bluesky.

Bluesky showed hockey stick active usage growth in the two weeks after Trump's election, peaked on November 20th, and has been steadily dropping ever since.

https://bsky.jazco.dev/stats

There was a little inauguration bump, but Bluesky should be at its pre-election activity level within a few months unless they do something drastic.

The real threat to Twitter is Threads, and only after this announcement. Zuckerberg is promising exactly what Musk promised, but is not as erratic as Musk (who is happy to attack users based on his own personal whims.) If he actually delivers, formally and professionally, a 2015 twitter experience, he'll win.
Pretty much the textbook definition of emotional, manipulative, rage bait, ideologue, social/political propaganda.

There's also not a single mention in the article about any failures that led to such a fire being started or failing to be contained. They're so enraged, so upset, yet they don't bother to aim a single picogram of that rage towards all of the many failures that contributed to such a fire happening and spreading.

I find it hard to believe this person is real. Googling him, he has a tweet that's at the top of his search results where he's griping about a combination of climate change, school shootings, and capitalism being a death cult all in a single tweet.

Some quotes from his tweets: "Unregulated capitalism is pure destruction.", "Capitalism is a death cult", "capitalist death system", "Trump is openly fascist and openly wants to heat up Earth irreversibly as quickly as possible". He's constantly tweeting in support of "disruptive" activists destroying paintings and storming and taking over buildings, etc. Their entire being is consumed with these thoughts.

HOW do these people not see how they're in a cult of their own? How does a person like this actually get featured on the nytimes? What absolute insanity.
Update on the Update:

> I feel terrible writing this. But here we are. Today UW issued an official statement that was obviously targeting me and sent it to the media. In their statement they point to the "Tampering & Abuse" policies outlined on the registrar's website. This is presumably to draw attention to this emphasized text: "Additionally, the creation of any service that enables any of the above behaviors is strictly forbidden and constitutes a violation of this policy." But this afternoon a university employee reached out to let me know that this text was literally added today. You can confirm for yourself by looking at the previous version (December 8 until today) at https://lnkd.in/ge4XCh8Z. Some people have been understandably skeptical about my story. This development doesn't provide evidence to refute their claims, but this should give you some context on how they're treating me. I just want them to remove my registration hold so I can graduate after next quarter and move on with my life. But I am definitely not meeting with the administration for a disciplinary struggle session when I am more confident than ever that I haven't violated any rules.

https://www.linkedin.com/posts/jdkaim_github-jdkaimhuskyswap...
I’m really disturbed the extent to which companies are in lockstep with the government, and this should be a conservative value? I’m glad to see a reset on DEI in general, it’s not going away but we’ve needed new ideas in the space and I suspect we’ll see a resurgence sooner than you’d think.
Writing cross platform code which consistently uses UCS-2 wchar_t* on Windows and UTF-8 char* on UNIX-like systems sounds like absolute hell
It helps me to see the depth and then properly focus to cross them very slightly to start, then as I see the image my eyes adjust to pull it in focus properly.
Thank you, that's even an integration, already.
Is this legal in Europe? Is it common practice?
It is extremely hard to create an application that doesn't depend on CRT on Windows. CRT provides tables for handlers of SEH exceptions and provides the default event handlers. Win32 headers have hard dependencies of the handler tables CRT provides. So you need to go quite a bit out of your way to hack deep Win32 headers. Loading DLLs etc also may call CRT functions.

You can read Mingw64 source to see how many hacks they had to do to make it work.
Pacific Northwest earthquake codes are based on earthquakes that last happened more than 300 years ago. The New Madrid Seismic Zone has had multiple earthquakes more powerful than any in the Pacific Northwest during those intervening centuries.

Missouri could realistically experience a M8.0 earthquake tomorrow, just like Washington. That the NMSZ was relatively quiescent during the 20th century tells you little about the seismic risk. Geological risk isn't determined by what happened last week.

Mount Rainier has not been active since the 19th century either. Nonetheless, it is a Decade Volcano[0], one of the highest risk volcanoes in the world.

[0] https://en.wikipedia.org/wiki/Decade_Volcanoes
Google Search has been in decline since they came up with Google+ and removed the Plus Operator from Google Search at the same time (and replaced it with quotes that don't do the same thing). About 13-14 years ago.
Location:SF
Remote: Flexible
Willing to relocate: Yes
Technologies: Typescript, Python, AI/ML Pipeline, ML Model Development & Deployment
Résumé/CV:https://docs.google.com/document/d/e/2PACX-1vRCjFjG_zbwK5saf...
Email:seowchiayi@gmail.com
You are just an Idiot! Small Mind and no Brains! Phooey on you! How I despise the likes of you!!!
There's no way to put the smartphone genie back in the bottle and there's no way to visually differentiate satelote capable phones. It's going to be easy to smuggle them across borders.
Constant vigilance. IN grad school it was easy bc I only kept things in the pantry necessary to make the same meals every day: oatmeal with fruits, chicken breast and various vegetables, a variable bean and rice dish like Cuban black beans or rajma masala.

But now I'm married and have kids and it's a ridiculous way to expect to have a family, eat the same meals every day for years.
John Sowa is a good resource. Here is his annotation of Peirce's tutorial[1]. Another paper explores the influence of EG on Sowa's Conceptual Graphs[2]. I happen to find the juxtaposition of Frege's notation with Peirce's interesting. Sowa's commentary on yet another Peirce manuscript has some fun historical tidbits about the influence of Peirce on the design of SQL[3]. Here is another reference that mentions Peano's adoption of Peirce's notation[4].

That should be plenty to get you started! Digging through the references in those papers and the bibliography on Sowa's site will find you plenty more modern Peirce scholarship. I think Peirce would be pleased that his seemingly abstract approach to logic ended up inspiring one of the most pragmatically useful classes of software ever, the relational database.

[1] https://www.jfsowa.com/pubs/egtut.pdf

[2] https://www.jfsowa.com/pubs/eg2cg.pdf

[3] https://www.jfsowa.com/peirce/csp1885.HTM

[4] https://www.jfsowa.com/pubs/csp21st.pdf
Which structural limits of TF2 and PyTorch were fixed via the Jax ecosystem?
This trick had been used in practice to detect fake banknotes and coins, with a device like a two-sided periscope. It allowed a bank worker to put a real coin on one side and the tested sample on the other, so that any differences can be immediately apparent.
Ok, I'll give it a try. Maybe I can get my daughter interested in programming with MicroPython on such a watch, as well.
So who is going to deploy this and turn this into a service/API?
It's funny because even if you do the Magic Eye pictures "correctly" (focusing past them) you can still get funky images by going too far and locking the surrounding pattern a second time. If I remember right the first time I did this was on a heart picture (similar to [0]), which ends up looking like a big puffy W stacked on top of a slightly larger puffy W :D

[0] https://i0.wp.com/www.magiceye.com/wp-content/uploads/2018/1...
That's not what the original commenter was saying. There are very few roles I've ever seen target diversity hires. Those that I have seen are typically very high-level roles, for example, VP nominations will do things like target "midwest" or for Supreme Court targeting "female". But I don't see this sort of thing in your typical job hiring practice.
Probably referring to government launch contracts, DoD use of Starlink, and Starshield. The latter did not fund the development costs of Starlink AFAIK. And it's hard for me to characterize government launch contracts as "subsidy" when SpaceX is winning those contracts in fair bidding by undercutting all other launch providers on price.
I'm still a bit confused. Suppose you have another table, call it temperatures with columns id and temperature, where every row contains only a valid temperature (no NULL records), and you have a main logging table with date and temperature_id so that you can join on temperature_id = temperatures.id. This seems to be what you mean, with a canonical measurement record table related via the temperature_id foreign key.

But then if your sensor fails to record a measurement don't you end up with NULL for that row's temperature_id?
What you will experience is the apparent size of the Universe itself changing in proportion to the time dilation along your direction of acceleration. It is necessarily an observable phenomenon due to the constancy of the speed of light.
And by that, who is not participating in the ad-buy market. It's nearly impossible to use the internet today without being forced into it.
> And really, if you were going to publicly congratulate the Tweeter in Chief and wanted to make sure he saw, how would you do it?

Good point. The old approach was to broadcast something on your countries' official radio station. The CIA used to have something called the Foreign Broadcast Information Service, with people listening to Radio Albania and such, just in case somebody announced something important.
if you had read the F-ing article, which you clearly did not, you would see that you are committing the sin of exponentiation: assuming that all tech advances exponentially because microprocessor development did (for awhile).

Development of this technology appears to be logarithmic, not exponential.
You are wrong. I did not force them to subcontract me. I did not force them to copy my work as well. I don't want my name to be associated with poorly designed glass ceilings. It's not a glory. This is what makes me different from everybody else- the way I think. My skylights are visually very simple geometry. However, I use very complex glass effects that are not obvious but are an important part of the skylight experience. You never saw my work in real. How can you judge it? I don't understand why you are protecting the wrongdoing of large corporations (both Nikken and Huawei) to steal someone's ideas and you point me that I have to take glory out of it? I don't want any glory from the stolen designs. Understood?
If you're treating an individual as a member of a group, you're doing it. If you're treating a group as a group, you're not.
Which one makes things become bigger? I learned that one first and then later figured out the one that makes the mixed image smaller (cross eyed I think?). Now I cannot do the big one anymore.
Okay, then what's the security problem? What attacker does it enable, and what does it let them do?
The bundled one with Windows wasn't. However the same "feature" exists in redistributed versions of msvcrt.
This is a semantic argument. Accessibility wasn't under DEI in the org chart, and preexisted DEI. That's all that matters.
Before we got the espresso machine I was using a manual grinder and a pourover daily and still have the equipment. I do use it sometimes still but the espresso machine is very convenient.

The best tasting coffee beans I found for the manual grinder / pourover setup was Mayorga brand Mayan Blend coffee (Medium Roast), which you can get on Amazon. Although even then I was putting a little half and half in there.

There's not too many neighborhood coffee roasters nearby (there's only one non-chain coffee shop near us, it's a bit of a dead zone). If I drive half an hour or more I start to have some choices though (three places if I drive 30 minutes, a couple more if I drive further), so at some point I should make the drive (or go a little out of my way when I'm roughly in that area for some other errand).
Hey HN,

I hope you guys are having a great day.

If you want to follow me on [my LinkedIn][https://www.linkedin.com/in/rebalh/]
The never work for me because my eyes don't work well together. Just not team players. I'm almost always looking through just one or the other, annoyingly usually the one that would least be preferable.
You can also use proof assistants as "unit tests" for entire classes of behaviors rather than specific values. This lets you add proofs incrementally even when a formal spec is too difficult.
Looks like they have designed Tesla prototype.

https://www.automobilesreview.com/pictures/volvo/ycc-2004/wa...
> There's also not a single mention in the article about any failures that led to such a fire being started or failing to be contained. They're so enraged, so upset, yet they don't bother to aim a single picogram of that rage towards all of the many failures that contributed to such a fire happening and spreading.

Surely you can share some of these (with citations)?

> I find it hard to believe this person is real. Googling him, [... enraged ad hominem]
Yes netflix funded it but its still a korean written and produced show? It just seems like a weird take that because Netflix is paying it should somehow be Americanized/Globalized.
I loved the article. This is a truly minor nitpick - he really wasn’t walking that far. As most of the streets and street names in lower Manhattan are the same you can mark the spots on Google maps and see the distances. None of the trips are more than a mile and many less. Someone running the same errands today would most likely walk too.

I work in the neighborhood though so it’s wild to imagine all that going down on the same streets I walk to work on.
We got a magic eye book when I was maybe 6 - some time early elementary school. After learning how to do it, and also trying it by crossing my eyes to see an "inverted" image, I started doing it whenever I saw some repeating pattern IRL. It was most interesting when it was slightly uneven, for example a fence with sloppily applied vertical planks. Doing the magic eye would make it seem like some of them are closer to you than others. Eventually I tried the same on those "spot the difference" games since well it seemed kinda obvious to try, and I was blown away that it accidentally gave me that "superpower". I think that was pretty smart for a 6yo. Has only gone downhill ever since. ;-)
> Sampling uniformly such that each distance is equally likely across the line gives at least a 90% chance of choosing a rational.

Let's say the numbers are targets on the line. Your distribution implies the range 1-9 is less dense with targets than the range 9-10. Doesn't that mean you're less than 90% likely to hit something between 1-9?

> You are NOT more likely to throw a dart that lands in 9+ just because you have magically introduced an infinitely tense series of irrationals in that range.

If we turn this around, by forbidding a bunch of values in the 1-9 range from being hit, then won't the probabilities get skewed towards the 9-10 range?