skysight-inc/HackerNews huggingface dataset:
Show HN: Codebasechat.com – Make a GPT chatbot for any GitHub Repo in 30 seconds
Hi HN - I’m excited to share a fun side project we built recently

CodebaseChat.com is a tool for building a GPT chatbot for any GitHub repo in 30 seconds

It can be helpful when onboarding to new codebases, when needing help understanding system design, asking for less technical explanations of functionality

We’ve been heads down building Context.ai, the analytics platform for LLM products. When OpenAI released GPTs earlier this month, we built one to answer questions about our growing codebase. It worked so well that we decided to open source the utility for other dev teams

How it works:

- Submit a GitHub repo URL at CodebaseChat.com

- We’ll give you a repo.md file

- Upload that to OpenAI’s GPT builder

- Voilà! You can ask your GPT about your codebase

Don’t have ChatGPT Plus? No worries, you can use OpenAI’s Assistants Playground completely for free.

Have an idea to improve the project? Submit a PR at https://github.com/contextco/codebasechat
Well math solving is exactly what the rumored Q* is aiming towards too.
I don't think it'll take more than 2 years before some LLM + RL system can take the gold medal.

I think companies like OpenAI are aiming for something far more ambitious, like solving a millennium prize problem (even with human assistance). That's the kind of news release that'll add another $100 billion to your market cap.
How nice to not be a carpenter.
Someone did that to my old HP printer a couple times, but there were settings to only accept emails from specific addresses that I eventually turned on.
Sounds like it could be an effect of a conservative Japanese business culture. For example Sony is one of the few companies to still manufacture high-end smartphones with a headphone jack.
You can just ask GPT-4 to rewrite it using unicode characters:

Rewrite this post using unicode characters:

> The IMO are a bit more involved...

Answer:

> The IMO are a bit more involved...
e.g. IMO 2023:

> Problem 1. Determine all composite integers n > 1 that satisfy the following property: if d₁, d₂, ..., dₖ are all the positive divisors of n with 1 = d₁ < d₂ < ... < dₖ = n, then dᵢ divides dᵢ₊₁ + dᵢ₊₂ for every 1 ≤ i ≤ k − 2

Although ChatGPT 4 makes a pretty decent start on this already:

> To determine all composite integers 𝑛 > 1 that satisfy the given property, we need to closely examine the condition set forth: for a composite number 𝑛 with its divisors d₁, d₂, ..., dₖ where 1 = d₁ < d₂ < ... < dₖ = 𝑛, the property dᵢ divides dᵢ₊₁ + dᵢ₊₂ must hold for every 1 ≤ i ≤ k − 2.

Let's break down the problem:

1. Composite Number Requirement: We are looking for composite numbers, which are integers greater than 1 that are not prime. These numbers have more than two distinct positive divisors.

2. Divisor Property: The property dᵢ | (dᵢ₊₁ + dᵢ₊₂) means that dᵢ₊₁ + dᵢ₊₂ is a multiple of dᵢ.

3. Systematic Examination: We will analyze this property systematically for composite numbers starting from the smallest composite number (4) and going upwards.

Let's start the analysis:

- For 𝑛 = 4, the divisors are 1, 2, 4. Here, 1 | (2 + 4), so 4 satisfies the condition.

- For 𝑛 = 6, the divisors are 1, 2, 3, 6. Here, 1 | (2 + 3) and 2 | (3 + 6), so 6 satisfies the condition.

- For 𝑛 = 8, the divisors are 1, 2, 4, 8. Here, 1 | (2 + 4), but 2 ∤ (4 + 8), so 8 does not satisfy the condition.

Let's implement a systematic method to identify such composite numbers up to a reasonable limit (let's say up to 100 for a start) and check if they satisfy the given condition.

The composite integers greater than 1 and up to 100 that satisfy the given property are: 4, 8, 9, 16, 25, 27, 32, 49, 64, and 81.

Each of these numbers has the characteristic that for all their positive divisors d₁, d₂, ..., dₖ (where 1 = d₁ < d₂ < ... < dₖ = 𝑛), the condition dᵢ divides dᵢ₊₁ + dᵢ₊₂ is true for every 1 ≤ i ≤ k − 2.
Companies do not as a general rule value tech writers. They seldom hire them.

Tech writers get paid less than other profiles, so why would you do it if they company did hire them.

PMs do not set time aside for programmers to do tech writing, nor do they set time aside for them to talk to tech writers if tech writers are hired. Thus programmers are taught to blow off tech writers in favor of making their ticket move through the scrum board quicker. n
Are there UX changes? I haven't noticed any.
It will run in flex mode: 8 GB soldered + 8 GB on the DIMM in dual channel, 16 GB on the DIMM will run in single channel.

This is slower than dual channel.
Why was the movement for push on ios then, if it never worked? Is it a kind of thing that everybody “wants” but no one buys?
There is a difference indeed, but that difference was completely ignored when the referendum slogans were shouted precisely to lie to people that if they left the EU they would be in the same position as Switzerland and Norway which is an appealing prospect.
As predicted, you've barely read a word I wrote. I'm not going to waste any more time trying to educate you.
I know a chap that uses it for Arduino-powered drones. He is not a coder.

I agree that projects like OpenCV should be better-supported.

There are a couple of issues, though, that always crop up, when talking about supporting open projects:

1) I don't know of any corporation, anywhere, that actually donates for no reason at all. There's always a hook. Sometimes, it's just brand-building (logo on the free swag stuff), sometimes, it's to attract future employees (for instance, donating to a project that is maintained by a certain set of students from a college curriculum, etc.), sometimes, it's to influence "hearts and minds," and sometimes, it's a pure investment. They need a self-interested reason.

2) I don't know of any corporation, anywhere, that donates, with no expectation of influence. That's one reason why lobbying is such a big deal. There's a fig leaf of "no quid pro quo," but everyone knows that the donator is expecting a return.

3) I don't know if anyone has noticed (
), but the corporate environment tends to be, just a bit, on the competitive side. I know many corporations may not be willing to donate to a cause that will serve their competitors, as well as themselves.

I think that foundations help. They can set up a "step and repeat" page, with donors, but keep the branding (and influence) off the actual donations.
The idea that command keys would consistently be slower sounds insane to me. When e.g. writing I regularly save my documents by keying in ctrl-s and that is demonstrably much faster than if I'd have to aim the mouse at the tiny File menu and the click and go down to "save".
This is the one I’ve got - pleased with it.

Brother Compact Monochrome Laser Printer, HLL2390DW, Flatbed Copy & Scan, Wireless Printing, Duplex Two-Sided Printing, https://a.co/d/8vMWJCK
I'm now doubly grateful I decided to keep my parents on their current provider instead of merging it all into GDrive!
Great idea! I never even thought of using GPT-4 to do this.
Hubris basically. That's the typical downfall in Greek mythology. Even being a demi-god won't save you from hubris.
How does this relate to the "IMO Grand Challenge" https://imo-grand-challenge.github.io/ ? Is this a new name / formalization, with prize money attached, or is it entirely independent? (E.g. I see Kevin Buzzard and Leonardo de Moura listed on both that page and at https://aimoprize.com/supporters)
I got my degree in 2020 and still used Beej's guide for the Socket API

There was nothing like it elsewhere
Might be an obvious question but have you changed the drum?
Given that most computers I see have a billion tabs open, I'd guess most of them.
I wouldn't worry. What this means is that mathematics as a skill is going to be back big time, because now you can actually use it everywhere.

Mathematics departments have been closing down for a while now, I think. I think this trend will reverse now. Mathematics itself will change in the process, but for the better.
There's also the Tex Shinobi, which I've been using for a long time now and is the best keyboard I've ever used.
https://tex.com.tw/products/shinobi?variant=16969883648090
Axum 0.7.0
I wouldn't worry about it. We're going to need humans with specialized mathematical training in the loop.

Besides, these things have a way of surprising us. Before compilers, people wrote machine code by hand. It would have been reasonable to think that compilers would reduce the demand for programmers, but the opposite happened.
general intelligence will become cheap?
and so your suggestion is to develop skills outside of skills?
Does that handle the enclosure the board goes into at all? I haven't been in the game for awhile and am curious. We always had different behavior with our enclosure and of course when the sometimes poorly designed enclosure caused strain on the board that added a whole new layer.
Meanwhile commercial dishwashers take all of three minutes per cycle. I would recommend buying commercial versions of any appliance if you're able. Parts are replaceable, made to be serviced, not choked full of eco marketing, or incompetent regulations which add to more waste in the long run.
Outside the Box: AI and the Problem of Being
I mean, this is hardly the first time this has happened; US and other foreign companies have incurred the wrath of the unions in the Nordics before. Why would the US _government_ retaliate against the Swedish _government_ for a dispute between the Swedish unions and a company? What form would this retaliation take? Bear in mind that, for practical purposes, even if for some reason it wanted to (and again, why would it?) the US couldn't really impose trade sanctions on Sweden without starting a trade war with the Common Market as a whole.

As for other companies entering the market, like, this is a thing companies know about the market before going in. This isn't something new.
Tell HN: We should celebrate 80th birthdays on HN
People are often celebrated when they’ve died on HN (like everywhere). But this creates a sense of continued loss that impacts the collective psyche. And also - it misses an opportunity to praise people who’ve they’re alive.

I propose we start celebrating 80th birthdays for notable people in the tech/science community. It’s a way to celebrate people while they’re here, as well as to see a continual stream of people that are making it into old age (and are still going).
> An update is coming "soon" where you'll be able to mount 9P2000.L servers from guix containers, something that is currently impossible due to Linux mount namespaces not allowing anything but basically fuse.

Isn't there a 9P FUSE client to bridge the gap?
>I want whoever is physically close enough to the fridge to leave the door open to be notified.

Same - although I have experienced an interesting extension of this: HomePods now have alarm detection (the intention being to detect a smoke/burglar alarm). It is also triggered when the fridge is left open, leading to everybody in the household getting a critical alert (which ignores silent mode).
They replied to this:

> Even chatGPT 3.5 can be better than them.
Why harder? My point is, by using some DL framework, you would make this simpler. You don't need to have a big NN for that, or even any NN at all, and could still use some DL framework, and I would assume this is still easier and probably faster. E.g. finding what pixels are a specific color, this would be sth like:

torch.all(image == torch.tensor([255,0,0]), dim=-1).nonzero()

To get all pixel pairs (x,y) where the color is red (255,0,0) of the image of shape (width,height,channels).
An interesting read on grit that was popular on LessWrong, despite not being posted to their platform - https://docs.google.com/document/d/1CyHvCwWh_BwukwNE-y61oBCj...
Against Cortical Reorganisation
A blockchain provides nothing of value here, what you need is a mechanized proof, and once you have that the blockchain in no way contributes to the trust.

The trust in a Coq proof comes down to "do you believe that the 8kloc kernel faithfully implements CiC+extensions and is this metatheory a sound type system?". As it is today, anyone could claim or commit a proof bounty by posting a Coq / Lean file / project online, all that's required is an email.
Unfortunately fixed gauges (feeler gauges, spark gap tools, profile gauges, wire gauge tools, bolt sizers, etc) didn't make it into any of the top-level categories, so they are lumped in with the mess of "Other Tools": https://www.periodictableoftools.com/Categories/Other.html

Some day I might create some new rows, because there are a lot of important categories that are completely absent.
The union is doing this because they have members working for Tesla which has refused to sign a collective agreement for 5 years. Not all workers there have to want it, not even a majority.
I’m going to laugh when they say that that’s the name of the feature. A “my drive”
You can. For example: https://pytorch.org/edge (Just an example, there is a lot more, similarly also for TensorFlow.)
I use 3D modelling software in the browser
The line between backups and live data has become somewhat blurred since file versioning was intruduced to protect against overwrites and deleted files can be recovered. Why were these features introduced in the first place if not to provide some of the features that backups have traditionally been used for?

Clearly, what happened here should not have happened. It doesn't matter whether you call it backup or cloud storage. Google promised to store that data. They failed to do so.

My backups are supposed to protect me against my own mistakes, not against Google's mistakes. Protection against Google's mistakes should be Google's job. They should have redundancy. They should have backups.

If they provide a storage system that does not reliably store data, they should put a big fat warning label on every single one of their products that uses this storage system:

Do not ever trust us to store your data! It could be gone any second. Always make offsite backups!

At the end of the day you are right of course. But the users's mistake is not actually to have mistaken live data for a backup. The mistake is to think that Google reliably stores data when in fact there is absolutely no contractual obligation for them to do so.
this just keeps going into a captcha loop for me, tried multiple browsers; anyone else?
This site links to Wordnik, which is a great site, but lately I've been using WordHippo to find similar words or narrow in on a word that better fits what I'm describing. The way it groups by meaning is much more convenient. Rhymezone (which does more than rhymes) was my favorite prior to finding WordHippo.
https://www.nasdaq.com/articles/digitized-gold%3A-why-going-...
I don't think anything came out of the Netflix prize, did it?
I wrote an LD_PRELOAD library which can replace binds to a TCP port with binds to a UNIX socket: https://github.com/AGWA/ldpreload#ldpreload-unixbindso
> Basically, if we accept the notion that it's hard for someone to switch from Chrome to Firefox we accept the notion that it's hard to move anyone from any ecosystem just on the grounds of them not wanting to touch their muscle memory even a bit. You get to the same option in three to four clicks through different menues. Is it that hard?

As an emacs user in large part to avoid this, yes it us that hard.

It pains me to say that though since I want people to switch to Firefox so it can win against these spyware-laden browsers.
What does a printer do? It prints... Thats what people buy it for to print.. Who wants a garden hose with iphone connection?
The GP didn't specifically call out Russia, seems reasonable that they may very well have had Russia + allies in mind.

It is worth noting that many countries have poured money, weapons, training, and in all likelihood special forces combat troops into Ukraine. Ukraine clearly has the numbers and devotion to fight a long, deadly fight that has in some areas devolved into WWI-era trench warfare.

It isn't as simple as the Russians struggling with a 3rd rate power, however that is measured. Ukraine has the numbers and the will, allies provided resources/training/intel, and Ukraine had the tactical advantage of protecting their homeland rather than being the invading force.
That's why the EU mandating usb-c makes me uneasy too.

I guess we're never getting better than usb-c?
This is footprint. It’s unclear whether the full footprint was sunk to your depth. Regardless, that’s much closer than I anticipated it would be, which is pleasantly surprising.

We can refine the estimate as well: surface soils probably make up half of the depth (25 ft) and granite rock the other half (30 ft). Blended unit weight would then be ~150 pcf. About 327,000 short ton.
I hate my printer, and it is because of all of the options. So complex that it doesn't work. They would be better just by not having features. Canon, your printer is the worst thing I've ever used.
The reason is quite straightforward. The survival of the human species depends on it being this way.
Some computer BIOSes had this feature where they would analyze the plugged in Ethernet cable using this signal reflection to determine if there is a break in the cable, and would tell you approximately where (in meters).
AI Software Engineering? Baker?
GitHub: Can no longer search code without being logged in
This. Math proofs are useless in 99.99% of situations because they are far too expensive to actually use in production. Only something like AWS would use formal proofs to verify some system property for reliability.

With some super-math Q* bot, a mathematician could presumably create actual proofs/simplifications for complex real world problems/systems at very affordable time and costs (in weeks not years).

The mathematician in this case is far less skilled than the bot, but that doesn't detract from their market value.
Most programmers are way less skilled/smart than the library authors that they rely on, that doesn't stop them from earning $$$, because they are useful.
If you take installable Progressive Web Applications: https://FreeSolitaire.win
I've done my best to move away from Google the last few years but Drive is the one that I can't kick as so many clients share documents/files with it.

People always looked at me as if I was wasting my time for taking a monthly takeout backup and storing it on a local disk.

At times I thought I might be too, but now I'm glad I did it.
In what section does it say it's opt-out? Not doubting your statement, just that I don't see it any of the sections I looked through.

If you mean the sponsored ads on the New Tab page, then yes they are indeed opt-out. But the person who I responded found the browser pop-ups annnoying. That is a part of Brave Rewards. The New Tab page ads are not a part of Brave Rewards unless you explicitly enable that in the settings (second section of the link you mentioned).
I have like 8 apps on my home screen and slice and dice is one of them. Best 8 bucks I've ever spent on a video game period.
Not a bad idea, but why not 50th? Few people make their world changing splashes after that age, and they're generally not into the "embarrassing opinionated" stage then, either.
You are looking at this the wrong way. Moving IT to offshoring companies is a risk mitigation strategy, now if critical systems go down it's someone else's problem.
> Less electric cars, less good for the environment.

> € ~100M/year in tax lost from sales.

How's that work? Like, there are other manufacturers; you'd assume VW/Hyundai/BYD would just pick up the slack.
Their current ambition is to be able to solve school math, which is quite far away from solving unsolved conjectures or math olympiads. I really doubt that any of this is within LLM/transformer scope, except maybe in some auxiliary sense to other, much different architectures.
An LD_PRELOAD library would probably work. I wrote one which can make servers listen on UNIX domain sockets (https://github.com/AGWA/ldpreload#ldpreload-unixbindso) which would be a good starting point.
For people who first read this: the sweet part is in the comments :)
This is in fact a description of the economy of some western nations, like the USA.
Yeah, I like the conclusion from the article I linked:

> Unlike claims by either keyboard or mouse advocates, when I do experiments myself, the results are mixed. Some tasks are substantially faster if I use the keyboard and some are substantially faster if I use the mouse. Moreover, most of the results are easily predictable (when the results are similar, the prediction is that it would be hard to predict). If we look at the most widely cited, authoritative, results on the web, we find that they make very strong claims that the mouse is much faster than the keyboard but back up the claim with nothing but a single, bogus, experiment.

In other words: it depends, and common sense is still the best guide. :)
I'm sure the commenter did not mean this literally.

They probably meant trusting a cloud provider can have consequences.
Axum is a great Rust web framework. I am still learning it, but I was able to create a REST API with it quickly. I'm looking forward to using the new version without the generics issues, as I ran into that problem myself.

I can't use it at work yet though, the mandated policy is to not use anything that's less than 1.0.
In the US, it is expected that a home comes with a dishwasher, oven, and refrigerator. The other appliances would be post-purchase.
If it's not the battery, you could check the power supply, BIOS, or operating system settings that might be the root of the problem.

However, you'll have better luck if you read and research the errors the computer gives you. Saying that the computer "shows error" is like saying that you have an illness that "shows symptom."

Always read and Google all error messages, and share that information with anyone you want to help you!

Finally, this website is not a technical support venue. It is a forum for discussion of tech business news and happenings. You should probably talk to your laptop's manufacturer, or a technically inclined friend, or maybe ChatGPT.
I agree DataDog is dog shit. Also yes there are many tools but companies don't spend money and time cleaning this up. They don't want yet another monitoring tool that they have to learn. And 9/10 times nobody wants to do monitoring.

I get that you can integrate but a company is more likely to create a project to decom one tool.

Now I like the concept but the unique sell isn't so clear and concise.
Ha,not sure! Didn't even notice that.
Trim Down Your Hairy HTML Templating Problems with Stubble.net
Can't Think?
You’re making the wrong comparison, though. The average consumer never made a backup. Having your stuff on a cloud service is a major improvement to that MO.
I've loved fonts since they became a widely used (and arguably overused, for a time) thing in the 80's when "Desktop Publishing" was a thing. It was one of the first things to make me notice how design mattered. Anyway, cool font and great overview
Are you suggesting that Tesla in some way controls the Russian military? I mean, as conspiracy theories go it has the benefit of being original, I suppose.
I don't think the actual winning algorithm itself was used, because real world systems have more constraints/requirements than what the recommender was trained on. But that was in 2009, pre deep-learning/AI summer, and $1 mil clearly helped stimulate interest in that area.

Today we see multiple billion dollar recommender systems, like Tiktok. Netflix ironically benefits the least from recommenders due to the nature of its dataset (Very expensive, low sample size).