skysight-inc/HackerNews huggingface dataset:
Thanks for the feedback! After first load the assets should actually all be cached in your browser, so subsequent loads will be much faster (including full page refresh). But yes the initial bundle size is one of those things we could probably spend more time optimizing for.

We recently released desktop apps (and will hopefully release mobile apps soon) where this is of course a non-issue.

Could you tell me which keyboard shortcuts you are having problems with? Our intent is definitely not to hijack anything we don't use.

Thanks for the note on the friend finder. Unlike many other platforms, we don't actually require users to have a surname, so we felt that if privacy was a concern with regard to name the best solution is for a user to only include their first name. But I can see how that still isn't perfect from a privacy perspective. We are working on improving the way friends work on the platform and will try to improve that as part of it.

Thanks again for all the feedback, very helpful.
I personally have never heard of TabNine until now. Now that I have, I don't want my code to be part of that.
After you upload your brain, how do you pay them to keep running you?
I've developed several multifamily projects including my current focus, a 72-unit apartment development.

Proposals like these, while admirable, usually miss the mark and have little to no impact on housing availability because they fail to accept that housing development isn't just about zoning.

Impact fees, planning regs (traffic, parking, etc), planning delays, NIMBY fights, labor costs...these are all inputs into the question of whether a multifamily development makes economic sense for a developer.

There is a formula under which you can build market-rate and/or affordable housing (sometimes the same) and when that formula checks out, you see lots of development.

All of that has to work out to a cost per door and that cost has to be recouped in rents that pay for opex and debt. The fourplex in the article would cost $562,500/door. A very basic calc of the necessary rents would be $4,950.

California, particularly San Francisco, has pressures at every step of that formula. So if the Bay Area wants more housing, it has to be willing to look at the problem holistically.

- What role do planning review delays play in increasing the costs and perceived risk of acquiring a parcel and going through the process?
- What % of potential building sites are classified as historical properties?
- What are the parking, traffic impact and roadway requirements that multifamily traffic counts will have to mitigate/build for?
- What power do unions have to dictate building programs?
- Who can object to proposals?

I'm not suggesting that everything has to be Texas-style free markets, but to solve the problem one has to be willing to admit that it may require something a bit more comprehensive that simply changing zoning.
Here is the relevant portion of GitHub's terms of service (section D.4) [0]:

"""

4. License Grant to Us

We need the legal right to do things like host Your Content, publish it, and share it. You grant us and our legal successors the right to store, archive, parse, and display Your Content, and make incidental copies, as necessary to provide the Service, including improving the Service over time. This license includes the right to do things like copy it to our database and make backups; show it to you and other users; parse it into a search index or otherwise analyze it on our servers; share it with other users; and perform it, in case Your Content is something like music or video.

...

"""

Note that the relevant detail is that this applies to public repositories not covered under some free/libre license. I also assume this excludes private repos which might have more restrictive terms of use. GitHub has a section on it I just haven't read it in detail and so maybe the above covers private repos as well.

[0] https://docs.github.com/en/github/site-policy/github-terms-o...
Again, it would depend on the content shown. If you watch a 24 frame/second video on a 120 Hz computer display, I’m not sure you’ll notice much difference. If you use an extremely high contrast display to show a low-contrast image, you won’t see any obvious difference. If you use a 4K display to show a 240p video, you won’t see any obvious difference. If you watch a video with monophonic sound on a 7.1 sound system, you won’t hear any obvious difference. Etc.

If you look at a photo produced by an RGB digital camera, color graded in some standard RGB space, and then presented on an RGB display vs. a 10-primary display, you aren’t going to see any obvious difference, because the content does not take any special advantage of the medium.

In comparison, if you look at a bunch of synthetic images created to highlight the differences / stretch the capabilities of the displays, or e.g. a video produced by a whole hardware–software–author pipeline expecting the more capable display, the differences will be pretty obvious.
I think this might be because a large part of what Instagram filters do /is/ just color grading.
The necessary discussion was already sparked.
"I had reservations about ANSI. I worried that it would be a disaster and not merely a dubious advantage. All of my fears of the standard and none of the advantages of the standard have come to pass. Any spirit of innovation has been thoroughly quelched. Underground Forths are still needed. I said I thought the standard should be a publication standard but they wanted an execution standard."

"There is a problem that I first saw at iTV. It was the first time I have been in the presence of a Forth project that I wasn't contributing to. I saw how other programmers use Forth. They don't always get it right."

"Besides stacks plus colon definitions there is something else. There needs to be another book written about writing good code."

-- Chuck Moore, 1997
I continue to be surprised GitHub shows examples that wouldn't compile/run correctly. For example, the Wikipedia scraping example that the author claims is also the intuitive way to solve the problem assigns each row to the global variable cols instead of appending. Further, the following if statement appears to be mis-indented.
Yes, and it is also not an OK thing to do for the start-up. They were just lucky that nobody noticed their licence violations.
That seems counter to my understanding of diets. Do you have any sources about this? I'd like to learn if I've been making misinformed decisions.
I picture a future with hordes of millions of gullible fools who can be commanded like armies by social media demagogues.

I watched a stream of a London anti-lockdown protest the other day, and that's more or less what occurred to me.

https://youtu.be/hy7bmdDGKZ8

The stream is six hours long, but it's packed with moments such as:

35m — Crowd listens to some conspiracy theorist blame all the world's ills on 'Kabalah'

1h 26m — A face-spitting street altercation breaks out between an anti-masker and an alarmed doctor who apparently got caught in the demonstration.

2h 13m — Some insane woman with a bullhorn explains that WiFi and 5g will 'destroy your ovaries' with 'Communism' (or something to that effect, anyways).
Interesting! I've just loaded it up on my latest Firefox and I see what you mean -- there's quite a lot of input lag going on there. I mainly develop in Chrome but I've tested this in Firefox before and it was alright. I better do a bit of bug fixing tomorrow!
Nobody could grant if that thing is really windows code or a fake. Not without the sender self-identifying as a well known top MS employee having access to it. In that case the sender would be doing something illegal and against MS interests.

The result would be WINE having an advantage to redo the snippet of code in a totally new and different way and MS being forced to show part of its private code, that would expose them also to patent trolls.

Would be a win-win situation for Wine and a lose-lose situation for MS.
Brendan Gregg is the author of most of the utilities, not bpf/ebpf itself. You can find a non-exhaustive list here: http://www.brendangregg.com/ebpf.html
> How come there is no discussion of that at all?

Leaving aside the linguistic debate in the comments here, there’s often no fair or truthful or representative discussion of the ancient East’s legacy (or others) for reasons relating to imperialism, colonialism, and supremacist thinking. I don’t mean that in the explicit “we’re taking over your country way” but in the more subtle or implicit ways. Western world views and Eurocentric histories are everywhere, from academia to Wikipedia, and due credit or consideration isn’t given elsewhere.

The problem persists even in the very countries we are talking about, like India, since their earlier “original” Hindu culture was changed by invasions (whether from the Islamic Middle East or Christian Europe). My understanding is that when the British finally left India, their academic culture still persisted in the form of Western education that replaced earlier forms of education, textbooks sourced from Western publishers, taxpayer funding into this system, and the adoption of languages like Hindi and English as the official languages (rather than say Sanskrit or Tamil).

So to answer your question in the broader sense beyond this article and discussion, there is no discussion of these things in part because of the power of Western spheres and in part because Eastern spheres themselves haven’t retained their own knowledge or promoted themselves adequately either domestically or internationally.
Are they actually using the source to make a derivative/fork though? If reusing the code in another codebase then definitely attribution would be required. But using it as a dataset seems a bit different-- a grey area. Though I would still agree that the right thing to do would be to have an attribution area, even if it was thousands of entries long. Whether technically required by the license or not, the spirit of these licenses I think would come down on pushing for attribution regardless of the nature of the re-use.
S3 Reverse Proxy with Get, Put and Delete Methods and Authentication Integrated
So.. I can see that this ML model is generating some code exactly same as the original dataset, which definiately a problem. A defect model, sure.
Beside that, I cannot understand why the overall idea, using open-source project to train a ML model that generates code would ever be a problem. We human beings are learning as the model, we read others code, books, articles, design patterns... and it becomes part of us. Even the private code, I mean like you join a company, you read their codebase, methodology and it becomes something yours. Copyrights generally not allow you to "copy" the original, but you can still synthesize your own code -- cutting, combination, creating based on whatever you have learnt.
The method of how a ML model works is differ from human brain for sure, but I cannot see why this would be a problem, or why an organic would become something superior that what they do is a creation and a ML mode is scraping your code. What is the difference here????

And also recently we saw GPT that generates articles, waifulabs that generates ... waifus... to be honest I cannot perceive the difference since all of them are "learning" (in a mechanical way of human created knowledge.
Did Moore's Forth have case-sensitivity, which would be inherently faster?
This is not such a big problem in reality because the output of Copilot can be filtered to exclude snippets too similar to the training data, or any corpus of code you want to avoid. It's much easier to guarantee clean code than train the model in the first place.
It's on https://docs.github.com. Of course it's by github.
> As a human, I am allowed to read copyrighted code and learn from it. An AI should be allowed to do the same thing.

This is a very false equivalency. AI and humans are different. First, AI is at best a slave, and likely a slave of a capital. Second - scale makes difference.
How fast should an unoptimized terminal run?
A legal framework that enables the land you do have to be less like Atlanta and more like Paris.
GitLab is pretty good: https://gitlab.com

Many of its features are available in the self-hostable free and open-source version, GitLab CE.
Thank you! That was exactly what I was opting for — I was looking for a good terminal font for this project which is nice and rounded, and I came across Brass Mono, which seems to fit the job really nicely. Though it unfortunately doesn't contain all of the lovely characters from 80s machine charsets, it'll fallback to your system's monospace font so you can use any Unicode character you like!
I'm looking for a new place, because of GitHub's new policy of not supporting password authentication.

I sometimes code from devices which are not my own and on which key management is a major impediment and accessibility issue for me.

Does anyone know how those listings were generated? I like their simplicity, and would like to do something similar.
GitHub has more visibility and yes, more scrutiny. But that doesn’t mean TabNine would’ve survived without scrutiny, especially after an acquisition. The fact is, size matters.
There are plenty of shops that apply rigorous, formal methods to software design. Military contractors providing software for mission critical systems do this (or used to). Some will cut corners, but they are supposed to follow the methods and procedures the contracts specify.

It isn’t common in private industry because it’s typically deemed unimportant.
If program synthesis is as far advanced as you say it is, how come I make six figures doing something that you seem to be arguing can be totally automated?

The reality seems to disagree with your statements. Program synthesis is as of right now limited to academic research and highly narrow use cases. If the opposite was true, I’d be out of a job.

I think copilot is probably the first product of its type that might make its way into the hands of users en masse.

Edit:

Btw I was referring to program synthesis based off informal natural language spec. Spec inference is part of the synthesis pipeline, I think it’s not fair to just ignore that problem.
Formal methods may work for civil engineering where the usual workflow is gathering requirements, developing a detailed project and building the thing, with the implicit understanding that any little change will mean recalculating costs and deadlines.

When your customer decides to pivot the fintech app you were developing into a cryptocurrency investment tool, it makes no sense.
dabble db went tragically obscure. they were arguably the first to have a server driven ui with state tracking done in the server. It was a brilliant solution to complex state at a time when spas were just crawling out of the ocean. The biggest challenge was scaling the management of all those individual user's states. Meteor and elixir liveview both are doing this now to varying degrees of success.
It's not easy to quantify but you can't just dismiss formal methods because we don't know how much development and maintenance overhead they would eliminate.

How much revenue something generates is a poor metric. Otherwise, we all would probably be programming in PHP.
The feature of TabNine that uses the "public" dataset is optional. It can also provide completions only based on local code. That optionality is important.

Also, tabnine has a smaller scope; you type "var " and it suggests a variable name and possibly the rest of the line, like autocomplete has been doing for decades. Perfectly normal.

My understanding of copilot is that you can type "// here's a high-level description of my problem" and it'll fill out entire functions, dozens of lines. The scope is much grander.
Yes, actually, as Moore's initial FORTHs were written for machines that only had a single case. That said, the above poster isn't quite on the mark, either.
I did not like this article because it was superficial, clickbaity, and did not explain the main idea with a worked out example.

> Charlie inverted the problem in a similar way to the TRIZ practitioners — if he wanted to kill pilots, he could get them into icy conditions whereby they couldn’t continue flying, or put them in situations where they would run out of fuel and fall into the ocean. So he drew more applicable maps and better predicted the weather factors that were relevant by keeping in mind the best ways to do the exact opposite of bringing his pilots home.

This tells me nothing about how Charlie Munger avoided planes crashing. There has to be more to this than this trite summarization.

Can someone shed some light on this and explain why this is insightful.
I imagine people would like a jsfiddle style way of saving things with a url that you could share with others though...
If they're condos, you can own it, at least as much as you can own half a duplex.

If they're rental units, that's also ok, more supply brings down rents and lower rent causes more landlords to sell. Extra supply does add downward pressure on prices one way or another.

I don't see where the "value destroyer" is.
Yep, first load isn't very quick, as there are a lot of things that need to be loaded which are never going to be very small. However, first load only happens once. After that the assets should be cached in your browser and loads should be much faster.

There is definitely something to be said for faster first loads, but unlike many other sites on the web, ours is of course optimized for consistent/repeated use, so in the scheme of things first load is negligible compared to making sure it runs fast while actually using it 100s of subsequent times, which (I hope) it does.

Definitely wouldn't let that discourage you from learning React. If you want a smaller bundle size, you can use Preact[1], which is nearly a drop-in replacement for React's runtime but much smaller.

[1] https://preactjs.com/
You should find it works! Once you type run, the caret will disappear as the program does nothing infinitely. Press Esc to break the program to carry on!

But it should be 20 goto 10 if you want to print the same text again and again.
Truth matters.

You got me quite interested in your worldview, can we please continue this discussion a bit? I hope it doesn't take too much of your time!

So, you're saying that you have the same set of core morals as a guy returning family honor by beheading his daughter[1] at night over her plans to run off with her boyfriend?

[1] https://www.nytimes.com/2020/06/07/world/middleeast/honor-ki...
Are monitor lizards chiral? Or do they dig enantiomeric nests?
How much help your unit tests if your customer pivots from their original idea?

Is that a reason not to write unit tests in the first place?
Well, I did try to warn the Copilot fanatics [0]. They just downvoted me days ago and here we are. We have a GitHub Copilot backlash against the hype squad.

The GitHub CEO is no where to be found to answer the important questions on software licenses, copyright and the legal implications on scraping the source code of tons of projects with those licenses for Copilot.

The fact you can only use it in VSCode and with Microsoft having an exclusive deal with OpenAI screams an obvious 'embrace and extend',

As for 'Extinguish', they will need to be very creative on that.

[0] https://news.ycombinator.com/item?id=27685104
It's a reflex with some people and that's OK.

Not everyone has the patience and ability to discuss their objections in a public forum while their rights are being violated (in their view).

Some people have a passion and a very strong belief in their ideals and I applaud them for following through with it, even if I don't necessarily share their opinion on the matter.
> recording music that wasn't digital into a digital format is fair use

If you’re doing it from an analog format you bought for your own use (format shifting), it is fair use.
Yeah it looks like lava e.g. gas....

I've also read back with the last giant spill that the chemicals they use to 'clean up' really just break the oil down into smaller droplets so it falls to the floor. if that's true it almost sounds worse like micro plastics.
I wanted it to be as lightweight as possible, with only a few support libraries to show the Markdown content for docs etc. It's all done with vanilla HTML/CSS/JS and I put the new JavaScript modules functionality to good use to make my project less messy/more maintainable. The BASIC version is actually all custom; it's my own style with a few additions/changes to normal BASIC, and it's all tokenised/parsed/evaluated/executed in my JS code.
High frame rate benefits all interactive content, and touchscreen interaction especially. High brightness and contrast benefits most content generally and practically all content under bright viewing conditions. But even if you upgraded all of your content to high gamut, I think only a small fraction of it would benefit in any noticeable way.
Did I say anything about paragraphs or chapters? Didn’t I specially write there is nuance?

And for your strawman, the assembly of uncopywritable components into a copywriten work, would still be a violation.

So we agree that copywriter is somewhere between the paragraphs and chapters and the book. So why are tiny code excerpts “a problem”?
Alright, I smell a submarine PR campaign here. Who's trying to make "metaverse" happen and why?

Some initial suggestions:

https://tmsearch.uspto.gov/bin/showfield?f=doc&state=4803:l4...

https://tmsearch.uspto.gov/bin/showfield?f=doc&state=4803:l4...

https://tmsearch.uspto.gov/bin/showfield?f=doc&state=4803:l4...

Although they could just be people trying to get ahead of the curve.
Seems like you fell for it https://www.reddit.com/r/wallstreetbets/comments/oci3qd/week...
Linear Algebra – Math for Machine Learning
The argument I was responding to--made by the user crazygringo--was that GPT-3 trained on a model of the Windows source code is fine to use nigh unto indiscriminately, as supposedly Copilot is abstracting knowledge like a human engineer. I argued that it doesn't do that: that GPT-3 is a pattern recognize that not only theoretically just likes to memorize and regurgitate things, it has been shown to in practice. You then responded to my argument claiming that GPT-3 in fact... what? Are you actually defending crazygringo's argument or not? Note carefully that crazygringo explicitly even stated that copying little bits and pieces of a project is supposedly fair use, continuing the--as far as I understand, incorrect--assertion by lacker (the person who started this thread) that if you copied someone's binary tree implementation that would be fair use, as the two of them seem to believe that you have to copy essentially an entire combined work (whatever that means to them) for something to be infringing. Honestly, it now just seems like you decided to skip into the middle of a complex argument in an attempt to made some pedantic point: either you agree that GPT-3 is a human that is allowed to, as crazygringo insists, read and learn from anything and the use that knowledge in any way they see fit, or you agree with me that GPT-3 is a fancy pattern recognizer and it can and will just generate copyright infringements if used to solve certain problems. Given your new statements about Copilot being a "fancy pen" that can in fact be used incorrectly--something crazygringo seems to claim isn't possible--you frankly sound like you agree with my arguments!!
Four reasons I gave up Linux each time I tried:
1. Laptop battery falling to half what I get under Windows.
2. No full-disk encryption, there is always one partition that stays in clear.
2. There is no hibernate.
3. I need to run Office apps (I can't force my employer and all our clients to suddenly forget Office).

The day these issues are resolved, Windows is no more. To me at least.