skysight-inc/HackerNews huggingface dataset:
Here are some of the problems I aim to tackle with Coral.

No existing self-hosted streaming platforms provide an experience beyond what I would call "offline MP3 player" level. You can create playlists and browse artists, albums, tracks and maybe genres - but it's nothing compared to a commercial streaming service where you have metadata-derived recommendations and content curated by people in your music scene. I usually listen to music based on the label they're released in as they tend to follow a specific style. Jellyfin for example, doesn't provide the ability to browse for labels.

Spotify provides artists with the ability to promote certain releases or let you know when they've just released something new. I want to be able to provide that user experience in Coral - allowing users to keep up with their favorite artists. How they acquire the music itself is of course entirely up to them, but at least that way they can know that something new is out.

Existing streaming platforms are often not optimized for variable connection speeds (see: variable speed, high latency LTE connections). I know that many platforms offer an option to transcode, but it's either an on/off situation versus adapting to your connection as most services can do with video. I would love to stream the original if I can - and fall back to 192kbps AAC, using the best encoder I can (see: not FFMPEG's default AAC encoder) for any given platform.

This is just a tiny part of the things I am trying to improve upon with Coral.
For most users, delegating data management and application updates to a 3rd party is worth paying for.
$20 is a steep price to pay, but I think users who would pay to see less ads are most likely users who don’t click on ads? So from that perspective it might be a different calculus?

Also, twitter got away with half as many ads or something like this. Personally I’d pay $10 a month, but I don’t know about others.
While the size of the VLA is not (usually) known at compile time, it is part of its type and known at run-time (it is a dependent type). And if you use a pointer to the VLA (and not a decayed pointer), you can recover the size or benefit from run-time bounds checking.

int n;
char buf[n];
char (*p)[n] = &buf; // non decayed pointer to array
sizeof(*p);
Putting as many people as possible out of work, in an ever-accelerating cascade.
I never opted in to Experian or any of the credit reporting agencies.

Anyone who sets up a Facebook account has chosen to do so because they find value in it. If they ever stop finding value in it they can delete it.

I don’t see a problem with them offering an option for people who want it to validate themselves for a fee. Seems like a direct copy of Elon Musk’s idea for Twitter which I also don’t see an issue with.
Your entire post is questionable the moment you write something like "Google as we knew it is already dead".

Yeah, no.
I don't doubt that can be true - but there are plenty of common operations like concatenating strings or converting between strings/numbers that are a good deal simpler to write and understand in C++ than they are in C. In particular there are far more ways to get them wrong in C!
Why do people make deals with customers like Musk and Trump? They have a long history of screwing vendors; wouldn't that put you off?
I would have hoped that in such a case, talking it over email and/or phone if needed would be a way to restore the domains that were actually in use. But apparently, emails were sent and never responded. In any case we took the chance to move it all so now it's a solved problem. The manners weren't great, tho.
It's also for Instagram.
So you think editing out offensive wording in fiction is equivalent to changing who the protagonists were in a historical event?

That is both silly and a hyperbolic attempt to shutdown a fair discussion that reasonable people might form differing conclusions from. Censorship isn't the only tool against free speech.
Blender is great when you get used to it... specially if you have a 3D printer... CAD is what is/was missing. You can even do similar to parametric editing aka non destructive editing workflow.

Geometric nodes are great too.
Unfortunately the luddites were not very effective at slowing down the technology. And with the modern police state being more aligned with wealth and corporate interests the general outlook is "the problem is coming at us full speed".

This is not an artist problem, this is an everyone problem that is unavoidable. Of course here in the US we're playing right versus left instead of a few trillionaires will own everything versus the starving huddled masses that this path seems to be leading to.
How could that really work? printf is a library function, not an intrinsic. A function named printf can do anything your heart desires.
What, there's something the US invasion managed to not destroy?
I shudder when I think about how many heritage sites were destroyed in the 2 wars without anyone even knowing.
There was a media ban too in the 2nd war, unlike now with Ukr/Rus where it's in your face all day every day, but I digress.
I actually don’t mind tracking as I’m interested in better ads in general (if I really have to see them)
> Think about it for a second: a machine understood your request in plain English and executed it adequately, instantly and free.

And the same general purpose publicly available free AI can perform at that level for a very, very wide range of tasks.

Even if the general purpose bot is just 'adequate', how long until fine-tuned versions for specific tasks come out, performing at superhuman levels?
> a cheap UPS to keep it running in case of power outage (which happened once in the past year, so it might be a bit overkill).

I don't think this is overkill, I think it's necessary. A UPS is pretty cheap compared to the completely-uncontrollable chance of losing power in the middle of working on something. Sure, there's autosave and most things are relatively recoverable, but this is just such a cheap investment (at least, for most people who will be reading this forum, I understand it isn't for everyone) compared to such a scary reliance on something that is not very reliable (which makes me very upset about income disparity, it's something everyone should be able to have).

My power is extremely unreliable so maybe I'm a little biased - we get brown-outs (power drops for maybe 2 seconds and comes back) maybe 3-4 times a year, which is wild imo for what should be a very well-developed area (relatively wealthy suburb of Chicago) but it's a pretty old building so not too surprising I guess. That said I will NEVER have a desktop setup with a UPS, and I encourage absolutely everyone to do the same.

I also have a wireless card so that in an emergency I could tether my pc to my phone for internet if need be, and I highly recommend this as well. It's enough to reconnect and send a couple Slack messages quickly and then disconnect again and wait out an outage, without driving up your data bill. (Just use your phone? Maybe, but I don't have everything installed, and I can't type for shit on my phone keyboard anyway)
There is a waste over estimation on how large SpaceX government contracts are.

You are ignoring that Airbus is also getting additional government contracts. Arianespace gets massive infrastructure subsidy, they are gone get at least 5 billion all said and told for Ariane 6, and that does not cover the last 20 years of sub-component level development for things like the engine and the solid fuel. Lots of the testing and development for sub-components is all done in govenrment funded institutions that all have their own public funding.

In addition to Arianespace has received lots of 'contracts' for development of things like engines, carbon fiber second stages, different re-usability prototypes and the list goes on.

And when all that is done, Ariane 6 will STILL GET GOVERNMENT contracts, such as launches from ESA, EU governments projects like Galileo and countries own launches.

SpaceX actually likely lost money on development of Dragon 1 and Crew Dragon. The had incredibly competitive bids and the govenrment got absolutely amazing deals by anybodies accounting.

For Arianespace to claim SpaceX is subsidized and that's why they can launch cheaper is simply the height of hypocrisy and and Arianespace actually knows that they are outright lying when they say that.

The reality is Arianespace and Europe dominated the market for 20 years and barley made any technological or price progress in that time. Even in the 2010s they mostly launched Russian rockets developed in the 1960s. If that's not a complete failure I don't know what is.
But for who? Jeff bezos? The Yang Gang UBI?
Vinyl Chloride and the Ohio Train Derailment
I've used it for regex and creating basic python scripts that I can then extend. I've found it very useful for these things.
I've just started using it in my shop, and the tool is quite magical. A lot of work has gone into it, to the level where it will automatically search its own GitHub issues when crashes occur and provide relevant stackoverflows in a lot of cases. iOS provisioning specifically is horribly complicated, and the ad-hoc (pun intended) way my org was doing code signing before is archaic in comparison. Thanks Josh and the other Fastlane contributors for making such an awesome tool!
...don't you mean, AN 'oneymoon?
Good point! It's defintely an option I'll explore if I ever run into any performance issues.
Bike share systems with docks have the same demand problem, but they are locked to docks so don’t get thrown into the River. They survive fine. Maybe a docked scooter share would work?
On Entitlement
> high spenders are commonly referred to as whales

Is this term common outside of the gambling industry? (I personally have no problem with the term's use in that context...)
If you code them by hand, then yes. If you a library, then it is the same.

It is certainly true that the C++ standard library provides more functionality out of the box.
It seems Lake Oroville, the resevoir featured in the article, and Cachuma are the only ones that are well above historical average.

Lake Oroville is at 115%. New Bullards is at 120%, Pine Flat is at 121%, Folsom and Camanche at 111%.
I remember running an IPX/TCP gateway from Novell it work flawalessley
I'm from Switzerland and we help finance that stuff. Specially the Vega rocket, a total piece of crap that shouldn't exist.
Alternatively one could go for Barebox, it’s neat and standardized like Tow-boot, but it’s not phone-focused and works on many more boards.
Damn, I was reading the words "Facebook Announces Meta Verified" and I took "verified" to mean you can see content that is "fact-checked" or at least filtered for some kind of accuracy.

Yeah, I know. That was very naieve.
> The only thing that’s going to stop every random company you have an account with from trying to extort a fee just to make sure an account is actually you is going to be regulation.

Remember the backlash when Eric Schmidt was pushing for identity verification for Google+. This is the flip side of that coin; we can't have it both ways.
ChatGPT has an infinite number of uses as long as those involve text transformation in some form.

My favorite has been to feed it some slab of text and let it generate synopsis and then bullet points and then you can expand on those bullet points.

You feed it some prompts and let it expand on a topic.

My main use has been to generate multiple choice quizzes on a variety of topics for my students.

ChatGPT does a very good job 90% of a time and if some quiz is off, you just let ChatGPT make some more.

If need be you can generate code in oh about 20-30 programming languages.
Vast majority of it will be ideomatic too. Sure Copilot (which is GPT-2 or GPT-3 now?) could do some of the tasks as well but the generality of ChatGPT is astounding.

Now, it is not going to write a big application for you but ChatGPT could generate large parts of the code.

So far the only weakness (besides the rare hallucination) I've found ChatGPT tends to make up word endings in less popular human languages when translating from English. That is probably due to how tokenization is done.

Has anyone been able to have ChatGPT generate gramatically "incorrect" English?
I am talking about regular prompts (not rap or dialects).
>I would posit that it is clear. It's simply a whole bunch of toasters put together (that is, a long list of if-then statements). If you're trying to argue that consciousness is merely a bunch of if-then statements, then yes, ChatGPT might be conscious. But then it's going to be much harder to argue that a toaster isn't conscious, which I thought we both agreed with.

The combination of multitudes of if-else statements forms a macro structure. It is this emergent macro structure that we call consciousness. As stated before the exact interconnect of this macro structure can't be fully articulated yet.

>This seems a bit dismissive, and although I myself am a substance dualist (which is generally seen as a metaphysical position), most materialists aren't mechanistic in their interpretation of consciousness

My arguments are based on likelihood derived from logic and evidence meaning While we don't fully know if a soul fits in this framework, we certainly do not yet have the capability to derive it's existence/likelihood from evidence or first principles. Thus there's really nothing to talk about as it's an argument outside of known logic. What is the point of arguing about topics we don't know about? There is no point. I'm being dismissive because there is literally nothing left to talk about for either of us. Logic and evidence is also the only shared principles that seem consistent across individuals so best keep discussions in that realm fully.
I don't find most HN commenters think critically about integrity or accuracy. IMHO,

* Many follow the crowd in attacking whoever is the target, and sometimes that includes raising questions about integrity, etc.

* Many attack the integrity, etc. of everything, which isn't thinking critically - it's the opposite.
As The Dude once said... that's just, like, your opinion, man.

I'm confident that you have reasons for holding the position that you hold, but you're not actually offering anything beyond "if something different is possible in the future, one of the incumbents of today would have done it".

The simple fact is that OpenAI beat today's current players to market in every meaningful dimension, and we will have to agree to disagree that Google/Apple held back for fear of short-term PR blowback.

What is Apple but a company that prides themselves on doing things that everyone freaks out about, like ditching the floppy, CD-ROM, headphone jack?
What a great show Homicide was.
It's an MIT license. Worrying about who "owns the IP" for an open source project when you could fork any time seems a little much.
You may wait weeks to get a credit card due to microchip supply chain issues
Encryption API Services – open-source Progress
After a few months of being a part of Microsoft for Startups. EAS is keeping its fingers crossed to be accepted into the first fellowship of Github Accelerator this month. With a functioning free version and a proof of concept C# SDK, we have started to develop an SDK for the Deno runtime. We are also in the review process for the next tier of Microsoft for Startups where will take we take advantage Microsoft Azure specialists recommendations on scaling the platform and begin development for the paid model of EAS.
I see variations of this advice a lot, and I think it depends on what you want to do. If your goal is, e.g. to get VC funding then there is a pathway to increasing your odds that has a component of focusing on what sticks.

If your goals are different (and I'd argue more principled) then you may not want to just capitulate and try and optimzie for a known audience or market. This probably has a lower change of success, but that doesn't mean it's wrong. To use the startup founder example, if all you're doing is optimizing for VC funding and putting your own vision and ambitions on the back seat, you could also just consider getting a job.

Also, average strategy generates average rewards. The path people choose really depends on their risk tolerance. I don't think it's right to say one is better than another.

Trent Resnor is an interesting example. If his strategy was as you described, I'd be very curious to know what his motivation was - I'd guess it's more complex than just wanting to be in a successful band. I kind of wish I could visit an alternate universe where his dance music career was the one that took off
Thank you for sharing, yours is the healthiest perspective I can see. This aligns with how things should (and can!) work. My context: more than 10 years experience in commercial software/IT projects in Australia.
Ah, that is nice, and an improved experience.
https://archive.ph/xUNNE
I've seen this used to define function pointers / callbacks in a "cleaner" way. I think Mg does this IIRC.
I don't think this "subscription service" is actually for the user I think it's for the advertisers. I think the fee is just a smokescreen. I imagine FB having access to something like a driver license gives them your address, height, eye color, signature, data of birth etc. I'm sure they will monetize this in all kinda of new ways. For example maybe political adds since you can target based on voter precinct, auto insurance, neighborhood demographics and of course a premium tier of "blue checkmark verified" eyeballs to advertisers.
What else are they going to invest in? Sure things that return net-negative after inflation?
Why would a tiny Slovakian studio loudly proclaim that they are planning to continue fighting this lawsuit, if they believed that they were in the wrong? Especially given that the studio knows they are being directly sued by a lawyer who feels wronged and has a personal vendetta against them. Not even mentioning, above all, that DMCA strikes have been weaponized and abused by powerful players before.

More importantly, I believe that the burden of proof is on the accuser, and so far the only thing the've done is filing DMCA takedown requests. Which have a notoriously low bar for what constitutes "evidence", thus making it a very useful instrument for harassment.

Unless we discover that the developers simply lied in their official statement on the issue, the current situation seems like a fairly typical DMCA abuse case. Since they are planning to fight the DMCA takedowns, I expect we will find out the truth soon enough.

Disclaimer: I am not trying to write some anti-DMCA manifesto, but just to simply illustrate the reality of the situation. DMCA is an imperfect solution to a problem, and I believe it certainly could be done better and/or improved. However, it is easier said than done, as I don't have a proposal in mind for a better system. Getting rid of DMCA entirely without introducing a replacement mechanism is just going to open up another problematic can of worms, so I am not going to advocate for that until I have something better in mind.
What is the actual difference between old and new?

Is there a list, an explanation anywhere?
It was an award for being an authentic notable person or entity

Using an arbitrary and biased determinant of who is notable.

https://www.wbur.org/cognoscenti/2021/06/28/twitter-verifica...
“Democrat”, just like “republican”, has a generic meaning that is not closely connected to the US political party. It means someone who supports democracy.
I mean, that's been the trend line of every paradigm, hasn't it? Quality & craftsmanship being sacrificed to scale & automation.

I'd say the good part of AI coding is the democratization of programming. It'll be shittier than hand-crafted stuff but more broadly available and empowering more people to make their own stuff.
I agree that we need a better identity solution than sharing email addresses or phone numbers with hundreds of third parties. I disagree that digital identities should be tied to government records, or that networked identification is an operating system level problem to solve.

Problems with this approach:

1. Participation in the internet should not be contingent on being documented by a government.

2. There are ~200 countries, so this adaptation will require worldwide collaboration by a lot of parties. Governments and borders change or are disputed all the time. Are all 200 countries trustworthy as identity issuers on this network? Who decides who is trustworthy?

3. This will increase the leverage a government has over it's citizens, by giving them an avenue to cut their communication lines with the rest of the world.

4. Governments are notoriously slow for adapting new technologies. Governments are notorious for wanting backdoors in technologies. Can we trust them to keep this up to date, secure, and to migrate to any new advancements that are to come?
Fair enough. Maybe that doctor’s account would benefit from paying for verification? He is a public figure of sorts. For accounts where most of its “friends” aren’t actually friends then some verification makes sense. I would guess that most accounts don’t fall into this category though.
> Does your mind wander elsewhere?

Yes, it is constantly elsewhere, but not with me, at the moment. To comprehend your sentence I spent 3 minutes, reading again and again.
I registered my last domain with Porkbun based on HN recommendations. No complaints.
This is a great example. At this point it apparently can do a lot more than we have the imagination to ask it.

I’ve been asking it to write poems about my favorite movies and books, among other things. It’s just…fun.
Replacing the title of the tab with "Hey, come back!" is not as cute as you think it is. Actually it's rather annoying.
> The millions of children, teenagers, and adults who find inspiration in likes of Kobe Bryant, Serena Williams, Michael Phelps, Lionel Messi etc. might disagree with you. Many of us learn to be better from their ambition, discipline, leadership, etc.

If those individuals didn't exist, other athletes would fill the roles just as well. Also, it's questionable how inspiring or positive they are. The behavior of many athletes is horrible.

> elite athletes have refined the art of practice and study for their entire lives. I've learned more about the process of learning from interactions with them than anywhere else.

What about experts in other fields - such as teachers, nurses, coders, etc. Nothing special about athletes.
Ha, its much simpler than that.

They use linux because of dependency/driver problems on other operating systems. And I think they specofically avoid Windows Server on those big cloud nodes due to scaling issues and more barebones remote access tools, not to speak of linux being the cloud standard.

I do find the near global use of Ubuntu annoying... but I guess there is not a popular alternative? Red Hat and Clear Linux do not officially support Nvidia, rolling distros like Arch are a questionable fit for cloud (though I love it for personal ML use). IDK about OpenSUSE.
Taking the address of a variable does not prevent the compiler from putting it in a register. Indeed, it can be convenient to have small utility functions which are always inlined, which take pointers to their results; this should not and does not prevent those results from staying in registers.
https://github.com/localfirstweb/localfirstweb.dev
https://archive.is/y4JVk
> Realistically it’s extremely difficult for this to occur, and the costs often are extremely high (relative to the returns).

Exactly what you say should be available is in the status quo. What is it that you want that is different?
In C you could write or have a macro which does the cast.

int *p = malloc(sizeof *p);

In C++ you would have to add an explicit cast, which would not make it safer:

int *p = (int*)malloc(sizeof char);

So from a type system perspective this is not safer.