skysight-inc/HackerNews huggingface dataset:
> For example, anti-cheat software in online games

> The anti-cheat software isn't actually a rootkit (despite what some people say); it can't affect any app that doesn't explicitly hook into it.

Out of all examples you could have cited, you chose this one.

https://www.theregister.com/2016/09/23/capcom_street_fighter...

https://twitter.com/TheWack0lian/status/779397840762245124

There you go. An anti-cheat rootkit so ineptly coded it serves as literal privilege escalation as a service. Can we stop normalizing this stuff already?

My computer is my computer, and your computer is your computer.

The game company owns their servers, not my computer. If their game runs on my machine, then cheating is my prerrogative. It is quite literally an exercise of my computer freedom if I decide to change the game's state to give myself infinite health or see through walls or whatever. It's not their business what software I run on my computer. I can do whatever I want.

It's my machine. I am the god of this domain. The game doesn't get to protect itself from me. It will bend to my will if I so decide. It doesn't have a choice in the matter. Anything that strips me of this divine power should be straight up illegal. I don't care what the consequences are for corporations, they should not get to usurp me. They don't get to create little extraterritorial islands in our domains where they have higher power and control than we do.

I don't try to own their servers and mess with the code running on them. They owe me the exact same respect in return.
So like beer?
J is one of those letters that gets treated wildly different depending on the language. Compare Germanic and Slavic languages where j = /y/, French and Portuguese where j = /zh/, Spanish where j = /h/ (but with a bit more edge than English /h/, kind of halfway between /h/ and /kh/).
So all cities were safe under Trump and no illegal immigrants?
Payment is out of the question - too much of a hassle. What is likely is websites either requiring you allow ai training in exchange for hosting your content, or giving some minor perk/incentive for it.

Consider this comment itself. How much do you think it is worth for an AI company? Maybe 0.00001 dollars? How would you handle the logistics of money that little money?
Hello, author of txtai here. txtai was created back in 2020 starting with semantic search of medical literature. It has since grown into a framework for vector search, retrieval augmented generation (RAG) and large language model (LLM) orchestration/workflows.

The goal of txtai is to be simple, performant, innovative and easy-to-use. It had vector search before many current projects existed. Semantic Graphs were added in 2022 before the Generative AI wave of 2023/2024. GraphRAG is a hot topic but txtai had examples of using graphs to build search contexts back in 2022/2023.

There is a commitment to quality and performance, especially with local models. For example, it's vector embeddings component streams vectors to disk during indexing and uses mmaped arrays to enable indexing large datasets locally on a single node. txtai's BM25 component is built from the scratch to work efficiently in Python leading to 6x better memory utilization and faster search performance than the BM25 Python library most commonly used.

I often see others complain about AI/LLM/RAG frameworks, so I wanted to share this project as many don't know it exists.

Link to source (Apache 2.0): https://github.com/neuml/txtai
Claude Artifacts System Prompt
Right, I think a better way to put it is that there was complacency and neutrality (inattention) on the topic before. But now that people see that their work is going to be used to flood the culture with slop, the new default stance is to deny consent.
heheh Vic and I did one in a backpack, worked good :)
I'm not even sure if that. The ability to summarize others is hardly a consolation prize for devaluing my work almost completely.
Not meaning to hijack the thread, but I would be interested in opinions on the "best" type system implementation that has enough of a library ecosystem to be suitable for web/app development.

To be clear it's also for learning, but I'm wondering what else is there outside of the Haskell/PureScript etc. world.
I agree that these content creators were not contacted individually and asked for specific consent to have their materials ingested for training purposes.

That being said - the general crux of the third-party doctrine (at least in the United States) is that information told to another party has no expectation of privacy. That seems to apply to a vast amount of 'user generated content' on the internet. Someone decided to utilize someone else's megaphone to post into the commons and now expects to retain some ownership. It's hard to have it both ways "just because someone else noticed."

Unfortunately this also extends to general artistic styles. If you, as an artist, continues to create in a consistent style and someone else notices you don't have a lot of recourse when some entity is able to recreate a similar style.

On a technical side this seems similar to your server responding to any incoming request with a 200 status and some content (LinkedIn v HiQ). In this case a user-agent asked (was it a person? scraper? AI training process?) and you gave it to "them".

I guess we end up in the position where if you don't want to train AI then don't post your content publicly.
De Rham cohomology – interactive learning with ChatGPT4
It’s easier to squeeze in another i than another x in modifying a written note. Sort of like why amounts are written out in words as well as numbers on checks (young readers, ask your parents what checks are).
> "This is good for crypto" is literally a meme.

Trump is literally creating cryptocurrencies NFTs / tokens and he announced he'd speak at a Bitcoin conference.

I'm not a US person but Trump is very much pro- decentralized cryptocurrencies (and totally against a Central Bank Digital Currency).

I think in this case it'd be good for crypto.
Normally BitLocker gets the key from the TPM, which will have its own driver that's likely disabled in Safe Mode.
The few Welsh and Gaelic speakers that remain entered the chat.
> He is not able to hold his own in a debate. Yet you believe he's strong enough to lead the nation and decide when to go to war or not?

Because when he has to decide when to go to war or not, he's surrounded by a group of trusted advisors.

Damn, where are all the HN regulars who chant "How the fuck is a one hour pressure-cooker leetcode session relevant to someone's capability as a software engineer? We're measuring the wrong thing!" ...

* Also, are we just ignoring the context that Biden is stepping down because otherwise Trump might get elected? I know this forum is not a place to call for Trump's resignation, but I can practically taste the double standard today ...
Small players can avoid a lot of the downside risk associated with legal liability. They just go bankrupt or near enough and refuse to pay until they die. There's an example in the article. Much easier to extract a smaller fine from an operating business than millions from someone whose only asset is a social security card.

This is probably part of the reason bigger firms are often more compliant, also that executives are more exposed to personal liability as the number of workers grows, all else equal.
The funny part is that those FX processors were max 125w TDP. No different than today really.
I really liked https://haskellbook.com/. It’s long, but has exercises after each chapter which I found very helpful.

The first chapter is about Lambda Calculus which is kind of a Haskell meme at this point, but learning it actually did help me a lot to grok how Haskell programs are meant to fit together.

Other than that, just doing some basic side projects and leaning about how to use Cabal effectively should get you there.
To their detriment? I'm not sure. They just had the Republican convention. At that convention, they took a lot of shots at Biden. Now the Democrats say "Wrong target, suckers!"

They take over the news cycle from the Republican convention, and they neutralize a huge amount of the talking points from the convention. That could be pretty brilliant.

(I mean, it would have been better for Biden to clearly not be running last year at this time, and let the primary process do its thing. But dropping out right now might be pretty decent timing.)
Like Delphi?
I look forward for AI trained entirely on Wikipedia and classical literature with no twitter and no contemporary art in sight. It would be sublime. Let's face it, the creators of century XXI way overestimate the importance of their stuff. It's mostly deleterious to the culture.
"Real World Haskell"
Firefox on an m2 has taken the news of these bouncing balls extremely poorly
got it, thanks. indeed looking again at the whois record, the registrant info is redacted, and the make offer link takes me to domain agents.

so i may have jumped to a conclusion here, but ultimately though my question remains: i searched a domain on namecheap, it was available, and then suddenly it is taken a couple days later. the domain itself appears unused and for auction, and the registrar is also, conveniently, namecheap. so if namecheap isn't the actual registrant holding it for ransom, are searches shared or sold to third parties looking for potentially valuable domains? whatever happened it's hugely suspect - so the net effect is that im hesitant to search with or use namecheap again for my next domain without some insight here
Graham Hutton YouTube series:

Functional Programming in Haskell
https://youtube.com/playlist?list=PLF1Z-APd9zK7usPMx3LGMZEHr...
People use it for rust: https://bitshifter.github.io/rr+rust/index.html#1
That's not what the abstract says. It says: IF computational functionalism is true, THEN could a conscious ANN exist?

> There's tons of evidence

There's also tons of evidence and lack of counter-evidence that the brain is simply physical and performs computable functions.
Haskell Programming from First Principles[1] is extremely comprehensive, covering everything from lambda calculus to IO.

For further self-learning, it might be interesting to learn about the underlying mathematical concepts, such as category theory. A deep dive into the workings of a Hindley–Milner type system might also help demystify some of Haskell's typing magic.

[1] https://haskellbook.com/
Falsifiability is Ready for Retirement (2014)
A common failure mode is for people to think Haskell is some special snowflake that requires reading 50 books and papers to understand. It doesn’t. Learning by doing is definitely the way to go. LYAH is fine but not great at practical problems. Real World Haskell is somewhat out of date but better at the actual “how do I make a program that does real things?” question. Best bet is to hack until you get stuck or your solution seems too ugly, then ask for leads on Reddit or the FP discord.
Yes, but it's not included in the upstream Ubuntu security repository. In fact, it's not available via any repository AFAIK. It updates itself via fetching new versions from CrowdStrike backend according to your update policy for the host in question. However, as we've learned the past days, that policy does not apply to the "update channel" files...
How does linear encoder work?
He ran virtually unopposed in those primaries and many people sat them out, so I don't think anyone takes those victories as a strong signal. It's become clear through recent polls that he lost the support of many of his party's voters.
Graham Hutton's lectures (on Youtube) seem pretty good. He also has written a book. Both seem pretty good but not got very far yet myself.
We do this with all demanding endeavours. Circling around the tactical perimeter is easier than knuckling down and getting it done. But it's close enough that we can fool ourselves into thinking we are being productive.

Many examples:

- It's easier to research the "best textbook for me" than it is to study and do problems.

- It's easier to read about the optimal periodization cycle while sitting on the couch than it is to go sweat in gym.

- It's easier to read about dieting (it must be the best diet for meee!) than it is to just stop ordering pizza.

- It's easier to order business cards and redesign your logo than it is to find customers.

- It's easier to fiddle with your vim config than it is sit down and write code.

Unless you are already in top 10%, focusing on optimality is a distraction.
Working through Learn You A Haskell is a good start.

After that, I honestly think you'll get the best bang-for-buck by reading library-specific tutorials. If you play with enough of the libraries the rest of the language more or less falls into place.

Conduit is a pretty ok streaming library, and has good documentation: https://github.com/snoyberg/conduit#readme

Lens gives you a lot of useful features that more or less correspond to stuff like Getters and Setters in something like Java, and the tutorials for it get into some helpful details about writing Haskell code: https://hackage.haskell.org/package/lens

Otherwise it's basically a lot of "just build shit, and don't be afraid to feel confused" and it'll fall into place.
I wish there was HN gold or something like reddit so that I could give it to you.
I would not be fine with that, and I hope that you don't believe that it should be imposed on me.
This only makes sense to me in the context of the “all matter is conscious” theory, in which there’s something that it’s like to be say, an electron, just not very much.

As the theory goes, the more complexity there is in a system, the more the possibility space of potential experience grows.

It’s an interesting theory that some serious people take seriously, but like all current theories of consciousness, we’re not in a position to test it.

I find it far more plausible than computational functionalism at least.
You did when you uploaded it and consented to the ToS.

Google was training on all of YouTube back in 2012 - https://slate.com/technology/2012/06/google-computers-learn-...
I really like this new YouTube series Haskell For Dilettantes

https://m.youtube.com/watch?v=nlTJU8wLo7E
Kittensgame.com
just billionaire things [̲̅$̲̅(̲̅ ͡° ͜ʖ ͡°̲̅)̲̅$̲̅]
>The roughest era of AMD CPUs was the FX era.

Ahem. Bulldozer?

>Ryzen was a huge step forward in CPU design and architecture.

First gen Ryzen was kinda mediocre. Second gen(correction: meaning Zen 2 not Ryzen 2000 which was still Zen 1) was where the performance came.

Also let's not ignore how they screwed consumers like me by dropping SW support for Vega in 2023 while still selling laptops with Vega powered APUs on the shelves all the way till present day in 2024, or having a naming scheme that's intentionally confusing to mislead consumers where you don't know if that Ryzen 7000 laptop APU has Zen2, Zen3, Zen3+ or Zen4 CPU cores, if it's 4nm, 5nm, 6nm or 7nm or if it's running RDNA2, RDNA3 or the now obsolete Vega in a modern system.[1] Maddening.

Despite that I'm a returning AMD customer to avoid Intel, but I'm having my own issues now with their iGPU drivers making me regret not going Intel this time around. The grass isn't always greener across the fence, just different issues.

I get it, you're an AMD fan, but let's be objective and not ignore their stinkers and anti-consumer practices which they had plenty of and only played nice for a while to get sympathy because they were the struggling underdog, but didn't hesitate to milk and deceive consumers the moment they got back on top like any other for profit company with a moment of market dominance.

My point being, don't get attached or loyal to any large company, since you're just a dollar sign for all of them. Be an informed consumer and make purchasing decisions on objective current factors, not blind brand loyalty from the distant past.

[1] https://www.pcworld.com/article/1445760/amds-mobile-ryzen-na...

https://www.digitaltrends.com/computing/amd-confusing-naming...
It was unclear from your post whether you were agreeing or disagreeing as to whether this was "general politics" or not.
It's probably mean for me to say "empty type" to C++ people because of course just as std::move doesn't move likewise std::is_empty doesn't detect empty types. It can't because C++ doesn't have any.

You may need to sit down. An empty type has no values. Not one value, like the unit type which C++ makes a poor job of as you explain, but no values. None at all.

Because it has no values we will never be called upon to store one, we can't call functions which take one as a parameter, operations whose result is an empty type must diverge (ie control flow escapes, we never get to use the value because there isn't one). Code paths which are predicated on the value of an empty type are dead and can be pruned. And so on.

Rust uses this all over the place. C++ can't express it.
I would assume that's happening regardless, platforms like Reddit are already selling their data firehoses to AI companies, so anyone who manages to slip propaganda bots under Reddits radar will end up having their talking points fed into future AI training sets.
The article is about third parties, e.g. OpenAI scraping Youtube and Reddit.
The project's GitHub page has a few more details about GLisp:

https://github.com/baku89/glisp
> I have long been puzzled by how its romanization became „ss“.

This might help: https://thelanguagecloset.com/2022/11/05/the-story-of-eszett...

In short, it codifies a pronunciation that existed before a phonetic shift. The transliteration was codified after that same shift.
Haskell is perfectly suitable for web dev, and has a great ecosystem for it.

Servant[1] allows you to create type-safe APIs, and there are many libraries that allow you to define your HTML in a type-safe way.

The Haskell wiki lists some other frameworks: https://wiki.haskell.org/Web/Frameworks

[1] https://hackage.haskell.org/package/servant
Getty often makes false claims and generally is a super shitty organization, for example (there are many): https://www.latimes.com/business/hiltzik/la-fi-hiltzik-getty...
It’s partisan. Progressives obfuscate important information like mug shots and information about the race and intelligence of criminals.
I agree that it should not be dismissed as mumbo-jumbo, but I am not (at least at first sight) particularly impressed by it. It is an example of the long tradition of trying to identify an unbridgeable ontological divide between things that are conscious and things that compute digitally (or more specifically here, von Neumann computers.) As I regard ontologies as being little more than ways of relating what we think we know, I feel this is putting the ontic cart before the epistemic horse.

About half-way through, the author raises a terrible argument from Searle: a simulated rainstorm does not make you wet (to which I reply, a simulated Enigma machine really does encode and decode messages - which analogy is relevant here?) To his credit, he does not leave it at that: he follows up with (quoting Chalmers) "Hofstadter’s insight is that whether or not we recognize a simulated hurricane as a hurricane depends on our perspective. In particular, it depends on whether we’re experiencing the simulated hurricane from inside or outside the simulation."

He goes back-and-forth with this for another paragraph, until One could object that this criterion is too strong... That is, we should ask: can we upload the virtual agent to a robot in our level of reality? Of course, I do not have a knock-down argument against this reply. I can only say that the conscious beings we currently know are different, and that this difference might matter.

So here we end up with a very weak "well, maybe" - i.e. we don't know enough to be sure, which is where all arguments of this type that I have looked at so far (and are not simply begging the question) end up.
> Atlassian, we’ve invested heavily in developer experience with the goal of putting developers at the center of the process. As a result, developer satisfaction has risen 25 percentage points over the past two years (from 49% to 74%).

This is phrased as a brag, but it sounds like they belatedly realized they hadn't been investing in something key to their business.
My first program ever coded in 2003
I recently started reading Bartosz Milewski's Category Theory for Programmers[0] and while it's less about Haskell per se and more about the ideas behind it, I found it did a much better job at explaining Haskell to me than any other introduction I read before. At least I'm able to appreciate Typing the Technical Interview[1] now. :-)

[0]: https://github.com/hmemcpy/milewski-ctfp-pdf

[1]: https://aphyr.com/posts/342-typing-the-technical-interview
Now imagine the parachutes of Starliner or Crew Dragon not deploying correctly and the investigation that would follow. s/funny car/space capsule/
Responding to this GP point:
> The uploader certainly did not ever consent to their face, voice and content being used to train models either.

I'm also not saying I _support_ ToS
Author here, I'm really glad it helped! Thank you for reading. :)
36kW is far from common in france. Heck, event 3-phase is not that common. I've never known anyone with 36kW except farmers. According to ADEME, 6kW is the most common with 70% of (I think) non-commercial subscriptions.
I started by reading those two, then made it through a chunk of 99 problems in Haskell — at some point I lost interest and felt ready to write applications.

https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems

I liked Haskell Programming from First Principles as well — read it later on to fill in some gaps.
https://gist.github.com/dedlim/6bf6d81f77c19e20cd40594aa09e3... reads cleaner and has some additional text.
I don't follow either of you :(
i am saying he did a relatively uninteresting thing and centered his identity around it, seemingly for the rest of his life. i find this pitiable.
> Still amazing that it is two generations.

The 14th gen is so similar to the 13th gen, Intel took a lot of heat for it in the initial reviews. It's no surprise that they both suffer the same ails.
I don’t think that process has a specific name. It’s just how training these models works.

Conversations you have with like chatgpt are likely stored, then sorted through somehow, then added to an ever growing dataset of conversations that would be used to train entirely new models.
NYT assumes that LLMs = AI, which is far from truth.

This is just a recent hype which relies on getting insane amounts of data to train, but we had and will have AI models that do not rely on training using data without consent.
Not sure, but I think you can only vouch things that are dead, not just flagged.

With a comment, I think that if it's flagged (more than some number of times), then it's dead. (It's also dead if the user is shadowbanned, or if it's downvoted to -4.) If you think that's wrong, you can (and should!) vouch for it.

With a post, it can be flagged but not dead. Such threads can be replied to. Or a thread can be dead, in which case it cannot be replied to, but it can be vouched.

That's my understanding, but I could be wrong.
Hi HN, this blog post is about one of my first encounters with programming, logic, variables & related. Hope you will enjoy reading through the code. :)
Does anyone know what happened to Jeremy Chatfield (mentioned in the article)? He disappeared off the face of the earth around 2014, and I assumed may have passed away but I've not been able to find out.
Did you use AM5? It was hardly without issues, with users experiencing 30+ second POST times. I'm not even sure that's fixed yet with most motherboards OOTB.
The files are deletable through safe mode, no? I’m assuming they are writable by a program outside of the driver, right?
Has anything about Jira improved lately? I hadn't noticed. Still frustratingly slow, overly complex and unoptimized for developer experience. Heck I still can't refresh the sprint board without it changing from under me because it forgets about all the custom filters I had to select to see the things relevant to me.