skysight-inc/HackerNews huggingface dataset:
Show HN: Non application specific, desktop wide LLM Copilot
Hello HN. I thought it would be cool to have something like Github Copilot that works in any application.

So I made this thing where you can select the text you're typing (in any application) and press a shortcut key (Ctrl + . by default, not configurable yet) to include the selection into a prompt, send to an LLM (right now it's only OpenAI), and possibly insert the response back into the application you were in.

Also the same interface can be used to query indexed documents. Eventually I would have it watch a directory for changes so any documents added there are indexed automatically but right now indexing has to be done in settings screen.

I would appreciate your thoughts! You can test with your own OpenAI api key or you can register a test account and use my api key.
> Does anyone know how it prevents misuse? As "hate" can be construed in such different ways.

Its been carefully scrutinised and amendments submitted by many groups - including the Irish Council for Civil Liberties who support the final draft of the bill.

If you're reading about the context around the bill this blogpost is a bad place to start: the author is pushing a racist agenda & the blog misrepresents its own linked references.
We moved away from zapatos because the generated types are good only when selecting from single table. The moment we start selecting some subset of columns from a join of multiple tables, it is upto the developer to provide the right combination of pick and intersection of generated types and type safety takes a hit.

The solution we use right now is ts-sql-query [1] which supports automatic type-safety for complex joins, CTEs, subselects etc. I evaluated Kysely as well but found the sql feature set coverage of ts-sql-query better at the time.

I maintain a code-generator [2] for this project that can generate the table mappers from database schema similar to how zapatos.

We don't have as good support for lateral joins and deriving json from database though, which zapatos does really well.

[1] https://ts-sql-query.readthedocs.io/

[2] https://github.com/lorefnon/ts-sql-codegen
I've been tricked into signing up for Prime a few times. Luckily it was a free month each time, so I canceled as soon as I noticed and took advantage of the free offer. Thing is, over a certain value "free" means the free you get anyway and the Prime way. I stay away as much as I can. Hate them.
Show HN: Shelly.jl, a novel way to cd, ls, ll.. within Julia
With your username I'm surprised you think that atheism plays a role or is somehow a prerequisite.
Its merely the believe that there's no god.

This action is just as likely to be done by anyone not caring for the Catholic church, which includes (among others) agnostics, Muslims, hindi, christians that don't believe in hell, christians that want to be evil, etc.

It's safe to say that the person in question was a psychopath though. Nobody with healthy empathy could do this.
Stopford Building!
We can't be fairly certain of anything regarding that knocking sound. They have no idea what it was and were not certain that it came from the sub.
I'm sure it can be done but combining 'groundbreaking' with 'use case' is difficult for me to achieve. "What's the use case you have for something new?" "This is something that hasn't been done before, here's how we use it", etc.
The answer to "this can't be tested" isn't "don't test it". It's "don't use it".
In capitalist Sweden with stronger labor laws.
Red Hat is supporting a lot more subscribers, I'd think? I have no experience with Red Hat phone support, their product has always been great and their online resources answered any question I had.

My impression from access.redhat.com is that much of the written material comes from support given to actual customers.
I think there is a lot of the tech world that isn’t quite the stereotype / big tech type world we think of… it just doesn’t get much attention.
In other news, the sky is falling.
That "single, clear process" should be the website & app of the card issuer the subscription is through. The user should also be able to see clear limits & term durations via the card, before commute to the service, provider be-damned.
Facebook moved name updates to their account center and there are still incredibly basic bugs.

My girlfriend can’t update her name because:

You can't change your name right now because you've changed it in the last 60 days. You can still change the order. Your last name change was on December 31, 1969.
Isn't that mostly corporate US and Asia? I love this type of directness; no sugarcoating inconvenient facts. If someone's ego gets damage because of that, that sounds more like a them problem, in my eyes. Then again I am Dutch so we live and breathe directness...
Nah, I was more so ethically at odds with going to an institution for one thing while rejecting the core belief of the institution. Felt like building relationships based on lies.

Like if I went to a super active model airplane hobbyist meetup group filled with interesting kind people, so I could get the social benefits, but I actually believed model airplanes were silly and even more so that they don't actually exist
I'm sorry, are there really COs that think prisoners will teleport out of prison?
As the other commenter said, there are very low wattage AC units that work fine for very small spaces. I saw a guy on YT convert a tiny window unit into a mini split and that thing only used 800 watts I think. Which is only one or two solar panels you can fit on a van roof easily. He had to drain the refrigerant and resolder the copper tubing to place the radiator directly below the van, but it honestly didn’t look that difficult. Most challenging part is having someone drain the refrigerant who’s certified to do so
My negative stereotype of the "data scientist" is a person who doesn't want to "get their hands dirty" and doesn't do anything they don't want to do, such as

* check their code into version control
* use the same Python as the rest of the team
* produce a script that makes the monthly sales report every month instead of a Jupyter notebook that they run just once to make one monthly sales report

It's totally fair for someone like that to work with someone who has more programming experience but often the teamwork isn't there. If it is, you can really put your skills on wheels.

In a bigger or more established company you can have a lot of compartmentalization and people don't get excited about inefficiency but startups really need people who are team-oriented and will get things done regardless of job titles. In a company like that you should be working on tasks that "move the football down the field" and that will make your stock options worth something in the end.
which doesn't jive with what I'm seeing? Or maybe I still don't understand.

https://www.rr-fallenflags.org/amtk/amtk.htm

Amtrak still exists, though, maybe since it's a different logo?
Are you using the word "just" in a dismissive manner?
A human can be old enough that hearing reminders about computer data generally consisting of 0's and 1's, or that spare diapers are handy when an infant is around, or the 'R' on the gearshift lever standing for 'Reverse', or {etc.} ...may no longer be a good use of the old human's time.
The tin foil hat in me thinks that Blackrock saw little startups taking over the burgeoning crypto market and decided they needed to be #1 there too. So they have their pals at the SEC create a regulatory nightmare that beats down the startups and puts them on top.
I want to say I read a few years back some scientists were studying the possibility of using phages to fight super bacteria, apparently can evolve to be either phage resistant or antibiotic resistant but never both, or at least that was the gist of it I can remember.
To an end customer, it doesn't matter if a problem is under the merchant's direct control or if it's happening upstream. He is the merchant's customer, the UX he sees is how the merchant is choosing to represent itself to their customers, and therefore the merchant, and only the merchant is accountable if that experience is crappy.

Whether OP actually worked in e-commerce is kind of irrelevant. I've never worked in e-commerce either, and if CompanyX fails to process my payment and I can't buy something from them, I'm going to rightfully blame CompanyX for that, not one of their service vendors.
Because ironically, people in software undervalue software quality itself as a moat. Look at longstanding decade-plus projects, proprietary and open source.

Some projects will never, ever catch up to competitors because of engineering labor availability, but something widely overlooked is that project philosophies can dampen marketshare goals more than just throwing more labor at a product.

You can't toss more (engineer) monkeys at a problem and expect a better solution. There will be better engineers.

In fact, I think software as a differentiator is one of the most undervalued moats we have in the industry.

As an example I was thinking about recently: the Oculus platform. This is a VR computer strapped to your face with more compute power than decades of hardware we've had in the past that could arguably be more useful today than desktop hardware of yesteryear.

Yet, if you bluetooth pair a mouse to it, mouse scrolling doesn't work. You can't build meaningful VR apps for it outside of games, or, rather the environment itself isn't conducive to attracting people who will. I can't open a terminal on it. There's no text editor on it.

You can have all the raw power in the world, and if you have no sophistication of implementation, no nuance in software, no good experience, you're a brute wielding a hammer.

Software quality is a moat.
Schuster!
I can definitely relate, I felt the same way until someone suggested listening at 1.25x or 1.5x speed, depending on how fast the host talks.

FWIW here's part 1 of the podcast I mentioned S1E4: https://www.pushkin.fm/podcasts/revisionist-history/carlos-d...
> What’s next? Are we going to start patrolling for DSVUIs, breathalyzing submarine captains at random?

Are you saying that commercial marine pilots should not be held to be sober when operating a passenger carrying vessel?
Are you referring to American civil liberties unions, or Irish? I would recommend familiarising yourself with the bill & contributions to it from actual Irish bodies - its being carefully scrutinised & debated already, with a lot of nuance covered.
I'd been wondering when that was going to happen. There's got to be a point when you grow tired of Oracle, Rocky and the like taking customers from you using your very own sources. That said, it didn't seem to be a major issue before the CentOS mess they created all by themselves.
> Why bother with this? If email is the reset mechanism why does the industry care so much about getting passwords from users?

Because you may not have access to your e-mail from the device where you want to use that service.

For example, I don't need to have access to my e-mails from my tablet as I'm always reading/writing them on a computer with a keyboard. So I don't want to setup access to my e-mails from my tablet, as it reduces the risks of a bad app leaking them or leaking my credentials.
It's also illegal in the US as well. Just less protections, and thus harder to prove.
Yes, you're 100% correct, I do consider Software Development an art form (self expression).

I self expressed the most with drawings in my childhood, and I had this association in my mind with art/drawing/architecture.

In my late 30's I've taken to drawing again and consumed more architecture content to settle this matter in my head.
CMU is the same. The School of Computer Science had an an undergraduate admit rate 1 or 2% higher than Princeton when I attended. But agree that I only saw a handful of students at CMU who were accepted into MIT or Stanford. And they usually had scholarships or other reasons to attend.
> I would largely tune the media out on this. They have no more special insight than you or I.

The older I get, the more I think this.
Will you be the first to raise your guns and go to prison after?
Upvoted. I am quite positively surprised. While not all books might be online, less of them are missing than I thought.
Not sure why people keep suspecting a political motive. That Amazon is huge seems sufficient explanation.
I too find it hard to believe that there are COs who think.
Patreon is launching a free membership tier
Patreon platform is adding free membership tiers for the first time and will allow creators to sell digital products directly to subscribers.
This completely ignores globalization and the fact it was geopolitics that took the jobs away.
I imagine location is a big part. That said it's probably an unfair comparison to put a wealthy private school to a public school, especially when prestige is so essentially self-reinforcing. ASU is obviously a fantastic school, but it's ability to offer attractive faculty positions to top researchers will be limited compared to schools that are essentially the educational arm of a hedge fund.

You bring up Stanford, a school with a sort of comparable start historically would be Clark University (which might surprise some it's notability has somewhat waned in this century). I think Clark's trajectory would demonstrate the importance of location. Both UIUC and Stanford have enough nearby schools where it doesn't really compete heavily for resources, but also enough where you get strong collaborative efforts. There's also a technology bias in both who we're looking at as notable alumni, as well as where both schools are pretty much best known for. If we were talking about financiers, we'd probably see more UMich and UVA I'd hazard.
I still use amazon occasionally, but I think of it basically as interacting with a criminal that I know is completely dishonest and trying every trick to steal from me. Unfortunately there are sometimes still occasions when I have to hold my nose and do it, but they're getting fewer and farther between.
Explore the Future of Metaverses with SpaceXpanse Multiverse
Since when is Twitter dying? I hear people say they have stopped using it since Elon bought it, but I feel like that’s the case of the loud minority changing the perception of Twitter. I still use it every day and it seems to have a vibrant user base.
my test image is number 201 in the queue, so might as well just run upscayl locally. https://github.com/upscayl/upscayl
This bill bears no resemblance to the blasphemy laws. I'd recommend reading it before engaging in hyperbole.
That's Apple's largest market, with 40% of sales.

They have stores in 26 countries.
+1, trying to put it my head (disclaimer - I'm a rare user of local docker, as not being developer), hoping to get some insights which may be helpful in better setup for dev team
Email proves Microsoft's Activision bid is designed to eliminate Playstation
Reminds me of this: https://en.wikipedia.org/wiki/Society_of_Mind

> In his book of the same name, Minsky constructs a model of human intelligence step by step, built up from the interactions of simple parts called agents, which are themselves mindless. He describes the postulated interactions as constituting a "society of mind", hence the title.
Yeah, that upscale result is horrendous. It would never be acceptable in professional situations. It looks like something rendered in a 3D system with a cell shader plugin
I got banned from r/SanFrancisco for inciting violence asking why Chase Center attendees get tranquilized while aggressive people in the streets of the city don't.
Came for the science, stayed for the prose. You have a g̶e̶n̶e̶t̶i̶c̶a̶l̶l̶y̶ ̶p̶r̶e̶d̶e̶t̶e̶r̶m̶i̶n̶e̶d̶ talent for storytelling, that was a great read.
There's no such thing as "lower" when it comes to scammers - to them, these are simply targets with more efficient success rate.

Morality is a luxury. When you're living in the slums of some godforsaken city and have a family to feed, empathy and morality kind of fall lower in the list of importance.

My point - every organization should assume worst actors possible. "No way anyone would scam sick people" is just projecting your own moral standards onto others who have no reason to share them, and that attitude may even make them more vulnerable as targets.
I can't imagine anyone calling Obsidian sluggish. Do you perhaps have a lot of plugins?
I don't see a specific mention of what exactly they did that was violating the law. Employers are allowed to talk to their employees about why they don't think a union is in the best interest of everyone involved.

You are right though, it won't be a popular opinion, but a union's strength should not be impacted by taking down fliers in a break room. There are also laws saying that the company can't lie to employees about what a union could mean, but unions are not held to the same standard.
How about one single case? That would be enough to convince me.
Some of the redactions are single words trivially inferred from context; what's with that?
You're reading me upside down. I'm not arguing for retributive justice, I'm point out how our state and society are capable of a restorative approach when they want to be.

People are often saying that such an approach is naive or idealistic, when in fact we already have it. But only for certain relationships between criminal and victim.
Whole account or just prime?
Good thing the Supreme Court consists of more than one judge!
That's never been and still isn't mandatory
Discussed a few days ago: https://news.ycombinator.com/item?id=36335730
Try running a factory without its workers. Or a bar without its bartenders. Or a software company without its software developpers.
Topological Deep Learning: Graphs, Complexes, Sheaves
> Company founder chases a goal they do not understand, and convinces investors its right around the corner. In actuality they have no clue.

This can be said for many, many successful companies. Your category is too wide.
If Price's law is at play, then there will still be more competent people doing the work in Red Hat's support team than Rocky's.

How likely is it that there's someone on Rocky's staff of 80 who...

a. is an expert in the code, and has worked on it on customers behalf before

b. is able to effectively support a customer in addition to fixing a bug

c. is awake at the time you need them

d. isn't totally underwater with other issues

How likely is it that there's someone in Red Hat's staff of 20,000 (or whatever) who fit the same criteria?

You'll need experts in kernel, services, storage, networking, filesystems, virtualization / containers. Enterprise support shouldn't be done by generalists, it should be done by someone who has depth in the particular problem space.
kind of is, but harder to achieve in practice than it seems
Just watched the video in the Twitter post... What's the point of diving to the Titanic if all you have to observe it is that tiny window?
I think it's the JPEG compression ratio being different on that region compared to the rest of the picture. That video is great though; just how many containers do you want?!
What are some examples of latent scaler upsamplers?
This is all Federalist Society (which is still ostensibly non-partisan lol) networking. What they're doing is one of the great political scandals of our time, and hardly anyone knows about it.
The motto "if a company wants me to do something it's probably not in my best interest" has served me really well.
Fiber usually has no data caps but is not as common as other ISPs. The article talks about companies that offer cable and DSL services which are the most common connection types in the US. Those will often times have data caps.
It's not the first paper on the topic IIRC, but OpenAI's InstructGPT paper [0] is decent and references enough other material to get started.

The key idea is that they're able to start with large amounts of relatively garbage unsupervised data (the internet), and use that model to cheaply generate decent amounts of better data (ranking generated content rather than spending the man-hours to actually write good content). The other details aren't too important.

[0] https://arxiv.org/abs/2203.02155
Two epilepsy patients’ seizures greatly reduced in stem cell therapy trial
https://github.com/dotnet/roslyn/blob/main/docs/features/int...

Without interceptors, source generators can only add new code, but cannot modify any existing code. Interceptors enable method call substitutions.
Not always. One notable example which left me really impressed was letsenhance.io (admittedly I almost started working for them at one point but ultimately took a different route).
Figma Config 2023
Between "waste some power on a magnet" and "we're permanently stuck on the bottom of the ocean about to run out of air", I know which one I'd pick.
Here's how it works (POV NASA/JPL PM of 8 years):

* The institution has a slush / IT fund that provides basic windows laptops or MACs, right off the shelf with lots of security add-ons

* For any non standard equipment or software, the engineers on a project must seek money from the project's budget and justify that cost to the project manager. (not their long-term boss).

* Project managers have a fixed budget based on the proposal they wrote to the funding agency, usually US GOV, with a fixed cost for these kinds of purchases, agreed upon at the time the proposal was funded

* The limited project funds are used to purchase whatever is needed to satisfy the project's objectives. If the project's objectives are not satisfied, the funding agency can stop, or even pull back funding from the project manager

* The approvals for equipment purchases are, at least in theory, given based on merit, which is very often weighed using prior successful proposals. New types of purchases are scrutinized more. If it's traditional to buy CENTOS, then buying ROCKY would be more difficult.

* That precedent is key. Once it becomes clear that ROCKY is being used by successful teams, then the approval process is much easier.

That's why this is a big-ish deal (not huge, but nice to see). Now, people writing proposals and working on projects can point to this as precedent. The best outcome is when funding agencies see "ROCKY is better and more cost effective for the teams we've been funding", then you might get a funder to request that teams use ROCKY as part of the proposal requirements. This is almost nonexistent in federal contracts, but is quite common when dealing with military or commercial contracts.

That, and ROCKY can probably now have a NASA logo on their website under "customers", which adds a bunch of credibility to the project, honestly, whether it's necessarily deserved or not based on 3 desktops.
That's not true. For better or for worse, trademark protection specifically extends to beyond mere customer confusion to the murky areas of "tarnishment" and "blurring" in the case of "famous" trademarks.

There is a clause in trademark law (both Swiss and US) which allows owners of "famous" trademarks to pursue infringement even when the marks in question do not overlap in commerce areas. Apple's trademark certainly meets the "famous" standard.

In Swiss law, see Article 15:

https://www.fedlex.admin.ch/eli/cc/1993/274_274_274/en

In US law, see section (c) 1 of:

https://www.law.cornell.edu/uscode/text/15/1125

I imagine the reason for these clauses is, say, to prevent someone from making a Nike Swoosh Refrigerator with the purpose of selling units by drawing from Nike's luster.
Blog post from Huggingface: https://huggingface.co/blog/rlhf

Webinar on the same topic (from same HF folks): https://www.youtube.com/watch?v=2MBJOuVq380&t=496s

RLHF as used by OpenAI in InstructGPT (predecessor to ChatGPT): https://arxiv.org/abs/2203.02155 (academic paper, so much denser than the above two resources)