skysight-inc/HackerNews huggingface dataset:
I badly paraphrased what citation [1] said. I've dropped on an edit. (I have no dog in this race, other than thinking that Python is a pretty important software project. I didn't mean to editorialize.)
The Mamba in the Llama (distilling from transformers)
Re: the vote of no confidence [1]. Looks like most devs disagreed with the vote and have opted to let the council continue but transfer the "HR" Code of Conduct duties to the PSF.

[1] https://discuss.python.org/t/calling-for-a-vote-of-no-confid...
We ran some qualitative tests and there was a quality difference. In fact, benchmarks show that trend to generally hold: https://archersama.github.io/coir/

That being said, our goal was to make the library modular so you can easily add support for whatever embeddings you want. Definitely encourage experimenting for your use-case because even in our tests, we found that trends which hold true in research benchmarks don't always translate to custom use-cases.
I believe you'll find that's a direct quote from Winston Churchill. Or was it Dorothy Parker?
>This kind of drama seems to exist very specifically to programming language design and implementation.

There's that saying about the inverse correlation between impact of the project/the stakes, and people being drama lords.
Thanks for the note! We welcome contributions!
Back in the day there was a spat between Puritans and Congregationalists. So when one of them founded Harvard the other founded Yale.
Since we are discussing copyright law and not physical laws, it doesn't matter if a machine intentionally created new work. The machine does not get copyright. The operator or owner of the machine might.
Power Skiving is my new Spirit_Tool!

Thats fn awesome. I wonder if you can make a poor mans power skiving jig that can merge a lathe/drill press (Like a modern ShopSmith) as a jig that one can have machined CNC_d like by PCBWay, as they have CNC services [0]

And then PCBWay cant print the PCBs that run the Pi 3950 with the app to control the new Pi-in-the-Skiver.

So, if we can .STL a Jig to make that DIY skiver... that would be nifty.

[0] - https://www.pcbway.com/rapid-prototyping/cnc-machining/
ah apologies again, for this specific one i meant where users from the internet are allowed to upload to. (i am using presigned urls)
The follow-up article with ACLU's response is also interesting: https://reason.com/volokh/2024/08/16/the-aclus-response-to-m...
Wouldn’t the person themselves be in violation at that point and the owner of the code could go after them? (I know this wouldn’t be super practical but it seems to match what would have without an LLM in between).
Definitely agree that the trend is toward lower cost where a lot of these use-cases are unlocked. Especially as all the major 3rd party LLM providers scramble to ship better models to retain mind-share.
Any plans on allowing the use of a local LLM like Ollama or LM Studio?
Not that I especially want to defend Python, but can you elaborate a bit on why you find that chain easier to read? The Python version is straightforward enough - if it's just the absence of newlines you can write

hundred_or_less_even_seconds = [
timedelta(seconds=it)
for it in range(1, 1001)
if it <= 100 and it % 2 == 0
]

Also, I don't know Kotlin well enough, but is what you wrote going to be efficient? The Python version iterates once and creates one list (and you can actually turn it into a generator and make zero lists just by swapping the square brackets for parens); to my untrained eye, it looks like the Kotlin version is going to do more iteration and make four separate lists, three of which are just garbage to be thrown away immediately. Here that probably doesn't matter, but in other cases it might be a big problem; is there an easy/idiomatic way to avoid that?
To be honest I always thought that this practice (Google intentionally ranking its own properties higher than competitors) was going to be the one the US finally sued google over. Google said that its own properties ranked higher because they were higher quality, but I saw many instances where that was clearly not true, making me suspect there was a twiddler that up-ranked google properties for specific categories of searches like restaurant reviews, flights, and mobile apps.
I obviously can't speak to the politics of the Python Foundation (my favorite language and would buy every single person in this governance discussion a beer), but my point is that these types of monarchs generally have more (Taleb-style) skin in the game than someone who shows up later. More to lose (everything they've built), and so I would generally trust their judgement to care more about the institution as a whole, than about exercising power (which is the entire reason they have effectively given up power in the first place).
> I think this is the key point: reproduction is the issue, not training. And as noted in the study[1] reproduction doesn't usually happen unless you go to extra lengths to make it.

But Microsoft is selling a service capable of such reproduction. They're selling access to an archive containing copyrighted code.

To me it's the equivalent of selling someone a DVD set of pirated movies. The DVD set doesn't "reproduce" the copyrighted material unless you "prompt" it to (by looking through the set to find the movie, and then putting it in your DVD player), but it was already there to begin with.
OP's cofounder here. For us, OpenAI embeddings worked best. When building a system that has many points of failure, I like to start with the highest quality ones (even if they're expensive / lack privacy) just to get an upper threshold of how good the system can be. Then start replacing pieces one by one and measure how much I'm losing in quality.

P.S. I worked on BERT at Google and have PTSD from how much we tried to make it work for retrieval, and it never really did well. Don't have much experience with BGE though.
It's the BBC. 'boss' as a mafia trope is specific to the US.
He has repeatedly collaborated with Tanja Lange who is also credited as working on the original NTRU Prime design. The other collaborators (all respected cryptographers) presumably think the scheme is sound as well.

The developers of OpenSSH agree enough to use this scheme in OpenSSH.

DJB is high profile enough that all of his stuff gets a lot of cryptanalysis from experts. This isn't a rando proposing a scheme that no one can follow, and no one can be bothered to review. He consistently designs cryptographic systems which perform better and are less error prone to implement than systems designed by committees of people.
This move may not be what it seems. He may have sought protection from Putin and the charges are a cover.
> First AI-enabled TOUGHBOOK PC

Have we now reached peak AI hype?
I recommend you get specific. "AI expert" could mean anything, from a visionary who funds startups but had never touched code to someone doing a PhD right now in computer vision.
So the model here is, first it gets uploaded to a staging bucket, a lambda/callback checks the validity of the file and then puts it into a safe bucket of which content I trust to put in my server(backend)
Just so you know that will also mean companies like Disney will now have a new source of revenue. Hunting down randos who made pictures that look like they were made by someone who saw little mermaid once.
Postgres can be scaled vertically like Stackoverflow did. With cache on edge for popular reads if you absolutely must (but you most likely dont).

No need to microservice or sync read replicas even (unless you are making a game). No load balancers. Just up the RAM and CPU up to TB levels for heavy real world apps (99% of you wont ever run into this issue)

Seriously its so create scalable backend services with postgrest, rpc, triggers, v8, even queues now all in Postgres. You dont even need cloud. Even a mildly RAM'd VPS will do for most apps.

got rid of redis, kubernetes, rabbitmq, bunch of SaaS tools. I just do everything on Postgres and scale vertically.

One server. No serverless. No microservice or load handlers. It's sooo easy.
Back at uni, we had a 200-level ‘software engineering’ unit, largely introducing everyone to a variety of ‘patterns’. Reading the Gang of Four book, blah blah blah. You get the idea.

Our final assignment for this unit was to build a piece of software, following some provided specification, and to write some supplementary document justifying the patterns that we used.
A mature-aged student that had a little bit of industry experience under his belt didn’t use a single pattern we learned about the entire semester. His code was much more simple as a result. He put less effort in, even when taking into account his prior experience. His justifying documentation simply said something to the effect of “when considering the overall complexity of this problem, and the circumstances under which this software is being written, I don’t see any net benefit to using any of the patterns we learned about”.

He got full marks. Not in a “I tricked the lecturer!” way. I was, and still am, a massive fan of the academic that ran the unit. The feedback the student received was very much “you are 100% correct, at the end of the day, I couldn’t come up with an assignment that didn’t involve an unreasonable amount of work and ALSO enough complexity to ever truly justify doing any of the stuff I’ve taught you”.
All these years later, I still tell this story to my team. I think it’s such a compelling illustration of “everything in moderation”, and it’s fun enough to stick with people.
Wow, just wow. Reading all these makes me really worried about supporting anything built on Python long term. This creates an impression of a self-destructing dying community.
I agree that MS built-in search sucks... but so do the default MacOS and Linux search implementations.

I've said for a long time that Everything should be incorporated into core Windows, until then, at least it is available on Windows. Other OSes don't have an equivalent.
Kobayashi Maru Management (2018)
I believe, the noun "boss", when meant as "a person who exercises control or authority", does not imply legal status or purpose of any group or organization.

https://www.merriam-webster.com/dictionary/boss gives an example of "union bosses".
OP's cofounder here. Yes, we started with what we perceived as highest quality (OpenAI embeddings + Claude autocompletions), but will definitely make our way to local/OSS. The code is super modular so hopefully the community will help as well.
It's easier to compose functions in Kotlin. The python version you showed is more ad hoc, and is really one list comprehension.

I particularly like Kotlin's scope functions:

https://kotlinlang.org/docs/scope-functions.html
> Have we now reached peak AI hype?

We had already reached it with the "Oral-B GENIUS X with Artificial Intelligence" toothbrush.

[1] https://www.oralb.co.uk/en-gb/product-collections/genius-x
This is a great read Simon.
The first time I’d heard about Telegram being used was when some dude hacked those modern NeoGeo minis and was distributing CFW there. Figured it must be shady as hell. Have yet to see otherwise.
If you have access to the Copilot weights, you should consider leaking them. We shared our code with you because we wanted it to be free, not sold back to us at $10/month.
X will be blocked in Brazil unless X came back to the country
corrupt social and political and scientific discussion

as if lies and BS didn't exist. Be serious.
Everything is peak software. Extremely fast, can be bound to a global keybind to bring up anywhere. I use it so often now that I forget to recommend it to people sometimes.
I'll have to see the talk later. If a new input model is needed, why can't it be an incremental upgrade? I know that UI frameworks still have the traditional mouse down/up/move events, so they've been able to make it an incremental upgrade in that layer. If it's so incompatible that it can't coexist with the old model in the same connection, we make it an option for the client to request. If we're very very sure it's the future, we make it X11R8 or even X12 (the difference between X10 and X11 was smaller than this), we allow the server to support X11 and X12 clients and deprecate X11, and remove it after a very long time (if ever). All of this is still less invasive than Wayland.
It would be the same as taking a photograph of a copyrighted work. You own the copyright of the photograph. But you cannot sell it without permission, or you violate the copyright of the original rights holder.

Or maybe it would be the same as photocopying a book, where laws restrict the proportion of the work that can be reproduced without permission.

Or maybe it will be its own thing, where courts and government decide existing laws are insufficient and we need new laws.
> are you a Democrat shill?

Surely we can be adults enough to discuss this without the partisan edge.
2 million to retire isn’t going to do it even for an average worker. That’s not enough, I don’t think any sane retirement plans say it’s enough in the USA (maybe if you move to Central America or Southeast Asia?). It is nowhere close to FU money in tech, if you don’t adjust your lifestyle by a lot it’s only going to last a few years, and that’s not even talking about covering your own healthcare premiums if you aren’t old enough for Medicare yet.

People underestimate the costs of life in the USA and use median incomes as evidence, but that really just means it’s harder for those making median to get by, it’s tough out there these days.
Yes. And since we're talking about a legal matter, the color of your bits matters quite a bit: https://ansuz.sooke.bc.ca/entry/23
Lie to Fly: The Pilot Accused of Attempting to Down Plane After Taking Mushrooms
I think the same comment could be said about generative images, no?
I addition to the incentive to hide it and not stir up any obvious evidence, anyone with enough money to throw at the problem probably doesn't want to wreck the current financial system
Visual J++ was Microsoft’s Java
Yeah, I realize this will never be useful for much in practice (although maybe as some kind of client side prediction for cloud gaming? But likely if you could run this in real time you might as well run whatever game there is in real time as well, unless there's some kind of massive world running on the server that's too large to stream the geometry for effectively), I was mostly just trying to think of a way to avoid the issues with fake looking frames or forgetting what the level looks like when you turn around that someone mentioned.

Not exactly that, but Nvidia does something like this already, they call it DLSS. It uses previous frames and motion vector to render a next frame using machine learning.
Mid-City.
> Saying that Generative AI is a compression algorithm shows a lack of understanding of the issues and technology at play.

It's actually the other part of the parent comment that's wrong, and a large part of learning something is adding stuff to your dictionary.
I still can't figure out how people are using sqlite in server context.

1. How are they managing the concurrent writes? I know about lock or queue, but if my stack needs multiple server, then what?

2. How do they manage durable data store? Since sqlite doesn't have a replication mechanism, how do people handle losing transactions?
OP's cofounder here. The nice thing is that a lot of repos include the documentation as well, so it comes for free by simply indexing the repo (like huggingface/transformers for instance).
CRYSTALS-Kyber had the same team structure; neither was more "designed by a committee" than the other. Can you articulate what would make Bernstein's team more credible than the Kyber team?

I promise you, CRYSTALS-Kyber does not lack for expert analysis.

I ask all this because there's a pretty big "Schneier Facts" vibe to anything that involves Bernstein, and because I don't think you'll find many cryptographers --- probably even including on the NTRU Prime team --- that would sign off on his critique of Kyber and the NIST process. I could be wrong, but if I am, could you tell me how?
Try posting something critical of the cult on r/conservative. There’s nothing uniquely leftist about censorship.
That's kinda nuts, but kinda absolutely in line with all trends of the last 5 years. I remember similar shit happening in Linux community (the shit won, naturally).

But, anyway, who is the "Steering Council" and how come they have more influence than the 2 people who basically created python the language and python the community?
What's the definition of a conflict, then? Equations welcome.
may be search it's faster, but this thing is supposed to do it something like fortran and console. ;)
It only got snapshot once so far, and the comment is not showing up:

http://web.archive.org/web/20240829000336/https://discuss.py...

http://web.archive.org/web/20240829004501/https://discuss.py...
And not a good one. Digital artists' art outputs from a computer. And I "creatively and intentionally produce output" when I type prompts into Stable Diffusion.
I was typing out a comment about how integrating Everything with PowerToys Run would be amazing. Thank you for sharing this!
Show HN: I made the website to help people hug with each other in the photo
Hmm, I actually prefer Kotlin's version, but maybe that's just because it's what I'm used to:

(0..10).flatMap { x -> (0..10).map { y -> x * y } }

The flow of the data is more intuitive for me because you don't use variables before they're defined.

> Especially the yield keyword, such a wonderful way to write your own iterators.

Maybe I'm missing something about `yield` in Python—can it do something that Kotlin generators can't?
Now wondering if there is any relation to "Structural versus Pipeline Composition of Higher-Order Functions (Experience Report)":

https://cs.brown.edu/~sk/Publications/Papers/Published/rk-st...
How about you guys have a friendly with InstanDB folks. :-)

https://news.ycombinator.com/item?id=41322281

There are so fn many amazing tools being shown on HN recently - Im having ShinyObject Overwhelming Tool Envy constantly.

I wonder if there is a method where your system can also act as a memory scratchpad?

Like can I setup rules on how to route the proxied info into my postgres, as you say = so using the InstantDB instaml - I can create rules on how to log and warehouse the promtps.

Do you guys have bestpractice/schema template ideas for meaningful structure of the prompt /request warehouse?

(Whats that called? 'request schema'?)
The state shouldn't be allowed to censor chat services no matter how much encryption is used. E2EE might make the censorship less practical but it doesn't make it OK.
That said, the presence or absence of these individuals in specific threads is curious. The "all forms of copyright are unethical" people are all over the Disney threads. Surely anyone with such a keen interest in copyright law and policy would wish to comment on this thread as well, the topics being so similar?
Pricing link: https://skip.tools/pricing/
As someone in leadership, my ‘strong opinion held loosely’ on this, is that there’s absolutely no way to meaningfully build this skill in people, in a theoretical setting.

You can, at best, make them aware that there is such thing as “too much”, and “the right tool for the job”, and keep reminding them.

But nothing, nothing, comes remotely close to the real-world experience of needing to work with over-engineered spaghetti, and getting frustrated by it. Especially if it’s code that you wrote 6 months prior.

Juniors will always do this. It’ll always be the senior’s job to…let it happen, so the junior learns, but to still reduce the blast radius to a manageable amount, and, at the right moment, nudge the junior toward seeing the errors in their ways.
A crucial thing to remember in a shared code base is that taste is ultimately subjective, and to let it go when people do something different from you so long as the code is understandable and not objectively incorrect. Remember you're making something functional at the end of the day, not ASCII art.
I believe so are Ukrainian forces.
Strongly disagree with your analogy here. Lots of services are capable of doing things that are against the law but in general it's the actual breaking of the law that is prosecuted.

The closest thing to what you are suggesting is the Napster ruling, where a critical part was that the whole service was only about copyright infringement. In the Github case most people are using it to write original code which is not a copyright violation so there is substantial non-infringing use.

But what I think doesn't matter. The judge disagreed with that interpretation too.
> we found that trends which hold true in research benchmarks don't always translate to custom use-cases.

Exactly why I asked! If you don't mind a followup question, how were you evaluating embeddings models — was it mostly just vibes on your own repos, or something more rigorous? Asking because I'm working on something similar and based on what you've shipped, I think I could learn a lot from you!
> Which makes me question every single time I use the Windows default search box: How?

For better or for worse, Microsoft puts all this sort of stuff in PowerToys now. It's there for people who want it.
Elden ring derives from souls like games, and Sun Wukong's combat is in the same family.

Nothing wrong with it. Combat styles in gaming are inherently derivative.
Pythons list comprehensions are sort of fun, but occupy that space because the language designers throttled the alternatives pretty hard.

I used to write a lot of Python, I now write a lot of Rust, and the Rust iterator chains feel inordinately more powerful, and list comprehensions feel semantically backwards to me now: what you’re doing, what you’re doing it to, and whether to do it conditionally are all out of order.

To me, Python feels “expressive” because you can “do stuff to make it work” not because of any inherent design that lets you properly express what you’re trying to do.
I consider the phrase "the same people" to be a slur. It's almost always implying stereotyping.
https://www.ign.com/articles/how-black-myth-wukong-developer...

https://www.thegamer.com/black-myth-wukong-game-science-sexi...

https://www.gamepressure.com/newsroom/black-myth-wukong-devs...

https://www.gamedeveloper.com/business/black-myth-wukong-dev...

https://www.rollingstone.com/culture/rs-gaming/black-myth-wu...
Its a small example so the efficiency doesn't matter, but you could use sequences when it does https://kotlinlang.org/docs/sequences.html .

Also the map function lets you perform any operations in it. It was a simple example but you could need to perform something slightly more complex than using another standard library function.
> nice reminder that open models are useful to

You didn't say open _what_ models. Was that intentional?
I was looking at TLA a few months ago to consider what it would take to prove multiregion fail over worked correctly. Considering I'd never looked at it before.

I did not find it straight forwardly grokkable, which makes me sad. Maybe it needs a library of axioms? I feel there's probably a very nice way to work through it without ingesting effectively a graduate school course in proving software.

It really is just math and proofs, it shouldn't be so hard... to start.

Well, that's my take. Could be wrong. Might just need to hit the books.
IANAL, but I think that this case mostly has merit. Telegram is not end-to-end encrypted by default. So they have access to the conversations in group chats and non-E2E encrypted DMs.

One of the charges is refusal to provide information when requested by law enforcement. And he is a French citizen, so there might be an explicit obligation to cooperate with law enforcement when requested.

To me it sounds like he’s being done in for not putting E2E encryption on everything.

Whether he should be liable for what others do on his platform is a different matter entirely. But it has merit.
Is this the same Yelp that manipulates reviews?