skysight-inc/HackerNews huggingface dataset:
sort of. the main issues we've found with each developer having their own DB on a complex data pipeline are
1) if that DB contains petabytes of data, creating it one for each developer is non-trivial from a time and cost perspective
2) the developer needs to develop and test multiple changes they want to isolate (think git branches)
3) the data state the developer is operating on gradually becomes stale and so results deviate from prod

any way, hope that perspective is helpful
It's one in 10,000 (cardiac issue after vaccine)

Getting covid its multiple times worse? 1.8 - 5 times worse.

So, safer to be vaccinated. Which is the whole point.

Being 'confused and adamant' is common around this topic.
leaf temperature is the issue. photosynthetic machinery begins to denature at 30C leaf temperature, this is physiologic break even point.
plants become stunted and just survive, rather than produce net gain of biomass

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC129275/

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10422931/
Just use https://www.visca.com/regexdict/
I’m working on a project related to that: https://github.com/0a-io/Arch-GPT

I think hypergraph is an overlooked concept in programming language theory
I'm not sure about what is really 'simplicity'..
If I program in assembly languages I don't need a huge compiler to generate the executable so the system is simpler but for the programmer it's also more complex because assembly languages are complex and any mistake is really hard to find..

Same for API, the worse is better debate, an OS which retries automatically in case of interrupts is simpler for the users?
For most users yes, for those who care about low latency no!
The thing is you don't want Linus's kernels unless you are a kernel developer or testing something. Greg KH maintains the stable kernels. You want his branch.
Clojure does the same thing:

> clj
Clojure 1.11.1
user=> (every? true? [])
true
user=> (every? false? [])
true
user=> (every? true? nil)
true
user=>

Also:

user=> (true? [])
false

In English, an empty list is `false`, but any predicate on an empty list is `true`.

So I believe the logic is the same as Python.

Logic article on this in Wikipedia: https://en.wikipedia.org/wiki/Vacuous_truth
That doesn't mean any and all treatment at a border crossing is legal. Would you not object to an anal probe administered by CBP?
any references you can share? would love to read more about robotics applications of these approaches
> When AOC and her mob tried to force Amazon out of their NYC expansion and succeeded, Warren Buffet said "it's never a smart move to run rich people out of town".

That...doesn't sound like him and certainly seems at odds with his actual public statements on the topic: https://www.cnbc.com/video/2019/02/25/warren-buffett-amazon-...
Beating GPT-4 on HumanEval with a fine-tuned CodeLlama-34B
Hi HN,

We have fine-tuned CodeLlama-34B and CodeLlama-34B-Python on an internal Phind dataset that achieved 67.6% and 69.5% pass@1 on HumanEval, respectively. GPT-4 achieved 67%. To ensure result validity, we applied OpenAI's decontamination methodology to our dataset.

The CodeLlama models released yesterday demonstrate impressive performance on HumanEval.

- CodeLlama-34B achieved 48.8% pass@1 on HumanEval

- CodeLlama-34B-Python achieved 53.7% pass@1 on HumanEval

We have fine-tuned both models on a proprietary dataset of ~80k high-quality programming problems and solutions. Instead of code completion examples, this dataset features instruction-answer pairs, setting it apart structurally from HumanEval. We trained the Phind models over two epochs, for a total of ~160k examples. LoRA was not used — both models underwent a native fine-tuning. We employed DeepSpeed ZeRO 3 and Flash Attention 2 to train these models in three hours using 32 A100-80GB GPUs, with a sequence length of 4096 tokens.

Furthermore, we applied OpenAI's decontamination methodology to our dataset to ensure valid results, and found no contaminated examples.

The methodology is:

- For each evaluation example, we randomly sampled three substrings of 50 characters or used the entire example if it was fewer than 50 characters.

- A match was identified if any sampled substring was a substring of the processed training example.

For further insights on the decontamination methodology, please refer to Appendix C of OpenAI's technical report.

Presented below are the pass@1 scores we achieved with our fine-tuned models:

- Phind-CodeLlama-34B-v1 achieved 67.6% pass@1 on HumanEval

- Phind-CodeLlama-34B-Python-v1 achieved 69.5% pass@1 on HumanEval

Note on GPT-4

According to the official technical report in March, OpenAI reported a pass@1 score of 67% for GPT-4's performance on HumanEval. Since then, there have been claims reporting higher scores. However, it's essential to note that there hasn't been any concrete evidence pointing towards an enhancement in the model's coding abilities since then. It's also crucial to highlight that these elevated figures lack the rigorous contamination analysis that the official statistic underwent, making them less of a reliable comparison. As a result, we consider 67% as the pass@1 score for GPT-4.

Download

We are releasing both models on Huggingface for verifiability and to bolster the open-source community. We welcome independent verification of results.

Phind-CodeLlama-34B-v1: https://huggingface.co/Phind/Phind-CodeLlama-34B-v1

Phind-CodeLlama-34B-Python-v1: https://huggingface.co/Phind/Phind-CodeLlama-34B-Python-v1

We'd love to hear your thoughts!

Best,

The Phind Team
Changing the license in the repo does not change the license of files you have already distributed under the MPL. That would require them to revoke all those licenses, which they can't do under the terms of that license that they've already agreed to. This entire thread and OpenTF, and maybe all of OSS itself would probably not exist if that were not the case.

In the official repo I can still check out an older commit with the MPL on it, which means they are still distributing code under that license, but it wouldn't matter if that were the case or not under the law.

edit: In fact, software as a business ( and many other professions ) would not exist if license terms could be changed or revoked after distribution. License changes for new software to be distributed can change, sure. But short of a breach of contract as outlined in the license itself you cannot change a license you have granted.
That is a most thorough answer and I appreciate it very much :-)
Alternatively, there are no marbles that are not black.
Especially if the Vault fork implements things like replication.
Your tone implies you're serious, but I struggle to believe anyone could possibly equate persisting digital media with recalling a memory.

In case you really need an example to elucidate, consider reproducing an image. A scraper can quite literally accomplish that, trivially; a great artist would still be limited in multiple facets of the recreation, such that even one with the best memory and hand would find themselves far short of pixel-perfect.
This is literally my favouriate living thing beyond my immediate family. Even the names are amazing: dog vomit slimemould. I mean COME ON.
You're right. An explosion could result in about 100X as much energy, but that would require thorough mixing of the methane and oxygen, which is unlikely to occur.

However, the point is that the theoretical worst case scenario in the environmental assessment was a lot worse than what did occur, and that worst case scenario was deemed an acceptable risk.
It's wild that unbanked people exist in 2023. There are a slew of banking options that don't require minimum balances. Pretty much every above-board employer would prefer to pay you via direct deposit. Pretty much every social assistance program would prefer to deposit your financial assistance in a bank account rather than send you a check. That checks off the elderly and poor who are on social assistance, which are the key disadvantaged groups who are usually trotted out to act as the victims when enacting cashless bans.

I realize that some professions only deal in cash, but even then it's very straightforward to put the cash into a prepaid card.
I don't use SharePoint, sorry.

I have mutiple methods of transferring files between computers without an internet connection. None of them use Javascript.
I just wish that the PoW defence actually involved some sort of transfer of value from user to provider. (as opposed to just spending resources on the user side)

This version is good, don't get me wrong, but adding value transfer would be better imo.
So at which scale does the copying of data lower privacy, such that humans looking at it and potentially screenshooting it doesn't, but automated processes copying it does?
How do you know?

I imagine that two useful tools would be belt sorters and inserters that filtered by a configurable shelf life threshold.
> Lowering prices increases the purchasing power of every worker.

I think you mean: "lowering prices raises the rents of every worker"
This article seems to pose this as a problem... It's a victory! We have been working to end prohibition for decades, and it's working! In 22 states adults now have access to either medical or recreational marijuana and psychedelics, in general, are following a similar path. While the tone of this article (starting with the sad looking fellow with "addiction" in the caption) is what it is, I'm very happy and excited to see that people are coming to their senses to end this stupid "War on Drugs".
Yeah, this is why they’ve pushed so hard for people to carry both iPhones and iPods.
> why not numbers that can only be produced by adding 3 primes together?

Goldbach's weak conjecture: Every odd number greater than 5 can be expressed as the sum of three primes.

First proposed in 1742, and proven in 2013 [0]. The original proposal considered even numbers as well, nowadays those are covered by Goldbach's strong conjecture, with a tighter bound of 2 primes.

> why not only numbers that can be produced by multiplying squares greater than 1?

You mean squares containing at least 2 distinct prime factors? Fully classifying this set of integers would fit well on an undergrad intro to proofs exam.

[0] https://arxiv.org/pdf/1501.05438.pdf
I suspect "suggested content" is not going anywhere. the profit incentive is now lower, but it's still in these company's interests to keep you as engaged as possible for as long as possible, and the casino model is the best way they've found to do that
No, it’s awful and needs to go. Random company recruiter is going to throw that resume in the bin so fast when she sees it
Oh, definitely, but we'd also need some regulation.

It's likely that we _can_ make home nuclear reactors that are pretty safe! We already pipe combustible gases into our homes in enough quantities to take out a city block. We cause multiple explosions per second in devices hurtling down the highway at 100mph. We have self-regulating hot water heaters, pressure cookers, and laptop batteries, all of which are bombs if mishandled.

But with home nuclear reactors, the consequences for stupidity aren't just "and then their home burned down". It's more like "and then the neighborhood was uninhabitable for the next century". And when these devices are everywhere, we will start to encounter real outliers in humanity.
Zillow offers 1% down payment to lure struggling homebuyers
Selling the Blades
"Either let it be, or shut this thing down and get a real remaster going."

Solidly agree, copyright / IP shouldn't be about holding the public hostage. It should be about maximizing the mutual benefit for both the creator and, very importantly, the public.

Culture deserves love and respect and must be 'accessible' (able to buy); or it should be set free (public domain).
Has this policy ever saved a life or stopped a terrorist
The Anticlimactic Death of the Streaming Wars
I think Apple is very much a mega-corp who does everything to create greater profit but I'm not sure they are limiting devices to make sure you buy more. More than likely it's because iPadOS is based on iOS, and thus it's naturally more of a consumption device with all of those locked down hard limits.

IMO they should do a hard turn and make iPadOS it's own thing. Give it the benefits of iOS but with macOS flexibility. Right now, it's essentially a bigger phone.
> Everything else being equal, I bet the Tor/Onion-folk are pretty smart people, and this is what they felt was necessary to keep the service running.

That's an appeal to authority and an attempt to shut down inquisitive thought and investigation.

Imo, this goes against the spirit of HN.
Calendar-based versioning does have meaning.

If the year is 2023 and I am running WhateverApp 2010, I instantly know I am running a 13 year old version, and it is probably a good idea to see if there is a newer one-even if I’m completely happy with the 2010 version. Decent chance of new features, some of which I might find valuable; also, with every passing year, the risk of interoperability/compatibility problems (with file formats, new OS versions or versions of other applications)-even if I haven’t hit any of those problems yet

Whereas, if the year is 2023 and I’m running WhateverApp 2021, that’s only a two year-old version, so absent any specific problem or missing desired feature, looking for a newer version is going to be a lower priority
I don't know that it's at all clear how successful Terraform would be if it started with a more restrictive license. I mean there is a reason why a lot of projects start out with a different license and only change to BSL once a certain level of popularity is achieved, right?
Looking forward to seeing what you develop or even just expose with documentation! Terraform felt artificially constrained by the UI when I used it to MVP my CD platform. I suspect Hashicorp uses an undocumented Go interface internally for Terraform Cloud.
Chicken also eat the plants. Ducks are better.
How many people who have seen that data are acting as a service to share it, at scale?
your government is not telling you what you should like, they're making people literally spying on you for profit something that you aren't opted into by default. if you want people to spy on you for profit, click accept, you still have that option
I would also accept an iPad that can dual-boot into macOS when using a Magic Keyboard.

The fact that they don’t allow this is absurd. They basically charge $1500 for macOS. I’d probably pay that to let my iPad dual boot if they’d let me!
Lol no they wouldn't or they'd have done it ten years ago. Apple is after your dollars they care nothing for what's better for you for productivity or any ethics outside of profit really. Their actions over the last 20 years set that in stone.
Rent is a price too. Collectively owned social housing is far cheaper than paying rent to a landlord.
They define the border as 100 miles. Do you think that is reasonable?
Time to short Zillow. Big.
Elsie: Programmable Presentations
It hasn't been since LiteStep that I found myself so appreciative of some random Windows engineers' work. But this is actually awesome. The only thing I would change is to remove the reliance on .NET Desktop.
You may enjoy Dyson Sphere Program, then, as it has a much brighter palette and (currently) no biters. I have yet to figure out why I like DSP more than Factorio but I just do. It's more _fun_ to me
I like this Underjord guy. I've watched some of his YouTube content on Elixir. He's good at explaining concepts, has a natural teaching ability.
I think someone going for distance isn't going to swing for 20 seconds. They're going to swing until they're high, no matter how long that takes.
It's possible that going far above "6000fps" might be necessary someday for holographic/3D displays that need to render the scene from hundreds or thousands of different viewpoints for one single frame.

Say you need to render a scene from 1000 different angles for a 3D display, just to get to a 60hz refresh rate you would need to render the scene 60,000 times.
If it requires changing the law to make the existence of LLMs legal, they will change the law. It’s too interesting to just ban it out right.
Well, do they also care about vault, vagrant and packer?
IMO Russia also doesn’t want a war with Ukraine. Only for some reason Russian military was doing major exercises near Ukraine. Which they then invaded.
The story as I understand it is that Sun wanted to license Solaris on a number of hosts basis while Google considered the number of servers they had to be a critical secret.

> maybe we’d all be running containers based on solaris zones

There were a lot of nice things about Solaris. The Solaris engineering org was amazing, full of visionary giants. ZFS, Zones, DTrace, mdb, SMF (systemd, but done better and ten years earlier), the fault tolerance stuff -- all created by engineers as skunkworks.
here is what I get: track&field, chess, some music
What is this in reference to? I have an iPad and a MacBook. I don't pay a subscription. I usually use Microsoft OneDrive, so I can sync between/to my non apple devices, though I usually just use airdrop.

Are you referring to extra cloud storage?

edit: A response would be appreciated, so I can understand what's going on with this comment. This is a genuine question. What subscription am I missing out on here?
This is an article someone submitted yesterday. Good original rsearch.

https://netzpolitik.org/2023/eu-country-comparison-how-data-...
I think this applies to more than just auctions. Bidding to take on a contract or a responsibility, that turns out to be more than what you expected. Or overselling yourself and going through great pains to reach a position with very few worthwhile benefits.
After getting another answer from them further below in this thread, I am under the impression that they are not entirely forthright about what it is they are claiming, or not claiming.
Surface tablets exist (they can run Linux but I'd stick with Windows on them). 2-in-1 laptop/tablet hybrids have also existed for a while, sold with Windows and ChromeOS but many of them work fine with standard Linux.

Some models can even become relatively competent Hackintosh, though macOS lacks proper pen drivers of course.

Samsung has Dex, which is a desktop interface for Android tablets (and phones hooked up to a dock). For a while they experimented with offering a full Ubuntu desktop, but I believe they've stopped that experiment.

Honestly, Apple seems to be the only tablet manufacturer that still tries its hardest to push professional users back to laptops. With the virtualisation support in Android 13+, I wonder how long it'll take before someone brings out the first macOS-on-Samsung-Galaxy app; various people have already run Windows 11 as a proof of concept on Pixel devices so who knows how long it'll take.
No, it's not at all a weak justification, and it is the primary reason you shouldn't get these scans done.

The problem here is our old friend the Bayesian Base Rate fallacy. The diseases you're looking to intercept and intervene against are, in the general population, pretty rare. That means that even if the indications you'd get from diagnostic imaging are extraordinarily accurate (they aren't), the overwhelming majority of the flags they raise are going to be false positives.

The cost of a false positive imaging flag is far worse than having to have an unpleasant chat with your doctor, or worrying for several weeks (do not discount the cost of worrying for several weeks, though; these scares can absolutely fuck up a month of your life). Rather: you'll pay the price in follow-up imaging, which won't be as benign as the MRI, or worse, in unnecessary intrusive diagnostics.
how long does it take for dessert plants to produce biomass compared to same species in temperate conditions?

Are you considering C-3 plants, C-4 plants, or CAM plants.

https://www.khanacademy.org/science/biology/photosynthesis-i...

https://www.frontiersin.org/articles/10.3389/fpls.2021.71539...

https://www.sciencedirect.com/topics/pharmacology-toxicology...

https://en.wikipedia.org/wiki/Crassulacean_acid_metabolism
In my experience, going to the internet to get whatever random thoughts a search algorithm turns up for me can feel interesting, but is almost always counterproductive. Other people have different circumstances, different experiences, and while some content on the internet is good, a lot of it is just crap.

Most of the work is in thinking through things for yourself, organizing information, and synthesizing some outcome. Internet browsing is like junk food, and doesn't do a good job substituting for that.

Also, you mention "thoughts from others are the only way to adjust your own bias." I definitely agree with that, but I want to get thoughts from people who I know and trust. If you adjust your biases based on the cacophony of the internet it's much more likely that you'll get swept up in other people's biases instead
Those applications are for sympathetic criminals. It’s still a crime even if the law is dumb or wrong.
> it's never impossible that any part of your body could be cancerous, so 'super unlikely to be cancerous but it's not impossible that it could be' is a terrible justification for taking action

If you knew that you or your spouse had something that could be an issue but was unlikely to be - and it's nearly guaranteed that somewhere in your body right now you have stuff that would come back as "possibly a problem" in imaging - you'd be comfortable not taking action? I doubt that's how most people would response.
Elon's doing so many things that will gut Twitter/X. When he gives up trying, what lessons will he learn?

This is my breaking point. I will not give up anonymity on this platform.
Years ago I worked for a company that made critical equipment. We did 3 things:

1) planned tests with test scripts and dedicated Test engineers.

2) Software intensive inspection - team of 4 or 5. A) Team lead controls the process. B) Note taker - this is the author of the code C) Reader - reads the code and says what they think it is doing D&E) supplemental people who sometime ask questions. It is a VERY slow process. Person B has to be sure not to take it personally, as they feel assaulted. Person A helps person B not feel bad. Meeting should NEVER last more than a hour, as it is too hard on brains and emotions. This catches a LOT of things.

3) Regression testing (automated) with the goal of code coverage. Start by testing all success paths and then fail paths. If you get 60% coverage I believe that is a HUGE amount. Run the tests daily? or when chages are proposed.
You're very lucky if there's an up to date diagram and you got confidence in it's correctness.
In the early part of the last century, people said Tesla was a charlatan, an insane madman whose claims weren't viable at all.
Without knowing how many marbles are in the bag, if you say that not all the marbles in the bag are black, then I'm going to ask you to show me a non-black marble to prove it. Alternatively, I can prove that all the marbles are black by showing you n marbles that are black where n is the number of marbles in the bag. Here you go, zero black marbles!
Yes, this exactly: sometimes I don't write things down to review them later, but write them down to remember them now.
> currying is a weird thing

Is it? I think it's actually extremely elegant. A function has exactly one input and returns exactly one output.

If you need two inputs, you have a function that takes one input and returns a function that takes one input and produces the output. Functions that look like they have multiple inputs are just syntactic sugar.
If all you need is to carry a computer for emergency work related tasks on vacation, you can do it straight from an iPhone thin client and Bluetooth keyboard. No MacBook or iPad required.
Australia worked because the criminals were able to use a lot of unused land for sheep farming (and also stole some from natives). Now neither new land will be found in SF nor will the 'natives' be displaces.