skysight-inc/HackerNews huggingface dataset:
llamafile is designed with the hope of being a permanently working artifact where upgrades are optional. You can upgrade to new llamafile releases in two ways. The first, is you can redownload the full weights I re-upload to Hugging Face with each release. However you might have slow Internet. In that case, you don't have to re-download the whole thing to upgrade.

What you'd do instead, is first take a peek inside using:

unzip -vl wizardcoder-python-13b-main.llamafile
[...]
0 Stored 0 0% 03-17-2022 07:00 00000000 .cosmo
47 Stored 47 0% 11-15-2023 22:13 89c98199 .args
7865963424 Stored 7865963424 0% 11-15-2023 22:13
fba83acf wizardcoder-python-13b-v1.0.Q4_K_M.gguf
12339200 Stored 12339200 0% 11-15-2023 22:13 02996644 ggml-cuda.dll

Then you can extract the original GGUF weights and our special `.args` file as follows:

unzip wizardcoder-python-13b-main.llamafile wizardcoder-python-13b-v1.0.Q4_K_M.gguf .args

You'd then grab the latest llamafile release binary off https://github.com/Mozilla-Ocho/llamafile/releases/ along with our zipalign program, and use it to insert the weights back into the new file:

zipalign -j0 llamafile-0.4.1 wizardcoder-python-13b-v1.0.Q4_K_M.gguf .args

Congratulations. You've just created your first llamafile! It's also worth mentioning that you don't have to combine it into one giant file. It's also fine to just say:

llamafile -m wizardcoder-python-13b-v1.0.Q4_K_M.gguf -p 'write some code'

You can do that with just about any GGUF weights you find on Hugging Face, in case you want to try out other models.

Enjoy!
This is from a stackoverflow post that I found when I was asking the opposite of this question myself:

"I've seen two applications of a well-known commercial Rete rules engine running in production where I work. I'd consider one a success and the other a failure.

The successful application is a decision tree app, consisting of ~10 trees of ~30 branch points each. The rules engine has a UI that does allow business folks to maintain the rules.

The less successful application has ~3000 rules slammed into a rules database. No one has any idea if there are conflicting rules when a new one is added. There is little understanding of the Rete algorithm, and the expertise with the product has left the firm, so it's become a black box that's untouchable and unrefactorable. The deployment cycle is still affected by rules changes - a complete regression test must be done when rules are changed. Memory was an issue, too.

I'd tread lightly. When a rule set is modest in size it's easy to understand changes, like the simplistic e-mail sample given above. Once the number of rules climbs into the hundreds I think you might have a problem.

I'd also worry about a rules engine becoming a singleton bottleneck in your application.

I see nothing wrong with using objects as a way to partition that rules engine space. Embedding behavior in objects that defer to a private rules engine seems okay to me. Problems will hit you when the rules engine requires state that isn't part of its object to fire properly. But that's just another example of design being difficult."

My company is absolutely the second case, and it makes development awful. On top of that because of how complex things have come, business users don't interact with these rules at all, and all the work ends up on the devs.
I'm a founder of Appsmith, a well-known open-source low-code platform. We offer an alternative to tools like Outsystems, Retool, and PowerApps. I often meet people who share the skepticism about low-code seen in this post.

It's crucial to understand the advantages of low-code for specific situations, especially in developing internal applications. These tools, often neglected due to limited resources or developer disinterest, can be rapidly and effectively created with low-code solutions. Low-code excels in scenarios where internal teams are overwhelmed and business users face long waits for features. Although it's not a cure-all, low-code is highly effective for certain tasks where speed and ease are key, despite sometimes facing limitations in customization.

Some modern low code tools are also evolving to be closer to web frameworks. Plasmic is one my favourite examples of this.
Here in Brazil I have at least 4 different IDs :-).
Can peanuts grow pretty much anywhere in the U.S.? I'm sure a lot of us here have grown "easy" plants like tomatoes, are peanuts... easy?
Shells and their aversion to null characters was my first introduction to Perl way back when. Tcl, at the time, couldn't handle null characters either. Various Awk implementations had different issues with them. Python didn't yet exist, C was too tedious for many things.

One option with shells is some set/get functions that encode/decode to base64, hex, etc. Feels pretty clunky though.
Only considering battery life based on the post.
Does it have mostly satisfied owners? Tesla literally just landed at the bottom of the most recently released reliability rankings in the US, if the owners are still satisfied despite that, then maybe they are gaslighting themselves.
What if I told you that games are actually not that special and similar (not necessarily ECS, but approach centered around data architecture) benefit pretty much any software that works on data, and it's all much more compatible with what you're doing with your database anyway.
The "coding wizards" are largely interested in doing what someone will pay them to do, of course. With some exceptions, but of course the bulk of the work that has been put into messaging apps and protocols over the past two decades, whether open or proprietary, has been by engineers and "coding wizards" getting paid by a for-profit company to do it.

So it's really about what those who have money they spend paying for development are interested in, I think, not the interests of "coding wizards", who might love making something different if they could be paid similarly (or at all?) to do it.
Isn't inability to accurately predict some economic metrics consequence of efficient market hypothesis?

All available and some unavailable information is already reflected in market. So, sum of reasonable guesses of next year GDP more or less is today's market index. Anything over that is some baseless speculation with no skin in the game.
In WW2 the Nazis were trying to exterminate the slavs. In this war Putin is attracting condemnation for handing out passports. This changes the dynamic and the stakes. The two arent really comparable.

It isnt a racism inspired genocide like Israel is committing in Gaza.
Well maybe it will not make the US better, but it could perhaps help Europe not become worse (some people will think “if it’s American it must be better”). But thank you for sharing this anyway.
Well, the Czech Republic used to get most of its natural gas from Russia as well, even very recently - mainly due to how the old eastern block pipeline network was laid out.

But it has since the switched to regasiffied LNG & rented a couple LNG terminals for it. Other European countries did the same successfully. Why Hungary can't do that as well ?

Seems more like some direct blackmail against Orban and his people to me.
I dunno... Earth is 4.7 mi from the sun. That's walkable.

I like that this actually gives you a sense of real meaningful distance and size. This is a sun that's still big compared to humans, and a distance to the earth that isn't negligible.

And then a real lesson about how insanely larger the solar system is when you try to get out to Jupiter and beyond.
I work a lot with governments and from my experience naming matters a lot, way more than it should. They’re basically always in campaign mode even when they’re in power. Often the first question is what will people think when they hear the name of the project. Most people don’t read briefs so often their entire perception is from the title and what they’ve been told to think about it by others. I’ve had to kill projects due to too much time taken up in committees over the damn name of the thing.
Regurgitating something verbatim seems less like intelligence vs summarizing the important details. Additionally, a human can even choose the requirements for lossy compression in the first place - do I want a 1 sentence summary of what I read, a 1 paragraph summary, a synopsis, a description of the themes, how the themes relate to other works by the author/creator, etc etc.

So I fail to see the fundamental connection between intelligence and lossless compression unless you just choose to define intelligence in some way that connects it to lossless compression.
Yeah, all of those seem to be readily available, at least on the US Mac keyboard layout.

ƒ is ⌥f, « and » are ⌥\ and ⌥| respectively, ≤ is ⌥<, ≥ is ⌥>, and ≈ is ⌥x.

Edit: for non-Mac people, ⌥ is the "Option" key. Option+f gives you ƒ, and so on.

> ∧ and ∨

Well, you could always add them to Favorites on the "Emoji and Symbols" popup.
> It's my account that's at risk of hijacking, so I should be able to decide. If I opted for no 2FA despite Google begging me to turn it on every login, that's my decision.

If that is your argument then it is their service. They can decide how to offer it. Services like this are designed for majority - and a majority are happy. If you don't prefer then you can find alternate services. Market is wide open.
They have a pretty reliable service that will come to your house for most of the repairs. You should see if thats available in your area. I have a 2018 Model 3 and two friends have 2019s and we have not had these issues. I think they are overblown, there are millions of Teslas out there now.
> Because that’s what most people have access to.

I’d agree with this rationale if the author clearly communicated their choice of model and the consequences of that choice upfront.

In this post the table of results and the text of the post itself simply reads “ChatGPT” with no mention of 3.5 until the middle of a paragraph of text in the appendix.

> It’s absolutely worthless to most readers to talk about something they’ll never pay for and it’s not the job of random third-parties to incentivise others to send money to OpenAI.

The “worth” is in communicating an accurate representation of the capabilities of the technology being evaluated. If you’re using the less capable free version, then make that clear upfront, and there’s no problem.

If you were to write an article reviewing any other piece of software that has a much less capable free version available in addition to a paid version, then you would be expected to be clear upfront (not in a single sentence all the way down in the appendix) about which version you’re using, and if you’re using the free version what its limitations may be. To do otherwise would be misleading.

If you simply say “ChatGPT” it’s reasonable to infer that you’re evaluating the best possible version of “ChatGPT”, not the worst.

Accurate communication is literally the job of the author if they’re making money off the article (this one has a Patreon solicitation at the top of the page).

Whether or not "most readers" are ever going to pay for the software is totally orthogonal.

If using GPT4 vs 3.5 would create results so distinct from one another that it would serve to incentivize people to give money to OpenAI, well then that precisely supports the argument that the author’s approach is misleading when presenting their results as representative of the capabilities of “ChatGPT”.

> What I really don’t understand is why anyone gets so hung up about it and blames the writer.

Again, if they’re making money off their readers it’s their job to provide them with an accurate representation of the tech.

> Anecdotally, I find this excessive fawning about 4 VS 3.5 to be unwarranted. https://news.ycombinator.com/item?id=38304184

Did some part of my comment came across as “excessive fawning”? Regardless, if this “excessive fawning” is truly unwarranted, this would again undermine your statement that using GPT4 would “incentivize others to send money to OpenAI”.

In regards to your link, I’ll highlight what another commenter replied to you. What should ChatGPT say when prompted about various religious beliefs? Should it confidently tell the user that these beliefs are rooted in fantastical nonsense?

It seems in this case you’re holding ChatGPT to an arbitrary standard, not to mention one that the majority of humanity, including many of its brightest members, would fail to meet.
I used ColdFusion for many years. I think it was a great choice back in the early 2000s. It is basically a JVM language where you can write cf at a high level and use straight Java in the same code base if you need to do anything more low level (like high almost never happened, but was useful on the rare occasions it arose).

But one of the main reasons it died off is license costs. The last time I was involved in license negotiations with Adobe, they wanted to charge us $100k per cpu core per server per year. These were cloud servers with many cpu cores and there were dev, qa and prod servers. The licensing cost for a single years was astronomical.

There are free versions of ColdFusion (Lucee is the best), but they are far too late for ColdFusion to make any sort of comeback.

The main thing I miss from ColdFusion is cfquery and cfquerypararms and query of queries. I’ve never seen any other language that makes database interactions as easy as those do. Every other language is such an enormous pain to do sql queries, when compared to cfquery.
Psychopathic men have more children, study finds
> even if we use them in static languages how effects would be intended to be used there.

There's not much that can be said about how effects, in general, are intended to be used. Algebraic effects subsume basically every control flow construct in common use: exceptions, transactional semantics, cooperative multitasking, search, probabilistic programming, IO... non-delimited continuations are the only exception I can think of. Unless you only ever write provably-total pure functions, you're always using effects of some sort. And even then, you might want to think of your program as effectful even when you don't have to: reading `a -> Maybe b` as "`a -> b` with the possibility of failure" is a classic example.
keep hackernews away from the newborns
Established ICE automakers will not receive the same scrutiny in EVs as their competitors
Yes. If you don’t think some offenses should be punished with sex offender registration, we can discuss changing those particular statutes, but that’s no reason to allow violent rapists and child molesters to evade registration.
> You can easily lose access any particular email address, even if it's on your own domain.

In which scenario would this happen, except for loss of ownership of the domain itself?
Meanwhile they fire teams and cancel projects. Maybe intending to be bought? Seems insane, to cripple your big cash cow, unless you're cooking the books to get a better valuation.
correct me if im wrong but the approximate cycle of boom/bust each decade or so for capitalism is a well documented feature? that it sort of has to "reinvent" itself each time in order for continued existence?

couldnt one plan around this in broader strokes that dont involve the sorts of precision quantitative analysis that wallstreet seems so fond of?
"just" is (tongue in cheek) a forbidden word in HN. Next thing you might find yourself claiming is that Dropbox is a worthless idea because it's "just" FTP.

Btw tell me exactly how an aimbot that takes the visuals from the player's screen and tilts the player's cursor so (or not so) slightly towards identified moving targets, are to be avoided from the server. Modern cheating is already a hard-ass problem to solve, much more so if no client-level monitoring is desired.
Probably yes. I got hold of some historical apple varieties. Historical as in 19th century. They’re good. Not as sweet as many today’s apples, but the taste is nice IMO.
Not convinced that's a vote winner.

See for example UK id cards scrapped in 1952 and again in 2010

>...very unpopular with the public, and was regarded as an alien imposition on the British way of life. https://www.politics.co.uk/reference/identity-cards/
Show HN is only for something you made https://news.ycombinator.com/showhn.html

Anyway, it's a good post but it has been posted before with a lot of traction https://news.ycombinator.com/item?id=38809543
By running the decoder during encoding. If the decoder already produces the right output, which it will most of the time, then you don’t need to store anything in the file. If it produces the wrong output, store a correction, then continue from there. The final file only needs to include the corrections.
I can’t say anything about the down votes but from what I saw, I the criticism was always there but it grew over time as the stuff Musk promised customers drifted years and years further away, and his increasingly unhinged social media antics made it harder and harder to give him the benefit of the doubt. It felt a lot like what happened with President Bush where some people who really wanted democracy in the Middle East or Afghanistan kept coming up with these 5-dimensional chess theories based on the assumption that he shared their goal and must have some deeper plan where it all made sense, only to eventually accept that it was just as disorganized as it appeared on the surface.
My "favorite" of those email changes is the self-inflicted contractor postfix change. I've worked at places where a conversion to employee forces the creation of a completely new account, and lacking a simple, single permission systems, the act of converting means spending a good 3 weeks trying to get access to systems one had access the day before.

This is extra fun when the company in question does a lot of their business offering complicated accounts to customers, and has an external facing identity solution that deals with all of this easily: just not for their own workers, including those maintaining the external-facing identity system.
Tesla has build quality issues and has done some shady stuff. But this article is an extremely poorly written rehash of the Reuters piece.

The author's assertion that they have never had a wheel fall off or suspension collapse is completely meaningless. Of course they haven't. These are extremely rare events, and it has no bearing on whether, for example, the mentioned suspension collapse was due to a faulty part or due to the driver having hit a really bad pothole at speed previous to the collapse or something else. We don't really know based on the information available. We'd have to look at the telemetry that Tesla has on the vehicle and examine it for events prior to the suspension collapse.
Yeah, except I prefer the cleanliness of Gnome over how scattershot and buggy KDE feels, so I’m SoL. I’ve even looked into launching games into their own little Gamescope instance, but if you don’t run Gamescope as your main window manager, you lose most of its benefits.

> For Mirror's Edge, were you using Steam Input?

Yes. The problem lies in the fact that only the Xone driver properly supports the Xbox wireless adapter, but it doesn’t play nice with Mirror’s Edge. Xpad and XpadNeo do work, but those require USB or Bluetooth.

And me having to tweak a million things tells why gaming on Linux still sucks, aside from Deck’s blessed config. I don’t want to deal with a thousand papercuts, I want to boot my system and play. Windows is still closer to that experience than Linux.
I hear you, but the idea of shock ventilation is to swap out the air without cooling the walls.
This is stupid. You need to do some sort of delegation. If some one logins now in USA and 10 min later a login is detected from Singapore. And again if US login is detected - this will throw any security to bonkers.

May be you/your client needs a proper workflow. May be you need to run some security company/email service at the level of Google to see.
Also to your point, it makes no sense to say, "You cannot predict it. But you can create it." The reason a person or entity creates something is that they've predicted a desired outcome for that creation.

> It seems that we need to figure out what separates the kind of prediction that is the engine of human life and progress from the kind that is just useless blather.

For sure. The author treats content marketing by management consultancies — blather — as serious efforts to predict outcomes. But these are stories about potential outcomes created to lure customers to the rim of their sales funnel. In other words, their actual prediction is that publishing thousands of "thought leadership" pieces will improve SEO and sales engagement, which is probably true.
Yes if you look at customer satisfaction scores.

https://www.autoblog.com/amp/article/car-brands-highest-cust...
You could have engineering estimate the cost of the new feature to deduct from the profit?
> I am currently paying a ~$150 per month "tax" to AT&T to keep my US number while living abroad just so I can get login codes for websites that still have that number

Port it to a VoIP company like DIDww, spend $2.50/month, and received SMS can end up in your inbox if you wish.

If you ever want the number on a mobile account again, port it back out to your choice of carrier.
...which is why the 75% using VS code is a bad thing.
If a feature is used by many and has a predictable impact on their behavior it becomes profitable again.

If you act faster on the same feature as everyone else, or you predict the feature accurately, you can anticipate what the market will do in response.

The market often overreacts to new data. So if satellite imagery shows steep decline in parked cars, the stock will be predictably oversold. You can then take a contrarian position (buy the stock before it reverses to the mean).

Some commonly used features by popular public trading bots create predictable market movements, no matter if the feature itself is long-term informative/profitable.
Fortunately that will be another nail in the coffin for the EU, at this point they’re just throwing the proverbial excrements at the wall and seeing what will stick. That’s how you get parties like the AfD at more than 30% of the vote (the NSDAP themselves were just a little over 30% too in early 1933).
I think this is so users can choose what level of restriction they want using kernel.yama.ptrace_scope with sysctl, 0 being the default and 2 being the most restrictive.
How is urinating in public a sex offense? I'm releasing urine not having sex with it.
demand it at your peril. players like Oracle are infamous for EULA's that expressly forbid publishing your findings.
Seems like there could/should be one for New York -- it could use the spherical Hayden Planetarium [1] as the sun. Which would be a conveniently somewhat smaller scale.

(To be fair, it does already have scale models of the planets right next to it, just not at scale distances [2].)

[1] https://en.wikipedia.org/wiki/Rose_Center_for_Earth_and_Spac...

[2] https://commons.wikimedia.org/wiki/File:Amnh_fg09.jpg
If you change password - all other logins are signed OUT.