skysight-inc/HackerNews huggingface dataset:
I had played around with GPT-3 beta and sort of written it off after I'd gave me a (honestly compelling though) lengthy argument that Eminem was a black man.

Earlier today I used ChatGPT to explain to me concepts I lacked understanding of, which allowed me to accurately interpret the statistical information in a scientific paper (I'm a reporter and got through a humanities degree with only an introductory stats class, like 10 years ago).

When I then asked it to copyedit the draft of my article however, it failed. Making it worse and introducing numerous innacuracies.
I like how you left yourself an out with "or at least has been traditionally"... the 8th generation consoles came out a decade ago now and mostly put an end to widespread arbitrary code execution on consoles.

If there's anything that consoles absolutely blow PCs out of the water with, it's multiplayer gaming for that exact reason, and I say that as someone with a pretty serious gaming PC
The link to the repo is in the first paragraph.
Computers aren't human. Software isn't people.
“The Dawn of Everything” by David Graeber and David Wengrow is a recent book that really opened my eyes to how much the usual interpretation of prehistory is subject to myths of inevitable progress from small egalitarian organizations to kings and cities. The societies of past were probably much richer in form and more consciously designed that we have assumed.
Still makes more sense to go API first then unit tests rather than the reverse to me.

Since an API is a composition of multiple parts that can be tested (the unit in unit testing), it only makes sense to create these tests once the relations between these parts/units are well-established.

That doesn't have to always be after the API is completely done of course. Some internal functionalities are likely to be immutable. They can be tested quite early in the iteration timeline.
Current versions of Windows 11 installer require modifications (for example with RUFUS) to be able to install without internet
airbnb takes disdain for their customers to a whole new level.

then again, that probably feels true for whatever monopoly you are dealing with on the particular day/hour. we got a _lot_ of monopolies out there. it used to be only the phone and cable operators -- now it seems like it's just everyone.

if not a monopoly, then part of an oligopoly - and one of those top three or four companies is going to rake you over the coals - your soul is going to feel it.

:-D

airbnb does have competitors, like vrbo and others, but seems like most of them are ensconced in BIGCORP, so not likely to threaten airbnb in any real way.

i vote chargeback. tho, they may retaliate and ban you or similar. one way to find out.
Pumped hydro projects can be filled with water pumped from wells.
> they have no idea what the form of that model is, or how it is used to predict moves

I think this assertion is incorrect. Since the classifiers they used are very simple, they constrain the form of the model quite strongly; it must represent different tiles by different directions in the vector space of the internal state, otherwise the classifiers wouldn't be able to work. The representation for the whole board is then a sum of representations for each individual tile.

The experiments with modifying individual tiles in the model also show at a high level how they influence the predicted move. The researchers could've also looked at how that is implemented at the level of individual weights. It's not in this write-up and maybe they didn't even try, but that doesn't mean they have literally no idea.

The worrisome part is that it's performance isn't perfect, so there are bugs, and you might actually need to know all the low-level details to identify and fix the bug.
Are people of Jewish descent somehow disadvantaged by Affirmative Action?
You already got some good answers. For me, the most inconvenient part of the transition was that I had to replace one device (a FritzBox 7590) with four devices: DrayTek DSL Modem, Protectli Hardware Firewall [1] with OPNsense, a 5-Port Netgear Switch, and a BrosTrend Wifi Plug (altogether, 21 Watts instead of only 10).

Regarding the Hardware Part: Instead of the Protectli, I would recommend looking into the Pc engines APU4d4 (or similar) [2], I had very good experiences with the predecessors of this board.

The OPNsense configuration is really not that difficult, it is possible to start slowly with the defaults and extend. I already had experiences from running pfSense for 5 years on another site.

[1]: protectli.com

[2]: e.g. dynfi.com/en/appliances/dynfi-apu4d4/
it's not a responsability of the Ai model

It's the responsibility of the maker for the AI model. They train the AI model on copyrighted material. So they should clear the licensing for using that material.

IANAL, but since I also work in the ML domain, I tried to find out how this works when you have to follow EU laws. Past rulings [1] have considered 11-word snippets to be a copyright violation (which is by no means the lower bound). So, it is likely that if a copyright holder in the EU can show Co-Pilot or ChatGPT to reproduce a non-trivial fragment of code or sentence, that a copyright holder can sue them successfully.

However, the sad fact is that these models are made by well-funded entities. So, they'll bury small copyright owners in lawyer busywork until they go bankrupt and settle with big copyright holders. So one possible net outcome will be that large entities can do large-scale copyright violation while individuals and small companies can't. We have seen this story before. And it helps to entrench big companies even more.

I hope that the EU comes with some regulation to level the playing field. So either make it illegal for everyone (enforced by EU courts) or legal for everyone.

[1] https://www.theregister.com/2009/07/31/ecj_rules_11_word_sni...
The min area for archive is 5sqkm or about 20 to 30 bucks. The feature of "notify me when X is avail for archive" has been discussed and is on the product roadmap.

We will have blogs and customer education on Hyperspectral. It's quite amazing.
But they have no problems with >100k transfers?
Sure we do, as soon as anything degrades or completely stops working, whether a product or service, we ditch it and/or it is worked on until it's fixed.

Whereas with medicine, people will sit there and let the system slowly and agonisingly fail them over and over again, at tremendous personal expense, until they are literally dead.

Medical malpractice - that is, a medical professional getting their treatment provably wrong to the point it causes death instead of prevents it - has been a leading cause of death (in the top 5) for decades.

It's somewhat of an inversion of capitalism that such a dysfunction persists in just this one area.

Your analogy with cellphones doesn't relate this because cellphones work.

If instead, they also ranked top 5 out of all failed any-distance communications methods, alongside smoke-signals, pigeons, cans-on-a-string and megaphones, development would be focused on until they rank better.

When medical malpractice ranks in the bottom 5 causes of death, the positive mechanisms of capitalism will be functioning in this area.
Lawvere & Schanuel, Conceptual Mathematics

It got me thinking about abstraction (and working with concrete representatives) both more abstractly, and with more use of concrete formal representations.

(rather than myopically concentrating on solely an abstraction or the reality, consider also the relations between the two levels)
Interesting that procfs reads directly from userspace memory to answer queries from /proc/{pid}/cmdline. I wonder what happens if someone unmaps the memory containing those argv/envp strings?
> The name "AirJet" gave it already away though, that this is likely something different.

They mention that those are MEMS membranes in the presentation [1]. But it also sounds like Airjet developers (or marketers) count MEMS membranes as solid-state, and piezoelectric fans as not, while I wonder where the line is.

[1] https://youtu.be/YGxTnGEAx3E?t=146
I can understand this for companies not in the EU. But within the EU it seems to me that it's just inertia -- as far as I know, if you're an EU resident you can work from any EU country for 90 days with no changes to tax, insurance, social security, etc. required.
the repo with the analyses and scripts is here: https://github.com/alexmolas/chess-960
Thanks for your input. I am testing my own needs. still long way to go.
The West's weak reaction to Russia invading Ukraine has made an invasion of Taiwan likely.

One year later and Russia still occupies parts of Ukraine, Putin is still in power and while Russia has suffered losses due to their own incompetence, Russia itself has barely suffered (well, anymore than its usual state). Russian oligarchs and the family of Russia politicians are still allowed to live in the west as well...

If China's only consequences would be sanctions, they'll gladly take it since half the world cares only about their own needs and would still trade with them, sacrificing Ukraine, Taiwan and others for cheap goods...
It’s a bit confusing but from a YT video it seems the device still need a coldplate + heatpipe, and the airjet is stuck on the heatpipes themselves replacing cooling fins. The airjet itself blasts the air into it’s own internal coldplate from what I understand.
Poetry ended up being mostly a disappointment having used it for the last 18 months. First time installs were eventually an hour long to resolve, and lock files were platform specific, making using them for reproducibility almost useless. The wider python ecosystem is frankly painful to productionize even today and it really does need some focus and governance.
Starting from VHF, the ITU names the bands in this order: very, ultra, super, extremely, and tremendously high. I once asked several of my friends who don’t know anything about radio to try to name the bands in ascending order after I scrambled them, and they all gave me different, incorrect answers.
AI doesn't copy one to one. It mixes, like humans.
Sure, but what happened to the luddites?
Considering the ethics of some of the businesses I reviewed, I wouldn’t be surprised either.
This is one reason (among many) to prefer Helion. It doesn't use DT, so it doesn't have the problem of closing a tritium cycle. It won't even have a lithium blanket. Tritium does get produced from DD reactions, but it can be just separated from D, stored in metal hydride beds, and allowed to decay to 3He.
I'd be far more amenable to corporations training their AI on my content of those exact same corporations hadn't spent the last two decades aggressively defending their own IP with DRM and multi-million dollar lawsuits.

So they can go fuck themselves, or alternatively they can make their super advanced AI reproduce my copyright statement and license every time it copies my code. Which shouldn't be difficult at all.
Why does the title and beginning of the article talk about ChatGPT if he actually used InstructGPT?

As someone working in the space, it's quite strange to observe how ChatGPT blew up, when OpenAI had similar models for quite a while.
Prompt: "cat leaving bag, golden hour, trending on artstation, 4k"
> TLD (Test Led Development)

I've also heard it referred to as "weak TDD"
When I was growing up we had a BBC Micro and the sine qua non of text based adventure games were those made by https://en.wikipedia.org/wiki/Level_9_Computing

Good luck finding an emulator though.
Hoping that this is quickly implemented into the automatic1111 webUI.
What type of work do you do? I use it for web/app stuff; for embedded, proofs, pl r&d etc it doesn’t really work so that’s still manual. That’s just not what I make most money with.
I’ve run into this when looking for an hvac contractor to do some work in my basement. Was just going through the listings and making a bunch of calls. It was definitely annoying encountering all the fake “store fronts”, but I also found that just by talking to them and asking a couple questions, it was super obvious which ones were fake and which ones were legit.
And if you fall in feet first you see your feet like a flatbed scanner scans an image.

When you stand still on Earth, photons from your feet move at light speed into your eyes. When you fall feet first into a black hole, they emit stationary photons on the event horizon, which you cross at the speed of light. It’s all c to you though.

(I’m halfway through Cox and Forshaw’s Black Holes: The Key to Understanding the Universe. It’s really good — undergrad relativity written as a pop sci book. I think I’ve understood it so far.)
It is illegal for a tax preparer to share your tax data without consent. I have certainly used tax software in the past that asked for this consent, though.
anyone know how to use this? kind of confusing install instructions in the readme
This is so cool, and ofc impressive. Also, I learned a lot about how powerful Shortcuts is.

Every since I played with ChatGPT (just with the chat UI) I am kind of amazed every time I use Siri: it’s crazy how far we have come.
Gonoodle YouTube is a fun and interactive way to get kids moving and learning. It is a collection of videos that are designed to get kids up and active while they learn new things, The videos feature catchy music gonoodle youTube.
Thank you. Remember this is version 1.0. If you recall version 1.0 of your favorite apps they are significantly inferior to their current version. We have much more work to do and hopefully we have all the features you desire. Many more sensors and features to integrate in the next 6 months.
Over the smoldering ruins of our society. It'll be a very bitter laugh.
Agree, it's not a system that would work as I described it - for me it just raises interesting questions.

One way it could be modified would be if doctors had a cap on patients, couldn't refuse to treat their existing ones, and couldn't take on new ones. The cap amount being based on life expectancy balanced against a competitive income.
The two founders have indian sounding names [0] at least, so it might be the case that this is what they are going for.

[0] https://www.froresystems.com/team
That criticism applies to copyright generally, and I agree partly.

However, what’s happening here is different. What people are reacting against is that (often dirt poor) artists unwillingly become part of a commercial supply chain, while corporations protect their IP the usual way, backed by the full force of the government even on foreign land.

If copyright is abolished entirely, at least there’s some form of level playing field. But this becomes yet another step towards a more exploitative economic environment.
“Launch in August of nuclear-capable rocket that circled the globe took US intelligence by surprise”

Not sure where your stand-off distance would be.

https://www.ft.com/content/ba0a3cde-719b-4040-93cb-a486e1f84...
How is this hacker News?
What Is Fossil?
It's not obvious Alaska can benefit from nuclear. The largest grid in Alaska, the Railbelt Network, has an average power flow of just 600 MW.
The appeal of chatgpt at this point is twofold: SEO spammers haven't yet discovered how to manipulate it to their benefit, and Google can't inject ads into the returned results. In other words if it does return a useful result to you, it's where Google was when they were competing with Alta Vista and the like in their heyday.

I agree with you that there's a ton of hype about chatgpt, but if I can get useful and unadulterated answers from it, I will definitely pivot to searching there first. This is above and beyond the ability of chatgpt to seemingly generate tailored results to queries beyond simply returning a list of web pages ranked by relevance.
The examples are completely out of context.

> Relationships to be expressed between values; for example, that two lists have the same length.

This can be also expressed in any language, even in unityped (a.k.a. "dynamic") ones. You don't need types for that at all…

> Assumptions to be made explicit and checked by the compiler.

This can be also expressed in any language, even in unityped (a.k.a. "dynamic") ones. In theory you don't need types for that at all. (Even types would be the current std. method to achieve that).

> For example, if you assume that a list is non-empty, Idris can ensure this assumption always holds before the program is run.

You can construct a NEL (NonEmptyList) in any language. That's trivial. You just need to enforce the usage of the right factory method for your list.

> If desired, properties of program behaviour to be formally stated and proven.

This has nothing to do with dependent types (directly). A language based on simply typed lambda calculus is "enough" to arrive at this property.
In the CES video [0] they are stating it's MEMS.

[0] https://youtube.com/watch?v=YGxTnGEAx3E
I actually agree with you and we fight for as much freedom with operators as possible. Since the industry grew up on large government contractors they have only moved so much but we continue to fight for hassle free contracts with all our providers. Great things to come.
Graphite thermal pads are available for consumers (e.g: Thermal Grizzly Carbonaut,
IC Diamond Graphite) which offer similar performance (within 5°C) to paste without this issue.
>Mill and factory owners took to shooting protesters and eventually the movement was suppressed with legal and military force, which included execution and penal transportation of accused and convicted Luddites.
Kids these days share their collections on Plex
He linked to an earlier version of the article, but I couldn't see the actual code.
It's surprising that so many people on this site side with the Luddites. The back pressure ML is generating is at this point too strong for anything to make any difference. Anyone who attempts to stop it will just be practicing self-sabotage.
LLMs and Image AIs are the opposite of self-driving cars. "Everybody" had concrete expectations for at least half a decade now that the moment where self-driving cars would surpass human ability was imminent, yet the tech hasn't lived up to it (yet). While practically nobody was expecting AI to be able to do the jobs of artists, programmers or poets anywhere near human level anytime soon, yet here we are.
50 dev teams, every team can choose how they work and their own tooling.

The result: if you're not using safe you're lead is going to be removed. Zero consistency between project tooling.

It's like the worst of both worlds.
A little bit of both. It's true to an extend but you're absolutely right that the PRC isn't as dependent as many foreigners imagine. Depends on our definition of luxury/necessary goods as well. To me eating pork isn't essential but to many Chinese it would definitely be a problem if there were a meat shortage. Nothing that would bring the regime to its knees though and not that the CCP leadership would care about citizens anyway as long as they can be kept from revolting.

Also people should be aware this is exactly the sort of thing they're preparing for, while many other countries aren't. The Chinese leadership isn't just massively increasing military spending year by year but also preparing the economy and especially vital industries like agriculture to be more independent and resilient. One could say it's a precautionary measure, in case war were declared.

My guess is democratic nations meanwhile are going to drag their feet and deny the changes right in front of their eyes. This happened with Russia and it doesn't seem like most have learned their lesson from it. Especially certain European nations.
I just read that whole interview. Crazy to think that he was basically at his peak at that moment, while he clearly thought he was just getting started.
This simply means that there is a need for an open source api that emulates the matlab api. But other components, e.g. IDE, compute engines etc could (theoretically) be shared between various stacks. To some degree this happens already, eg when they link underlying linear algebra libraries written in c++ or even fortran.
Like clothing that fits! That's a great analogy
telnet 6000 4dimensions.org
I’m not able to read billions of books in less than an hour.

I think you underestimate the sheer volume of data + conclusions the brain ingests and processes on a daily basis, primarily through unconscious experience.
It is, sadly, not always Enterprise abandonware.

The industry I am in is extremely conservative about its upgrades and changes. Between that, our custom software interfacing with the 800 pound gorilla for our market, and a few other things, we're behind.

Now, this software depends on a very specific version of ArcGIS. Desktop, not Pro. Not just version 10. Not just version 10.2. But version 10.2.1.

If you go look at ESRI's page for Python and 10.2.1, it says, in large and bold letters (which is something ESRI doesn't do in its documentation very often), NOT TO UPGRADE OR CHANGE PYTHON VERSIONS, EVEN A TINY BIT.

And that version is 2.7. I couldn't even get pip working when I wanted to install a very old version of lxml I wanted.

I guess what I am getting at is, as a language becomes successful and has market penetration, it also seeps down, way far down, in the chain of dependencies. It's the price of success, essentially. I think language maintainers should really pay more attention to that. Just as you know how a program ends up sticking around longer than you originally thought, so too do versions of your language. It is in some ways akin to trying to explain to da Vinci that very far in the future, some of his artworks will adorn clothing and coffee mugs: the good stuff just gets to places you would never dream.
>Taiwan was not under control or rule for the majority of the Qing dynasty.

Clearly you did not comprehend the linked article. Surely a regime that appointed bureaucrats to be stationed locally in their administrative areas for nearly 200 years means it was Terra Nullius all along!

By your logic British rule in India didn't begin until 1858 when the British has been colonizing India for 100 years prior. Good job being a disingenuous revisionist.

>People were not allowed to freely travel to the island until 1875. It was called a province for ~10 years.

The very fact that the Qing dynasty had effective immigration controls over a land they supposedly did not "control" or "rule" is a testament to them actually exercising control over a land they managed to govern. The Qing Dynasty did not exercise immigration controls over the Chinese diaspora in Southeast Asia, because they did control those lands. That is not the case with Taiwan. The existence of immigration control is proof of governance. The PRC had strict internal immigration controls for the first 30 years of its existence, modelled after the Soviet Union. Would you say either of these countries did not effectively "control" or "rule" the very territories that formed them?

>By saying that it belonged to the Qing dynasty, we are saying that Russias occupation of regions of Ukraine is legal and legit.

Your nonsensical comparison to Ukraine just further reaffirms that. Nobody said a word about Ukraine until you tried to shoehorn it with gross disregard of the history of Ukraine.

>They are there so therefore they must own it.

The Qing Dynasty ceased to exist 100+ years ago and they have very little to do with the ROC or the PRC of today despite the ROC technically having legally suceeded the Qing Dynasty. So whether the Qing Dynasty "owned" Taiwan has nothing to do with cross-strait politics of today. Would you deny Tsarist Russia "owned" what is modern day Ukraine? And are you aware whether Tsarist Russia "owned" what is modern day Ukraine has absolutely nothing to do with Vladimir Putin's personal claims? I'm talking about the rampant historical revisionism seen run amok in every English language discussion about Taiwan that is ultimately infantilizing the real issues faced by Taiwan, not whether the PRC "must own it" (hint: the PRC has never "owned it" and never deserves to "own it").