skysight-inc/HackerNews huggingface dataset:
Right, but I'm not advocating for actions within the current system. I'm advocating for a change to the current system by drawing a contrast between legality and reality.

We have a collective tendency to forget that we're the authors of legality and tend to reverse our causal arrows. Reality should be reflected in the law, not be shaped by the law.
Show HN: High school robotics code/CAD/design binder release
Hello HN!

My name is Patrick, and I am a junior at my High School’s FRC robotics team FRC 341 “Miss Daisy” (yes named after the movie). Every year, during the first weekend in January, a new robotics game is released (no it’s not battlebots). The game could be about launching balls into a goal, climbing monkeybars, or placing cubes on a see-saw. This year we were challenged to build a robot that could shoot orange foam donuts into a goal about 6 feet in the air. Here is a yt video with the game animation https://www.youtube.com/watch?v=9keeDyFxzY4&t. After we received the game we then had six weeks to design, build, program, and field a robot capable of playing the game. And we did pretty well this year! I have attached a ChiefDelphi thread (robotics forum) where we have released our season materials. This being our CAD (3D model of robot), code, and design binder. I encourage you to take a look and leave any questions that you may have.

Thanks a lot!
No offence, but you can’t really say that after a single visit of a few days.

For instance, healthcare in Appalachia is generally terrible, as are the crime rates.
Don't wish to be a java apologist but SimpleDateFormat lives in the java.text package, far from where date/time stuff is.
Throwing pennies around isn’t a big enough appeal or a viable business, see my other comment in the thread: https://news.ycombinator.com/item?id=41337617
Based on capability, it getting caught, or just abstract vibes and speculation?
Green Ridge state park, nearby, is wonderful camping and four wheeling.
What you want is an HTML tag or response header that restricts network access, which the browser can then enforce. Offline or a list of allowed domains, this would be great for security in general. Not so great for advertisers though.
They did communicate. Feel free to peruse the articles from Eric Berger on Ars. Lots of good info there
> more on whether it's a good idea to do that

If you want to shift goal posts to that, then we are in agreement, adding AI to something without real care in how it works with the experience isn’t a good idea.
would you use a VR headset today from 20yrs ago?

I am generally against creating unnecessary e-waste but let's be real, it will likely be better to recycle it and experiment with something else in that time frame...
My favorite Date v Datetime bug is that Chile changes to DLS at midnight and not 1am. So it’s goes 11:59>1am. Many systems that conflate dates and date times take the existence of midnight as an invariant, which it is not.
According to a report I read, their extra time is being compensated by Boeing with $50 gift cards for Red Lobster.
I used not to belong to this group, but shortly after my son was born, I started to get motion sickness from a few different things, including some old games (e.g. Shadow Warrior)
The government forces HN to turn into Reddit: everyone has to post vacuous banter comments until you file. (edit: the post I am replying to was the top comment at the time, for about an hour)
Maybe so the web browser etc. still has some GPU without swapping from main memory? What % does it default to?
> TZ library changes frequently enough

The zone database adds more historic entries than they do modern ones. You can; however, calculate the correct 1942 "summer war time" in the british isles if you're so inclined. The tendency to do this while also copying copyrighted text into the file shows that the zone maintainers are not interested in the same problems most users are.

The TZ database is a complete mess. The whole thing should be replaced with a '.timezone' TLD, each civil time keeping authority should get control over it, and TXT records used to publish current TZ information. OS Vendors can cache all that in the OS if they like, but this secondary central time authority has outlived it's usefulness.
Gold is the worst example because the price of gold is almost 100% based on its scarcity. Doubling the supply of gold would just cause the price to roughly halve. Hilariously, if you actually had the capability to inundate the world with gold, you'd find it much easier and still extremely profitable to extort the people who own gold to pay you not do so.
On a related note, here's an algorithm for parsing user input into a sanitized time format:

String.prototype.toTime = function () {
var time = this;
var post_meridiem = false;
var ante_meridiem = false;
var hours = 0;
var minutes = 0;

if( time != null ) {
post_meridiem = time.match( /p/i ) !== null;
ante_meridiem = time.match( /a/i ) !== null;

// Preserve 2400h time by changing leading zeros to 24.
time = time.replace( /^00/, '24' );

// Strip the string down to digits and convert to a number.
time = parseInt( time.replace( /\D/g, '' ) );
}
else {
time = 0;
}

if( time > 0 && time < 24 ) {
// 1 through 23 become hours, no minutes.
hours = time;
}
else if( time >= 100 && time <= 2359 ) {
// 100 through 2359 become hours and two-digit minutes.
hours = ~~(time / 100);
minutes = time % 100;
}
else if( time >= 2400 ) {
// After 2400, it's midnight again.
minutes = (time % 100);
post_meridiem = false;
}

if( hours == 12 && ante_meridiem === false ) {
post_meridiem = true;
}

if( hours > 12 ) {
post_meridiem = true;
hours -= 12;
}

if( minutes > 59 ) {
minutes = 59;
}

var result =
(""+hours).padStart( 2, "0" ) + ":" + (""+minutes).padStart( 2, "0" ) +
(post_meridiem ? "PM" : "AM");

return result;
};

I posted it a while back to the following thread:

https://stackoverflow.com/a/49185071/59087

One of my minor bug bears is why we humans have to enter time into input fields in such rigid formats when there's a straightforward algorithm to make such inputs far more natural.
> Would you be able to do it with a fake account

Of course, although it also requires a setting up a 'fake' phone number. I just don't want to touch the Meta ToS – as I haven't for more than a decade – even with a ten-meter anonymous pole.

A better solution would be to ask a friend to activate it, but I haven't because there were other yaks to be shaved.

> it seems harsh to say “isn’t true at all”

You cannot activate an Oculus Go today and "randomly" discover the same activated "shrink wrapped headset twenty years from now". I'm just trying to correct the record, as AFAIK the news stories about this have been undisputed since 2021. It's a fantastic achievement that the bootloader can be unlocked at all, and I certainly hope that it will set a precedent (but I won't be holding my breath).
At some point, many people start thinking about things like access to good healthcare, various types of trades, ability to travel without it being a huge hassle, etc. Doesn't mean you need to live right around a big city but I doubt I would want every task or appointment to be a big undertaking.
Columbia and Cumberland are about as opposite as you can get.

You might as well say “San Francisco is one of the greatest cities on earth, so you should move to Bakersfield.”
I don’t know, it was Carmack’s hypothetical not mine.
Enormous PRC indigenous turbo jet efforts progress exploded in last 10-15 years coincides with results of tertiary education reforms producing roughly OECD STEM talent combined. The problem post sanctions was there was a lot of work with not a lot of talent, it took time to build up talent generation engines, now PRC on trend to becoming the only country with enough semi talent for entire domestic semi supply chain - every other semi player projected to have 10k-100k+ talent shortage in short/medium term in the segments they specialize in. The real competition is whether a fragmented "western" semi ecosystem can ultimately compete with an integrated PRC one.
> The point of SQL pipe syntax is that there is no reordering.

If you're referring to this in the comment you're replying to:

> Can we call this SQL anymore after this? This re-ordering of things ...

Then they're clearly just saying that this is a reordering compared to SQL, which is undeniably true (and the while point).
In the languages and platforms I use, absolutely yes. Do you have some examples where a normal memory read is async?
My initial reaction is that the pipes are redundant (syntactic vinegar). Syntactic order is sufficient.

The changes to my SQL grammar to accomodate this proposal are minor. Move the 'from' rule to the front. Add a star '*' around a new filters rule (eg zero-or-more, in any order), removing the misc dialect specific alts, simplifying my grammar a bit.

Drop the pipes and this would be terrific.
> I assume you could have just as modern and featureful experience with cvs as with git

There are strong mindset differences between various software communities; it might takes a little bit of time & effort to appreciate a more frugal/conservative approach to software engineering.

The previous links highlighted some aspects of those mindset differences. [0], while unrelated to OpenBSD, is another good illustration.

That's to say, OpenBSD people probably don't care much for a more featureful experience: it won't make them more productive, even if it may look like it would from the outset.

[0]: https://rachelbythebay.com/w/2011/09/24/editor/
Shouldn't datetime handling happen in the backend. I cannot imagine why you would trust the client to give you accurate time.
Because the timestamp and offset (i.e., a numeric indication of the time zone, as a difference from UTC) aren't actually enough information to calculate the local time, pedantically.

Why not?

1. Leap seconds. They exist at irregularly spaced intervals based on the Earth's actual rotation, which is a) not perfectly consistent and b) ever so slightly, continuously, on average, slowing down. The offset would only allow you to figure this out, in principle, if you already had the UTC time - which has to be calculated from the timestamp in a complex way that accounts for leap second information retrieved from a database.

2. Time zones change over time. Some parts of the world use daylight savings time and others don't. It's possible in principle for a daylight savings time transition (which occurs on different dates in different parts of the world) to occur between two displays of the date, invalidating the offset.

3. Time zones change over (longer periods of) time. They've historically been created, removed or had their borders changed. Sir Sandford Fleming's system is now 148 years old (and there were others before it), and geopolitics happens.

4. Calendars. Maybe you don't care about, say, the eras of the Japanese calendar (https://en.wikipedia.org/wiki/Japanese_era_name), but some applications will require knowing about it. If you need to deal with history, then the conversion between Gregorian and Julian calendars will also depend on locale, because the Gregorian calendar was adopted at different points in different parts of the world.
China this week just approved 11 new nuclear power plants, including a 4th Gen. Last year they approved 10. They currently have 56 in operation.

I would hardly say the age of nuclear is over.
> I think only americanized Europeans cared about him.

I mean, it depends where you live, but Naughty Old Mr Car has stuck his oar in on, at least, Irish, British and French politics, and has also said many extremely stupid things about Ukraine. He’s getting harder to ignore in Europe.
But they are using neither of those.
Can't one just file that through internet in the US? They do have internet access as far as I understand.
it outsources buffer management and user thread i/o scheduling to the kernel. for some use cases it's a great way to simplify implementation or boost performance. for others it may not perform as well.

the blog post points (in my mind) at some more general advice when programming which is not to mix and match paradigms unless you really know what you're doing. if you want to do user space async io, cool. if using kernel features tickles your fancy, also cool.

mixing both without a deep understanding of what's going on under the hood will probably give you trouble.
Common term in North America for elementary (usually ages 5-12) and secondary (age 13-18) education. What do you call it where you live?
"PostgresSQL"? "SQL Lite"? Not even getting the names of the supported databases right doesn’t create trust…
You keep posting this reply everywhere, doesn't make it true. They've always had the option of coming down on crew 8, they will have the plan of coming down on crew 9. The starliner is still functional as well, just the risk is unquantified. Remember NASA requires a risk assessment of 1:270 odds to proceed. Saying they're not coming back on starliner doesn't mean that it's certain death if they do
As someone who knows both languages intimately (written more code in both of those languages than any others), I can't think of any two (non-toy) languages which are more diametrically opposed.

This is deeply cursed and I love it.
> What would ideally mean "good internet access?"

For someone who relies on a internet connection for their professional work I'd say 100 Mbps is the floor of "good" in 2024. I think that's what the FCC updated their definition of broadband to earlier this year.
No, but Boeing was going this way before the pandemic. I left in 2021 for context.
> For example, if I give it an often repeated quote from a book written in the 1800's, then it can tell me where it came from. That's hundreds of years of noise it's weeding through. Imagine what language models could do for recently created knowledge.

Alternatively: That's 100s of years of mentions of that quote it can pull from.
this is consistent, non-pseudo-english, reusable, and generic. The SQL standard largely defines the aesthetic of the language, and is in complete opposition to these qualities. I think would be fundamentally incorrect to call it SQL

Perhaps if they used a keyword PIPE and used a separate grammar definition for the expressions that follow the pipe, such that it is almost what you’d expect but randomly missing things or changes up some keywords
I also taught myself how to program at a younger age.

You'll be surprised how hard this is for many people. I was surprised by how many really struggled through the first introductory programming course in university.

Math isn't that hard. But for almost everyone it requires a lot of work to get to the next level. Some of the same skills transfer. Something too removed from where you are feels very alien, partly because of language, symbols, conventions, etc. and also not having the building blocks/theories etc.
Unrelated (sort of). I wonder if there will be UX implications 10 years out when most people who use computers grew up with Roblox and Minecraft.
Looks very intriguing, will give this a try. As a windowing and task switching productivity nut, I built my own replacement for ⌘+Tab, Switcheroo. Check it out here: https://switchfaster.com/
This seems actually useful since it's really doing transpiling!
Not My Oligarchs syndrome.

I don't use X, never used Twitter, and I donate to my local NPR member stations. I don't want moneyed interests and secret political alliances in my media, at all.

>But everyone failed to take into account the fact that investors needed a platform to promote their narratives

Shocked. Now do the rest.
I'm using Zed alongside its new LLM integration with Claude Sonnet 3.5 and I'm really really enjoying it. The workflow and the way you control what goes into the context feels very good and efficient and mimics the way I've been using LLMs before, just MUCH faster and convenient.
> Vanilla SQL [...] QUALIFY is after analytic window functions

Isn't that FILTER (WHERE), as in SELECT avg(...) FILTER (WHERE ...) FROM ...?
You're comprehensively missing the point. According to Carmack's hypothetical, someone in the future could discover a unit and unlock it even if they were born after Facebook/Meta went out of business completely. But that just isn't true if a Meta login is required.
I’m not entirely sure how and why this should be hard. I have a blog that runs on a file based CMS. It doesn’t need constant updates and will run just fine on its current set up for as long as the VPS is up. There are sites I made at the beginning of my freelance career that are still out there, still doing fine and are more than 10 years old.

The only reason why a site is not going to last is if you build it on a convoluted tower of tools that depend on other tools that depend on 3rd party services and so on.

Want your site to last? Pick a stack that’s as simple as possible. Want to make it last “forever”? Build it with just html + css.
That paper only presents hope that perhaps adhesive bonding of carbon nanotubes could produce a cable with high tensile strength.

It does not contain any experimental results supporting this hope, because only a strength similar to steel has been obtained.

Perhaps it will become possible to obtain a higher tensile strength than with other materials by this method, but it is likely that this will require longer nanotubes and perhaps some other kind of polymeric resin instead of epoxy. It is very difficult to find anything that has high enough adhesion to carbon.
Campfire Disco
How the Wok is Winning the West.
Are you in America? I think their market penetration there is still extremely low.

Most of BMW’s electric cars (with the exception of the notably weird-looking i3) are also pretty subtle; you wouldn’t really know they were electric unless you looked closely. In particular, they’ve kept some approximation of their trademark grille.
They would use Starliner, which was announced a few weeks ago.
I find about 50% of Apple Lightning cables bought from Apple go bad in a short time. Garmin charging cables seem to always go bad but I think the whole plug is badly designed. At least I can get Garmin devices to sync most of the time whereas Fitbit was so bad I wouldn’t bother to sync at all.

My luck with cheap USB-C cables (bottom of the line Best Buy, AMZN Basics) is that they aren’t worse than Lightning cables.
I haven’t read through the binder yet but I appreciate you cross posting this to HN because the work many FRC teams do is excellent for a bunch of high schoolers and deserves more visibility.

Good luck, next season is just around the corner.
Scheduling on a calendar (occur on date X, time Y, in zone Z) and scheduling based on timedelta from instant time (occur exactly X milliseconds before or after instant Y) are both valid, and you can do timedelta scheduling in UTC without needing timezones. The issues come from conflating the two; using timedelta reasoning for calendar scheduling, or using calendar scheduling when you want an exact timedelta.
Double blind reviewing is not the norm in computer science. You will sometimes see it, but it depends on the subfield, the specific conference/journal, and even the year. In my experience as an author/reviewer, the submissions have been anonymous maybe 10% of the time.

And the biggest issue I see in CS is the focus on gatekeeping. When many (most?) papers are published in conferences with a single round of reviews, peer reviewing becomes more about accepting/rejecting the paper than improving it. The average review I receive in bioinformatics is more useful to me than the average review in CS.
Does this mean I will no longer have to suffer with so many sites only offering relative times in lists without even hover for absolute date & time?

I’m looking for a particular build or deployment near a certain date and time and I must first calculate how many days ago it was then binary search through the items from that day.
Free at Last? A New Round in an Old Debate
While the interplanetary transfer network is real (https://en.wikipedia.org/wiki/Interplanetary_Transport_Netwo...), getting a payload onto the network itself requires a large and varying amount of energy based on where your asteroid is located. And then once you've successfully gotten your giant rock of solid platinum to some Earth-Sun Lagrange point, you still need to manage its descent to Earth, and beyond the technical difficulties of trying to steer it precisely, the superpowers of the world are unlikely to be peachy keen on the idea of a private company having global orbital bombardment capabilities, which is going to be a political headache of its own.
It doesn't matter. You can buy Bitcoin with cash, convert the Bitcoin to Monero and then as soon as you send that Monero to your own wallet, you're done. You have digital cash to spend anonymously.
Equidistant in time.

Edit: speak up, annoyant... "Distance" is "standing apart". It is not confined to space - in fact, the original meaning is that of "diverging in stances" (i.e. a quarrel), and the geometric one comes one century later. And there exist languages where speaking of "distance in time" is language in use - so, if in your neighborhood they don't speak this way, it is a problem of your neighborhood.
That’s the problem with irrigation. You get charged for the sewage cost of that much water even though it doesn’t end up there. Unless you’re a farmer.
And it wasn't even a real failure; they contractually have to provide something like a 1 in 200 chance of failure or better, and in the state the vehicle is in they haven't or can't prove that they're meeting that safety margin, so NASA is choosing to go with an option that does have that safety margin. That's it. If they were to come down in it anyways there's still likely a 1% or less chance of failure.
Thanks! I am excited to see what the new game is.
Is there a more mobile-friendly way to right-click?
Meme replies should be downvoted, there are other places online where joke comments are a regular occurrence. I like how HN at least tries to force a real discussion and attempts at humor need to be both sincere and not low effort.
Priorities of a Great Engineering Leader
The Vital Necessity of Very Old Books (2023)
But people still had them. GP is saying they didn't have any.
That is not really what Carmack suggested in his quote. I’m not saying it is necessarily some huge loss, just pointing out that we still haven’t managed to pretzel our brains into an interpretation that makes Carmack right.
I use ShupUp10++ to disable it in one click and more.
>Why can't we have basic types?

The same reason you couldn't in 1996: because the assumed entry point for the language is someone who can barely conceptually manage HTML; doesn't want to have to deal mentally with the fact that numbers and text are fundamentally different kinds of thing; and - most importantly - absolutely will not accept the page failing to render correctly, or the user being shown an error message from the browser, for any reason that the browser could even vaguely plausibly patch around (just like how the browser has to guess whether an unescaped random stray < is just an unescaped less-than symbol or the start of an unclosed tag, or guess where the ends of unclosed tags should be, or do something sensible about constructs like <foo><bar></foo></bar>, or....)
As a (very) small shareholder in SpaceX, I can tell you, it's Elon (and Gwynne's) game, full stop. I would be very surprised to learn an investor has even a tiny bit of influence at SpaceX.
always curious what the license allows with these Meta research drops, seems all over the place… can this be used commercially? (specifically inference) it’s creative commons and some parts apache?