skysight-inc/HackerNews huggingface dataset:
A few weeks ago I set up a Stable Diffusion webui on my home linux box and used a Cloudflare tunnel to host it on a url and gate access to just my company's email domain. I started a slack channel for AI Art and we started holding a daily contest, it's been really fun.

Shout out to Cloudflare, setting up an access protected tunnel took like 10 minutes.
Sure, but at the same time that's a lot of power to give to a random teenager (or anyone, for that matter).

Case in point, I dug into it the drama here a bit more, and it seems like the kid basically just handed control of the entire Stable Diffusion Reddit and Discord communities to the Stability AI corporation, no questions asked. That creates all sorts of conflicts of interest, and it seems to have been done against the wishes of the community itself.
Absolutely. And the front page is just full of this kind of specially curated content that aligns with the moderators' views. It's propaganda, basically. Question is whose?
Go Ali! When I was a little kid trying to get my feet wet with programming, Ali used to write on a Turkish programming forum, ceviz.net. He used to patiently answer all my questions. Since then I learned English and got out of touch with the Turkish community. I am surprised to see him on HN!
You're just going to take something seemingly implausible at face value such as that without verifying it yourself?
Quest Pro
On the other hand, nobody forces the feed on you if you choose your own community. Yes popular subs can be very political and biased but it doesn't mean you have to join them.

On reddit, you can totally avoid bans and still say something. On Facebook, your words and your whole account have no value if the algorithm decides you spoke a 'no no word'.

Facebook feed is entirely controlled by the algorithm and that algorithm is controlled by the people at Facebook, the reddit feed can be controlled by you. That difference alone makes Reddit a little bit better than Facebook.

Getting banned on Facebook is extremely easy, I got banned for quoting someone's comment and replying with 'ok' and unfortunately I'm not kidding. So far on reddit, haven't gotten any bans or warnings and I have always kept my discussions civil.

Facebook wants conformity, it doesn't slap you on the wrist if you do something that Zuckerberg doesn't approve, it totally takes your voice away for a long time.

I deleted my 10 year old Facebook account because the censorship was getting really crazy. Somebody could give you death threats and your comments would be the one getting deleted by Facebook, that's how bad it got near the end of 2020.
I think colloquially, lay people may not know the ontological origins of the word but when they use the word "proof" they mean it as some indisputable fact. At least most people I know use it in that manner.
The kindle version will be release in the future, hopefully soon. We're planning to make some revisions to the book based on some of the feedback (as well as adding/updating the links at the end of each section). So in the short term, the Holloway reader will be the best place to read the book as these revisions are made.
Worth calling out that PC shipments over the last 2 years were much higher than before the pandemic.

As expected, PC shipments have been on a downward trend since 2009 or so, with a significant bump in 2020-2021:

https://www.statista.com/statistics/264467/global-pc-shipmen...
"I doubt that individual GNOME developers mean any malice. There may be no malice intended from any of the GNOME project leaders. But over the last few years I have steadily become convinced that cumulatively their actions and policies are active sabotage towards every last bit of the Linux desktop that isn’t GNOME."

How?

I use XFCE and I do not develope native linux apps, so I lack detail knowledge here - but as far as I understands it, GTK is developed for GNOME. It has even Gnome in the name. So of course they mainly care about - well, GNOME.

So knowing this, I simply would never choose GTk as a plattform for my software, if I would not intend to have it mainly in the GNOME universe.

(I would probably use something like Qt, which is explicitely not advertised as bound to one Desktop, but right now I rather stay with the WEB and avoid all of that).)

I mean, did GTK advertise itself as a universal linux toolkit and promised eternal support at some point? Then there might be a point of them being assholes, but even then it would not be sabotage, if they simply focus on their priorities.

It would be entirely something else, if the company Redhat would do all the changes by purpose to break other stuff to make people switch to Gnome. This would warrant the term sabotage - but the evidence I have seen so far is not convincing.

So maybe it rather was people using GTK because it worked "fairly platform-neutral" and then expected it stays that way? And then got mad, when developement direction changed?

So making demands of something they got for free?

Like I said, it might be free, but I do not intend to be bound to gnome(and I do not like GTK too much) so I will never use it for my apps. And people who did, probably have to switch - or fork it and adopt it to their needs.

Isn't this, what open source is about?
I think it's a false assumption that when something burns in a high severity fire, it returns to a healthy state afterwards. Historically, natural fire was low severity because it was high frequency, burning through once a decade (or even more frequently). This left large trees and soil intact, and so dense regrowth was limited, since there was still shade.

With high severity fire, two things can happen. Trees can be totally wiped out (called a stand-replacing fire) which causes extremely dense, brushy regrowth (prone to another high severity fire). Or in really bad conditions, the soil can be damage so no regrowth happens, causing strange moonscape-like forests that are completely dead. This affects watersheds, causes mudslides, etc. Neither is good.

If we could burn large swaths of landscape with low severity fire, that would be a huge step in the right direction but is extremely difficult. We are treating only a small fraction of the acreage in that manner.

Note: This varies from landscape to landscape but is directionally correct. For example, in some climates, stand-replacing fires are healthy and normal. But in most climates, bad.
For dependent types? I'm really fond of Type Driven Development With Idris.
I kind of agree with you, but expand "real life" to include "group chats local to your geographic location and/or hobby and/or interests"

Furries have been doing it like this for years and it works very well. I met my wife in a chatroom dedicated to making fun of people that misinterpret Hegel.
Gone in a Flash: A Brief History of HTTP Adaptive Streaming
Agreed

Joe Roegan I can guarantee you just had a MUCH better amount of background data to feed this thing - I doubt we have nearly enough high quality audio of Steve Jobs speaking casually to make a convincing facsimile.

A future Steve Jobs though where everyone has a smartphone and more is recorded.....that is kind of scary.

Stuff like this kind of makes me want to secretly record myself in very high quality in tons of situations and then put it all in a safe with a clause in my will to have it all donated to some AI research firm.
I've wanted to do this for years, but just can't stand the security hassle. One solution I've often thought about, is renting a small office in the neighborhood and setting up there, obviously that adds a lot of expense.
I'd say [[wiki-style linking]] is the most important feature that you didn't list, probably more important than YAML frontmatter (which I have never used besides aliases). I know obsidian and nb support it.
Walking is not great exercise from a time efficiency standpoint. It's like half the caloric burn in twice the time of any dedicated exercise, be it running or swimming or weight lifting. Exercise that elevates your heart rate is simply better, from a fitness perspective or from a weight-loss perspective.
Higher Order Type Theory.

No idea beyond that.
> Because its outside the scope & role of the government?

That doesn't align with the fact that there are government funded programmes for things like mental well being, sexual health and education, and even music appreciation.

The government is concerned with whatever the heck we say it is. It's _our_ government.

P.S. No, I don't live in America ;)
In reading, it's not clear which types of batteries this is referring - lithium like the Tesla power wall is definitely not the ideal chemistry to use full time -- but we have different electrolytic (flow) or catalyst (fuel cell) driven batteries that have similar advantages of the geothermal method without the drilling or maintenance of underground systems.

Flow batteries are minimally dangerous, have huge storage capacities, have a minimum maintenance per 1000 charge schedule, and while they are slow to "turn on" are faster than geothermal.

Disclaimer; I have a small startengine investment in a Vanadium Flow battery company
These statistics aren’t hard to find

https://www.cnbc.com/2021/06/17/nielsen-streaming-makes-up-o...
Robin Heggelund Hansen (one of the elm/core contributors) launched a fork of Elm this May with the help of 13 other contributors. It's called "Gren" (/gre:n/), which is Norwegian for "branch": https://gren-lang.org/

The introductory blog post promises a new release every six months. There are some differences from Elm (Git based package manager, immutable array as default sequential data structure), but the introductory blog post promises "If you already know Elm, then you also know Gren.": https://gren-lang.org/news/220530_first_release

Posting this as a new thread because two existing, independent comments (https://news.ycombinator.com/item?id=33165489, https://news.ycombinator.com/item?id=33165313) both deserve this reply.
> Honestly though I don't get the Wayland hate.

I don't hate it. Sway works mostly fine. except drag&drop between file managers and firefox is broken in several ways, in both directions. And since that's an important workflow for me I'm still on i3.
I'm checking once or twice a year and various other things improve. But D&D has always been broken.
You should also check the login history for your account-- it may not be impossible that your account is compromised.
That apparently broke twitter once
Quinn the Eskimo and Eric Schlegel, you get an answer from them you know it's gold.
[0] https://en.wikipedia.org/wiki/Homotopy_type_theory

[1] https://homotopytypetheory.org/book/
https://web.archive.org/web/20221011170702/https://interconn... because it takes 25 seconds to load at the moment (not that archive.org couldn't use a speed boost)
Reddit did not "force transfer" the community, the top moderator was convinced to hand it over.

Reddit, for all its faults, goes to great lengths to give its moderators latitude and discretion to operate their communities, and only steps in as an absolute last resort.
"We’ve been listening to feedback from developers around the world about what will be most helpful to them as they build innovative apps"

Lol, the feedback is surely "stop deleting all your documentation without replacing it" and also "please don't make me re-download Xcode for 3 hours using an account I forgot the credentials for in your terrible app store with its unresumable download flow... before I can do anything", but they came up with this?
Freight is also less attractive when you can't double-stack the containers because electric wires and tunnels are too low. I understand this to be the case on many European rail lines. In America where freight trains play a larger role in the economy than in Europe, most rail isn't electrified and double-stack freight trains are common.
I now call the original Kerrig the "Coffee Shrine." It's just so big.

I replaced it with a narrow one, and then later had to open it up to change the power cord. There's quite a bit of electronics in it.
Best practices for fluid responsive webdesign
Gig workers are 1099/contractors per the IRS Checklist for 1099 vs. W-2. This move by the Labor Dept is pure politics and a gift to the 'organized labor' movement so gig economy workers can be corralled into labor unions for the typical political reasons (voting as a block, endorsing/funding political campaigns, being weaponized to influence policy change)
I'm not much interested in a personal webserver than having as a NORMAL service an ipv6 global per any connection, all ISP crappy router deniable or configurable in bridge mode, anyone normally owning a personal domain name or more than one.

Some subdomains dedicated to personal services etc. Web server just a part of the game, not them specifically.

Technically there are NO reasons to justify "cloud computing" despite claims, the only real justifications are business of some against others interests. There are no reasons despite all ipv6 issue to not offer global addresses etc. The real issue is that most people simply have next to no ideal about IT nor how to benefit from in in their own lives. Those who know have not much choice...
I see, it makes sense to force people to use different variables for iteration in that case because it can easily trip inexperienced developers up.
Anyone can become a Facebook influencer and own pages that will be seen on everyone's news feed. Anyone can moderate Facebook pages and groups. There are few differences. It's web 2.0 by design.

I'm now over 30 years old, but I started being a mod/admin on online spaces when I was about 13. Back then it was IRC, several BBS's, flash chat and flash games.

If I do a total count, I personally supervise over 250k people in Facebook groups alone. Add to that the fact that anyone can comment on Facebook pages and you get an even higher number (millions).

I do it out of love for my communities but I know people who do it just for the power. You'd be surprised at how many pages there about major franchises that share the same admin/mods with the sole goal of controlling what is said there. I know people who create a page the minute a new trailer for a product or franchise comes out without even being interested themselves.
My bank ATM randomly sends a One-time-passcode to my mobile phone and challenges me to enter that on the ATM pinpad (in addition to my ATM pin). This is especially true when I try to withdraw from an ATM that is not my usual location (or I guess is an ATM at a location that is internally flagged for high number of ATM fraud incidents).
Classical numbers for gCO2/kWh do take into account uranium extraction, and yet despite relying heavily on coal as you point out, nuclear (6-12 gCO2/kWh [1]) still remains one of the most competitive power sources [0].

I agree with the rest though.

[0] https://www.ipcc.ch/site/assets/uploads/2018/02/ipcc_wg3_ar5..., page 539
[1] https://www.polytechnique-insights.com/en/columns/energy/car...
I do both cloud (AWS) and bare metal (single server on OVH with web server, db and the rest of the infra stack).
Now that lighting and polygon counts and motion capture have become so crazy realistic in AAA games, I find it's actually motion (outside of cutscenes) that snaps me out of believability the most. RDR2 is the best I've ever seen, but boy there are still a lot of clunkers.

I never imagined ML or stable diffusion would be the answer here, but now I wonder if it will be? So much stable diffusion stuff has so far felt to me like just toys to play with, but modeling movement seems like it could make a gigantic difference in videogames and animation generally.
> Developers can ask for [...] help with App Review Guidelines and distribution tools.

This bit is really interesting. It's not a solution to app distribution woes on iOS and macOS, but it is a response to the outcry from developers wanting more clarity on App Review Guidelines. It would be really nice if they could ratify these guidelines as a more consistent set of universally-applicable rules, but I guess an audit session with your local Genius is the next best thing.
Unfortunately I didn't work with many engineers as I did finance and analytics. About to exhaust everyone I know and want to work with. Thanks for the suggestion though!
I consider it unlikely that De’Longhi, Illy, Smeg, and Breville all got together to sponsor a piece. I may be wrong.
This makes a lot of sense. But maybe it's the direction that Mozilla is already headed in?
Was there a dedicated HN submission for this topic?

This is extremely fascinating to me. In what Andrej Karpathy calls "software 2.0"[1], leaking your model is equivalent to leaking the main IP of your company. Unlike source code where it loses value quickly out of context (e.g. twitch leaked their code yet that didn't spawn a bunch of twitch clones), models can be fine-tuned and transfer-learning-ed for many other purposes

Since these models take millions of dollars to train, I see these sort of hacks becoming a thing! I wonder when companies will start adding "trap streets"[2] to prove that others are using their stolen models?

[1] https://www.youtube.com/watch?v=y57wwucbXR8

[2] https://en.wikipedia.org/wiki/Trap_street
Fascinating. I don't think I had ever stopped to think about the age of the fish on my plate when it was caught. Thank you for sharing.
Yes sir, exactly. There's too much hassle in manually categorizing and tagging everything and it still inferior to search. Just like in good ol' days site catalogs were made extinct by search engines development...

It's ok if bookmarked pages change. It's no different from a normal search engine, you just reduce the scope of a search from the whole internet to some private curated collection. Google CSE is good for that, one just need to write an interface to update it with bookmarked links...
Not if the input data isn't known at compile time it can't. I get what you're saying, and admit that my example was glib and short, but the point remains: putting "state" data into the type system forces programmers to be explicit about things that were just part of the algorithm before.

The word "automagical" is a term of art for a reason. It's an ideal that our ancestors have been baking into the concept of "good code" for decades and decades, and dependent types throw it in the trash in favor of a variant idea of "correctness" that IMHO doesn't correspond to what society actually wants its computers to do for it.
Asian parents give a shit whether their kids show up for school.
> most of my computing

What does this involve? Are you tunneling a browser through ssh? Are you doing development work?

Also, the status page is a rather beautiful bit of text. Did you do that yourself?
Quality is really low when I have nothing - typical conversation from a tech person is: do you have revenue? do you have customers? how big is your idea? Ok talk to me when you have everything and I'll build for you. But if I get there without them, I don't need them after.

So I'm trying now again (also through HN) because I've made a ton of progress.
I find this to be a false dichotomy of a statement: "either we eat fish or we don't". Unfortunately, supply and demand are clashing here - overfishing is a real and tangible problem!

The most likely path forward, and third option, is farmed fish and other seafood. One such company making excellent in-roads is TransparentSea, a pretty cool shrimp farming operation.

Too bad I think shrimp are disgusting, lol. Farmed tilapia it is for me!
vfixupimmss: An AVX-512-based implementation of the signum function
> Each month you will receive up to 50 minutes for incoming calls and 75 text messages. All phone number masking plans will include unlimited email masking. The cost is $3.99 a month for an annual plan or $4.99 a month for a monthly plan.

So you pay $4-5 per month and you're still limited? I was expecting there would be some free amount and after that it's paid.

Will this SMS work for account verification?
Because there is stuff in them we cannot replace, or why is that?
It's a very affordable headset for casual or occasional VR users. Those who want to use it a lot can pay extra for a strap/interface. If Facebook had sold it that way, with a normal and a 'Pro' version, that would have cleared up a lot of confusion IMO.

For glasses are you using the spacer? I find it okay with the spacer but it lets too much light in. And the aftermarket interfaces don't always support glasses. It's a bit of a mess.
Nobody call it "bare metal servers".

it's just server. or server hosting. or cohosting. or co-located.
My home DSL connection years ago started being slow - so I checked my home server.

A single image was the top result for "Japanese robot death cat" or something on Google Images, so I was getting pounded. A quick robots.txt update and a few days later everything was calm again.
I'm starting to believe on this VR stuff.
$499 seems reasonable for this amazing headeset.
> Assuming no losses, That could heat many dozens of typical Canadian suburban homes all winter.

This honestly seem incredibly optimistic to me. Even a high-end thermos will lose its heat in less than a day. Faster in a cold environment. And afaik, temperature loss is proportional to temperature difference, so the hotter the liquid the faster it cools.
Many people are under the false impression that Discord, Reddit, Twitter, etc., treat ordinary people the same way they do corporations and celebrities. Which is obviously false, as we see here--on these platforms, corporations win every time.

Social media died the day that Shaquille O'Neal was no longer @THE_REAL_SHAQ.
Thanks for the links! If Haskell is more your style than Racket, there's a Haskell version of the implementation tutorial at https://davidchristiansen.dk/tutorials/implementing-types-hs... .
I will keep working on it. There is a lot more interest than I anticipated.
But then that's not a stable SaaS business.
But if you can use a unique number per service, you now know which company is selling your PII and you could address that either by switching to a competitor or, depending on the legal specifics, sue/expose them.
This is interesting.

We're shifting away from browser extensions to TamperMonkey scripts because of the futility of trying to get everyone in the company to use the same browser. Would your SDK be usable with TamperMonkey?
It seems like return to normal from pandemic induced purchases. The global PC market's long-term growth should match the rate of computer penetration into emerging economies. And many users won't even feel the need for a PC, given that their smart phone does what they need.
“My Verizon and Apple ESIM Problem”
https://iselmdead.info/

https://dev.to/lucamug/elm-2021-a-year-in-review-4pho
Half the price of Hololens 2 and MagicLeap 2.
Deep Dive on Google's Exascale TPUv4 AI Systems
Even if YT lets you play back at 1080p60 (or higher), any channel with videos that have cinematic looking segments (even something as simple as product review channel) have that look because those segments weren't actually shot at 60fps. The temporal smoothing of 24fps is critically important to get that look. And people still notice them and comment on how insanely good those segments are =)
> He always stopped for long pauses, stares off into space for a minute. He didn't rush into responses and tended to nail timing really well.

The first part makes me wonder if Jobs had ADHD, the second part screams NO.
We should stop eating fish that has collapsed populations. We should have more marine reserves and marine biology research and continue to scale up fish farming. However, overfishing will continue more or less unabated unless it's handled at an international level, which for geopolitical reasons doesn't seem to be happening. Once fish populations recover we should allow limited fishing, but I think many fish populations are basically doomed at this point or irretrievably genetically altered.
I’m intrigued, care to share more?