skysight-inc/HackerNews huggingface dataset:
> And then it's extra funny when someone does present the solution (Yes, thank you person!) and then the next response from an admin is something like "Learn not to necrobump. Thread locked". Uhg.

See also: stalebot, scourge of GitHub.
So this means that any kind of online polling is pretty much dead? It's relatively trivial to get this to vote for you, detecting and typing in Captchas, making accounts etc.
Peak solar is peak A/C usage in the summer, which is typically more expensive than heating. In colder times more energy is used at night, but I think less energy is still used at night in the winter than in the day in summer.
didnt see it yesterday, thanks, i wouldnt post multiple times if all my submissions were not marked as [dead]
That’s half of Valley to fight against. Not going to happen.
I’d add that it has a huge decentralized network of purpose-built hardware securing it, and a huge swarm of decentralized nodes enforcing its rules, and making it hard for a small group of people to change its rules. That’s worth something, it makes it closer to something like gold, which has hard natural physical constraints, but without some of the limitations of physical goods (ease and speed of transferring).
My favorite example that I see pretty often is "In posix grep, what's a regex that matches lines that don't contain the word `test`?"

The X answer is a lecture on language theory including the construction and inversion of finite state automata. Absolutely interesting, but a long and dense chapter in a CS textbook with no practical applications.

The Y answer is `grep -v test`
There is actually pretty vibrant and diverse Cedar community. Check out their slack.
I imagine so, I probably average more than 2000 steps around my apartment every day!
China does not specificly restrict foreign app, instead they audit every app no matter who developer is.
> Anyway, do we know what Oracle was actually suing Rimini for?

Making money in the Oracle ecosystem without Oracle getting a cut, presumably :)
So you want list of all policies that have been considered, not just those that have been satisfied?
>The prominence of gastrointestinal cancers and the coincidence with dietary changes in many countries point to the rising rates of obesity and diets rich in processed foods as likely culprits in contributing to rising case rates

Dousing our crops with toxic pesticides for decades, mass-producing the same genetically modified seeds over and over, and sucking every last nutrient out of the soil through overfarming. Nope, nothing to see there! An economy based on maximizing profits at all costs while disregarding environmental impacts will create problems like this.
30 years or so ago, there were a handful of programming languages in regular use: C/C++/Assembly/Ada/Fortran/Pascal. Now there's 100x more that people use professionally.

I always wondered what would happen if hardware engineers bothered to learn compiler theory. Maybe this could have been a solved problem decades ago.
bit slice "CPU was a very successful product that could only have existed in the 1970s." To a certain extent it is right the only part. To another view if one does not stick to a specific hardware but the idea and concept, it is not. In fact, I thought Linus has joined a company who do something similar on hardware level. Or may be even Apple chip with assistance from hardware for the software emulation ... (even from PowerPC to Intel emulation these days). Also, as it goes, on software level it is done ... from IBM microcode, to VM etc. Even the moon landing CPU is partially like this which you may say same or earlier era. I just wonder whether one still does this all the time (idea/concept, from hardware to software ...).

Obviously not all will emulate on bit level, but why not.
It might be reasonable to assume of the original asker, but it's unfair to the dozens of people who follow in their footsteps and find their question years later.

I've lost track of the number of times that I need to X (even though I know Y is an option that is probably better in most circumstances) and had to dig through dozens of "do Y instead" answers before finally finding something helpful. More often than not the original asker actually accepts Y as the answer and thanks the responder, but now the search space for X is polluted with yet another non-answer.

I agree with another commenter downthread—the best response when you think you're looking at an XY problem is to answer both X and Y. That way you can be sure that the naive asker is set on the right path (if they are in fact naive), but you're still logging the answer to X so that searches for it don't become useless.
Who says it was Boeing? They're a publicly traded company; many would stand to lose a great deal of money should they go under.

Then there are those that stand to gain from added chaos.

Time may never tell, but let's not pretend people aren't motivated to do worse for less.
Europe is more politically progressive (in some ways) than the USA, and sustainability is a progressive standpoint. Political identity politics in the USA means that even if you have a ranch in rural Texas and are directly observing the negative effects of fracking on your local environment, you still support the people that are trying to make more of that happen because if you don't, well, you must hate pickup trucks and beer and Christians too (drawing on personal experience as a Texan).

I've poked around on this topic here and there when bored and never found many good explanations for why this is the case. Probably a million weird little reasons, historical, economic, cultural. IMO the country is just too damn big to try to claim a single cultural identity, and it's resulted in absurd caricatures of polarized political identity, fostered as well by a two party system where it's basically impossible to be represented well per your values. In the USA you can't vote for someone that's promoting reducing government spending without also voting for someone that's attacking trans people's right to exist, or at least in the same party as such a person. Or someone that's trying to take away your wife's healthcare rights. Same way you can't vote for reducing oil dependence without also voting for, idk, taking everyone's guns away.
that's because ISIS is a terrorist organization.

So if you want to make the same argument, you will have to declare china's CCP to be a terrorist organization - and all of the legal implications that entails.
With how many never respond to me, as well as how much phone call and email spam increases whenever I apply to jobs, I assume a lot of it is fake.
While I agree that some players like playing against other players, I can say at least for me, I've never preferred that ever in a video game. Real players can be mean, or over powered, or over skilled, or use cheats, etc... and they can be annoyingly competitive.

On the other hand, I've loved co-op games. Maybe (it's a big maybe) I'd enjoy an AI driven NPC co-op character. It assumes they can get them good enough to be fun to play with, do what you want, etc. Player: "Let's go to the castle", NPC: "See you layer I'm going to the bar". You either follow the NPC or play without it.
This is just propaganda put out by Big Distilled Water.

They’ll never get my $0.99!

/s
That's true if your definition of security is "I hope we found all the vulns" from the 1990s. Today we expect defense in depth and Linux is behind Windows in sandboxing, VBS, etc.
And tomorrow because when you want to cool your house the sun is most likely out.
And this is only the start (1 year post-gpt4). More to come ...
>Isn't that the main point of insurance?

No, insurance claim can be larger than sum of lifetime premiums, contrary to credit.
Yeah, that's one of those "data smells" that makes me disregard the entire thing since they don't offer a credible (or any) explanation that explains a 3-way tie.

Reproducing here for reference:

Florida $98,670 17.0%
Hawaii $98,670 17.0%
Washington, D.C. $98,670 20.9%
One thing I don't understand why would people buy raspberry pi instead of mini pc. Mini PC seems to be small, better and more versatile than pi.
Hollywood's Hit Formula Flopped
EU Parliament votes to protect media freedom and limit spying on reporters
That’s the other bizarre thing about water/ice: most things expand as you heat them, but very few things expand as you cool them. Water has maximum density at 4C, so even before you freeze it it’s already starting to expand as you cool it.
Yep! It's just a standard python + postgres combo, so if you create a docker file for it it should run inside a lambda!
Me too. If I'm writing code or working with my hands, it's more instinctual. I'm not thinking the words "I need to connect this piece here to this piece over here". I'd never get anything done that way.

But I would still describe myself as having an inner monologue. As I was washing my hands a moment ago, I found myself rehearsing this reply in my head, speaking the words internally, because it's a habit I've developed over the years. My guess is that people who claim they don't have an inner monologue simply never developed any such habits.
Any current implementations?
Hm. I mean, you're right it's for sure not the same as vision, but it's also reasonable that if people say they can do this sort of thing, even weakly, and others say they can't, there is likely some sort of fundamental difference between them. Regardless of what, exactly, that difference is.
That we don't allow people to build nice apartments is the real problem. No one mentioned outlawing SFH.
You think, in your opinion, that Y is both what the asker wants and needs; but this is empirically and objectively false in some cases, unless you are infallible (unlikely).

...and here-in lies the problem. It's the hubris that "I am right" that leads people to answer Y instead of X.

Y and X are maybe related, but ultimately, X is empirically what was asked. It's your take that Y is the solution that the asker wants instead of X.

Maybe you are right, sometimes.

It's very unlikely you are always right.

Therefore, it's likely, that sometimes when you do this, you're actually not helping; the answer is X, and your comments about Y are both wrong and unhelpful.

Come on, are you never wrong? We're all wrong sometimes.

At the very least, you can often start answering X (a long partial answer) along with 'and this is why Y is maybe a better solution...'

I suggest that the 'race to be the first answer and get karma for it' is the motivator that drives people to do this on some platforms, rather than any actual desire to help / any actual competence in the question domain / actually knowing what they're talking about in many cases; a partial answer to X is never that time consuming.

...it's just more time consuming than not answering it at all.
I'd go as far as saying: use both Storybook and MSW!

They're both amazing tools, solving intersecting but different needs.

As part of your SPA (or MPA) development, UI state complexity will inevitably grow, and shipping seemingly small cosmetic or logic changes becomes scary.

Documenting component states in Storybook and plugging it to a tool like Chromatic or Percy or Applitools, will catch visual/accessibility/interaction regressions as a CI step.

I work at Netlify where it's an integral part of "how we build", and the peace of mind we get out of these tests is amazing DX.
I'm curious what message investor/startup types take out of this.

I bought some Baidu shares (like $500 worth) many years ago and I never heard the end of it from people saying "don't invest in the PRC, they'll nationalize it and leave you holding the bag."

The US is basically doing that exact thing to ByteDance's investors: Forcing a sale guarantees a fire-sale price and investors taking a haircut.

Why would any foreign business want to make a major play in the US after this? Congress might say they're only doing this to rattle sabres with Evil Communist China, but will they find an excuse if the next hot startup comes from, say, Brazil? The Netherlands? Canada?
Not for all I guess.
You should see the tweets of these guys. Not only they expect it to always go up, they think this is still in early stages and the price of 1 BTC could go to millions of USD.
_date picker_, yes. Calendar display? No native options.

The person you're replying to is talking about displaying event data to users which always requires building custom components or pulling in libraries which do
They enable the quantum 5G AI digital transformations.
Only a bit related, but I recently learned that André Weil's sister Simone was a noted philosopher and fought in the Spanish Civil War

https://en.wikipedia.org/wiki/Simone_Weil
I'm all for better tools to help the compiler figure things out.
Here is an example where I can't communicate the invariants to the compiler:

```
std::vector<int> v;
...
v.push_back(2);
std::sort(v.begin(), v.end());
// no need to check i < size because we know we will find value 2 somewhere in the v.
for (int i = 0; i < v.size(); ++i) {
if (v[i] == 2) return i;
}
```

Note that in C++ you can manually mark code after the loop as unreachable, which would indeed skip the size check.
But that's as bad as not checking bounds in the first place.
Subtract "investment transactions", now try. Probably moves to 90%.
I'll create an issue to create a Docker file for Skyvern. Would make that much easier
In those cases the plane doesn't suddenly drop though? You just lose speed and start gliding.
Try niche skills like MFC, APL, Flash or even Haskell.
I've got bad news: https://en.wikipedia.org/wiki/Heat_death_of_the_universe
Bad comment at 13:30 confusing open source with no copyright. This is exactly the game free source and later open source played with.

The shared source movement like SHARE/GUIDE etc. does not go that far. And some of the software are actually stolen/copied ... even got a letter to prevent stolen by Bill Gate, please. For those first few, sharing the source without copyright (and the idea of you can copyright software, not trademark, patent and not secret via binary code only say, but copyright) is just happened. Still, I wonder like Fortran source, are they have some other paths taken to avoid random and bad source ... how does that evolve ...

But definitely not open source.
Thanks. I googled it but doesn't look the same.
I can't comment on Spinkube specifically, but I'd bet on serverside WASM-based orchestration, and WASM in general, being a big part of the next generation of IT stacks. If somebody can get the UX right, the "write once, run anywhere" promise of Java may finally come true.
I highly recommend looking into Clash as an alternate HDL. It's a GHC Haskell backend - exceedingly cool.

And there's a book: "Retrocomputing in Clash"
You're not wrong, but obesity should not be glossed over so quickly, as it is linked to several varieties of cancer, as well as numerous other serious health conditions.
This and/or being able to fetch the responses with their token usage by id. What is that ID for without a way to retrieve the completions with it?
Yeah, all this is the stated argument here.

But in the US, at least, the underlying argument is about class, and race. If you haven't already, it might be worth reading about redlining, the historical practice of outlining which neighborhoods were "safe" to issue mortgage loans in because they were white and not at risk of non-whites moving in. This was about race, primarily.

Redlining became illegal starting in the '70s in many places, and its replacement was exclusionary zoning---a practice that continues to this day that relies instead on race's strong correlate, wealth. Apartments and other similar higher-density arrangements are much more affordable--and as a result, accessible to racial minorities (and the crime, etc. that racial minorities were "associated" with).

All the modern arguments around traffic jams, neighborhood character, transit, etc.---these are all modern-day variants of the same old arguments, because again, who can afford a 1:1 ratio of cars to people-in-household to get around the low-density suburbs?

So when you hear people say "I can't park! It'll be loud!" consider if they're really saying "I don't want those other people who rely on transit in my neighborhood", but using the words "there won't be room for me to park!"
> Additionally after logic has been verified, there are many physical implementation details that have to be layered on top of this, including placement & route optimizations

Software designed chip fabrication. Please someone make this happen in my lifetime.
This isn't new. When I was laid off in 2012, I had a friend at a company with an open position but they were looking with someone with GWT (Google Web Toolkit) experience. Six weeks later they were still looking. You don't think a senior developer could learn GWT in six weeks, and bring a lot more to the table?
His attorney's name is Tor? How apt...
It's just familiarity and path-dependence. People expect everything to work like it does on their MacBook and if there's a bit of overhead to doing that, oh well.
We do the token counting on our end literally just running tiktoken on the content chunks (although I think usually its one token per chunk). Its a bit annoying and I too expected they'd have the usage block but its one line of code if you already have tiktoken available. I've found the accounting on my side lines up well with what we see on our usage dashboard.
The pedagogical level and the production values both have the same source - this is an advertisement. The Jam Handy Organization made what we would now call sponsored content. It is unfair to compare the production values of this to modern educational content or modern amateur content - they're operating at different scales and with different resources.

In the past - as in now - media production is driven by the demands of capital.

We can wax nostalgic for commercials all we want but comparing it to a different modern product does a disservice to the past and media workers in the present.

https://www.jstor.org/stable/j.ctt45kdjb.16
Yeah, I dropped my /s. Too many years of watching people do embedded, RF, flight control systems and whatnot for 20 years for half what FAANG was throwing at recent grads. Not that there isn't some truly inspiring engineering happening there, though IIRC correctly the people who first built that stuff weren't exactly spring chickens.
Apache Doris 2.1.0: TPC-DS, Parallel Adaptive Scan, Local Shuffle, HTTP Data API
Right, so definitely check Aaronson, the entirety of what I linked is a couple dozen pages at most.

But the statement you quoted, while true, is deliberately provocative. There are two standard statements:

- The one for the First Incompleteness Theorem implies the existence of a statement P independent from the theory, i.e. one that can be neither proved nor disproved using it. (That is, theory proves false iff theory + P proves false iff theory + not-P proves false.) Here we don’t opine on whether P is true or not.

- The one for the Second Incompleteness Theorem points to a specific statement: the consistency of the theory (that you can state that within the theory itself is nontrivial, but at the same time much of the point of and the reason for the whole hubbub). Here we know it’s true because we assumed it! That is, in the metalogic which we’re (implicitly, unless you dive in very deep) using to reason about all this, we have the disjunction:

- Either the theory proves false, then it proves anything at all (boring);

- Or it does not prove false, then it does not prove th(e true statement th)at it does not prove false.

Why we can’t just cut out self-referential stuff in our logic... for the same reason we can’t (usefully) just cut out infinite loops in our programming language, I think: it doesn’t take much to have either of those. The statements are not self-referential in any exotic way. What you need is—AFAIU—for the theory to be able to be able to talk about (at least in terms of halting or not) programs in a Turing-complete language, a proof verifier for the theory written in that language and an interpreter for itself in it. Encoding all of that in Peano arithmetic is predictably awful (especially if your name is Gödel, you have never seen a programming language, and Turing completeness hasn’t been invented yet). But none of it is exactly advanced functionality for a logic system; the self-interpreter isn’t even a part of it, it’s just something all Turing-complete languages can do. (This part is more wishy-washy than I’d like, but that’s what you get for asking an amateur.)
I'm not surprised. If I understand his 12-tone system correctly, you need to use each tone equally frequently throughout the piece. But that is the musical equivalent of white noise, or the the equivalent of saying that a novel needs to use all words equally frequently. In order to convey information the content needs to be distinctly more frequent.
After I read Moonlighting with Einstein (about mnemonics), I wondered how throughout the ages, technologies shaped the way we think and structure thoughts. This closely relate to it. I assume a 100 years ago, academic had far larger memory capacity than the average peer in today's world. We kinda traded memory for higher CPU frequency (or maybe just decreased our memory, maybe our software is digressing). But this could explain why the chain of thought was so clear to never make a mistake? I wonder if there is a research on this fascinating topic.
>Both the Milky Way and sardine sandwiches are visible objects.

Sure. Aside from that?
I'm trying very very hard to not be pedantic, but you are making that difficult. Thing is, comparing incompatible items is disingenuous.
> However, the net gains, in my humble opinion, could be phenomenal.

Doesn't seem like a very humble opinion, every time people lose work they need to find income somewhere else or end up working more anyway. Productivity gains equalling more free time has only really ever worked for people who end up or who were already unemployed or self-employed, otherwise it's propaganda spread by people who stand to gain. Even in cases where someone's job became only less manual, it's not like they suddenly got the rest of the day off to spend with their family, they just ended up operating the machine all day anyway, and often getting paid less to do it, to a point where eventually families and friends as a concept started becoming more rare.
That makes sense, thanks! My university had a course on "intelligent agents" back in ~2002.
Which is hilarious because it can display a calendar for date picking; but cannot display a calendar.
> TikTok, at the end of the day, is just a kind of printing press. So it should be allowed under the First Amendment.

I don't think the First Amendment would allow you to use a printing press built out of embargoed components, or arsenic compounds.

The ban isn't on speech. It's on the platform/product, how it's built and distrbuted, and (correctly or not) perceived ways it harms society.

You can have a short-form vertical video app focused on an algorithmic recommendation feed, and you can say whatever you want on that service. But it seems Washington doesn't want it to be sending data and money overseas to the PRC.

> The First Amendment protects pledging your allegiance to the Flag, just as it protects China saying "China is great, you should love us instead".

The US constitution gives foreign governments the same rights that it gives its own citizens?

…Okay. It actually may or may not give US citizens the "Right to Receive Foreign Speech", without conferring any rights onto the foreign entities themselves, but that's still very much an open question. Here's 50 pages (that I haven't read) on the matter, if you're into it:

https://digitalcommons.law.ou.edu/cgi/viewcontent.cgi?articl...
Look for people at banks. We made our first ML Engineer hire a few months ago and almost all the candidates came from people working at banks. The salaries aren't FAANG and the talent is there. The person we hired was a former ME to boot.
TikTok's Security Threats Go Beyond the Scope of House Legislation