skysight-inc/HackerNews huggingface dataset:
Pair programming is definitely not for everybody. Some people hate it for multiple possible reasons -- because they can't focus with other person talking, because even if they stop talking the awkward silence is distracting, because they are distracted by their feelings about putting up half baked code and opening their development process to another person, etc.

What I do is that I include pair programming as part of interview process to let people experience the process a bit before they decide to join the team. Can't do much about people who are already in the team -- I try to be flexible about it but only to some extent.

In the end, being part of large software development project is a social endeavour, whether you like it or not. I get that some people prefer to work alone but I have to insist that social part cannot be somehow ignored.
What we shared today is an early developer preview of the new module systems. We’ll be sharing full product specifications when we open pre-orders this Spring.
> they'd be able to make a form factor with more depth in the case

while the company certainly seems interested in providing options, i would strongly suspect that this level of variability would be a step (much) too far.
The 13.5" Framework display is 3:2. This appears to be 16:9.

Any chance the display can be swapped for a 16:10? Otherwise it's a no go for me.
Building web apps is not that difficult (at least for OpenAI's purposes). They can simply hire talent to fix that.
Yes, I'm living in Iceland. Our car market is quite a mix. It's mostly European/Asian commuters but also with plenty of bigger US cars, mostly pickups.

My specific model is a Renault Megane Estate.
This color-scheme property came in handy when I was implementing a modal dialog containing an iframe and a semi-transparent backdrop.
It'd be the repeat of the euro debt crisis [3] but with far higher inflation

[3] https://en.m.wikipedia.org/wiki/European_debt_crisis
I’m under the impression that llama.cpp is a fork of llama (which uses pytorch)
Google's Bard and Bing AI Already Citing Each Other in Neural Hall of Mirrors
> Roku keeping half a billion dollars at svb without doing capitalization audits, or venture firms steering portfolio companies there without recommending backup banks is a business failure plain and simple

One hundred percent. I was more attacking this conspiratorial line around so and so's tweets prompting the run.
Only due to current underregulation. Once those regulations come, those use cases will be more expensive than alternatives also.
appdirs has officially been deprecated.

Its successor is https://pypi.org/project/platformdirs/
Nuclear + solar panels everywhere
Don't try for photorealism straight away. Pick a more abstract style, and work on that: change things around until you find it fun. When you learn to follow your whims, that's when you'll start getting better (perhaps even quite rapidly).

This isn't to say give up on photorealistic drawing: but don't bludgeon yourself with it. If you don't find it fun, you're probably not at a point where practice will make perfect.
Did you adopt the Purism's naming approach, with numbers used for screen size instead of versions? They have a nice philosophy behind it by the way: https://puri.sm/posts/foreshadowing-why-the-purism-logo-is-a....
For context, I was a casual guitarist for many years before deciding to finally start learning music theory through jazz piano lessons about a year ago (which I highly recommend btw).

I think it's important to look at theory as descriptive and not proscriptive. Music is fundamentally heard, but having a common written/spoken language with well-defined terminology, structures, idioms, etc. allows musicians to communicate more clearly - eg. "sixteen bars of I VI V I in C major" vs actually playing it.
The sidebar is an index of several additional option pages, shown to the right of it. The first one is "Common" and it is shown by default.

This design didn't actually make it into the production release, it was replaced with https://bvckup2.com/wip/r82-rabbit-hole-x.gif.

Pi is a reference to a (really corny) "hacker" movie from the 90s called The Net. Same thing as the Pi at the bottom right of every page on Reddit.
That is correct, we are making both ANSI and ISO Keyboard Modules for the Framework Laptop 16.
> NP-complete problems are those that, if any one of them can be solved in polynomial time, then all NP problems can be solved in polynomial time.

That is (nearly) correct under Cook reductions but not Karp reductions.

I say "nearly" because "if language L can be solved (decided) in polynomial time, then so can any problem in NP" is a vacuously true statement for any L not in P, so by this definition nearly all languages (a measure 1 fraction of them) are also NP-complete despite most of them not being in any particularly interesting complexity class.

If we escape this degeneracy by replacing the antecedent with "given access to an efficient way to decide L", then we've recreated NP hardness under Cook reductions.
That is just an insane scale to think about. I'm at a smaller company, and it's disruptive just to add 2 people at once like we did last month. 230,000 since August 2020 (965 days) is an average of 238 new employees per day. If you only count week days, it's 334 per day.

I get that the way Accenture works likely means their onboarding process is a little less intense than for other companies but Accenture must have hundreds if not thousands of people whose sole job is to onboard these employees. Having never worked in a company of that scale, it's a little difficult for me to comprehend that.
Make sure your teacher(s) if there is/are at least one are actually teaching you theory along the way.

I had 2 piano teachers, and neither one really had much interest in teaching music theory much at all, especially in a practical way as it applied to what you were playing.

I think it may be a weakness with some piano training/curriculum that teachers fall into because Piano has such a strong reliance on "play the sheet music that is put in front of you."

In like 3 years of lessons I don't think any of them ever talked about what scales were in a chord or what the progression was in a song I, V, vi, IV, etc.. or talked about what the melody was doing versus that.

By contrast when I started guitar... that stuff is/was talked about constantly, different tradition. I had more than one guitar teacher too and they were all pretty heavy on it.

It sticks in your head far more when you sit there and practice something and are conscious of the theory behind it than if you practice pieces and then study a book/app/website in a disconnected way.

I guess what I'm saying is if you're trying to use tools the tools should be integrated where you learn a piece with an explanation of it's theory, and you practice that for a while. Versus a tool where you just plow through theory in a disconnected way.

I don't really play piano at all anymore, but the stuff I learned in guitar still carried over to the point I can figure out what's going on in a way I couldn't when I was taking piano lessons & practicing piano every day. Back then I could not construct a chord I didn't have memorized, now I can/could.
this is from 2 years ago
yes, it is, but it has a wide variety of meanings. 'prompt engineer' could be anyone who is simply typing things into the chatgpt website, or a veteran software engineer using a framework like langchain to program an AI workflow or features into an existing or new system.
> What is your experience? What process or tool would you recommend to learn music theory?

I play the piano since nearly 50 years and was working for some time as a professional musician and also composer/producer.

To just learn the piano and play classical literature from scores you don't actually need music theory; it's a nice to know, but not a need to know.

Some music theory is helpful if you want to compose music or to improvise on the piano. But then there is the question: what kind of music theory is helpful for you? There are indeed different kinds of music theory. In general different theories apply to classical, folk, jazz or pop/rock music. And a lot is just hot air packed into a framework that tries to be intellectual and sufficiently complicated to justify studying music. At its core, however, it is mostly about scales and harmonies.

I recommend you try to find out which style of music you want to delve into and then refine your search.
> The seas will calm in a few years and then

Amazon, Google, and Microsoft cloud analogs.

We are entirely fortunate that the interests of big tech (edge AI) and democratizing AI (we the little people) align to a sufficient degree.

Decentralizing AI is -far- more important than decentralizing communication, imo.

The get rich quick path of ‘gold rush’ (it works, tbh) could work against this collective self interest if it ends up hyping centralized solutions. If you are on the sideline, the least you could do just cheer (hype :) the decentralized, democratized, and freely accessible candidates.
It was publicly exposed, and if they are making this announcement it’s essentially guaranteed they can’t rule out it was accessed.
You can't copyright recipes.

https://www.copyright.gov/comp3/chap300/ch300-copyrightable-...

> 313.4(F) Mere Listing of Ingredients or Contents

> A mere listing of ingredients or contents is not copyrightable and cannot be registered with the U.S. Copyright Office. 37 C.F.R. § 202.1(a).

> Examples:

> A list of ingredients for a recipe.

However, you can copyright a cookbook.

> The Office may register a work that explains how to perform a particular activity, such as a cookbook or user manual, provided that the work contains a sufficient amount of text, photographs, artwork, or other copyrightable expression.

https://www.copyrightlaws.com/copyright-protection-recipes/

> If you have a collection of recipes, for example in a cookbook, the collection as a whole is protected by copyright. Collections are protected even if the individual recipes themselves are in the public domain.

https://en.wikipedia.org/wiki/Copyright_in_compilation

> In the copyright law in the United States, such copyright may exist when the materials in the compilation (or "collective work") are selected, coordinated, or arranged creatively such that a new work is produced. Copyright does not exist when content is compiled without creativity, such as in the production of a telephone directory. In the case of compilation copyright, the compiler does not receive copyright in the underlying material, but only in the selection, coordination, or arrangement of that material.

And so, the curation and tagging of a collection of works itself is copyrightable.

The model weights, are done without creativity necessary for copyright, but I believe (I am not a lawyer) can be sufficiently transformative to not be encumbered as a derivative work.

The output of the model is ineligible for copyright as it was created by a machine and copyright in the US requires human authorship.

The human publishing a work created by the model may be publishing a work that is sufficiently similar an existing one either deliberately (prompt: a mouse in the style of Disney with red pants) or through an accidental memorization in the model ( https://arstechnica.com/information-technology/2023/02/resea... ) needs to be diligent in verifying that anything that they (the human) publish is not derivative of a copyrighted work.
those bezels look like a laptop people actually want to use without fingerprints on their screen
Thank you for putting it better than I could have.
Bing Chat Behaving Badly
I have no idea what would have happened if they'd just dumped GPT-2, weights and all, into the world when it first came out; or even if they'd just gone straight to a paid API. They didn't know either. I think given that nobody knew, their strategy of "try to warn the technorati, give access slowly and make sure nothing bad happens, then make a widely-accessible interface" seems like a reasonably cautious approach.
> If you’re at any real risk of acting on that thought, call professional help, or immediately commit yourself to professional care. Resistant to that idea? Then you’re not seriously considering suicide ...

Bullshit. Most suicides, including my brother three years ago, are resistant to involving professional help ... or even non-professional help. But he was serious enough about it to pull the trigger anyway.
I'd say Albrecht Dürer is up there as well.
I just asked ChatGPT something like that. The result was like those essentially uncurated TOP X APPS FOR Y lists.
I'm reminded of old sci-fi films, where a mockable character is charged with repeating others' instructions to a computer [1].

[1] https://www.youtube.com/watch?v=W4CgQMJCpZI
Jesus. Why does this give me just absolute chills?

Why do I think we're about to see levels of gamification and subtle sales that have only been imagined at in the past via astro-turfing?

Maybe I'm showing my age, but trusting an AI to have your best interests in mind, and not that of the company/person who created it seems naive maybe?
Anyone driven can throw together an MVP for a CRUD app. Having the domain expertise to prove a market edge can get you funding. Most engineers can’t do that second part.
> completely deprioritise classes in favour of homework and doing the reading in my own time

I had two mathematics teachers in high school that took this approach to class time. They would lecture for 10 minutes then have the class do work in groups on homework assignments for the remaining 45 minutes. Exact times varied based on the complexity of the material, of course. And I do not believe their format was sanctioned by the administration. But it sure helped me retain more of the information.

As an extra bonus, it really helped with procrastination. It was a lot easier to get to work on an already-started homework assignment compared to staring at a blank page and a daunting list of problems.
To me it sounds like you could implement some parts of the WASI in JavaScript, so a WASM module depending on WASI doesn’t preclude it from running in the browser or a browser-like runtime. Instead of a bespoke shim generated by the compiler, you could use a standardized shim that provides a known subset of WASI.

On the other hand relying on JS shims means a lot of guaranteed copying to/from the JS heap, which is a very annoying speed tax compared to… not.

I wonder why browsers don’t allow direct WebIDL-based APIs direct from WASM to browser APIs
Microsoft Bing Image Creator
The jury will watch it too. This could backfire on the officers (and hopefully will).
That will work great until the LLM equivalent of SEO develops.
No, this is pure, fabricated nonsense. People involved in those projects, e.g. Miguel de Icaza, have told you numerous times, as have a lot of users who lived through that time.

https://news.ycombinator.com/item?id=32258035
ChatGPT can now access the internet and run the code it writes
No change, programs old and new should document where they litter their files. And if they do, you'll easily notice where in .config it will be.
I think if we paid attention, it was obvious that GPT-4 was going to be multimodal.
the phrase "exponentially annoying" used non ironically given the context?
+10000 for the "lazy" Dark mode - it's excellent.

Now if only I could find a use for #rebeccapurple again...

a:hover, maybe??
I like how you assume that a non-profit organization is hell-bent on monopolizing a market. What you wrote sounds made up, do you have any sources?
A lot of laptops need to reserve the space to the side of the keyboards, for their ports - in fact, whenever you see a laptop where the keyboard is kissing the edge of the laptop, it usually has a dire shortage of ports (typically 1 USB port, a charger, a headphone jack, and nothing else).

This makes sense if you realize that it's a choice between keyboard girth and thin-ness; you can either have the keyboard on top of the ports, or you can squish the keyboard to the side and be potentially ~4mm thinner. Or just don't have ports.

I'm starting to think that the future of laptop keyboards is the old thinkpad butterfly design: https://www.youtube.com/watch?v=nRVJCtREW38
Part of the problem is that police departments seem to have a culture of circling the wagons when one the "bad guys" is revealed. Whistleblowers are also often fired, harassed, and treated like the enemy[1]. If the good majority of the cops maintain this kind of culture, are they not at least partly responsible for the continued existence of the handful of bad guys?

[1] https://www.theatlantic.com/ideas/archive/2020/07/what-polic...
More Americans are using ‘buy now, pay later’ services to pay for groceries
Leptos is mentioned in the article:

> Kobold does not have a concept of a stateful component. The view rendering part is relatively unopinionated about state management. It is entirely feasible to implement React-esque hooks like in Yew or Dioxus as a 3rd-party crate. Reactive signals like in Sycamore or Leptops should also interact nicely with the View trait.
Bitbucket has a spam issues problem
You might be interested in this TV show called One Piece it's a cartoon with VN artwork.
> What’s the upside for the user of a nested sequence of modal dialogs anyway?

That's it. Allowing changing things in place is exactly one of the goals.
> Stanford now has more than 10,000 administrators who oversee the 7,761 undergraduate and 9,565 graduate students

Is that normal? This sounds ridiculously excessive to me. (Also, Stanford is a lot smaller than I thought.)

Amsterdam has two universities, each with 30k+ students and about 5000 employees (+/- 1000).
It’s not, but then I also don’t have a word yet for what I’ve been up to all day yesterday :)
To be clear, other than Bitcoin which uses proof of work, virtually all other cryptocurrencies use proof of stake which consumes only a modest amount of electricity, no more than any other server app.

So to be accurate, the real issue is Bitcoin mining, not altcoins. For the record, I am not a fan of altcoins but their energy use is not a sound argument against them.

The US military exists in large part to protect the US Petrodollar system that gives the dollar value. Bitcoin mining exists exclusively to protect the Bitcoin stored on the blockchain.

Why aren’t we talking about the US military since it consumes 1 million times the energy of Bitcoin mining for a similar use case, Almost all of it in the form of dirty fossil fuels and with no meaningful plan to go green?
> I have my political opinions on Meta as much as the next person, but every bit of evidence I've seen so far is they take this kind of security thing seriously

Meta doesn't own Github, MS does.
Rahul Gandhi: India's Congress leader sentenced to 2 years jail for Modi remark
A bit biased here because I helped start a company that got badly burned by the Chinese government to the point where we ended up shutting down.

That said, IDGAF if it's a weapon for China or not. They don't allow our companies to operate there, so we need to reply in kind. They aren't a developing nation anymore, so no need to handle trade with kid gloves.
https://archive.is/ZnlaI
I suppose, but wouldn't really need a bank for that. And you need a lot of money - more money I'd wager than investors will want to pool together.

But, I guess if your goal is less people being able to get mortgages and loans, maybe it will be a good thing!
Or take it a step further, and we have "on demand" app creation. The AI offers some ideas, you pick one, and it outputs a turnkey solution.
> It's amazing how little you actually learn about music when all you're doing is reading sheet music as a kid.

I would add that historically, most musicians did not read music or theorize. They were practitioners who picked up the skill by listening to others, practicing, and improvising. Improvisation was what historically characterized musicianship, not theory, not sight-reading.

As the philosophical joke goes: anything you can do I can do meta. Theory is about music; it is not the practice of music. You can learn as much theory as you want, but theory is not practice. Theory can, of course, later sharpen or lead you to certain insights that can shape the music you produce, but practice is what produces facility, familiarity, and understanding, whereas theorizing produces knowledge. Learning theory too early is a pedagogic mistake. By analogy, consider speech. You don't begin to speak by learning grammar first. You begin by practicing. Only later can some knowledge of grammar help, perhaps. The way you become good at speaking is by practicing, and what is speech if not some combination of recitation and improvisation? Reading is entirely incidental and secondary.
> It is possible to use these unreleased plugins by setting up match-and-replace rules through an HTTP proxy. There are only client-side checks to validate that you have permission to use the plugins and they can be bypassed.

There’s no way I’m going to accept the intersection of “we take security very seriously” and implementing security checks purely client side. This and the recent title information leak are both canaries for how the rest of Open AI operates.
There seems to be at least one prompt engineer job posting on https://aioli.co at any given time.

It does seem silly. It also seems that it is or will turn into a language of its own. See also non-obvious DALL-E prompts such as “created by artstation” or whatever it is.
> we will either live lives of abundance and leisure or face extinction

Third option, the workers no longer control the means of production, and we see levels of inequality that make the railroad barons look like they were middle class.
Client side validation only. And this is the company leading the way on AI. Reality parodies itself.

That said, I was very confused at the word "unapproved" in the title, wondering who was "approving" them. The actual tweet uses "unreleased", which makes much more sense.
“Well, We’re Florida, OK?”
Most cheap locks work on a similar premise. At my last building, my apartment key could open two other doors on my floor and the floor above. And I once stole a bike by accident because the owner had the same color and model, and brand of lock, and my key worked! I thought the lock was a bit stiff, and the seat felt odd, but I didn't figure out what had happened until the next day.
It's immediately become difficult to untangle the licensing here. Is this safe for production use - I have no idea if I can expect a DMCA from Mark if I step out of bounds with this or other post-Alpaca models, unless I'm missing something important. Meta really botched the Llama release.
I do like how Picasso’s more symbolic bulls mimic the Aurochs on the walls at Lascaux.

Definitely not realistic though, as you said. Pretty cool that I can easily recognize what someone from 17,000 years ago was trying to depict, though.
Really tasteful animations. They allow me to see what changes when I do something, infinitely better than just popping things in and out of existence. Thanks for sharing examples.
LLM's seem pretty bad at people research. Facts are made up, incorrect. To demonstrate, I asked ChatGPT about Sam Altman and found serious inaccuracies.

Query about myself shows that I attended Universities that I didn't, worked at places I never worked at.
,,DAN'' plugin makes it clear that OpenAI devs are a special class of people who can use the ,,unsafe model''.

I expect it to stay like that, there will always be a special class of people, but now they will control the world on a scale kings would be jealous of.
Block ChatGPT plugins from accessing your content/website