skysight-inc/HackerNews huggingface dataset:
>I can run Windows or Linux on any computer for decades if I want to, and I have.

That's super cool, if that's what you're in to, but other than a small percentage of geeks, there's limited utility to do that for the majority of Macbook users. If you want to run a decades-old computer, then absolutely yes: there are much better computers to choose from, and at a good price (mostly free).
It might be easier for an engineer to fix a bug by changing some lines of text than readjust a neural network, for the time being at least.

As pointed out, there are already formal languages that allow formal verification like B [0] notably for like-critical systems.

[0] https://en.wikipedia.org/wiki/B-Method
The stories we tell ourselves matter. Staring into the mind and seeing nothing is a powerful and frightening story. There may be a more positive reframing, but it's also not a mandatory story to tell yourself.
Damn, that's savage sharing all the answers ... where's the fun
We are not. There are some suggestions that they might be biological but it is not a settled matter at all.
It wouldn't surprise me at all if the thing that ran Tiktok out of the US are class action lawsuits due to all of the scams their ad department promotes.

For example, scroll for any period of time and you will find multiple ads for bean bag chairs, all for much lower prices than you can find at Amazon, and all originating from the exact same "company," with the exact same set of Judge.me ratings on each of their hastily assembled websites (which all have non-working links to the same social media properties).

If you search for "bean bag scam," you will find hundreds of users complaining that they were scammed out of money by this company. Tiktok does nothing and gleefully allows these scammers to continue suckering people out of their money.
Every interaction is a potential venue for exploitation. It's not the platform, it's teaching children right, wrong, and the skills to protect themselves. Not defending TikTok, but I think focusing on a platform, or medium, is the wrong way to go...
Allegedly, TikTok’s recommendations to kids in China (who owns and controls TikTok) are very different to the recommendations kids in the West get. Something Western governments must look into ASAP.
How did China come to dominate the world of electric cars?
DSL being https://en.wikipedia.org/wiki/Domain-specific_language
Here's the summary of how my attorney explained it (IANAL, obviously, and may be misremembering, so consult your own attorney).

In the US, copyright is a thing that applies the moment you have put a work into a fixed, tangible form. Actual publication is not required. If your work is copied, you can sue. But if you register it, you have some additional power and -- perhaps most importantly -- you don't have to worry about a court fight over when the copyright term began. A registered copyright began at the date in the copyright registration. There can be no argument about that.

Some of the other benefits... if you register your copyright, you can sue for statutory damages rather than having to demonstrate actual damages and you gain the ability to recover legal expenses.
I don't think there's an implication per se. It's just a description of fact. This has happened before, and likely will happen again. It's helpful to be aware that we're in a cycle rather than a one-time process.
The article is not about generating correct programs.
Cthulhu discussion Buddhism. Am I tripping?
Disco, Arcades, rock and roll, sockhops, radio...
sorry, hard disagree: explainability leads to reproducibility and predictability, leading to control. Unexplainability leads to chaos.

old adage: if a bug can be reproduced then it's only a matter of time before it's understood and fixed. If a bug can't be reliably reproduced (Heisenbugs) then repair time is unbounded.

(that said, humans are perfectly capable of creating inexplicable and irreproducible bugs - for example, in multithreaded code)
Show HN: Quiltt Connector, Embeddable onboarding for finance products
Hey Hacker News, I'm excited to announce the launch of Quiltt Connector!

Quiltt Connector is a modular, fully embeddable front-end experience that helps teams onboard customers onto leading account aggregation, transaction enrichment, and other financial APIs with no integration work required. The Connector can even enroll and authenticate new customers for you on the fly while supporting a customizable account-linking flow backed by the financial APIs of your choice.

Before joining Quiltt, I worked on two fintech startups, Aquila & Chime, focusing on enrolling and onboarding customers through processes like KYC and syncing banking data for underwriting. While in my spare time, I would use this same tech to make it easier to manage my finances, But every time, it was a process of setting up a lot of plumbing and then dealing with API changes and disconnections. While each business was very different, I had to solve these problems repeatedly while trying to make it easy for end-users to onboard complex and sensitive data into these financial products. It made it hard to focus on the issues that matter to the customers.

With Quiltt Connector, we make it easy to onboard and collect the customer's financial profile so that you can focus on building the features that make your product different.

With 1-line of code, you can start onboarding users into your application, giving you access to an easy-to-use GraphQL API that allows you to query for the data the way you want it.

Try it out now at: https://www.quiltt.io/product/connector

With a modular design, we can support the entire range of integrations from the No-Code Prototype to full API access for your engineers, Allowing you to grow the depth of your integration as needed.

I'd love to hear your feedback on Quiltt Connector. Please feel free to ask any questions or leave comments below. I, Zane (sirwolfgang), the Lead Engineer, supported by Ruben (rubendinho), our Technical Founder and CEO, will be around to answer questions.

Thanks for checking it out!

https://www.quiltt.io/product/connector

https://www.producthunt.com/posts/quiltt-connector
Following on to your comment, is this, "TikTok’s algorithm is designed to learn what type of content users like", what almost all social media does to a certain extent?
This is quite an interesting take… I’m not yet convinced that neural networks are “computing” in the classical sense, but maybe that’s moot.

More interestingly, this makes me wonder if there are some Gödel-like proofs waiting out there that limit the capabilities of efficiently-optimizable programs. What new kinds of undecidable or uncomputable functions exist in the subspace of programs that an NN can learn? Would be exciting to find out.
Query your Laravel database using natural language
It used to be that Gangsta Rap and Drill music was the worst influence on black kids. Then came Instagram with its influence on young girls. And now this.

Incredible how the capitalist industries really don't care about externalities, and will do anything to make a buck. And government works hand in hand with them, whether it's the US government or the Chinese government. In this case given the disparity of what is shown on TikTok in China and here, I think it's on purpose to weaken the West.

Whether it's factory farms leading to superbugs, high fructose corn syrup causing diabetes, overfishing, insects dying, fossil fuels, water waste, plastic pollution everywhere, the corporations get away with putting metric tons of this out ...but they will keep the individuals distracted and fighting each other... they'll tell you that you can't use a straw or bag, you should recycle the plastic (a scam), diet and exercise, and go vegan, to save the planet ... meanwhile no one seriously can rein in the corporations, instead they work with them.

Both Greta Thurnberg and George Carlin were right: https://magarshak.com/blog/?p=362
> writing software is circa 10% of all effort, specification, legal stuff, maintenance, avoiding technical debt, proper test cases, anomaly testing, performance testing the right stuff. That is hard, that matters. Software 2.0 is barking the wrong tree.

Exactly. For serious projects (not to do lists) u will need humans, or equivalent (AI that is grown like one).
For the record, I think this is a totally reasonable comment, and I don't see why it's being downvoted. Often, the same people who spread FUD about shell script installers will download a binary from GitHub releases, npm, etc. without a second thought.

There are a few things that make shell script installers particularly dangerous, though. I don't think any are meaningful with the way people normally use computers, but they could be meaningful in the future if we improve our collective security posture:

* Shell script installers aren't digitally signed. Most OSes have pretty weak code signature schemes anyway. They're littered with root-of-trust issues that prevent a lot of OSS from being signed to begin with, and in turn, the vast majority of users (especially power users) ignore code signing warnings. But, as these problems are addressed, shell scripts will become weaker and weaker in comparison to binary packages.

* Shell script based sites can fingerprint the client and serve different content to a browser and to the "curl" command, confusing users who attempt to audit what's going to run before it's passed into the shell script command. This is a fine argument and a real problem with the "pipe to sh" approach. However, unless the user is also independently checksumming or disassembling every binary application they download, it's also a bit of a straw man.
Correction: it’s the producer of PDF software with up-sells baked into it, even if you paid for the full-fat Adobe Acrobat with a perpetual license (which is still a thing, fortunately) you still get steered towards using their Subscription SaaS features like Adobe Sign, Document Cloyd, etc.

Fortunately Adobe’s PDF specification is an open, public standard (a surprisingly altruistic move for a company seemingly ran with the same level of malevolence as if Lucifer got himself an MBA) so now, in 2023, there’s no shortage of high-fidelity PDF viewers and virtual printer drivers. Browser JS-based PDF viewers are the best thing to happen in this area in decades - remember all those Acrobat Reader splash screens in the early-2000s?
Ruby Numbers and the Memory: how I got confused
Are you interested in how Ruby stores numbers in memory? It can look not very sensible initially, but knowing this can help you grow professionally.
Prompt Engineering Guide: Guides, papers, and resources for prompt engineering
What’s interesting is that the article doesn’t go into how they use the internet for comms which seems like a more critical piece of infrastructure than mid level players using it to communicate when Mexican soldiers are moving through an area.
Yes, just like when SSDs would "die in 6 months" for first gen M1.
lol, who tests the tests?
The things I saw connected to a BBS using a 286 computer with a 2400 baud modem on monochrome orange monitor.. It changed me...
I've purchased a lot of computers from Lenovo and other brands. The service and parts availability difference between the Thinkpad/Station/Centre models and everything else Lenovo makes is vast. The build quality between Thinkpads and other Lenovo models is also stark.

Parts, firmware updates, repair manuals...even warranty extensions for 5+ year old Thinkpads is totally normal.

For computers other than Think branded things that Lenovo makes, they're functionally abandoned ASAP. They make some innovative and well-engineered things, but outside the Think line everything is basically a disposable commodity machine.
Tiktok China is supposed to be educational and informative.

Tiktok America is entertainment only.

The theory is that China is poisoning the minds of young Americans by not developing interests in educational things.
It boils down to "do I need ML?".
Oh man. That brings back memories. I adored The Rocketeer as a little kid. I had an NES game based on the movie, too, but I think I remember it being too hard for me.
Update on the future stability of source code archives and hashes
> YouTube has ripped TikT0k 'best of TikT0k' videos so I'm not missing out really.

Arguably, the great part about TikTok isn't the content itself but the recommendation algorithm. It's really good at showing you new things that you wouldn't have looked at on your own, but that are still interesting to you.

Youtube shorts is getting closer though, TikTok can't keep their edge forever.
> Is Flow based on the idea of a Kibbutz?

Maybe based on the 1980s Kibbutz Crisis:

> Investments made without economic justification: due to the ease of credit gain, the kibbutzim invested large sums of money in industry and agriculture, often when the investment did not have an economic justification, and often without sufficient examination of the investment in terms of financial risk management.

https://en.wikipedia.org/wiki/Kibbutz_crisis
Lol. Non-rational? Obviously not, if only from the first paragraphs of this article.
Being senior can be a proxy for performance (to some degree since colleges don’t keep students who get failing grades). FWIW, at my colleges that I went to, people on honor roll were given a few hours head start on class selection.
I'm not sure Hacker News is the best forum for this. But as I realise that the new Hogwarts game criss-crosses issues of tech and gaming with trans issues, I'll venture to share some thoughts (a decision I hope I don't come to regret).

Rowling is definitely a very divisive figurehead and so gets more focus than most, but all threats of abuse and violence are wrong. However, from what I have seen the vitriol and abuse (from a vocal few) has gone both ways from both sides, but when it comes to actual violence then trans people have definitely been physically harmed more (and arguably face more emotional and mental abuse). The association of several of those Rowling has commended and promoted on this issue with far-right causes (in some cases even anti-female) is also a cause for worry.

As to whether any of the concerns are reasonable that would take a lengthy discussion to cover them all. Suffice it to say that a large proportion of women do not feel that their rights are impacted by trans rights (and would want their views respected too), which may lead to pitting one group of (cis) women against another.

There is also the potential for (cis) women's rights to be impacted by legislation that impacts trans access to female spaces (such as the potential for women needing to prove they are women (and the violations of privacy that may entail), women who are perceived to be masculine being kicked out of female spaces (as has already happened), and the potential of female-to-male trans men being forced to use women's bathrooms, which many women would not feel comfortable with).

It seems to me that trans issues are being capitalised upon by those who care little for women's rights at all (the religious right), and by politicians trying to draw attention away from bigger failings in their policies and performance. This makes it difficult to have a mature conversation not focused on extreme cases, remote possibilities and reasonable and respectful solutions.

Personally my interactions and experiences with trans people have been positive ones, devoid any of the extremes that the press likes to focus on. I also know people who find some of the issues confusing and have sincere worries about statistically uncommon situations. If both sides could meet in a spirit of seeking understanding and respect I think a lot more progress could be made.
I'm wondering how the LLM will be able to make use of hardware, or handle high demand. Can it be relied on to have data integrity?
Indeed, like people stating something is a deferred or a future instead of promise, and then pointing out a minor difference in their approach that justifies a whole new taxonomy.
A quick glance at the market for clamshell g3 iBooks shows how irrationally well Apple computers can hold value.
> What troubles those who track child exploitation is that TikTok’s algorithm is designed to learn what type of content users like, then feed them a string of it. That keeps youngsters glued to the site and makes it easier for pedophiles to seek them out.

I don't get that paragraph. It's like saying playgrounds are designed to attract kids, making it easier for pedophiles to know where kids are and seek them out. Or ice cream vans, or toy stores, or malls. Or even schools. Removing fun things from playgrounds will result in fewer incidents, but is that what we want.
Do you think regulation is viable? Arguments will likely be made that cigarettes and tobacco are still legal despite all the restrictions, therefore there's only so much regulation that can be applied to TikTok. There can be age restrictions, yes, but age restrictions can be bypassed by teenagers of even middling intelligence, and TikTok can make sure it only advertises to "adults."

I don't see regulation doing much except making the world a more twisted place than before. If we're going to legislate, it should be in the way of working with the culture and not so much the tech. What is regulation but adding more tech to the problem? More tech often isn't better.
Oh I forgot to mention a pretty important factor: That he probably sired a bunch of bastard sons.
Denying reality :p

You didn't have any example and even your 2 Quora links only contain 1 mention, which is also a failed infrastructure project and put the country in debt.

Lol
The microwave example reminded me of https://twitter.com/_LucasRizzotto/status/151620562566283673...
As of 2016 20 cents of every SNAP dollar goes to sweetened beverages.[0] There's ~42 million people getting SNAP benefits. [1]

[0a]https://fns-prod.azureedge.us/sites/default/files/ops/SNAPFo...
[0b]https://www.fns.usda.gov/snap/foods-typically-purchased-supp...
[1]https://hungerandhealth.feedingamerica.org/explore-our-work/...
[2]https://www.cbpp.org/research/food-assistance/a-closer-look-...
Oops you're right, it was MI25 instances on azure. Though oddly enough azure has announced Mi200 instances almost a year ago but they still aren't accessible.
Right after they get to gambling, alcohol, and excess sugar/simple carbs/sat fats.
The elitism tends to show up once you've been around the block a few times but before your ego and position is secure. Years 6-8 or so; ie, post-doc age. Not really properly mid-career, at least outside of "retire at 35" FAANG world.
Link to Podcast: https://www.youtube.com/watch?v=cdiD-9MMpb0

Neural Networks: https://www.youtube.com/watch?v=cdiD-9MMpb0&t=58s

Language Models: 41:50 https://www.youtube.com/watch?v=cdiD-9MMpb0&t=2510s

Software 2.0: https://www.youtube.com/watch?v=cdiD-9MMpb0&t=3944s
> felt like a clunky system to ultimately just have something automatically pass a few variables to a constructor

That's exactly what it is. The benefit being that if you go with that pattern, now you have this encouraged separation of code which enables thing to be tested a lot more easily.

In golang, it is super easy to just use the foo.NewFoo() pattern all over your code, but when you do that, you lose the ability to test things easily because you're no longer passing things around in constructors.
I hope he's smarter at machine learning than at blog posts.

Yes, a lot of software will include NN models. Traditional software is going nowhere, because it's the only means of being 100% sure of what the outcome will be, non-probabilistically.

Neural Networks are a tool for solving probabilistic, fuzzy logic problems.
You really should share a source on that, otherwise it just comes across like scaremongering.
I was ignoring gcc (and binutils) as build tools.
I saw a few reteweeted Andreessen tweets over last week and I hope he's just joking around because he genuinely sounded like a lunatic if he was being sincere.
Very interesting. Cognition and Turing equivalence are not things I automatically assume to be the same, so the paper's title is a question I hadn't stopped to consider previously.

Makes intuitive sense, though.
15W at 3A 5V actually is the maximum over usb-a. USB-PD powerbanks are a thing these days but it's useful in a pinch.
So ChatGPT can’t do basic maths or can I get it to write functional code most of the time, but we’re going to have it control expensive pieces of hardware ? I don’t get it ?

I wish I did…
Like I said.... the linked article literally says nothing about "fasting." Feel free to quote the part that mentions it. It only discusses "meal skipping." No mention of snacking.

> ...snacks under 50 calories allowed during the rest of the time.

This is not fasting. Even just 20 calories is generally expected to stop the fast. 50 calories would definitely stop the fast.
Doesn't seem to be anything specific to TikTok in this; any service which allows strangers to find each other and chat will have a grooming problem. It may be more or less successful at mitigating that depending on how much surveillance and moderation effort it puts in. This problem dates back to AIM and beyond.
Consider for a moment that "Let the experts do the data analysis for you!" may be a much kinder way of saying, "You're too uneducated to understand the data and will with a high degree of certainty screw up the analysis!"

As George Carlin famously says, "Think of how stupid the average person is, and realize half of them are stupider than that." Half!
Probably would have been better to use the word 'difficult' because NP-complete does in fact automatically imply NP-hard. I was expecting a very different article based on the title.
That's a great article for its breaking out the various chemicals and focusing on each one. In line with what I've been thinking, it's talking about dioxins as a result of burning PVC (which was in some bulk hopper cars, according to a manifest I saw), which was burning as a result of the derailment (as contrasted with the liquid vinyl chloride, for which the burning was seemingly a deliberate economic decision).

I agree that there should be more testing, and the fact that testing for expected combustion products wasn't start immediately to inform decisions about evacuation is criminal.
Obviously he's keeping the interesting bit about how this works for the actual course, but I already only mock bits right on the edge, e.g. the point where the system would connect to the outside world, and that seems to work.

What I'd really like, is some way of acknowledging redundancy - lots of tests ultimately go through the same code underneath, it would be good if that could be tested only once, and then the data replayed from those points but done in such a way that everything is still nice and readable.
Facebook/Meta has been very aggressive in trying to get the US to ban Tiktok from Trump's time in office (also was the subject of secret dinners b/w Zuck and Trump).

Although the story itself is pretty reasonable... the problem here seems to be that these services are public by default for minors.
As a co-founder I also posted a thread on Twitter and I don't have as many followers as Zeno (1.2k now, previously I had less than 1k), that helped a lot as well since we got some different people interested there (~53k impression, 252 likes).
The Errant Mind of a Depressed Economist
I bought a framework just for this sort of peace. I really long for apple hardware, but given the price, I'd be afraid of breaking things.
Yes you cant just turn up and throw them all in the fire. You have to unpick them slowly. That was his mistake.