skysight-inc/HackerNews huggingface dataset:
Law - https://legislature.idaho.gov/statutesrules/idstat/Title18/T...

Definitions - https://legislature.idaho.gov/statutesrules/idstat/Title18/T...

This looks like malicious compliance to make people angry. There are no restrictions on children entering a library, only on 'obscene' materials. Perfect fodder for the kind of person that fawns over ""banned"" books.
>In one remarkable part of the account, Lt. Col. E. describes firing upon an ambulance on the Gaza side of the border, admitting that they were not entirely sure whether the wounded person being carried to it was a hostage or a militant.

Sums up the strategy of the genocidal forces. Just kill them, no consequences to follow or any questions asked.
I somehow memorized most of the function key combos for wordperfect when in high school. And it wasn't like I was doing loads of reports for school. I guess it was a combination of there not being much else to do with the PC I had than playing the few (copied) games I had and fiddling with my copy of Wordperfect 5.1 (my neighbor who taught using it, supplied it). In any case, bored as I was, I explored a lot of the feature set and wrapped my head around features I would never use. Like creating mailings. I don't think I've ever actually had to create one. But it was there so I dove into it. For the post-internet generation, this is how you would create snail mail spam campaign in the early nineties. Merge a list of addressees with a letter with the right codes and then print personalized letters.

I also had a hand me down commodore 64 before that. My uncle donated this when he got his first PC. I taught myself basic on that. And with a few peeks and pokes managed a simple game even. Alas, I had no disk drive and never thought to actually save my creations anywhere. Like on the tape drive I did have. The commodore 64 was great though. And my uncle bundled some introductory computer science stuff with it (a primer on bits and bytes) that along with the excellent C64 manual went a long way to got me into programming. My local library was useless. I had no access to information. There was no internet (at least not accessible to me; I had not even heard of it). But that C64 manual got me curious and I had nothing better to do. I did not realize it at the time but that bit of commodore 64 documentation and computer science intro is what changed my life.

The PC I got after that was relatively boring because it did not include anything useful in terms of documentation. Starved of information, I dove into Wordperfect.
When keeping it SaaS goes wrong /s
It's pretty much a truism that one should never rely on a dissent's characterization of what the majority opinion says. Especially if the dissent writer is Sotomayor or Alito, frankly.

Murdering political rivals isn't a core constitutional duty of the President with automatic immunity. If he orders Seal Team 6 to do it, it's an official act, for which he has a rebuttable presumption of immunity. That means the prosecution has to prove he hasn't got immunity.

Roberts at least strongly hints in the majority opinion that Trump's immunity for trying to coerce Pence to commit crimes on Jan. 6 should be rebuttable. If that's the bar then ordering Seal Team Six to kill people will definitely get a president sent to prison the day he leaves office, whether the regular way or by impeachment.

Immunity before impeachment has pretty much been the position of the Justice Department (I think wrongly btw) with regard to current presidents for decades, including the Biden justice department. This isn't as big of a change as it makes sense for the Democrats to make it out to be.
Probably! This paper is a year or two newer but used the exact same principle. It also has a much better constant than I recall. Perhaps I was reading a precursor article. I really enjoy this approach, it is a lovely idea.
Slightly unrelated: I wish there was an option to disable the brownie points or karma. I, for one, don’t really care about some arbitrary number, neither up nor down. It also encourages echo chamber ideas, as humans are biased towards them and might even mindlessly vote down or up when they think this is the majority opinion. That also leads to public manipulation. I think HN should get rid of it completely while keeping some hidden -or not- metrics on how an article should be popular or not.
Right.

Why is it a smart person should be expected to use their capabilities for "the betterment of humanity"? There's a level of entitlement that goes with statements like that.
$499 in 1995 is equivalent to $1,030 today, that's not as cheap as it sounds.
It was pretty infuriating wondering why my changes weren't taking effect, but like I said, it only hit me for that one project, and now I'm ready for it (I had to manually refresh every time beforehand anyway). It's a legacy codebase, I'm already used to intermittent nonsense like that. HMR never fails on the other project -- but now I've jinxed it for sure!
There are significant differences between the two, even if they are similar at a high level.

But also, pointing out problems doesn’t mean that something is useless. Something can be a net good, yet still have downsides.
No, only a small amount of people care about compiler benchmarks... which are not representative of general-purpose code anyway since they seem more interested in testing vectorisation and other dubious features that are only important for a tiny subset of everything a compiler gets used for.

That said, ICC and MSVC can achieve similar or better results without going insane with UB, so it's clearly not as strictly necessary as the lame pedants want you to believe.
Call a lawyer right away, and start gathering any evidence you can find on the company for a lawsuit. Once you file the lawsuit, you'll be in a good position to negotiate a lucrative deal for yourself.
The Problem with Postgres Replicas
> you can still have "watercooler chats" with coworkers remotely. "how bout those _____" still works before big group calls, for example.

For many people these conversations are irritating and exhausting
> The reward for me is so significant that getting myself running requires 0 mental effort or preparation.

Is there a drug I can take to achieve this? This sounds like a superpower to me. I've tried to start running so many times.
I think currently most of these things are dominated by other sources of noise such that a more precise clock isn't that big of an improvement, but the article claims these kinds of clocks could also be smaller than an atomic one, which may make them worth using. Could be useful for things like submarine navigation via gravitational mapping or other applications where size and lifetime/maintenance requirements might favor this design over a standard atomic clock.
Mostly not, but the formats and limited available tooling is designed to dovetail with existing offerings. Adoption is extremely low despite fairly easy implementation of most features.
Abbreviated from "Rewrite least significant digits of ..." /s
Huh I didn't know that Mozilla Ventures exist.

Well, okay
An anecdote, but in 1983 an Israeli F-15 famously landed successfully with one of its wings almost completely sheared off after a midair collision during training exercises.
Looks like OP got called out for this being a thinly-veiled attempt to get free marketing/SEO[1] for their business and suddenly the gig was up[2].

1: https://news.ycombinator.com/item?id=40859051

2: https://news.ycombinator.com/item?id=40859389
It's a conformity test, though it's not often viewed that way. If you interview enough you get really good at passing them, surprisingly quickly. Ultimately they want to hire people that fit a certain mold, because they understand how to utilize them. It is only a red flag if you aren't that type of person, or don't enjoy pretending to be one.

IMHO it is also the reason they can't generally make their own (good) products any more, without acquiring / copying -- that is not the type of people they hire (more artistic / risk taker types).
My point is not that we should mimic humans. My point is that there's probably learnable but inexplicable heuristics you could learn for generally solving gradient descent problems just by the formulations on their own that a neural net would be good at.
It's usually run as a local web application with the browser running on the same machine as the backend, though it's possible to bind it to non-localhost interfaces.
Why should one block merging code? The idea of someone spending hours working on some code changes being blocked by another individual that doesn’t allocate time for reviewing is alien to me. We are all professionals, let people merge their changes and make sure you find time to review them. If you can’t review them and they still need your approval, then approve.

Unless you don’t trust your colleagues. If that’s the case, then code review is doomed anyway
Sonar is destroying my job and it's driving me to despair
Shouldn't that comparison be weighted by how frequent the words are? For example words in the top 100 usage would count for more than the top 1000 and the top 10000.

It would be a much different story if British English and American English had different words for "a car". Which, by the way, happens in Spanish dialects ("el coche" vs "el carro").
I like how it links to old.reddit.com--that should filter by age of commenters.
Nowadays the spec mostly is "whatever Chrome does".

Firefox has often been forced to just conform to Chrome behaviour, despite differing specs, or because the spec was rejected/not agreed upon.
Maybe so, but the abbreviation significantly changes how the average person is going to interpret what is being done.
I haven't followed Arweave closely at all recently but the creator seemed genuine and capable enough to warrant attention. As to tech itself, assuming commodity storage costs continue to drop ~indefinitely and somewhat predictably it feels intuitive to me how such a scheme can be viable. It's ultimately a bet on ever-reducing storage costs.
Fond memories of having a handy cheatsheet printed out for doing homework and chatting on MSN Messenger, until of course I memorized them (or maybe I printed it for the benefit of others).

It was always odd to me that é was out of sequence:

Alt+160 => á
Alt+130 => é
Alt+161 => í
Alt+162 => ó
Alt+163 => ú
Alt+164 => ñ
Alt+165 => Ñ

Most people with US keyboards had no idea how to type ñ/Ñ, the most important out of the bunch.
For all we know these critters got their start on Mars, then hitched a ride to Earth on a meteor.
With a little massaging of input and output you can convert any program P into the program P_n defined as "repeat P n times".

For any n P terminate if and only if P_n terminates, so no general procedure can decide the halting problem for all programs except 1.
Not sure if upsetting is the right word, but people are looking for things like that. It would be a remarkable discovery for sure. There are markers in the spectra of distant stars that could give us a hint, so sending probes is not necessarily a requirement. So far, potential variances have been constrained to a very high degree.
One of the reasons the title insurance market exists is because governments can’t even reliably record title events in a timely manner. Putting them in charge of risk management would only make it worse.
Maybe because they are trying to influence policy goals? Google is a large customer but it is still a teensy tiny fraction of American electricity consumption. I don't understand why the press has decided that it falls on the information industry alone to decarbonize the US (and global) power grid.
> Except I fucked up and left a bug in there. Ever notice that a lot of the buildings have a weird purple halo? Basically the table broke when dealing with the edge and transparency because I didn't have a correct way to represent that. Then I ran out of time, I think I could have fixed it.

No I can't say I ever noticed that... and I've probably played thousands of hours, including playing through the entire campaign for both sides...
Weather forecast accuracy across US cities based on Weather Service gridded data
No one is talking about "protection" in the sense of physical defense.
You really can't trust those dirty breathers. Always moving air through their nose and/or mouth
Yes, this drug from Eli Lilly looks very promising:

https://investor.lilly.com/news-releases/news-release-detail...

https://www.alzheimersresearchuk.org/news/another-milestone-...

Also, the 40hz therapy stuff looks compelling to me. I made a free website that you can use on a phone to try it:

https://alzheimersbuddy.com/
I believe the comments on the linked Reddit post note the library at which the sign is posted has only around 1000 ft^2 of floor space and simply cannot partition it into adult-only and children’s sections. According to a library worker familiar with that instance, the intent was more practical than malicious.
I think the audience for those types of videos skew young, as in college kids and new graduates without much real experience. All they know about the working world is mostly second-hand knowledge from their network, or straight from Youtube and TV.

Unfortunately, there is a whole genre of "Day in the Life Of [my job role]" Youtube channels that rack up millions of views. They are made for entertainment, not edification, so hoping to learn something end up focusing on the superficial parts of it.
Alternative link: https://archive.ph/OTNuo#selection-897.4-897.19
Given the scale it wouldn't be wise to render them directly. There's also the issue of being able to record in real life without changes happening while doing so.

I should've have clarified it, but yes I was talking about the extracted surface geometry.
Maybe, but that’s a very recent redefinition of terms. Peer review as a standardized mechanism in the 70’s - 90’s depending on the field. Until very close to the present saying “passing peer review” meant something akin to the Popperian notion of “ideas that survive attempts at falsification by the broader community of scientific peers.” In all my interaction with academia pre-pandemic, it meant precisely this. Something wasn’t peer reviewed because it was published (surviving the editorial process), but because it was published and cited by later works without credible refutations emerging.
Well but I might have a hundred files, only one of which changed.

The 99 other ones are still in the browser cache and don't need to be re-(down)loaded.

If I bundle everything, then I have to scrap and reload everything, which is probably great for the final user, but not the developer actively modifying it.
Excuse me, to a very high degree? Can you elaborate?
Adding more decimal points to various physical constants. Any everyday applications are far away.
It's not testing all values, but one particular starting point. In all likelyhood, it will never reach its stopping condition from this starting point, but proving this even for a single value is currently intractable. Compare with the "5x + 1" variant of the Collatz cojecture, where many values are believed (but not proven) to run off to infinity, never to return.
Stuff I've read is spectroscopy can detect molecules from billions of light years away. And if something like Planck's constant varied with time or distance the spectral properties of those would change radically.
This is not a “replication crisis”. Running the paper gets you the same results as the author; it’s uniquely replicable. The results not being useful in a product is not the same as a fundamental failure in our use of the scientific process.
More flexibility should be a workers right. But WFH 5-days a week - I'm not sure about that. I was previously an ardent remote worker and did so on a hybrid basis pre-Covid. These days I'm not so sure it's the best thing. I know so many people not working for half the day. And their results show it and their colleagues suffer for it. But in countries where we have strong protections against being fired, getting rid of people for underperforming by 25% isn't easy. Certain people need the 'threat' of eyes on them in an office. Personally, I work harder in that environment. I don't particularly want to go back to it, but I can't deny it would be good for the company. There are also many who work much better at home - so it's not a simple problem. It needs to be decided team by team, company by company, and maybe even individual by individual.
> Does iPXE have a ca-certificates bundle built-in, is there PKI with which to validate kernels and initrds retrieved over the network at boot time

For HTTPS booting, yes.

> how does SecureBoot work with iPXE?

It doesn't, unless you manage to get your iPXE (along with everything else in the chain of control) signed.
Last quarter Tesla deployed 4GWh of battery capacity, this quarter it is 9.4GWh.

Where do you think that is being deployed?
This is a textbook definition of bikeshedding though
I don't know, here's a random news segment:

https://www.youtube.com/watch?v=tfvrmrYG_-c

But I think chileans are ok with people saying we don't speak well, so it doesn't matter too much.
I find it much easier to remesh and deal with textures with a crappy 3d reconstruction vs working with 2d images only. I also shoot HDRI and photos for PBR. I find sculpting tools super useful for VR, but yeah its still an Art even with all the AI help.
The difference is, that with Vim script it will either happen unexpectedly or unexplicably, while in Elisp it will/might happen later, but will be in the realm of understandable things.
Yes, the current implementation of the repository converts any data primarily into strctured markdown text.

The next stage will involve prompt guides or schema-guided structure extraction.

Let's say you are processing a lot of research PDFs and want to convert them into clean markdown that best represents the content. Now, let's say you want to extract the authors, abstracts, captions, and store images.

The extraction engine we are currently working on will help you with that.
Uninformed response: if two different universal approximators can have different modes/rates of learning, then even if they're usable in theory, they could be less good in practice.
The inertia issue you described is now fixed. Thank you for pointing it out. Also I agree with the Gimp comments from below
i only want the score to represent real threat, not what features it includes, as that is meaningless in the long run. i agree that it shouldn't include "i think is bad" as that is meaningless as well, the score should represent the threat, not the features.

because i'm checking dependabot [0][1] regularly, there is a lot of issues with very high scores for frontend libraries, that have really low impact, because it "checks" some features. eg some plugin for jquery (frontend lib) [2] that has the same score as heartbleed, which is insane and shows how useless the score is in current form.

- https://docs.github.com/en/code-security/dependabot/dependab...

- https://github.com/advisories?query=type%3Areviewed

- https://github.com/advisories/GHSA-ffmh-x56j-9rc3
oasisaimlessly's response says it all.
One of my favorite bombs is I was asked a "real" coding question, basically a function that returns some config or another function. Anyways they somewhat lead you into a simple if statement, or a switch in my case, and then dump more examples until you come up with using a map instead. Which is something I didn't do in the interview, and most definitely (implicitly) failed. It wasn't until I was back on my side project, happily solving the same problem but using a map of course (i dont generally use switch statements in my actual code). Oh, duh lol, that's what they were asking me. They probably think I don't know how to program.

That was a turning point for me, because as far as questions go it was very fair. And yet, it had the same effect. 20 interviews later I was acing far more difficult questions, being rather polished (and ahem, interview questions aren't generally very unique). So I guess I interviews at that place too early. Maybe its useful? IDK. For me personally, it seems like really good people have a track record of shipping good stuff (or doing other good things in life), and can generally explain what it is and how it works. They usually have former colleagues you can talk to as well. Some of them even have side projects you can look at. But ah when the interview mill is in full steam, its hard to individualize to the candidate. We have a feature factory sir, and what we need are some good cogs. That's how you maximize the value you achieve from a developer after all!
In the united states, the people get to influence things through their representatives in congress, not through unlimited executive power.

I don't believe that congress is doing a good job representing the people but I don't think that the solution to that is to elect a king.
Very. One consequence is that, for example, momentum might not be conserved, since according to Noether’s theorem momentum conservation is directly linked to the translation invariance of fundamental physical laws. One consequence of that in turn would be that Newton’s 3rd law, “every action has an opposite and equal reaction”, would not always hold since it’s equivalent to momentum conservation.
So, it is possible for execs to get jailtime in the US ... provided that they rob from other big companies.

I wonder if negligence that kills people will result in something close for Boeing.
> If you have ADHD then you should be putting more effort into routinization

Despite the insistence of many in our parents' generations, ADHD is not a disorder of not applying oneself hard enough.
Some frontends can do this. Makes the site much more usable.
I would argue that technically, the proof has an error because the author says:

> Let X be the integers Z; for integers a,b, let `a ⊏ b` be `a|<|b`; and let the property Φ(a) be “a^2=2 b^2 for some integer b” (formally, `∃b ∈ Z. a^2=2 b^2`).

However, the theorem of infinite descent cannot be applied to this property with the set Z which the author specifically said he would use. Instead, it needs to be applied to the set Z\{0}, which you rightly pointed out (as well as the sibling poster).

Note that this has nothing to do with the rest of the proof about √2.

I do agree that even after this error is corrected, then the proof additionally needs to be fixed by adding a few more simple proof steps to analyze what happens when either `a` or `b` are zero, which was excluded from the set. At this point you'd probably realize that yes, there is an implicit assumption that ¬(b = 0) which should be made explicit, and then you also have to account for the `a = 0` case, which should also be easy.

But still, the error greatly confused me at first because it seemed like the theorem could not be applied in this case. I only realized the theorem could be used correctly in this case when the sibling poster suggested to use a different set.
This is very true. I have known people truly shit at their jobs. They've done things I would assume to be the final nail in the coffin - and some how they just trundle along frustrating everyone around them. WFH and you can easily get away with under performing by 25-50% in countries with strong protections for employees.
It gets much easier to do regularly once you do it regularly, and it also gets easier when you learn how to control your pace and effort.

It's hard (for a while) when you're first starting because most of your runs are pushing your limits -- intentionally or unintentionally -- and you can't help associating the runs with having to push and burn out.

Once you practice for a while (and take the effort to learn pacing), the bulk of your runs feel easy and refreshing and so you want to go do them. And the hard runs that you choose to run for limit-pushing become satisfying because you know you're in control of them and can often see progress in your PR's for pace or whatever.

In other words: you just have to stick with it and it mostly happens on its own. (Unless you're just a type-A person and can't learn to pace yourself)