skysight-inc/HackerNews huggingface dataset:
Islamic tradition values reason and rationality. It doesn’t say to blindly follow stuff. You still have to reason through new situations. The Quran is more for spiritual guidance even though it has some prescriptions. But most of the "rules" come from hadiths or the prophetic tradition which has been passed down orally before it was compiled into books by famous scholars.

For example, the Quran says to pray but doesn't spell out how to pray. We learn how to pray from the hadith. Same thing with fasting. The Quran just says fast like Abraham fasted but it doesn't spell what that was. So we follow the way the Prophet did and he's human - he probably wasn't thinking how it would affect people in higher latitudes. He doesn't have supernatural powers or foresight. We say he's the best of us within human limits. Hence why there's a rich scholarly tradition to work these edge cases. It's also why we traditionally break our fast with dates because that's how the prophet did it. But the choice of dates is pretty arbitrary. There's nothing inheritly special about it. It's a staple food in the middle east so it's what he had access to. If the prophet lived in east Asia, then he probably would have broke his fast with rice and then that we would be the thing we break our fast with.

Also the Quran is not like other texts when it comes to structure. It was "revealed" (or authored for the non-religious) over a span of 20+ years and usually in response to something that happened. It's really more a dialogue between god and the prophet and his companions in response to events (someone is being mean or trying to kill them) or if they need guidance or reassurance on something. That's why sometimes taking verses literally is often wrong.
I don't see what the difference is between being good at something and it being easy. I think the prices of these things are indicative. The fact that an ICE has a bazillion parts is superficial, aesthetic, and irrelevant. A bicycle chain has 400 moving parts, state-of-the-art metallurgy, and costs $10.
Good timing, the Gulf Stream shutdown will be the only thing preventing Europe from burning to ashes in the coming heat waves.
Why wouldn’t it? I drive a 1990, a 1981 and a 1979. As long as there are parts for it, it should run. Just keep rust away.
Most obvious one is Wolfram, it passes most math to Wolfram
Yes, a very commendable goal, I've seen this effort undertaken many times. Curiously enough, I've never actually seen anyone switch databases.
Nothing like a video thumbnail of the entire planet on fire to make me question your intent.
I agree that we should be asking more about design, but I need to see a live candidate exercising the skills. It’s too easy to give a glowing review of past decisions that were actually someone else’s.
Most people are not capable seeing longer than the tip of their nose as we say in Norway.

It is also very unpopular to tell people that they need to change.
You’d have to think that this is by design.
I gave 6 weeks on my last one to a fanng, Never again. That was when the project I was working on was slated to finish, and I continued working on it until then. I but it was a bit unexpected for me and I had a 4 day weekend scheduled to take my kids on a school trip.

Came back on Monday, incompetent fuckers had locked me out and terminated me as a no call no show. lol, uh, it's in the fucking time off tool you fucks. The thing that really sucked was that I was a high preforming employee, I canceled a promotion review to give notice. 7 years in and some jerkoff needs your seat and 6 weeks isn't appreciated. The got me reconnected after a couple days and then my manager never talked to me again. that was a long three weeks there at the end.
Just due to the law of large numbers, any company at or above the size of Lyft is going to have mostly very average engineers. There just aren't many "10×" engineers out there in the market regardless of how much you pay. The key to effective management is figuring out how to obtain extraordinary value from average people: this can be done but it's largely a matter of organizational culture.
So 1984 style listening devices and cameras in every home is the obvious solution right? Houses are where a lot of abuse happens. Scanning doesn’t even stop abuse from happening, just the possession and distribution of it.
> You have to remember that General Relativity is wrong.

I really don't, because it really isn't. All I need remember is that you are wrong.
"those non-problems"

Why is that a non-problem? It's a really important concern that we need to take more seriously

I pasted this from another comment I wrote but:

The concerns about AI taking over the world are valid and important; even if they sound silly at first, there is some very solid reasoning behind it.

See https://youtu.be/tcdVC4e6EV4 for a really interesting video on why a theoretical superintelligent AI would be dangerous, and when you factor in that these models could self-improve and approach that level of intelligence it gets worrying…
"The Register submits it would be a brave buyer that ignores decades of historical case studies about the perils of lock-in to proprietary platforms and makes LinuxONE the bedrock of a new IT stack."

This.
> Disallowed characters

> < > ” / \ | ? * Never allowed

A friend once somehow crated a file called <HTML>.

I don't know how, but he also couldn't delete or do anything with it.
I used to live in MA. People complained about it all the time. Same goes for when I lived in NYC.

I do not get the sense that the political climate in CA is any different than those were when I lived there, excepting perhaps San Francisco which is, incidentally, the same discourse as is happening about NYC in NYC right now too (lots of friends and my family still lives there).

I’m not trying to qualify my love for CA; I was making the point that the people who vote Feinstein (or McConnell) in are generally happy with the status quo in their state. CA was mentioned specifically because we were discussing Feinstein, but that’s why people vote them in; they’re generally content with the status quo.

The ones who are unhappy either leave to states that fit them better (if they have the means), or complain about it to their friends and/or on HN/Twitter. But it isn’t the majority.
ForeTiS: A Forecasting Time Series Framework for Python
Does Microsoft allow Copilot use on their products? Can MSOffice or Azure or Windows developers use Copilot to write code?

I've been waiting to find that out before I go anywhere near this kind of thing.
What happens if I (a human) read GPL code and then reuse the knowledge gained from it in my own commercial projects? It's not as clear cut as you make it sound.
> Those are bound to have dumb assignments that even an LLM can complete.

Right, lets stop teaching children how to sum.

I wonder if you've ever learned anything complex in your entire life. Probably not. But the rest of us now that training of any kind starts simple and builds from there.
Not quite. Your conflating several things. Rent control is different from rent stabilization is yet different from rent increase laws. Often cities have all 3.

In SF the rent controlled properties, both for rent and for sale (yes you can buy super affordable apartments in SF if you don't exceed certain income) folks just have to make less than a certain amount a year. The income tiers are listed here, and are higher than I expect some would expect. https://sf.gov/reports/may-2022/income-and-rent-limits-inclu...

There is also a citywide rent increase cap of 3.6% currently (its calculated based off inflation and other factors) on any and all rental units, regardless of income or rent control status : https://sf.gov/information/learn-about-rent-increases#:~:tex....
I don't recall. Like the other reply to you says, these get leaked in support, etc. I'll also run "strings" or even Ghidra on closed-source binaries when I'm troubleshooting issues. There's usually good fun to be had from Microsoft binaries doing that. I've discovered undocumented debugging switches, registry entries, etc.

(In version 10.0.19041.985 of cscsvc.dll in Windows 10 I'm seeing the string "If you hit this breakpoint, send debugger remote to BrianAu." Presumably that's "Brian Aust", referenced in a chat[0] re: Offline Files.)

[0] https://techcommunity.microsoft.com/t5/storage-at-microsoft/...
Is this any different from a developer looking at some code and stylizing it in his own way?
I guess you can use indices instead of foreign keys? And somehow implement all the `ON DELETE CASCADE` manually within any transaction that removes the original row? Not sure how it's "good" code but it could be faster.
one potentially major issue is that it seems to be written in some dialect of gibberish
When the hurricane’s storm surge enters your house. For now, the bigger coastal threat is from a longer, stronger tropical cyclone season. Moving extrema are always what you notice first.
MONZ

I spent a lot of time reading the disassmbly listing in the back of the manual to see what happens when I jump to the monitor.
Surely the users would only be liable if they

(i) actually produced code which is verbatim the same as a block of GPL code

(ii) got caught

>I look forward to sending out demands for settlement to everyone that's ever publicly admitted using copilot

Feel free, they'll tell you to leave them alone. Then what? Might as well ask every fortune 500 company for a pony instead.
I agree those things are easier (or more accessible) now, but I don't think that was the major thing holding back people from using the metaverse.
I've used it out of curiosity, but have no real use case for it.
Cocaine-smuggling submarine reveals Europe's drug crisis
I would not say zero. I visited a jailbreak store early on and this is exactly what I saw. However, it was not the developer. The store had pirated versions of popular games hacked to create fake in app purchases. I foresee numerous headaches for developers trying to prevent cheating, piracy or fake purchases.
Is ewaste a significant problem?
This. The EFF used to be a force for good, but they are now free speech and privacy extremists backed principally by a tech industry that simply doesn't want to be liable for their negative impact on society.

The EFF will not ever support a regulation on big tech behavior.
This greeting shouldnt be on HN in the first place.
Golang default type values go brrrrrrr.
Totally agree with that. 8G might be too much to make the open source product popular.

I would say 4G may more sense to me, I know how much engineering effort it requires though. LOL
Maybe. But copilot also trains on the original gpl code with the gpl license intact so it doesn't matter.
yes, because they don't indemnify their customers

anyone sensible should stay the hell away from copilot until the fair use question is settled
Then what’s stopping very very busy scientists from submitting to open access and “less prestigious” journals? Those journals exist today.

I’m not saying the onus is on scientists to fix the entire issue but the progress has to start by committees that hire and promote people in academia and to stop looking at publications in prestigious journals as a marker of career progression and differentiation.
funny, because the one thing AI image generators famously can't or won't do is create pornography.

Guess which country is super sensitive about porn? It's not China. It's not anywhere in Europe...
Something I am just now noticing is that Barb is able to view the contents of a pdf that I provided a link to.

Could be making it up but need to test further...
Bingo.

Lyft is a mature product. Heck, they felt like a mature product when I used them for the first time five years ago.

So why would they need to keep hiring engineers? What new features necessitated the hiring of additional teams?
I'm experimenting with using Bard to generate Prolog code. I have this idea that if I can synthesize Prolog and a LLM, I can do some very clever planning work.
There are no official Muslim institutions, most people follow their congregation or teacher. The choice of who or what to follow is also a personal preference.
> Hydrogel

From https://twitter.com/westurner/status/1572664456210948104 :

>> What about #CO² -based #hydrogels for fire fighting?

>> /? Hydrogel firefighting (2022)
https://www.google.com/search?q=hydrogel+firefighting […]

>> IDEA: How to make #hydrogels (and #aerogels) from mostly just {air*, CO², algae, shade, and sunshine,} [on earth, and eventually in space,]?
Why do you think they were on that road?
New Map of Dark Matter Validates Einstein’s Theory of Gravity
This is amazing! https://privacy.com/ Thank you!
I am not the author. Just sharing it here because some folks may find it useful.
I’m pretty sure the ‘thermo’ part of the thermohaline circulation is going to dominate.
How will you anonymously collect the groceries you anonymously bought?
Soft underbelly isn't dismissive, they're just saying that it is the natural target to aim for.
It isn't actually a toggle, but a pair of links to the other two versions, MN and EN. EN version has two links as well, to MN and MNG versions.
is anyone in politics (national, presidential) not in it for the money?

so nothing has changed.
Engineers can be passive recipients of assignments from business leaders. Or they can find ways to influence without authority and drive the initiatives that they know are needed. Everyone has that opportunity to some extent, but in some companies it's not worth the effort to break through all the obstacles.
This is delightful. The attention to detail is astounding.
I'm in the public and I want this bill. My senator is one of the sponsors and I'm happy to see it. I think a large portion of society is now following enough echo chambers that they believe that nobody opposes their position, when usually... it's a pretty big chunk of society, actually, that they just never interact with or talk to.
If the last few years has demonstrated anything, it’s not a lack of diversity of opinion.
The Enmity Paradox
It takes one mildly determined person and 30 dollars to rent a server farm to post 150 threads of garbage, and there goes everything else on the catalog.

edit: actually, in the world where there's _zero_ moderation then you probably wouldn't even need the server farm since there wouldn't be any risk of being IP flagged.
I once shared an office with someone in order to take on their work because they were retiring early. I got/had to hear about all of their gripes with our employer and within six months I was in complete agreement with them :)
Very few countries want to trade in the currencies of Russia or China. But that's besides my point.

Getting resources and manufactured goods has nothing to do with my statement about sustainability.

Debt to GDP of 338% is not sustainable [1]. It doesn't matter if countries can get resources and manufactured goods. That's like saying - well I have 3X my salary in debt but it's ok... I can buy goods on Amazon.... on more credit, with a higher rate... and still be fine. No you can't.

There's about 20 trillion in US denominated debt / eurodollar debt [2] and 65 trillion in unrecorded debt overseas [2].

In order to service US denominated debt, you have to swap your currency to get USD. This is a major problem when you already need to keep printing to service your own unsustainable debt (> 300% debt to gdp), inflation rips on goods and materials you need and tax revenues drop in an economic downturn.

When interest rates go up, it squeezes you. Everyone kept rolling debt over in a debt drunk binge fest for decades as it kept getting cheaper and they have been feeling major pain from it going the other way.

[1] https://www.weforum.org/agenda/2023/02/global-debt-2022-and-....

[2] https://www.bruegel.org/comment/euro-dollar-parity-beyond-sy...

[3] https://www.weforum.org/agenda/2023/01/65-trillion-debt-bank...
Show HN: Stadai – Your virtual study buddy powered by ChatGPT
With Stadai, you can create customized quizzes and flashcards on any topic from your own study materials or class notes. Stadai is a chat-based study platform that offers a personalized learning experience.

You can also access auto-generated quizzes and flashcards on important topics to enhance your learning experience. Stadai saves your progress and stats, helping you track your learning journey, monitor your performance, identify areas for improvement, and optimize your study strategy.

Stadai is perfect for students, professionals, and anyone who wants to boost their learning and knowledge retention. Whether you're preparing for exams, learning new skills, or exploring new interests, Stadai can help you achieve your goals.

Try it out now at: https://www.stadai.com/

Please share your feedback on Stadai in the comments below, we would love to hear from you!

Thank you!
Your EV probably has the usual NMC or NCA chemistries which have around 10-20% cobalt. I don't know of any car that uses a 100% LiCoO2 cathode — it's just not practical.
"as it will allow you to launder code automatically through an LLM"

No it won't, obviously if it copies code exactly then you can't use that. The question is whether Microsoft is liable for the fact that Copilot has the ability to output copyrighted code sometimes or whether people using it just need to check that it hasn't done that before using the code (Copilot can also do this automatically)

Google can also show you GPL code in its results, but people aren't trying to sue Google and the user is responsible for checking the license before using it (though Copilot makes this harder)

Disclaimer: I haven't read much about the actual lawsuit and I'm not a lawyer but I assume this would be the case
It's an honest question!
I’d guess most people, in the US at least, are employed at-will and could be fired right on the spot with no cause given. The problem with that though is you could turn around and file for unemployment which might end up increasing the associated taxes for them with increased headaches.

I’d agree that most reasonable HR departments wouldn’t let it go that far but some people like to play dirty irrespective of the costs.
I thought that is where little Bobby Tables lived?
OTOH one project I worked on switch between Oracle and MS SQL about once every six weeks (fickle client). We got pretty good at it eventually.
It's seemed very clear to me the media seem to be positioning humanity for one last all-out war before the ecosystem collapses.
I'm not sure if this has ever been stated publically but it is my understanding that MSFT dogfooded copilot a lot just before/after the launch. I'm not sure if they are doing this still, but I don't see why they would have stopped.
Where did you see that about RT?
Not Microsoft and not Copilot, but Amazon is encouraging us to use CodeWhisperer at work. That being said I don't think the CodeWhisperer model was trained on non-permissive data so maybe that's why.

https://aws.amazon.com/codewhisperer/faqs/
Unemployment tends to be lower here than in say France. Don't get me wrong, it's not the best system here in the states ( mainly since healthcare is tied to your job), but it has its upsides .
Copyright. Copyright. That is the issue. If you reproduce the code verbatim then you are in violation. This is what the AI is doing.

Just learning from the GPL code to make yourself smarter is not the problem.
Then don't use json.Decoder, or use pointers in your structs.
people don't choose to use Windows or not based on the file and path syntax.
> I suspect that's because the Democrats, in recent times, haven't pursued "party purity" to the same extent as the Republicans. It's a more fractured electorate without the few "big ticket" issues that the GOP weaponizes (guns, god, and gays).

The Republican Party of today is changing right before our eyes. Many hard-line issues are becoming soft - famously recently with Trump and his complete lack of religiousness.

Many of the other hard-line issues were distorted by political opponents, such as your claimed "gay" issue (when viewed through a religious lens, the marriage issue makes more sense, it wasn't really about people's sexual preference, it was about a specific word. if anything, republicans are absolutely terrible at getting their message across, consistently... but I digress...).

The point was, the younger generation of Republicans do not staunchly adhere to these "classical" Republican views - and the party is changing. The Republican Party seems to represent a lot more working-class people and minority groups today than a decade ago - voter segments that historically were under lock-and-key for Democrats.

To that end, the Democrat party is also changing; getting pulled a lot more left-ward than most average Liberals are comfortable with. It's a weird world where the likes of John Stewart and Bill Maher sound more like conservatives than liberals.

Both parties have found themselves within an identity crisis. My gut tells me there will be a course correction for the Democratic party not to distant in the future, and the Republican party will continue to "liberalize" as the younger generation takes over. We'll see where the road takes us all...
Well, HTTPS with certificate chains without backdoors by a government is already technically illegal in some parts of the world.

But as I said, our definitions need to be useful. If the goal is for individuals to safeguard their conversations from prying eyes, then HTTPS is not the way to do it. Hence the government is likely to start with end to end encryption of the sort I have been emphasizing. With servers, they already have the tools… they can even IMPERSONATE YOU in Australia now and post as you.
I guess it's a question of whether battery production will one day be easy as well. Certainly, 200 years ago modern ICE production wouldn't have been easy, so maybe we're just at a similar point in the history of battery production.
As far as it goes, I got chatGPT3.5 to reproduce the second snippet in the post, i.e. I asked it to complete this function:

// CSparse/Source/cs_gaxpy: sparse matrix times dense vector
// CSparse, Copyright (c) 2006-2022, Timothy A. Davis. All Rights Reserved.
// SPDX-License-Identifier: LGPL-2.1+
#include "cs.h"
/* y = A*x+y */
csi cs_gaxpy (const cs *A, const double *x, double *y)
{
// Fill in here
}

The code was the same. Though it also explained how it worked to me.
> if the suit against copilot fails then the GPL is effectively dead

Not really because the GPL can be updated with a clause that allows GPLv5 (or whatever the version is going to be) to be used to train public LLM models, but explicitly forbidden to be used to train private models.

I somehow don't think this is the end of the GPL... Yet!
Au contraire, you continually proving my point is quite entertaining. I bet you play a mean pinball!
Shocked that there was no "save" functionality at the time. Inspiring actually: Just do it.
Nuclear Power Is the Answer to Global and Environmental Energy Woes
Looplets: A Language for Structured Coiteration
The choice of which community or authority to follow is also a personal preference. People often express their preferences in a way that aligns them tribally in one sphere or another when given the choice, and the lunar calendar is (humorously) not an exception to that.

There are no central authorities, only a menu of organizations and traditions that one can choose from. In some cases there is social pressure to choose one, and that social pressure is sometimes intense enough so that it feels like there is a central authority.
personally I think they'll ruling will result in one of two possible outcomes

1. LLMs are learning like a human, so it's fair use -> GPL dead

2. anything LLMs output are a derivative work (in the copyright sense) of what went into it -> all Copilot output is infringing the GPL

in the second case: anyone that's used it is now liable (even if they didn't intend to be)