skysight-inc/HackerNews huggingface dataset:
Along those lines, have you ever checked out the book Neurocomputing, Foundations of Research

Yes, I picked that up (both volumes) late last year. Same for Neural Smithing[1] which I just acquired a copy of about two days ago. I also read that Talking Nets: An Oral History of Neural Networks[2] book last year. Lots of threads to follow based on that. Actually, now that I think about it, I think that's where I found out about Neurocomputing.

[1]: https://mitpress.mit.edu/9780262527019/neural-smithing/

[2]: https://mitpress.mit.edu/9780262511117/talking-nets/
I mean, they’re expanding to Japan too. I can totally see how having at least one fab in your country would make you much less worried about choosing TSMC as your supplier, even if most of their actual capacity isn’t there.
So is market harm

"Some courts have held this factor to be the most important in the analysis."

https://ilt.eff.org/Copyright__Fair_Use.html#Market_Harm
It's not about moving metrics. It's about generating headlines and swaying public opinion. In fact over a 12 month period most of the companies who did layoffs probably see a net increase in headcount.
Just to be pedantic, I disagree that:

> "Any speculation about two or more people doing anything is a conspiracy theory."

If I see two people known to be in a relationship (but who haven't talked to me about sex) and say to my friend "I bet they love sex!" then it's a theory about those two people sure, but there's no suggestion that those two people have a conspiracy to hide the existence of their sex, they just haven't told me about it. Or going a step further than a "taboo" subject, speculating about which supermarket the two people I see carrying a loaf of bread have just been to.

(But you do make a good point reminding that a conspiracy is just a normal secret thing, not some crazy government-level only type of terminology.)
Author of polars here. That's incorrect. I have put a lot of effort in polars' csv parser for instance and it is one of the fastest csv parsers out there. This has nothing to do with leveraging arrow.

We control all our parsers and read directly into arrow memory. This differs from pandas, which utilizes pyarrow for reading parquet and then finally has to copy the arrow memory over to pandas memory.
This. Sad, I can only upvote once.
"Do piezoelectric fans count as being solid state too, then?"

Not in my book. The first thing that comes to my mind when I hear "solid-state" and "cooling" in a sentence is "peltier element". The name "AirJet" gave it already away though, that this is likely something different.
What do you mean? What examples of people being scared are you thinking of?
I agree in the general case but I think here the problem is more that to really make these types of packages to air-tight production grade status, you need a critical mass of users to basically field test it and find all the edge cases and bugs. This is what I see polars struggling with right now. The issue I ran into was with the drop_nan function. A pretty common task. I was using it in a weird way, but if polars wants to succeed with it's small-but-feature-complete API surface, it needs it's verbs to be fully, reliably composable. No bugs allowed.

The big thing pandas has going for it is that it's already been through this field testing. All the bugs have been ironed out by the hundreds of thousands of users. And the compute/memory efficiency is "good enough" for most use-cases, that those who need better efficiency can spend some time to optimize it. Sure the API is confusing and bad, but most people just kind of muddle through using stackoverflow answers from 2017 and it works well enough.

I've stanned for data.table (the R package) on HN before and I'll do it again now. It's a great example of a package that has been thoroughly field tested as well as having a simple, elegant API that allows you to do basically anything. So we know it's possible!
> legally have the right to use

is the "right to use in ML training" well defined?
I don’t personally think it’s that strange or internally inconsistent. People seem to be saying “within the current copyright system, consent should be required, but I still think the copyright system is broken”.
If I were to hazard a guess:

1. The unit price of games is higher than any other media form. What do you pay for your TV shows? Probably not much with a subscription (or ad supported). Movies? $10-$15 a pop at the local theater. Music? Virtually nothing. And the higher price is supported by the following point:

2. Games are interactive and, hence, more engaging. You can spend dozens of hours in a game world and return back to it as desired. Even more so if it’s multiplayer where the lucrativeness is further enhanced by ongoing DLCs and other monetization schemes.
> but I went with Elixir instead and just wish I could use that everywhere.

Same here! I would say, I'm in the similar camp as your colleagues but about Elixir. I'm glad to choose the right tool for the job as long as it's Elixir :)
Worth noting is that the development continues over at https://www.microsoft.com/en-us/mesh
Ask HN: MS Surface Pro 4 charger issues
I have a Surface Pro 4 from 2017, I think and while I am generally very happy with the tablet, I have had issues with its charger/cable.

I have had them fail multiple times and I am currently on my third replacement charger. Invariably, the power indicator goes off in 3-6 months and there is either a contact issue or some other fault and the charger stops working. My third replacement charger broke down a couple of days ago and I just ordered a replacement.

Is it just me or do other Surface tablet owners have a similar issue?
I definitely agree that society should be more open to admitting that certain groups and individuals are better at a given task than others.

We can't make meaningful decisions until we properly understand the reality in which we all live.
I believe there's a directionality component that happens when you fall into a black hole as well. The directions out of the black hole begin to constrict into a point above you, while directions that end at the singularity become more and more spread out, until every direction leads to the singularity as you cross the event horizon.

Edit: this Forbes article describes this effect.
https://www.forbes.com/sites/startswithabang/2018/01/19/what...
Well, you can always try. You lose nothing by trying to force the opposing force to capitulate first.

Of course it helps if you don’t seriously bungle the thing.
Zig zags are to prevent enfilading fire (clear field of fire down the length of the trench such that rounds have the opportunity to strike multiple targets). That might have been what you were getting at though.
And we have all sorts of social science these days implying the explanations when people do try to explain themselves they’re justifying decisions that came out of black box rather than actual describing how the decision happened
The actual chips still have to be made and that's where the conflicts are happening, because China's domestic semiconductor production is still reliant on foreign suppliers such as ASML for crucial stages of production. This isn't a war about instruction sets or computer architecture. And no RISC-V doesn't provide a "standard design" for chips. It is about making different chips made by different parties to be able to run the same programs without the licensing nightmare of Intel-AMD duopoly or ARM.
While this article stipulates how this has been the case since 1930, I'd argue that it's been the case since early 19th century too (tbh, before checking, I thought it was late 19th):

https://en.m.wikipedia.org/wiki/Non-Euclidean_geometry#Disco... :

"Bolyai ends his work (from 1830) by mentioning that it is not possible to decide through mathematical reasoning alone if the geometry of the physical universe is Euclidean or non-Euclidean; this is a task for the physical sciences."
It's a mems device, not piezo.
TDD has several big issues that lead to bad design:

1. It assumes your spec is good and rigid. In reality, most specs are shitty and fluid. And your first understanding of spec is wrong.

2. It assumes your first implementation of the spec is good enough to justify automated testing.

3. It leads to high test coverage which inhibits refactoring (despite zealots telling you otherwise).

4. Almost always it leads to obsession with testing, which leads to a ton of unnecessary complexity (e.g. dependency injection for the sake of testing, weird practices like "don't mock what you don't own", etc)

I always thought it's great that it forces you to think about public interface, but I came to believe that thinking cannot be forced with a ritual.
I'm not a computer program.
Author of polars here. If we would have included csv parsing in the benchmark, polars would have come out much better than it already has.
A lot of art is produced like sweat shop labor right now -- just think about the visual effects in any recent Marvel movie. And why isn't software art? I write software in my leisure time for fun.

The line you're drawing is entirely meaningless.
seems iffy, might be useful alongside traditional cooling.

1. high frequency stuff to drive this thing might make noise an issue.
2. wouldn't it have to be integrated into the chip your cooling to optimize the effectiveness?
3. the wording leads me to believe their "performance" is cooling to noise ratio and not just cooling.

IDGAF about noise as long as it doesn't sound like in a server closet, i just want to keep things under 90c with a margin for hot days, crapped out a/c.

this is just a solid state fan. cool for sure, potentially very useful (industrial/embedded will probably love it), but marketing needs to calm down.
You seem to be triggered, why?

Because I wish it worked as good as you said it did so I wasn't working right now.

On the other hand, you're the first person I know of who has actually been replaced by an AI (although you don't know it yet) :) Because the second the large corp you work for realizes they can just type the inputs into ChatGPT instead of you, you're contract will be dissolved.

In fact, it sounds like you're being disingenuous charging them for work when in fact they could just be paying OpenAI? What value are you adding ?
Make a detailed OpenStreetMap of your favorite village? Need to check licensing though, OSM has some very strict rules on data rights.
So if I want AI to respect copyright to protect individual artists, designers etc.

I am not fighting for the smaller players but for large enterprises. That is illogical.
thats not the case. almost all human works ever was not even attributed to the author. Nobody considered copyright when they recited Homer or published reprinted manuals until 1700

the concept is very new
Or something that goes in the complete opposite direction if it does it well.
This is why I found Parcel really exciting to work with after battling with Webpack for so many years. I haven’t used it at work yet so part of my good luck could be the simplistic nature of what I was using it with, but the project was certainly at the “this is a useful production-grade thing” level, and I know what I’d have to do to get there with Webpack, and it’s far from “nothing”.
I appreciate the desire for low-level tooling, especially given how rocky it’s been for the past decade. I’m very cautiously optimistic about the chances of the ecosystem, esp. browser functionality, soon getting to the point where getting one’s hands dirty with this stuff only makes sense in esoteric cases.
For egregious breaches you don't need to give them an appeal just ban them. For less egregious situations client side filtering like adblock doesn't get one either by virtue of people not owing you their time.
you just trolling now, maybe you always were.
AI Dungeon generates endless text adventures: https://aidungeon.io
It is not tight financial climate it is normal financial climate.
Pip alone is not enough.

Python makes backwards incompatible changes to the language all the time, even in dot releases. This means that you can't just install everything into some shared directories since some code would need version X of Python and some would need version Y. So you need virtualenv or something like that.

But virtualenv isn't enough either because most actually useful Python code calls into C libraries (Pandas, Tensorflow, Matplotlib, etc.) And those need to be managed by something like RPM, deb, or even docker.

This is leaving aside implementation issues. For example, many python dependency management tools are incredibly slow and there are some differences of opinion on how to express dependencies.
Well it’s not entirely arbitrary. You can say it objectively fits within a frequency spectrum. Similar to colors or musical notes.
They are largely posturing, even including the arms race and airspace incursions. The risk of ruin of a direct confrontation of th PRC and the USA in a hot war is infinite because the USA reserves the ability to launch pre-emptive nuclear strikes which the PRC would retaliate.

Taiwan buying US equipment yields $$$ for the US. TSMC building fabs in Arizona yields $$$ for TSMC and the US. China selling manufactured goods to Taiwan and the US yields $$$ for China. Media/influencers writing panic-bait to hype up engagement metrics yields $$$ for content creators and shareholders. $$$ is the only thing that matters for every entity involved in this situation.
> Compare google to amazon.

Is there any difference now between them?
I recommend reading Cryptography Engineering [0] and then re-evaluating the design and then get it audited. I took that path and I learned a ton and still had (some smaller) issues in the audit.

[0] https://www.schneier.com/books/cryptography-engineering/
There have been leaks where OpenAI is charging $42/month to use their service.

How much of that is going back to the copyright holders whose work their service derives value from ?
Just store the file system on top of pi.
Fun weekend project: Testing a new Nvidia eGPU Switcher
Erseli20
You do understand that the Android runtime on Chrome OS didn't just pop out of the ground fully-formed, right? Years of effort went into it.
Lots of listings on PH are also from indie hackers. Why does it need to have only indie hackers?

> I am sure there's space for more

Sites/products that benefit from network effects don't leave much room for others, especially those that serve a subset
Ask HN: Books that changed your mindset of approaching a solution to a problem?
The problem may be in any domain e.g. mathematical, applied sciences, computer programming, etc.

Any books (or maybe courses) that built up the mental model that you now use to attack any problem you encounter and design working (maybe elegant) solutions to? Is it at all possible that a book(s) can do that?
I’m unclear about this. Let’s say a movie comes out and I make a YouTube review using brief clips or screenshots from the movie. Since my review is transformative, I should be in the clear (I think?).

But when it comes to market harm, does the tone of my review effect the enforceability of copyright?

As in, if my review is negative it would harm the market for people going to watch the movie vs a positive review right?
You might wish to re-watch the linked talk as you just restated your confusion (which was already the cause of a lot of down-votes in this thread).

Wadler says there:

"Evaluation [of simply typed lambda calculus!] corresponds exactly to simplification of proofs…"

If you didn't get that context you actually missed the whole talk.

You really need to understand: "Programs as proves" is only a thing in languages with strongly normalizing type-systems. This implies that the language is pure and does not contain general recursion.

In a language with mutation (which is obviously not pure) you can destroy any "prove" by just writing to a variable, e.g. switching a single bit in the case of a boolean value.

Terms can be obviously only proves if it's not possible to change a term ("prove") form true to false (or the other way around) at will! Once some term is determined as having some type it may not change any more. This rules out obviously any language with mutation or I/O.

That's why you can't write applications in Agda, or mathematical proves in Haskell. (In the general case; you could do both with "tricks"; but those are indeed tricks).
Certain teams were impacted more than others. The actual distribution for like comp/seniority/whatever seemed random but some were entirely unscathed and some saw massive cuts.
CarinaBot is a revolutionary new software robot that is taking the trading world by storm. This cutting-edge tool is designed to help traders of all levels make money in the markets by automating the trading process.

One of the key features of CarinaBot is that it does not require you to give access to your money. Unlike traditional investment firms, CarinaBot only trades for you, meaning that your money remains stored on your own trading account at your broker, giving you complete control over your funds.

Another great benefit of CarinaBot is that it is fully automated, meaning that it requires no special skills or knowledge. This makes it the perfect solution for beginners who want to start trading without prior experience.

But CarinaBot is not only for beginners, experienced traders and portfolio managers can also benefit from it as it can help increase profits and provide professional trading services to clients, allowing you to take a fee from their profits.

CarinaBot uses pre-programmed triangular-modelling algorithms to predict future EUR/USD price moves for periods of several minutes. When a good opportunity arises, CarinaBot trades it automatically and earns a profit on your account.

To ensure that traders are satisfied with the service, CarinaBot offers a free 3-month trial, where you can see for yourself how the software trades and whether or not you like the results before making any payments. And the best part, you only pay 10% share from net profits which CarinaBot earns you.

CarinaBot is also safe and secure. It sends BUY/SELL instructions to your account but it can't make any withdrawals or transfers.

If you're looking for a way to make money in the markets without the hassle of manual trading, CarinaBot is the perfect solution. With its fully automated trading capabilities, easy-to-use interface, and free 3-month trial, there's no reason not to give it a try. Sign up for the free trial today and see for yourself how CarinaBot can revolutionize your trading.
Rather than just a pile of tasks, the ability to establish dependencies. This task must be done before that one.

Ideally then, given all these tasks and their dependencies, what should I work on next?
Thanks, as a newcomer why is this the case? Which forum posts/docs would you recommend reading and following to learn the “meta” around React?
My information is not super current, last time I was on the ice was 2014 for a year at Pole, so take this with a grain of salt.

> Do you know if they are landing on winter flights, or just doing airdrops?

My understanding is that they have something like two windows over the winter, where they land flights. I presume C-17s, which don't usually need to take on fuel in McMurdo and are generally less hassle than the LC-130s.

I have been at Pole when they've done "practice" airdrops, but I don't think those have been a significant logistical channel since the very early days, and maybe setting up field camps.

There's a bulldozer way under the surface at Pole where its airdrop went awry. I can't remember the details but it's in Paul Siple's book "90 South" - something like the chutes didn't open, or lines got tangled, and it came to rest a couple dozen feet under the surface. Pole is in an accumulation zone though, so over time snow has built up above it. I believe it was only in the 2000s that it stopped being useful as a radar reference for landing planes.
It's probably those same people who publish their code under open source licenses instead of giving it to the public domain. I don't understand why people cling so hard onto every worthless little bit of code they write while also sort of half giving it away to almost everyone for almost any purpose.
No, the people behind the curtain decide what is news. The reporters do what they're told
there is a strong tendency for more people to look for places on the internet where they feel more reserved, without having to expose their data. I found out through a hacker news post I liked it but I also missed the possibility of uploading images to my posts on the website. because I wanted to present to you a great alternative to this issue. the website below allows the user to create posts "with texts and images" and even chat privately with the person who posted a certain content. I thought it was excellent and so I decided to share it here with you. I'm new here and would like to know your opinion about this post. thanks.
> you're the first person I know of who has actually been replaced by an AI (although you don't know it yet)

I think there are many; I know I will be, and always known that (my father always told me from when I saw my first computer begin 80s that it will happen some day; as in the 70s/80s they believed it was imminent). I studied AI in the 90s AI winter and didn't think we would get here in my life because of the bleak outlook back then.

I will be replaced as a programmer quite quickly (although there is a lot it cannot do; in the embedded space, it performs horribly for instance; it also cannot find solutions to actual complex problems; most of everyone here is not doing any of that though), but not as a product manager or tech lead. That will eventually happen as well.

> In fact, it sounds like you're being disingenuous charging them for work when in fact they could just be paying OpenAI? What value are you adding ?

Like most clients, they don't know what they want, at all. They have a vague idea and that needs to be translated into a working product. And scale. And be maintainable. Etc etc. That AI cannot do (yet). It'll come, but to code something like 'we want to make a sort of crm mixed with support mixed with uber for outbound sales' and then knowing what to ask and getting that far enough to get to a product that works and adds value is still far off. This thread and article is about coding and I believe that is, for a large part of what people are doing daily now, done.
I'm hooked on Stable Diffusion. It's the most impressive sudden leaps in technology in my 30 or so years of being old enough to understand it. Much of the power it has, is based on the material it is trained on, and I'm very appreciative of the work and effort that was made in order to make it what it is. And, it's only getting started.

That said...

I get it. Huggingface are working on a diffusion based model for music. And guess what? It's extremely important for them to only use opt-in or commissioned training data. Why? Because the music industry, unlike artists on artstation and the likes, have a lot of lawyers and can protect their copyrighted works.

Why should it really be any different for visual arts? I honestly don't see why. That isn't to say I'm not going to keep on using stable diffusion, nor do I think there is anything that can be done to stop it. But, I do think artists should be compensated, and such models should not be based on the work of anyone, unless they want it to be.
I can't be trivially copy/pasted and replicated at scale.
Is this a pithy response? The first element is indexed by zero.
> If you pick C, and your opponent picks B, you lose 58% of the time. What is optimal about that?

What's optimal about that is that it's the best outcome you can theoretically achieve. That's what "optimal" means.