skysight-inc/HackerNews huggingface dataset:
> Why would you assume that no office building

I'm definitely not assuming that none will, I'm just assuming it will be a some smallish fraction for the foreseeable future. Nearly 50% of California's working population works for small business. It's not just the cost of the equipment, but also cost up upgrading the panels and, almost certainly, service lines.

Where I am (a city in California), you have to pay for replacing the service lines/conduits, including digging it up/repairing the street and sidewalk, even if they run 1 city block.
Thing about Facebook is, it pushes stuff at you. Not stuff you'll like, stuff you'll _engage_ with. Last time I logged in it offered me a weird anti-trans Economist article. Life is too short to invite a robot to irritate you; that's why I don't use Facebook anymore.
So in other words TikTok has made them have to pause and switch to prioritize Reels (which are in every way worse than TikTok BTW) and that means less eyeballs on ads.

Honestly Facebook at this point is entirely unusable. My feed is full of shit I don’t want (and I block ads at DNS level so I can’t even imagine what it looks like for most people): Reels, half baked “memes” that are just really random thoughts from people I don’t know that someone I do know shared, and the rest I can’t even classify but it’s utter garbage. The only useful piece of FB was Marketplace but they managed to cram it so full of paid content and the rest is clearly online stores pretending to be local sellers that are this point I have zero use for that as well. I am sure they’ll continue to be printing money with their “generate outrage => show ads” core loop but how long will that actually last?
100% agree on this. There are very few things I want to do on a daily basis from my phone instead of from a physical switch. One exception is controlling my bedroom lights which I do with Hue lights from my bed.

The other thing I want to automate is music to start playing when I enter the bathroom, to give me privacy in there when my girlfriend is home. And that’s the startup I’m working on: https://Loodio.com since there are no other solutions for it out there (that aren’t crap)
Or something like a Settings Sync
I mean, again, this is a very messy thing to talk about explicitly because it's playing fast and loose with language.

I think the fact that our brains are computing/pattern-recognition machines is the obvious reason computing (deducing) is 'easier'. However, human minds are not actually mysteriously really good at math. Our brains are very clearly broken at some types of mathematical problems. It's just something acedemics tell themselves. When it comes to gambling, large numbers, power laws, etc.

The number of times I've had to explain to my friends and family how exponential growth "will appear" with the spread of covid is testament to the fact that our brains don't actually have that math built in, probably because it wasn't particularly important for evolutionary survival and reproduction. The entire field of behavior economics studies this delta specifically.

I'd say the deductiveness of a problem, itself, is what makes people have the intuitions. It's vastly easier to use deduction that it is to do induction... because induction is by ultimately unknowable and effectively solipsistic.
Indeed, inalienable rights cannot by definition be granted; they can only be recognized.
Most of the ones awake wish they were sleeping an extra 2 hours, you enjoy it!
I don’t think Facebook will catch up to TikTok with Reels. I do think that it’s quite probably that TikTok will fuck yo their platform before they take down FB.
This is what I've never understood. These estimates are just that, estimates. They are guesses, potentially educated guesses based on some data, but guesses/hopes/prayers none the less.

It's like sports teams and all of the talking heads giving their opinions on the upcoming matches. In sports, it's called betting. But in business, it's called investing. It's the same thing, only one is more widely accepted an legal.
On my Venstar you can adjust the spread. I guess you probably wouldn't really want to.

Looks like that integration is implemented on top of an external library (so you have 3 layers of implementation):

https://github.com/hpeyerl/venstar_colortouch/blob/master/sr...

The HA integration doesn't use it, but the library exposes the spread value.
You forgot the most important one: caring for young kids in a nuclear family society with two working parents.
monopoly power, except effectively extranational so no antitrust

Faaaantastic.

Of course the entire "make 5000 miles away, ship it over the pacific" was enabled by the lack of a proper carbon tax.

If monopolies perform the same "service" then more power to them.
> I would never have thought "The Wolf of Wall Street".

For what it's worth, I would have.

Part of the reason you don't notice it is that they all have this sheen of unreality, so it's hard for any particular film to stand out. They're all color corrected to hell.
Yeah it's nifty idea -- no need for explosive hydrogen or scarce helium. If the polymer sheet is strong enough, I wonder if one could use it to wrap a sort of scaffolding (a shape like https://en.wikipedia.org/wiki/Fullerene but perhaps with struts through the interior for more strength), then evacuate the air from the interior in order to form a lighter-than-air "box". Submarines can withstand a few dozen atmospheres of pressure, this would have to withstand .. one, I suppose, so intuitively it seems plausible.
You are missing out, not so much by not using Garamond, but just because both of those make such an unpleasant experience.

Linux Libertine is graceful and Free.
Bluntly Stated: FUCK. YOU.

I have tried everything there is.

- lost 20 pounds - check
- stopped smoking, alcohol, coffee - check
- more sport - check
- no screen - check
- melatonin - check
- light therapy - check
- hypnosis - check
- phytotherapy - check
- accupuncture - check
- that thing in your mouth - check
- not working for a while - check

You think I don't know being tired makes me an asshole? Well rejoice, apparently I'm going to die early.
> Btw, APPS is not much of a benchmark. It evaluates code generation according to how close it resembles code written by humans.

No, the metric used in this paper was the percentage of questions it could solve against the hidden tests.

> That points to a further limitation of the approach: it works for Codeforces problems but not for APPS problems (so it's very purpose-specific).

This does not matter typically since you'd just pretrain on the data that works. However, “[t]he CodeContests training set has a non-empty intersection with the APPS test set, and therefore CodeContests cannot be used during training when evaluating on the APPS benchmark.” This is purely an evaluation issue; leakage doesn't matter so much in production.
It’s even worse: to check whether a given number n is prime, you don’t need to know any prime.

If you do trial division in increasing order, you’ll find one (the smallest prime factor if n, which is n itself if n is prime), but if n is composite, you can avoid that by doing it in random order, or by starting near √n and working down (or up). That way, even if n has only two/three prime factors, you’ll find them/one of them, but that won’t tell you that they are/one of them is prime.
Because so far their content is full of obviously fake poor quality videos and their selection algorithm for those is basically an RNG.
It will be interesting to see how that part actually works out.
My well educated bubble is invested in crypto, probably at about 10% of income.

None of us are posting about it on Facebook though.
>Never underestimate the blue message bubble y'all. That's real leverage.

Only in north America. Like it or not, there is faaarrrrrr more future money to be made with the 3B ish people of china+india than the 0.4B americans.
BoomerTok
Gnome isn’t trying to impose a vision.

In the bazaar that is the Linux ecosystem, they are bringing another idea to the table. The idea that developers (and therefore users) would benefit from having a reliable and consistent default theme and interface.

Gnome is absolutely not opposed to customization and have already confirmed they will add theme colors, etc. Beyond that they are taking a wait and see approach to see additional customizations they can add based on the actual usage out there.

What Gnome is trying to do is give developers who are not as interested in supporting a variety of UI configurations, a base setting that they can target.

Those developers who do want to provide a more extensive theming system, are absolutely able to do so. In fact, many of the new GTK4 default Gnome 42 apps themselves include additional theming beyond what Gnome 42 and libadwaita support by default.
I can’t fault any of your reasoning.

Perhaps it might be accurate to say that as email has declined in popularity, “spam” has simply moved to the Web.
She didn't name any names. She didn't publically humiliate anyone. She made a tweet pointing out how absurd it was that someone would interrupt her workout, make her take off her headphones, just to comment on her body. And then HE was the one who was annoyed when she just said "Yeah I know." Frankly, he sounds like an asshole

Also very typical of the HN crowd to automatically build up empathy for the man in this situation and not at all see how fucked up it is that he thought he had the right to interrupt her and THEN GET MAD AT HER when she clearly showed she didn't want it

You yelling at a first year in front of the whole class is completely different from some asshole interrupting her to make a comment and then HIM getting pissed off at her for not reciprocating. She was probably really affected by the fact that he got mad at her and made HER feel like the bad person. She probably took to Twitter to voice that frustration. And yet she avoided doxxing or naming anyone.

Also yelling at a woman in (presumably) a STEM course, where she quite likely already has to face imposter syndrome, is fucked up on multiple levels.

And regardless of all that. How does any of that justify death threats? If you're gonna say that you're not defending those death threats, then why was your point attacking her character even relevant? What were you trying to accomplish?
Page, no, but spotlight definitely tells you the app's folder (if it's in one)
Help me find that recently posted link about a todo list
Some time ago (1 or 2 weeks maybe) I stumbled upon a link (posted on HN) to a blog post where the author explained his process for todo lists and that it consisted in a txt file that was maintained for years.
He explained that he edited the lines of the todo list with simple notes on how it went (interview with a new hire for ex) and that it served as a way to know what was done every day for the past years.

I really want to find it, looked through my history and upvoted but no result.
Thanks a lot
Find Alien Signals
Have you had your vitamin d levels checked? Worth checking out what Dr. Stasha Gominak has written on the subject.
Lithium batteries typically explode because the electrolytes we use are highly flammable. It's actually entirely incidental to the amount of energy stored in the battery. A Li-ion battery with a different electrolyte material could have the same energy density, but a greatly reduced risk of fires and explosion.
I worked in applied math, in industry — as the math engine guy supporting economists.

The trials and tribulations of abstract math where these are little errors that turn out to (mostly) be salvaged translates into billion dollar mistakes in mathematical models in industry — errors that have caused a hiring freeze at a major tech company.

I respect other people feel differently — I personally think there is a crisis in mathematics, where the mistakes/errors of Voevodsky et al is the tip of the iceberg, but the most visible since it happens in academia versus industry.

I hope everyone can agree that:

a) it’s currently hard to verify mathematical models and proofs; and,

b) we could make that better — and currently are working on it.
I'm not sure what this has to do with anything I wrote but Faust and the Iliad are among the most retold, re-adapted, re-interpreted stories out there. That's a good thing, as is re-translating, re-editing, re-modding and re-everything-ing old games.
You might be phototropic, which is not a bad thing. If you go to bed at 10 and wakeup at 5, congrats. That's your issue, and you should probably listen to your body. If you go to bed at 10 and wake up at 3, maybe make a lifestyle change.
It’s too late. Nobody is switching from TikTok to Facebook.
It was a surprise to me that Docker is still alive as a company.
He said "Stablecoins are tokens that are backed by a fiat currency."

But it really tokens that are pegged to a fiat currency. You can't redeem tethers because there is no back account holding a dollar for every tether.
Hahaha. It took my brain until the 3rd example to realize this is a joke.
I'm not sure I agree with you at all, removing anonymity has serious and real consequences, but having it, with all due respect to the women, is just being offended by some randomer on the Twitter that you can always block and delete
Startup Website Design Agency Recs
Hi, I'm a PM at a series B startup. I've been put in charge of redesigning the web page, which currently sucks. Ideally, I can outsource most of this to a good web dev agency. We are in the MLOps space, and so some domain knowledge from the agency would be great (or the ablity to learn about the space and incorporate it into the design). Does anyone have any good recs for an agency like this?
That is Diomidis Spinellis, a Greek politician, not the Bulgarian minister.
A piece of space junk the size of a school bus will impact the moon
XMPP: Snikket Server updates for ARM systems
North Korea is qualified as a "rogue state," so it's still illegal to export encryption there.
Oh wow, that's a depressing read but the guy might be right.

We as society highly value art and artists and celebrities. But we don't value helping random fellow citizens that we've never met. The result is that people are eager to make art, but you won't find a similar level of motivation for repairing infrastructure or playing taxes to enable repairs.

But if our infrastructure gets bad enough, life becomes frustrating for everyone. And genuinely helping others might be more fulfilling than making art that nobody cares about. So I'd support the conclusion that we need less people making art alone and more people helping others.
> Gnome is by far my favorite DE on linux because its the only one I feel that actually cares about the best out of box experience.

And GNOME is by far my least DE for reasons including the way they only care about out of the box experience, which is to say they firmly believe in no customization, and their defaults disagree with me.
Not a roguelike, but hunt/huntd is like wolf2d.
"Foresight is often mistaken as cynicism by those that do not have it."
You are wrong - it’s clear that you do get the metaverse.
When you capitalize lisp as in Lisp, that usually refers to Common Lisp (also the lisp being discussed in the whole thread). Have you implemented Common Lisp?
Some of the companies whose stock price has been affected the most are making up for the loss by giving more stock. I’d expect Facebook to do the same to retain their talent if the stock drops significantly.
It's a good point. While Microsoft and Google offer video processing / analysis, none of them are API-first in the same way we are.

1. We process videos, and can store their metadata / embeddings in perpetuity. This means a simple query API, don't worry about storing a DB of metadata yourself.

2. "Reverse Image Search" - Say a user cares about something specific, like a blue box that's toppled over. Using high-dimensional representations of certain frames in video, we can surface every time this scenario shows up in the future, based on a user having marked it as "interesting" in the past.

3. Our "killer" app is the video processing infra that's super modular. We give this flexibility to the full-stack dev to plug in their own models, or use ours.

A final thing to note is that we're going after a completely different set of companies, specifically companies focused on building software for a specific industry (i.e. https://www.equipmentshare.com/) that eventually want to add video analytics as an offering. It's also unclear who Azure or GCP are targeting though it seems like it's for general media content.
This is just wrong. There is definitely issiues with Tether. They dont deserve their place but i havent seen any proof of this claim. Plus usdt is almost always trading slightly above a dollar. Which means even if they are buying bitcoin with printing usdt that is no different than buying bitcoin with their reserves. I dont see any reason why would they do so.
Tangentially, anyone tried dry sauna therapy sessions at night before bed? It's helped me tremendously with sleep and more. It's a bit considered a luxury, but maybe you can find a gym or spa membership that's low cost.
Getting death threats and incels posting your personal address, the names of your family members, etc all over 4chan is a qualitatively different experience than being called a name. It kinda seems like you're just trying to place yourself above her despite never in your life having to face that experience.

Not to mention that she makes a living online and has to have an online presence.
>
ncmncm 1 hour ago | parent | context | flag | on: Don't trust comments

"Trust, but verify" is a semantically null expression that appears to have filtered out of the Soviet Union during arms reduction negotiations, and eagerly taken up by Reagan administration appointees.

In a modern context it means, look for errors but not deception. It's how I approach code review.
And iron
Make that 18. With custom server designs and some of the best power efficiency out there.

Amazon also had built their DCs for Amazon, and Google for Google, so that's not a valid argument. But it does take a lot of work to turn that into a marketable product (and transform your company culture to support it), and I don't think it makes sense for Meta to go down that route.
Yes. IIRC some merchants might also do this to compensate for the fees DoorDash charges them.

Especially for pick up, I try to order direct with the restaurant to save them on fees. Their margins are slim enough already.
>Meanwhile meta is at least sounds pretty interesting.

But does it? It sounds hopeful for someone that has no interest in the real world and only wants to create an imaginary world for themself. For those that actually like to step away from the keyboard and experience other aspects of the world around them, this is just another yawn.
I genuinely don’t mean this as dismissive but I think this article could benefit from de-fluffing because it’s a good idea that gets lost in the weeds of “tuning”, “scheduler” and “rust.”

This program is almost literally `nice` (with a tiny tiny subset of `tuned`) but exposed as a dbus service. I think desktop Linux could benefit from this being a standard API and compositors exposing enough information about the active window to make use of it but for anyone to know that it has to be known that this is actually what it is — a less drastic rtkit.

This is the meat: https://github.com/pop-os/system76-scheduler/blob/master/src...
I have been super skeptical about VR since the 1990s, but I see your point about the Tilt 5. Board gamers are a serious market, one willing to spend. And designing for such a narrow use case lets them dodge a bunch of the hard things about VR. I'll be very interested to see if they can create a sufficiently large niche market to sustain the company.
The important part is output. If you produce enough work to satisfy your manager, and show up to enough meetings that nobody asks them where you are, when you work does not matter at all.
Blockchain is completely uninteresting. The beauty of crypto is not in the tech or cryptography itself, really, but the social consensus it is able to create and the very well balanced, self-sustaining incentive systems it creates. Cryptography is just a tool to enforce is but the social awareness is amazing to me.
“The market” reflects the emotional state of those with the power to play it. I’d rather flatten the boom-bust amplitude, and that’s an uphill battle as those with the capital to weather the storms benefit most.
Much of HN is extremely conservative and unimaginative to the point where one should never take these comments seriously when it comes to anything predicting the future. HN completely missed the boat on crypto for example and seems to still think its some scam despite the fact that it enables borderless financial transactions without KYC and banks, decentralized finance, DAOs, and so on. Post about web3, and you'll just have a bunch of geezers complaining about the term "web3" rather than addressing the changes taking place.

Ultimately I think HN is a good place if you want to discuss technical details about super specific topics like Linux kernels, but a terrible place to get a glimpse of the future because most here are too close-minded and stuck in the past.
Or people born before seatbelts were invented
Perhaps we should praise the benefits of naps. [0]

- Increased alertness

- Attitude adjustment

- A creative mindset

- Cash saver (because the cost of drugs adds up)

[0] https://www.heart.org/en/healthy-living/healthy-lifestyle/sl...
I have the same problem. I sleep within 5 minutes but I won't go to sleep. I stay up. I may waste 2 or 3 extra hours doing absolutely nothing productive instead of just going to sleep.

My positive interpretation is that it's introvert me. I need significant alone time and this is the only time slot where I'm not constantly bothered or interrupted.

The negative interpretation is that it's plain addiction. To distractions. News. Updates. Whatever.

Whatever it is, I can't solve it. I need a kick in the butt. Somebody to force me to bed.
To compile code to WebAssembly with SIMD instructions, just use the generic+simd128 CPU target:

zig cc -Ofast --target=wasm32-wasi -mcpu=generic+simd128 example.c
zig c++ -Ofast --target=wasm32-wasi -mcpu=generic+simd128 example.cpp

Or with a build file:

zig build -Drelease-fast -Dtarget=wasm32-wasi -Dcpu=generic+simd128
I just think they're out of time at this point to get in on B2B cloud computing... they may have the know how to build great data centers and stuff but there is a lot of work to go from "FB only" to "Anyone". Let's say they jump into this, what is the earliest they could realistically start taking customers 18 months? Then you need to convince companies to adopt or migrate stuff onto a fledgling new platform. They have near zero experience internally dealing with this kind of enterprise sales and support.

If they wanted to go down that route they needed to start around 2015.
I really like your list, but I also want to point out that humans have way more variability than we realize. A sure fire solution for some will do nothing for others. It doesn't mean it's bad advice, just that context is everything when it comes to health, diet, and fitness for people.

A few other things I would suggest that might help some.

8. Cut down on caffeine. The whole point is that it's a stimulant. I have had many conversations with people where they complained about chronic insomnia but also drank six cups of coffee a day. Caffeine has a longer half life in the body than you expect. Drink less and drink it earlier in the day. Personally, I have only one cup of coffee in the morning, and that's it. If I have any caffeine in the afternoon, I'm up all night.

9. Journaling. If I'm awake with the same anxious thoughts going through my head, I find writing them down helps massively. It's like my brain understands that I don't have to worry about forgetting it in any more and lets it go.

10. Exercise. Doesn't have to be super vigorous, but just going for a walk helps. We are animals. Animals need to move. Gotta get the wiggles out.