skysight-inc/HackerNews huggingface dataset:
It seems you only focused on one of the conditions I mentioned.

You have to follow both rules: the one about inputs and the one about outputs.

This is like a contract. If you enforce it throughout your program, you gain some guarantees about your program as a whole.
Or, it may be useful for a massive archive of human history even.
I think Monopoly is awful, and I think the vocal minority of people who like it are obnoxious as hell.
Then it's not for you and you can do something else, like commenting about why you should read it.
Yes. Those molecules obviously have the missing soul component.
It's more concise and illustrates the common subproblem. Loops make you model a state machine in your head, which I'd rather leave to the computer.
Something feels very off about this project.
You do so much cool stuff in life. Much Kudos to you. And you have taken an unusual career path in your life for a smart person.

Are you content with the uncertainty, and not having a conventional, safe job?
Zebras understood the concept that "this guy can out-think you. If you behave predictably, you'll regret it. If you behave unpredictably, he may regret it too."

There's this theory that's why there are so few domesticable animals in Africa: that they co-evolved with humans, and the ones who behaved predictably and weren't willing to randomly hurt you for no apparent reason at their own expense, were eaten by our ancestors.
Of course I was joking.
Not even need for drugs. Just give a good, intense, long stare at your hand. I bet before long, a weird sense of "this is not mine/me" or it being very uniquely unique, rather than a "hand", or being an empty set of parts, etc. will emerge.

Or, alternatively, you can consciously switch how you see it. A hand. Me. A bunch of molecules. Remnants of an old supernova. The results of millions of years of evolution. The tool with which you can communicate the depth of your love to your child by gently stroking them. Just actively changing the "name" you give it will change the way you perceive it, sometimes subtly, sometimes quite radically.

If you are interested in this kind of things, I would recommend the teachings or Rob Burbea. His whole works are built around exploring this topic.
You're right: "pure" is not a well-defined concept. The well-defined concept that describes Haskell's benefits in this regard is "referential transparency". That means that this code

let x = <definition of x>
in ... x ... x ...

(i.e. defining a variable x and then using it some number of times) is equivalent to

... <definition of x> ... <definition of x> ...

Seen in the opposite direction (transforming the bottom code to the top code) this means that extracting repeated code is always a valid thing to do. It's not valid in most other languages, and certainly no mainstream ones.
> Because early-2000s Linux was made by techies and geeks for techies and geeks. Windows and Mac succeeded because they had a GUI for nontechnical users and didn't require an inordinate amount of futzing in the terminal to use.

Are you trying to tell us that a dos operating system was better because it didn't involve using a command line to use?

OpenSuse and Mandrake were already a thing in early 2000's and they were pretty much targetting any user, offering YAST and drakconf that were extensive gui tools to configure pretty much everything on a linux system. You had little to do on a terminal already if you chose your distro correctly. Also if you bought the box version it came with a book guiding you through pretty much everything. [1]

Arguably the biggest hurdle/struggle on linux at the time was getting internet connection through a winmodem but it was a struggle that wasn't better solved with a DOS operating system.

[1] My theory is a lot of people have struggled with linux in the early years because they just got the CDs from magazines, then later downloaded the ISO versions, instead of purchasing the complete box versions with full documentation. How do you consult online documentation if you only had one computer, smartphones weren't a thing yet and you couldn't get the damn modem or gui working? Dual booting was the only way but this is the kind of experience that makes you soon grow tired of rebooting and give up if you don't get stuff corrected quickly.
Hey everyone,

I'm thrilled to share some exciting news with you all! At MiroTalk SFU, we're introducing ChatGPT with Video AI, a cutting-edge technology that's set to revolutionize how we interact and engage with content.

What is ChatGPT with Video AI?

ChatGPT with Video AI combines the power of natural language processing with video understanding capabilities. It can analyze and respond to both text-based questions and visual content, making interactions more intuitive and insightful.

What makes this so exciting?

This technology opens up new possibilities for education, entertainment, and beyond. Imagine being able to ask specific questions about a video lecture and receiving detailed explanations in real-time, or exploring complex ideas through interactive dialogue with a virtual assistant.

How can you get involved?

Join us at MiroTalk SFU to see ChatGPT with Video AI in action!

Live demo: https://sfu.mirotalk.com

GitHub: https://github.com/miroslavpejic85/mirotalksfu

Contact: miroslav.pejic.85@gmail.com
Why is this flagged?

This is a philosophical paper, and "bullshit" is a term of art in philosophy, coined by philosopher Harry Frankfurt (1929-2023) in his 2005 booklet On Bullshit, in which he distinguishes bullshit from lies:

> The liar cares about the truth and attempts to hide it; the bullshitter doesn't care if what they say is true or false.

This academic paper argues that ChatGPT produces bullshit in said technical sense. It is nothing inflammatory, superficial, derogatory, dismissive, or obscene.

Again, why is it flagged?
The EU level problem isn't that LLMs are trained on your publicly scrapable reddit or HN posts since you're not getting paid for your contributions either way.

The way I understand it is, the laws are made to cover cases of LLMs being trained on work of authors and artists who normally make a living from the content they create such as articles, books, music, images, videos, etc. whose work is normally copyrighted but LLMs don't give a shit and can just scrape and "learn" your content, style and patterns and then regurgitate it with slight alterations without the original authors getting paid.

It's no secret that some LLMs have been trained on pirated books off libgen.
"numpy~=1.0”

Is this not common knowledge? Also, pip install? Or do you mean some requirements file?
I understand if you don't want to take the time to explain. Have a nice day
> formatting rules without firm, incredibly strict enforcement ends up being a tax on the janitors

Wait! I thought Google only promoted and rewarded people who do new development, not maintenance. What gives?
When a product is gated behind "contact us for pricing" the chances of me, a hobbist, using it are close to zero.

Maybe there was a market of cheap and friendly to use sbc. But calling it hobbyst is an stretch.
Sorry, can't access, I'm from sanctioned country
It's not a random sysadmin. It's a sysadmin of a travel insurance company.
Eastern European science fiction would be a better example. Authors like Stanislaw Lem or the Strugatski brothers had to adapt to sneak critical ideas past censors, and readers had to adapt and read between the lines.

(also, categorizing propaganda posters as art, ewwh...)
I'd prefer it too, and sure, but it's not that the EU pays lip service to defending your privacy against corporations. They actually do defend you, very effectively.
Your notes indeed suggest that you've not been using structural editing.

Aside from that, you could have tried to use `first` instead of `car`. It would've worked.

And yes, there happens to be a pythonic version named `Rhombus`, which is the flagship language of the racket system.
The extent is also culturally specific. In America, Sydney could be regarded as multiple cities. Likewise in Australia, Dallas-Fort Worth would be regarded as a single city.
Not in Scotland it won't.
In every city I lived there were either some local recycling facilities/organizations where you can buy old things dirt cheap. So not really found in the streets but easily findable.

Also second hand market offer a lot of obsolete stuff for very little money.
Thanks. I'm the author. I added some comments to this thread to try to help readers understand NPUs better. However, I'm afraid that this - which is pretty rude - as the top-voted comment means that I won't be reading or commenting on HN threads on my writing anymore.
I always found the first half of the book a light read, an exciting read, it was as wonderful to read for me as Lord Dunsany, I sped through it.

When it started to get to object orientation I started having problems following. It just didn't make sense. Maybe I should try again, but it just always made me feel that for my particular mind functional thinking was better.
I went through two of these kind of USB-C cables bought from Amazon. They both broke within a matter of months. I'd wait until a reputable brand sells them.
Note that this was about _public_ posts. What is stopping everyone else (other than Meta) from using your public posts as training material? How will you even know?

All that data is already being scraped and processed into datasets by many companies:
https://research.aimultiple.com/facebook-scraping/
Ask HN: Classic programming books to read over the summer?
Hey, I'm curious in your thoughts on what classic programming / software science to read over the summer. I've been thinking on approaching Knuth volume I as the main text, but I'd like to hear your recommendations.
I'm at 3 year of software engineering, but I didn't land internship, so I have a lot of free time...
My position is clearly the rational neutral position. Duh.
No US fighter jet in history can reach 2000 mph, the F-22 can get to a bit over mach 2, the F-35 can reach mach 1.6, neither is anywhere close to 2000 mph (mach ~3).

The F-15 is probably the only American jet fighter to ever get close to 2000 mph by reaching mach 2.5.
I'd be curious to hear about stories of this working in the U.S., if ever.
I doubt that Bantu has Mongol origins.

https://www.newscientist.com/article/2296962-origins-of-japa...
With an older version, it works (as long as there is no optimization at least, with -O2 all the register init code disappears):

$ gcc -v

... gcc version 10.2.1 20210110 (Debian 10.2.1-6)

0000000000001125 <main>:
1125: 55 push %rbp
1126: 48 89 e5 mov %rsp,%rbp
1129: b8 01 00 00 00 mov $0x1,%eax
112e: bf 01 00 00 00 mov $0x1,%edi
1133: 48 8d 35 ca 0e 00 00 lea 0xeca(%rip),%rsi # 2004 <_IO_stdin_used+0x4>
113a: ba 0e 00 00 00 mov $0xe,%edx
113f: 0f 05 syscall

No idea why a newer version produces worse code in this case (though of course, this way of doing inline assembly isn't "correct" anyway, so nasal demons may result)
A) Copyright laws exist for a reason, even big tech should respect them (considering their utter disregard for anything but money, well...) B) Especially Meta knows aleeady too much about everyone, now they can add AI trained on all of that (but what could possibly go wrong with that, right? C) I don't want AI to be trained on my stuff, to the point I don't share anything publicly anymore and only use encrypted clouds for back-up (and not even sure I'll do so any longer)

By the way, not everything is about money. Convincing people it is, is even a better trick than the devil convincing people he doesn't exist (that is assuming one believes in such things, and then considers the devil to be evil instead of the people ending up in hell, but I digress).
That might be part of it, but I think the bigger factor is cost optimization. OpenAI in particular keeps replacing their models with with versions that are much faster (and therefore cheaper to run) which are supposed to be of equivalent quality but aren't really. GPT-4 -> GPT-4-Turbo -> GPT-4o have all been big upgrades to cost and latency but arguably downgrades to "intelligence" (or whatever you want to call it)
For the benefit(s) that you list, which are the best learning resources for F#?
It depends on what kind of attack you're trying to block.

If you want to block attacks that use the external data pins, then a USB condom will keep you safe. Regardless of whether it has a chip in it.

If you want to block standalone attacks from a malicious cable, then a USB condom wasn't going to help in the first place. For standalone attacks in particular, the risk from a chip-having condom is similar to the risk from a cable, but a cable can use bigger and scarier chips than the one in the PortaPow.
So, ardently defending my interests (privacy) meaning selectively defending them?
Depends on how you read it. There’s a big range of possibilities between „we won’t write bad things“ and „this person is a rock star“.
On that we agree, and I am happy for it.
One of the most suitable use cases for LLMs is text-to-SQL, even though this is the case it takes a lot of effort to get an LLM to give right answers to your data questions.

Why is it not straight forward?

First of all, it's important to realize that these models are typically trained using substantial volumes of general SQL and text data. Although this extensive training greatly aids in their ability to comprehend plain language, it does not always prepare them to write precise SQL queries.

Understanding the exact database schema, table relationships, and data types is necessary for efficient text-to-SQL translation. Without further instruction or refinement, general-purpose LLMs may not be conversant with these details.

Complex questions requiring joins, subqueries, aggregations, and conditional logic can be more difficult for LLMs to handle, even though they may handle simple searches rather effectively.

Questions in natural language can be unclear. For instance, in order to answer the query "Show me the sales for last year," one must be aware of the precise meanings of the terms "sales" and "last year" in relation to the database.

So, How do we get the right results?

There are two methods to enhance an LLM to make it perform better: the first is to enhance context, and the second is to enhance behavior, or fine-tune.

These models have a good use case for fine tuning because they have already been trained on a vast amount of general SQL query sets. However, they also need to be improved in context. To achieve results that are more accurate than 83%+, a hybrid approach that incorporates context improvisation and fine tuning is required.

The above diagram shows how to approach this problem.

1. Start with simple prompting (By giving schema)
2. Add few examples to the prompt
3. Improve the context by adding relevant examples from RAG
4. Fine tune the model with example sets
5. Iteratively refining both the context and behaviour

Evaluation

Evaluation is one of the key factor when you are dealing with optimising an LLM, we need to make sure we are repeatedly evaluating the model performance at each level, this makes the model to improve periodically in the right direction.

In summary, there is promise but also difficulty when utilizing Large Language Models (LLMs) for text-to-SQL translation. It works well to use a hybrid method that combines model fine-tuning and context improvement. Accuracy can be greatly increased by the use of relevant examples, straightforward schema prompts, and iterative refining. Our approach has shown accuracy rates higher than 83%, indicating its usefulness.

By offering a platform that makes it simple for developers to create text-to-SQL models and implement analytical dashboards, we at EnqDB(visit) streamline this process and guarantee a smooth transition from model training to deployment.
Here is where you can attempt to develop your text to SQL model (Beta)

Ref -
https://www.youtube.com/watch?v=ahnGLM-RC1Y
https://platform.openai.com/docs/guides/fine-tuning
Privacy is another, if they are training with chat messages in a sense it "knows" the information in your chat. Data exfiltration would be really interesting in this space, a weird blend of tech and social engineering.

I don't really care about the money but as a society we should care a lot about such a blatant heist of personal effort. For many their words online are their works of the day, it's not at all fair for a company to take that and use it, and even more insidious that it will be used to replace the people who created those works.
Does anyone know whether and how this translates to other places in the world?

For me, it's the most interesting with EU/Sweden. We don't have courts like this do we?
Hey all. We're super excited to introduce our new platform, Embeddable: a developer toolkit for building fast, interactive customer-facing analytics directly into your product.

It generates a no-code dashboard builder for you, powered by the components and data models defined in your code repository.

I've linked to a video showing how to use the SDK, no-code builder and how to build a dashboard.

Happy to try and answer any questions you might have.
I think that named register variables (a GCC extension) are meant to be live in asm block by design, so they shouldn't be optimized away.

Still I would use extended asm.

edit: from the docs: "The only supported use for [Specifying Registers for Local Variables] is to specify registers for input and output operands when calling Extended asm".

So the example is UB.
Do people actually like jsonnet and that style of embedding a programming language inside a data format? Reminds me of the days of XML programming - it's just awful to work with and barely comprehensible to beginners.
Is this the first Summoning Salt video you've seen?

I don't know enough to say that he doesn't use an LLM during his writing process, but I do know that I haven't noticed any appreciable difference between his newer videos and ones that were released before ChatGPT was made available.

Is it possible that this is just the way he chooses to write his scripts that you interpret as sounding like they are written by an LLM?
It is an interview with a CEO - expect platitudes and fortune cookie wisdom that contradict their own (corporate) behaviours.
> And if you pronounced [e] and [ɛ] to native speakers of either Spanish or Japanese, they most likely wouldn't be able to differentiate the two sounds consistently without having had training.

I am a Spanish guy living in Japan, so I can confirm it. I didn't have any idea that the two sounds are supposed to be different because to me they sound exactly the same.

Fun fact: Japanese people are surprised that we have the same five vowels (although the U is a bit different), and that we can get the correct pronunciation very easily.
A Simple SSH Bruteforcer written in C++20
Currently the state of server side dev is a bit here and there.

Vapor is the preferred framework and in general will seem familiar to anyone using any of the Rust server frameworks like actix web etc…

A tutorial for reference https://swift.org/getting-started/vapor-web-server/

From an ergonomics perspective, I write less code with Vapor than the equivalent Rust frameworks. It is slower today though but plenty for my needs, with some speed ups coming with Vapor refactors down the pipe.

I find that I need to spend less time managing shared resources with concurrency , and my code is clearer while being less verbose in general. Features like the trailing closure syntax are much easier to read for me.

I find it closer to how I’d write my Flask servers in the amount of code I need to do myself.
You are correct that knowing the name of something can teach you (or help you remember) more than just the name. But if you didn't know that 'kiwi' is onomatopoeic, knowing the name wouldn't tell you what the bird's call sounds like.

Onomatopoeia also depends heavily on language and culture. In other words, knowing an onomatopoeic name for something only tells you what somebody thought it sounded like, at best.

A name is just a name, even if some are better than others.
> the internet and cultural hegemony of the US will go into overdrive with all models churning out only US-centric views

I saw a fascinating outcome of this at a conference recently. Polish speaker made an IRS joke to a room full of Europeans at a conference in Europe. Everyone got it.
"(also, categorizing propaganda posters as art, ewwh...)"

Heinrich Heine, the german Poet declined working for the socialist party despite symphatising saying something like:

I want to remain a poet, you want a propagandist. A poet cannot be a propagandist at the same time.
Nah, China already sealed of their internet as did Russia and to a degree India. If we have, in the end, a dead US-centric internet, well, as soon as people start ignoring that it wpuldn't be a real loss to humankind. Until we reach that point so, we are in deep shit. And LLM spam and crap content being US centric is least of our problems.
> If they run into OpenBSD, however, their efforts are quite likely to be thwarted just because the blowfish is so darn spiky.

Ehhhhhhh.

As a teen eating up all the computer security stuff I could find, and getting into osdev and learning as much as I could, OpenBSD always seemed kind of off to me. The security claims are hugely overstated, and for an OS that claims security as its focus, they are slow if not reluctant to add tools that vastly increase security, like even a simple RBAC implementation.

Disabling services by default should have been the default for all operating systems, and writing OpenSSH has been great, but let's all stop perpetuating the myth of OpenBSD as an especially hardened OS.

I agree about the BSDs being a secret weapon, but that's more to do with the license as someone else mentioned, and I'd think Net and Free are more commonly taken from.
There are pros and cons to this. I wonder if the EU will come to regret chosing oblivion.
Interesting find, but again an example of where you first need to learn some new logic FOLDS ("FOLDS has the first two of these, contexts and types (although the latter are called 'sorts'), but it does not have the third, terms (except in the rudimentary form of mere variables), and it has equality in a greatly restricted form only.").

I wonder if it is impossible to describe a topos as a normal axiom system of first-order logic, or if people are just unwilling to do it.
I doubt that Bantu has Mongol origins. They only might have in common the tendency to avoid consonant clusters, by inserting vocals.

https://www.newscientist.com/article/2296962-origins-of-japa...
Good summary. There was also the 2010's multivendor HSA and OpenCL software evolution directions that ended up losing other vendors on the way and many customers turned out to accept the proprietary Cuda.
I think the problem the author is putting is that it does not have any reasoning behind. It is a sheer coincidence it works eventually for problems that requires logic.
Mostly it could be because the dataset increases chances of it being right and not because it did process anything
I have been working on an AI-powered email tool called Scribix for the past 3 months. Scribix is designed to help users compose and reply to emails faster and more efficiently.

Last week, I finally started talking about Scribix in a few online communities, and in just two days, I managed to get 100 people on the early access waitlist!

I emailed a few of them, and one replied saying,
they were excited to use Scribix to handle their high volume of daily emails more effectively.
They mentioned that it's the perfect solution for their productivity needs and can't wait to see how it will improve their workflow!

I'm incredibly grateful for the positive response. This early interest is motivating me to put even more energy into building better features and ensuring Scribix delivers a seamless experience.

Thank you to everyone who has shown interest! I look forward to continuing this journey and making Scribix the go-to tool for email productivity.