skysight-inc/HackerNews huggingface dataset:
Then you're supposed to use another table with a foreign key to canonical measurement record. This is the concept of fully normalized schemas.

What you're describing is closer to how people do it in practice.
Changing the emphasis.

> recognizably different in nature from something else of a similar type.

But anyways, the point wasn't to justify the choices of SQL but rather as a way to make intuitive sense of its logic. SQL is one of the oldest and most successful programming languages in existence, we are not going to change it, and it is not going to disappear anytime soon, so we have to go with it, like it or not. There have been some attempts at alternatives, both at changing the paradigm (NoSQL) and at cleaning up the language, which, to be fair, would be a good thing, but without much success. The relational paradigm just works, and SQL is usable enough to make the cost of switching not worth it.

Edit:

And writing things like "value=param or (param is null and value is null)" is usually the sign of a poor understanding of the NULL logic. You are using it wrong basically. Sometimes, it is the right thing to do, but if that pattern starts appearing all over the place, it is usually a result of thinking "NULL is broken, I have to use this pattern to handle NULL properly". That's cargo culting, don't fix problems you don't understand by copy-pasting code you don't understand.

Note: this is not addressed to "you" in particular, there can be good reasons, no offense intended. But I think that in general, it is a code smell.
I would recommend learning the difference between a character and a glyph; it's the first thing to learn in understanding fonts and font rendering.
It is weak, but it was strong enough for you to change from an absolute claim to a more moderate "typically" claim. That's good enough for me.
I think a pretty salient line from an organizer of the games in ep 2 of the new season is "the games won't end unless the world changes."

The show doesn't really interrogate that beyond that point, but if anything honestly points to a future where something like it is real - except it will be televised and everyone will watch and it won't be secret.
I’m just butting in here and I thought you were wrong. However I looked it up and indeed you are right. The creative talent are all Korean but they couldn’t get a studio to fund production for their show. Netflix was approached and liked the script and funded them. It’s all in the wiki and pretty easy to catch up on the info.

I also think you’re right about the global resonance. If this was purely a Korean issue I don’t think it would be as darkly appealing as it is. As an American who is almost done paying off a lot of student debt - I definitely identify with the characters, although their desperation is much worse than mine. I absolutely remember believing that if I didn’t succeed I would have to cut life short. If a few things hadn’t broken my way - I’d probably be in that squid game too.
I rescaled my VPS, let me know if it's still laggy.
An excellent read, no doubt. I've actually read it a couple of times. Ben Rich was a great writer.
I used to place that as the home page of IE.
Database tables of student, teacher info stolen from PowerSchool in cyberattack
I would be surprised if Doom was playable in a PDF that was being read in a LCD screen of a thermometer.
look the same to me!
I don't know if I'd admit that publicly, without first reading about it and trying to understand why things like RoR and Python have huge, loyal user bases.
Ask HN: Automation to follow TikTok creators on other platforms
With the TikTok ban happening soon, I’d like to automate following my favorite creators on other platforms: reels, YouTube shorts, etc. Many accounts I follow will cross post. Was curious if there is some script or app I can use to automate this.
This is a top answer. Robert Caro goes into excruciating detail on how he accomplished most public works projects. I especially appreciate him covering the grey or dark sides of getting deals done as most really hard things have some unpleasant sides to them.
So LA is on fire now and a few months ago a hurricane destroyed North Carolina.

North Carolina.
With Claude I've had great success with first uploading the docs so that it has them as context for the rest of the session. Without doing that I got all kinds of answers, sometimes using a different framework or an older version of the framework I was using. Once it had the documentation to reference it started giving a lot better answers
I would expect eVTOLs to be capable of greater redundancy than a helicopter or fixed wing aircraft - with no single point of failure that could make them drop from the sky. It would add little weight to have two or more independent electrical and motor systems each capable of making a semi controlled landing on its own, but must coordinate to provide the full rated lift. Marketing materials claim the Blackfly has triple redundancy. I suppose one could have software logic glitches that cause all modular systems to respond inappropriately to conditions in unison.
Inherit value has nothing to do with wealth, and billionaires are not hoarding.
Doesn’t tools like Sorbet and RBS help?
Steve Yegge has laid this thesis out: https://sourcegraph.com/blog/the-death-of-the-junior-develop...

He also has some good content out there on how to program using LLM's. He calls it Chat Oriented Programming, aka CHOP. That's a good term to Google for.
I like Golang too, I use it whenever I can.

I haven't done any AI with Ruby, but from what I saw, the ecosystem is lacking support of good libraries.
"Google is also working toward having people pay a subscription fee to use Gemini on their TVs, PCWorld reported."

Soon enough, you'll pay a subscription fee to not use the TVs' invasive "features".
Yep, and Battle Royale inspired the Hunger Games. Arma 3 created a Battle Royale mod that Lystic (Keegan Hollern) wrote most of the scripting for which won the Make Arma not War contest. Playerunknown then made PUBG which lead to Fortnite etc. being created. Playerunknown scammed Lystic out of like $5k and blocked him on X after they won. Lystic works at Tesla now and makes tons of money anyway.
> this is quite far away from the top entries in the list of worst ways to go

Genuine question: is it? I would have thought it's quite peaceful. Particularly since pentobarbital overdose is how we put down our pets [1]. (Not an opiate, but also renders you unconscious.)

[1] https://en.wikipedia.org/wiki/Pentobarbital#Euthanasia_and_a...
Trump Is Sentenced in N.Y. Hush-Money Case and Will Avoid Jail
I had a similar experience with OpenAI's Dall-e. I told it to make an image about public speaking without a microphone. It made one with a micrphone. I said, "that has a microphone in it. I don't want anything resembling a microphone" and it gave me an image of a microphone surrounded by a star of david that said public speaking no microphone.
This is correct and it's all Hegel's fault.
Collision with drone knocks Canadian firefighting plane out of L.A. battle
I'm not sure what point the author is trying to make.
Is he telling folks who happen to know something about the neat, precise theoretical models of formal CS theory,
and who point out that GenAI error-prone and sloppy,
shouldn't be critical of it?
Stating that more precisely, if you pick a real number uniformly from the range [0, 1), the probability that it's rational is 0.

One way to see this is to imagine a procedure for picking the number:

- Start with "0."

- Roll a D10 and append the digit.

- Repeat an infinite number of times.

- In the unlikely event that you wrote down a number that's not in standard format, like "0.1499999..." (which should instead be written "0.15"), toss it out and start again.

The digits of every rational number eventually repeat forever. For example, 1/7 is "0. 142857 142857 ...". So what's the probability that your sequence of rolls settles on a pattern and then repeats it forever, without once deviating in an infinite number of rolls? Pretty clearly zero.
You underestimate the power of HNs hug
Haha, you're very welcome. The ChatGPT thing is odd in how close the answer was to my comment, including specific words I used. Makes me wonder about the likelihood of it being scraped and processed by OpenAI in the 10-15 minutes between posting the comment and trying it in ChatGPT. Or perhaps our brains are just LLMs after all :)
> Would a CA be allowed to pre-notify customers whose certs were randomly selected and {pre/re}-issue them replacements?

If this is permitted, then I see no problem with this plan. It will force people to do what they already should be doing: have a plan in place to rotate certificates in case of revocation.

> The point is that right now revocation is so painful that it’s causing CAs to side with subscriber convenience over the integrity of the web PKI. Sampled, controlled revocations let us identify points of pain before they have security implications, and motivate Subscribers to prepare their systems—whether through automation or not, up to them, I’m not their dad—to tolerate on-time revocation. We care about the likely outcomes of automation, such as tolerance of short revocation or expiry timelines, really, but if BigSlowCo wants to staff a 24-hour cert maintenance squad such that they don’t (successfully) pressure their CA into blowing revocation deadlines, that’s their opex choice. Directly evaluating ecosystem capability around prompt revocation is the only way I can think of to identify areas of danger or weakness before they become issues for the web.

This is like testing the fire extinguishers.
We Use Rails uses SQLite, by the way
Not to be confused with the Kate app (KDE text editor).
The benchmark doesn't seem particular relevant for real world usage. I've always seen sub 100 microsecond pause times with ZGC (for a variety of different workloads), and that was with large heaps (10s of GBs). Shenandoah also delivers sub ms pause times for large heaps
Navigating the Shadows
>The only new era Trump is capable of leading us into is an era of idiocracy. Mark my words,

You words have been well-marked since the 1970's, consistently proven decade after decade. Now might as well be etched in stone since it's too late for sensibility to creep in, and some of the stupidest shit will probably outlast the vehicle.

>It may be too early to answer the internet’s questions about the late Mr Epstein.

No need, Epstein & Trump were well-proven to be low-class untrustworthy operators by nature way before the internet existed.

All of the old money in Palm Beach would question your judgment of character if you associated with low-lifes like this. They were so out-of-place in the respectable yachting communities and had no legitimate business in the high-class country clubs of South Florida. 19th century and 20th century titans of industry did kind of look down their nose at fake millionaire wannabes for a reason.

After the old money died, oh well there went the neighborhood.

>A time for truth and reconciliation

If past performance is any indication, the next 4 years will not be one of those times.
Not enough, because those are just wrapper scripts that call systemd.
I've got an old one (C7) and you don't have to use the pointer for most things; switching inputs definitely works with just the cursor arrows.

The new remote is abysmal, though. I guess I need to get my hands on a 2024 model before this one blows up, contrary to what I planned originally.
I helped develop hackatime (https://github.com/hackclub/hackatime/) this fall for our latest project high seas, and it's been a truly amazing experience. I'm 16, and I never thought I would be maintaining and operating a program with over 17 thousand users and 25 million+ rows! It's been a wild ride that I don't think I would have gotten without hackclub :) Also just in general the community is amazingly supportive; I joined a little over a year ago and I've made a ton of really amazing friends that I hope I can keep for the rest of my life ^_^
> people generally like Kagi and generally dislike Google

The reason the words "on hacker news" is missing from that statement is the karma system. I am describing echo chambers.
I don't, I have attended enough closed doors QBRs and witnessed the effortless upwards failure.

They aren't going to replaced by their own, that is for sure.
Elliot Schwartz offers to pay for all of Walter's medical treatments in episode 5 and Gretchen does the same in episode 6 of season 1. The show is about pride, not desperation
A singular data point here, but if I ask MS Copilot to write me a unit test in python/django it will more often get it right the first time than in golang. The golang code tends to reference things that don't exist. These aren't huge codebases either.
Gonna give this a shot! Looks promising for SharePoint sites that are internal.
I wonder if that drone operator cares that someone might have died because of his actions.
Probably close to zero people want to be homeless per se.

What happens is that people are unwilling or unable to accept the terms of housing offered, like for example strict sobriety, or not allowing pets. Family housing is also rare, and I don't think it's fair to say someone choosing to be homeless with their spouse over housed separately miles away from each other "wants to be homeless."

If people are consistently declining the aid we're offering, that's a problem we can address. It is our fault, not theirs.
Keep in mind, LLMs can't introspect. They integrate your prompt with their training data.

If Python is an extremely popular programming language people like to write about using (it is), you'll expect a lot of people to state that Python is their most proficient language and for that to make its way into the training data. When you ask the LLM, you'll get Python as an answer some fraction of the time and other languages some other fraction.

Those answers are orthogonal to how good the LLM actually is though. In the training data, you'd like a sufficiently robust sample of code (which Python should have) without most of the code being terrible (which Python doesn't have in the wild).

Mind you, IME they do better with Python than very new languages, and they do better with Python tooling than whatever maven build garbage you might have to deal with, but that's faint praise.
> least constructive comment I've seen on HN in quite some time

But we should still archive it. Some day it might be useful to someone ;)
I was also using it in anger until recently, and I'm really glad I got out of it.

But I disagree that it's consistent or that it leads to consistency.

The "Rails way" or "DHH way" of building apps is indeed consistent, but most big teams eschew this in the name of more complicated (and less consistently applied) patterns.

It follows the Anna Karenina principle to a T. All good codebases are alike and follow the Rails way; each bad codebase is bad in its own way and uses bullshit like Trailblazer, Active Interactors, over-engineered Service Objects or some other bullshit. Sometimes all of them at the same time.
A few notes:

Not sure how effective, but for certain suspicious Android apps, I configure them to not run in the background, and disable networking when using them. However, since Google's ad platform is involved, I can't rule out that there exists location tracking at the device level, let alone the telcos.

Interesting that Grindr allegedly stopped selling location data the same year they were divested from Chinese ownership.

Article seems to imply the current FTC doesn't like these companies misusing location data.

Possibly this data gathered from the Snowflake leaks attributed to UNC5537, or some similar method?
only if I can leftpad it first?
Show HN: Remix – an AI tool to remix movie clips
We keep seeing remixed movie clips and podcasts that make us laugh, but it's hard to make a good one -- you need to find a clip that will work within the constraints of AI, use high-quality voices, make adjustments to lip-sync properly, etc. There is some potential for misuse which is why we haven't yet let just anyone create templates.

We're excited to show it to the HN community!

If you just want to watch a remixed clip, we recommend this one: https://www.eggnog.ai/mix/rXG3Zy1Tu9WgG0h2Uk9e
But you can explore the templates and make something with the link in the post
I think the reason rails has stuck around is because of it being a very opinionated framework and it dictates a method to do almost anything. This allows the docs to be very straightforward, almost as if they were written for the Rails application itself.

I also think the language itself is a big plus. I don't like the reflection system or hot patching being a feature in a language, but rails makes extensive use of it to create it's own domain specific language.
> we've always had clearly distinguishable systems

What makes you say that? My impression is that people perceive it as they typically perceive categories and reality - they think it's simple. When you actually look at it, it's a mess. Culture is very complex, so it is even more of a mess.

Culture also changes constantly, so what you define today is different tomorrow.

> cultures have been separate and unique

That does not at all match what I know or experience. I suppose theoretically, a small isolated village might be separate and unique.
Goodluck to you and your friend. I only know about PEMF and will read about sOMF. I bought an ICES-PEMF a few years ago just to try it out for my back pain and it did help in reducing it and healing it. It's small and battery operated and was designed as a wearable but you need to come up with your own way of holding it close to your body. https://www.youtube.com/watch?v=ZnGpibdAoic
I use MS Copilot in python and it's really good. Particularly at writing unit test cases.

Unit tests are a major win for LLMs.
The flying of unauthorized drones within firefighting areas is a federal crime punishable by up to 12 months in prison or a fine of up to US$75,000.
Ah, so you need to know that first, otherwise it's still ambiguous to people reading them.
I rescaled my VPS. Let me know if you still experience issues.
Is it a good idea to start a company that competes with the one I currently work
I’ve been working at a SaaS marketing startup for almost 3 years. The company is still under $300k ARR. I’ve been deeply involved in building the product and successfully selling it. I see significant growth potential and believe I can scale it much faster, but the founder doesn’t support my ideas. I joined when the team had 5 members, and now we’re at 25, yet I’m still an employee without ESOPs, and the founder seems unwilling to offer any. Should I consider leaving to start my own company in the same domain?
Very interesting outcome. Shows how far it’s possible to get without being idiomatic.

You say the docs contain guidance on structuring, high-level constructs, and how to make things idiomatic. It would be an interesting test to hand the unfixed revision of the code to an LLM while also giving it the docs, and say “make any fixes to make this conform to standards of the framework and libraries”.

If it picks up the same things that’s great news for novice programmers and anyone new to a framework!

LLMs will improve at making these fixes over time - even if they’re currently bad at it that won’t last.
I discovered this trick independently about a decade ago, to use cross-eyed viewing to easily spot differences between two similar images. Like you said, the parts that mismatch appear to shimmer and be unstable, making them obvious.

However, I feel eye strain from doing it, so I prefer other methods. 99% of the time, I do https://en.wikipedia.org/wiki/Blink_comparator instead, just switching between two images with zero flicker and zero displacement offset. Also with both eyes, it's easier to spot certain kinds of subtle differences like color shifts, JPEG-like compression artifacts, tiny differences in antialiased renderings, etc.

One benefit of the cross-eyed method, though, is that you can difference videos. But the use case for that is rarer than differencing images.
I can get the images to merge but the differences don't stand out.
The assertion is that they're lightweight formal methods. Or is the article (and the proceedings of SOSP '21 it links to) wrong?

EDIT: ah I see where there might be confusion--obviously a library for generating random test data and making assertions about code under test itself doesn't constitute anything like "formal methods" but the idea of using that library in the way described in the paper linked from the article does. But that's kinda always the thing about software libraries..
Just played it on Firefox. Maybe we have different browser settings?
I remember a discussion of why it was acceptable and even expected to be late at parties, but for work events, you had to be on time or better yet early, and the general consensus was "when you're doing work, you need to be precise, but when you're doing leisure, it's good to have time to relax while waiting for guests, and for guests not to stress getting there at a precise moment!"

I strive to be on time for work things, but don't mind being a little late to parties -- and this drives me and my my wife nuts, because my wife wants to be on time for parties.
Rails is truly experiencing a renaissance and after giving it a try, I understand why
> Are you saying devs aren't part of the workers being laid off?

Of course not. The Section 174 changes are really only relevant to software devs—the conversation in the months leading up to them kicking in was all about how it would kill software jobs. But then when it happened the media latched onto this idea that it was the result of automation, with zero evidence besides the timing.

Since the timing also coincided with a gigantically important change to the tax code and a rapid increase in interest rates, both of which were predicted to kill software jobs, I'm suggesting that blaming AI is silly—we have a proximate cause already that is much more probable.
I see only a red half of the page, and then two pages of text.
What does jury nullification mean in this case? It means nothing.
Isn't this a little over engineered? You can accomplish the same thing with a 5-line bash script. put protect.sh somewhere in your path:

#!/bin/bash
if [[ $SSH_TTY ]]; then
read -p 'You are in SSH. Are you sure (enter hostname for yes)? '
[[ $REPLY == $(hostname) ]] || exit 2
fi
exec "$@"

Then in your bashrc or zshrc:

alias shutdown='protect.sh shutdown'
alias reboot='protect.sh'
alias sudo='sudo ' # Don't allow sudo to bypass the protection. Can do the same with doas
Canvas LMS is built on rails. It is open source, too.
Well if you can show me an LLM responding to it's having a pen in its hand via a robotic hand, webcam and the like -- then we are at the bare minimum for it possibly meaning, "i have a pen in my hand".

No such LLMs exist, because they are trained to predict the next word not (WebCamState, RobotArmState, NextWord) -- since, at least, no such corpus exists
30kph is a nuisance in any urban setting. Legitimately dangerous, when everyone else is going 50, which is the standard urban speed.
Works fine here (134.0 on macOS)
Looks really fun, I have to try it
It's good to see such concise parameters which rise to the top over many decades of experimentation & discovery.

Especially over such a long period of time, when the number of other considerations and variables gets much more overwhelming with each decade. It can be naturally difficult for even experts to see the forest for the trees, but an extra decade or two can be what it takes to climb above the canopy just enough to get a clear sight on what can not be perceived any other way.
I actually had the chance to demo this tech last year and it was really interesting. They had a feature where if you wrote something on paper it was transcribed to the computer. You could control the PC by tapping your thumb to your index finger or closing a fist.

In hindsight it seemed stupid for meta to invest so much in AR/VR but the techn they release continues to get better.