skysight-inc/HackerNews huggingface dataset:
You're right about that, because if you go too far back and find out there are no seats that you want, you will have an awfully hard time moving towards the front. So when you see a seat that you find acceptable, you want to lock it in.

Still it would have been nice to see a comparison of the times between non-assigned front-to-back boarding and traditional assigned boarding. But I can imagine that's not so amenable to simulation.
Full List of China's Unofficial Police Stations Around the World (dupe, sorry)
Oh this is good. :)
do you trust god?
"These flaws led from the builder's sincere desire to improve on Rutan's work, a goal that could actually be said to have been accomplished from an engineering perspective, even if it did kill the pilot."

Tog does not mince words.
Agreed. I’ve been an Arc enjoyer for quite a while now.
I don't think it will ever be possible below the point of reaching some form of AGI.

But even if it were, it's more about design and not sure that a machine will have the same empathy towards a human cognitive shortcomings.
Not fully. The instruction tuned model is CC-BY-NC-SA
Seems fine to me. If it's on a desktop your DNS might be hacked, or your time is off?
For Cohere, make sure you're using Command-Xlarge-Nightly.

Otherwise, you may be prompting a Base LLM expecting the behavior of a different kind of LLM (an instruction-tuned chat model).

Cohere's Command model builds on top of the base model, giving it the capability to follow instructions and user commands.
Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations [pdf]
Oh no!!! I am so sorry to hear this, I will work on fixing this. If you are still interested in trying out the data, please email me: alex@tesseractanalytics.ai. I can register you manually.
This is an actually a very old accusation, reported and investigated a couple of dozen times especially in the aftermath of the 1980 election and again in 1991.

https://en.wikipedia.org/wiki/October_Surprise_conspiracy_th...

It certainly seems like the sort of thing the Iran Contra Gang might have done, but there's no hard evidence that they actually tried. In particular, Ayatollah Khomeini had clearly already thought of it on his own and was able to act on it likewise, so there would have been no need for Reagan or his proxies to get their hands dirty.
Why does it matter if you’re talking to an AI or a human? What can a criminal AI say that a criminal human cannot?
Ever heard of that small German company called SAP?
Interesting… seems that Dutch gezellig is something similar to the Danish notion of hygge, but without the sense of “an almost pathological taste for Poul Henningsen lamps as a means to tame whatever it was that drove Danish men to spend their lives Viking across the Atlantic”.

But then my experience in Denmark was very narrowly spent with my ex-wife’s family there, so maybe I’d have gotten hygge with it eventually.
The theory is that the threat of a class action lawsuit keeps us all safer than we otherwise would be. So we benefit from all the class action lawsuits that didn't happen because companies complied with the law.
We alreat have AGI. Well not really but you can hire people. Do employees remove the need for management? Do you think you'll be able to prompt AGI "do business things" and it'll just carry on in it's virtual world that will somehow translate to real value?
Do not conflate volume with value and oil with natural gas.

Natural gas exports to Europe was Russia's big thing. The value of their oil and natural gas exports to the rest of world has failed make up for this loss.

Even for Russian oil your own link says there has been a 43% drop in revenue and a 21% drop in income.
NPM Provenance Public Beta
Thank you for the feedback! I dropped the phone number as being necessary for registration. If you still have issues registering, please email me: alex@tesseractanalytics.ai
yeah, it's a level higher up "metgezel" for example
> Will a model that small suffer heavily from a 4bit quantization?

From my experience with quantized 7B llama models, avoid 3B if you can. Without benchmarks, I think this is a decent rule of thumb.
Got it! I removed the phone number as necessary.
“Ghost Jobs” are infecting the job market
I'm not seeing anything for the homepage (Firefox, Opera). Let us know what browser you're using. Posting a specific url might help us.
I think it reduces the limitations of LLMs somewhat for some tasks but it's not perfect either. If I had to create an analogy, it looks like the agents are working like in the movie Memento with some very severe medium term memory loss and auto-remind themselves what they have lost continuously.

Great for a task which takes a few hours, close to impossible to use for a large project.
The two sentences prior are important:

> We are also releasing a set of research models that are instruction fine-tuned. Initially, these fine-tuned models will use a combination of five recent open-source datasets for conversational agents: Alpaca, GPT4All, Dolly, ShareGPT, and HH. These fine-tuned models are intended for research use only and are released under a noncommercial CC BY-NC-SA 4.0 license, in-line with Stanford’s Alpaca license.

The snippet you quoted is not talking about the main model in the announcement. It's talking about fine-tuned models based on other models. Stability has to respect the license of the originals. They cannot change it.

The main model is described higher up in the post and is permissible for commercial:

> Developers can freely inspect, use, and adapt our StableLM base models for commercial or research purposes, subject to the terms of the CC BY-SA-4.0 license
ChaosGPT is a nice agent. We need more.
This part seems deeply questionable to me:

> Congress should raise the age of “internet adulthood” from the current 13 (which was set in 1998 before we knew what the internet would become) to 16, and enforce it by mandating that the platforms use age verification procedures, a variety of which already exist

Yes, age verification procedures exist, but I don't know of any that are actually effective without also being privacy/security nightmares. Haidt's analysis of "what damage is done" seems to assume an idealized implementation that never incorrectly flags an adult or causes a leak of personal information.
You need one of these

https://ontology2.com/essays/ClassifyingHackerNewsArticles/

which is motivated by this

https://ontology2.com/essays/HackerNewsForHackers/

which was written by a legendary "True Scottsman". Lately I've been working on a smart RSS reader based on the same ideas but is much more industrialized. Of course my values are different, I am sure to upvote anything from arXiv about practical text classification... It also can do scary things to you: first I got frustrated because it couldn't tell the difference between the NFL (liked) and Premier League (hated) but the feature engineering to fix that got me studying the structure of soccer literature and before I knew it I was a soccer fan hanging on the result of every Arsenal and Man City game.
> Each voter receives a printout with a human-readable list of their selections, along with a QR code.

This is not an acceptable design. Not only should the voter be marking their ballot by hand not doing so through a machine whose UI may have bugs, but any scanner must scan the human-readable marks, not some machine-readable marks because the voter can't check that both sets of marks match.

> The Dominion machines are good precisely because, unlike past digital voting machines, they create a human-readable paper trail that is legible to both the voter and to (re)counters, just like it was before computer voting terminals.

Intentionally obfuscated paper trails. The problem is that none of this is required. Paper works. Paper + optical vote-checkers works. Nothing beyond that works, or is needed.

> anyone who proposes blockchain as a solution should receive a lifetime ban from making any democracy-critical policy decisions.

Lol, total agreement. But ... why does that not extend to people who make black-box machines that have a ton of chances to change the vote?
Yes. Invasion is basically logistically impossible without the assistance of Canada or Mexico, and with their assistance, would require a large, obvious, and vulnerable preparation lasting at least many months.

Of course our having a navy is a good idea. I'm obviously (and I think you know this) not advocating complete disarmament. We probably don't need a navy large enough to project force to the literal other side of the world in multiple places at the same time, though. Nor a standing army large enough to invade and occupy 2+ weaker countries at the same time.

The vast majority of our military spending is about hegemony maintenance and the ability to impose our will around the world, not defending ourselves. Our oceans do in fact put us on easy mode, for simply defending ourselves—we don't need the world's strongest military to do it.
When you play boardgames.. gezellig

When you celebrate Christmas.. gezellig

When you have dinner.. gezellig

Also, something can look like it's gezellig, which translates more like cozy

For example.. Christmas decoration, gezellig!
You can use it as the assistant model to a large model, it's called speculative sampling. You generate text with the small model and validate with the large one, ensuring no deviation occurs. Speedup of 2.5x

https://arxiv.org/abs/2302.01318 (DeepMind)
Off Time is a good catch. I second checking for that. It's caught me before.
Yeah, I suppose I can remove that feature, I just thought if people wanted to add comments or blog on my tutorials. Just message me in Contact Us, I will remove you from WordPress.
I don't understand what you mean. The ancestral environment is one in which danger comes at night; that's when the tigers come for you. That's why people are afraid of the dark, why even grown men run up their basement stairs after turning off the lights. Monsters in the dark will nip at your heels; that's what our genes tell us. But in the modern context, a child who's facing real adversity (not monsters under their bed) at night has serious problems with their home-life which they'll be poorly equipped to deal with.

Daytime problems for kids are usually problems with other kids and teachers, but those kinds of problems are much easier for kids to deal with alone. Particularly if their home situation is stable.
> The correct answer in metric is 9.98 Gg (gigagrams).

10 gigagrams. It's a rough estimate of 500 tons per story.

But tonne is a perfectly good "unit officially accepted for use with the SI". If you're willing to use "minute" and "liter" you should be fine with tonne.
Yep, it depends on what your goal is.
But Chinchilla optimality, while an interesting result, is a strange target for most practical purposes. Training is one time, inference is many times; not training past the point where its cheaper to training a larger model for the same (proxy for) quality discounts to zero the import of the cost of inference.
Nope, that was episode 6, the season will have 12 episodes.

It's a streaming show, so they're not bound to specific episode lengths. If they have a story that warrants longer, they have the ability to stretch it. I think that's great.
AI Meme Generator
The analogy with self-driving cars is a great one. It's important to keep in mind that levels 2, 3, and 4 do absolutely not work. Automation works on level 1 and 5 alone.

I believe we will see something similar for AI agents too. There is, of course, a lot of valuable things to do at level 1.
Are Log Levels Useless?
Nuclear doom can happen anytime. So can AI,bioweapons etc.
I for one definitely go grab the shotgun everytime I hear that "the situation is rapidly evolving" on the news. Someone has to be ready to defend against all those mutants. /s
I could try playing around with Grafana as well, thanks for the tip!
I am trying https://www.reddit.com/
The rooftops of some of these industrial properties are massive, over a half dozen acres sometimes. If they are just placing them on the desert floor I’m not sure that placing them on a flat warehouse roof wouldn’t be about the same process. Plus you wouldn’t be degrading the desert, you’d be improving Vernon and other places like it.
Yep, but if stability has the goal of training the best possible model then that would explain the choices they made.
So has have the market for raspis mellowed out yet?

Last I checked the past few years made them near impossible to get as industrial orders got priority over hobbyists.
It's released but still cooking in the oven as we speak.
> While leftist elites and their stooges will always vilify conservatives for showing a spine, Americans who have families, do real work, and actually love their country will celebrate them and keep their memories alive. They need a champion who will not sell them out, fight the good fight, and do the dirty work of (figuratively) impaling some bad guys.

The wikipidea page on Vlad the Impaler, is a bit more Game of Thrones than this simplistic take, with Vlad fighting with the Ottomans and impaling the locals, before switching sides later when convenient:

https://en.wikipedia.org/wiki/Vlad_the_Impaler
Cohere actually trains its own models and they are not based on models from other providers [I work at Cohere].

Your prompt suggestion is a good one for LLMs as a whole. Any information added to the context informs the model and nudges it towards the expected answer format.
I'm curious why you'd think that. China as a country has many people to start. Some percentage of these people will end up in AI. Assuming people from all countries are roughly equally intelligent, the numbers clearly favor China. Universities over there are quite good, there's a pretty strong "work hard" mentality I see from all our Chinese students. Plenty of Chinese graduating or starting university these days during the AI hype peak. China as a country isn't sleeping on AI either. I think China as an AI hub looks quite promising. Anecdotally, China also retains quite a lot of talent or people go abroad to study and return to China. Compared to some European countries or India that "leak" a lot of talent to the U.S. I think China is quite a bit more stable.

On the hardware side, things tend to be produced there as well.
Fortune has so many hilarious lines in it. I feel like it makes me a little smarter.
Yes, but they do not necessarily offer it as a dump right away. So I am still relying on monthly dumps.
This is just marketing. They're positioning themselves as somehow "more human" while building the exact same technology. When a model supports me by doing the work I'd otherwise hire someone to do, the model just replaced someone. And this goes without saying, but a large amount of outsourced tasks today don't exactly require "god-like intelligence".
You definitely could be right. The motivations of the politicians there make perfect sense. Plus it allows them to fit in the "republicans are evil" to their base, and the republicans can fit in the "democrats are evil" to theirs. Meanwhile the politicians are working together.
I actually used the fire extinguisher I used to carry in my ‘79 Buick LeSabre to put out a fire but I ended up regretting it.

Smoke started pouring out from under the hood, so I pulled over and popped the hood and saw a blazing fire. I ran in a panic to the trunk, got the extinguisher, and put out the fire.

It turned out that the air conditioner compressor had seized up and stopped turning, causing the belt to overheat and catch fire. The fix was simple: remove the remains of the belt and everything was fine. Roll down the windows when it’s hot.

If I had let the car burn out and be totaled I would have saved a lot of trouble, including endless transmission leaks and a busted U-joint which led to my coasting to the side of the road with the driveshaft (connected only at the front) dragging and bouncing and throwing up showers of sparks down the freeway.
Learn to love learning, find enthusiasm in growth and challenge. University Education CAN be huge for that, beyond the 100 level courses.

Learn to share your learnings with others, publicly. Do it 1-1. Blog, speak, share on social media. This will create public engagement and if you are enthusiastic and positive, will lead to many opportunities. Don’t hoard knowledge. The more generous you are with knowledge, the more people will want your expertise.

Work on the hardest problems. For example, do you specialize in crafting prompts for LLMs or do you understand the math behind LLMs themselves? I’d argue try and do the latter, and share and learn enthusiastically. You’ll find higher paying and more interesting work.

Find others that love learning. The coworker who doesn’t value their growth, who turns their nose up at the “nerd” who dares to spend time on their growth is toxic. OTOH the colleague excited to grow will drive you to be better and be an invaluable connection your whole career. You can find great collaborators at many places: university, job, whatever.

Be humble. You’ll never master even your chosen field. Stay close to people smarter than you. Don’t assume you can’t learn from somebody. A great quote is “we are called upon to teach when asked to learn when we are fortunate”
Perhaps the "value added" is DRM and advertisements in your personal computer's interface, and the "net negative" is honest and true.
This is a good discussion.

If, like tellers, the initial effect of AI is to increase the demand for developers and then taper off, this could be ideal. The initial surge in demand will give many a chance to increase their knowledge of AI techniques and in about a decade when AI is everywhere, demand for all knowledge work will start to drop. The good thing about this is knowledge and experience about AI has spread, it is for all to use (hopefully it works reasonably well on a desktop computer).

Then the real shakeup begins, but at least the means of production -- or rather, the means of AI -- has spread and isn't completely siloed in one or two companies.
Correct. Which is why I posed it in the form of a question.
Juice will be the first mission to orbit a moon beyond Earth
Fair. That's not really in contradiction too.

The additional naming constraint added to a structural interface would form a sort of namespace for methods.

I think in the comments below that someone likens this to tags in C++.
GGarciaGamez
[Video] Write more code by writing less code with GitHub Copilot
These models are huge. I assume they are not quantized down to 4bits yet.
You can automate it and reach many more victims than doing it with humans.

Edit: it reduces the cost of the attack and thus makes it more profitable.
Interesting article - but I find it odd that something published on a site devoted to interaction design should have such small text - and full-width at that. Currently using Firefox on Windows - I don't often have to touch the zoom setting, but for this one I had to crank it to 150% to read the article comfortably.
Sous Vide Machines (Immersion Circulators) of 2023
Yeah said it backwards. When I was a teen, there were no DVDs. Most people didn't even have a VCR, though they were starting to get popular.
> Seems like a fair number of democrats probably thought Nixon was a criminal and Reagan was satan and ghwb was a liar and gwb was a warmonger and trump was a fraudster.

Yes true, but it didn't feel widespread then. It was mostly just people who follow politics closely. Now it's nearly everyone.
Edward Tufte would like a word …
Arc is real. I got the download link emailed to me a few weeks after signing up.
The model is very good. Looks like it's using GPT-NeoX structure, and the finetuned 7b version is very quick, and beats everything else in the category (vicuna, oasst, openchatkit, gpt4all, etc...) in my "write a poem about cheese" benchmarks.
You have some variation over time but you would need to look at the drastic rise in ATMs from 1970-1990. If the theory that ATMs impacted employment negatively is true, that's where you should see the drop in jobs.

Or broaden it out and ask what happened to job opportunities in banks or finance in general. There has been huge growth in productivity and hence headcount growth. Same is true for engineers. With modern dev tools and eng is a lot more productive and hence more profitable.

And the ATM was invented 50 years ago, so even if bank tellers are on the decline today i wouldn't call that short lived

https://www.aei.org/economics/what-atms-bank-tellers-rise-ro...
Bing has < 7% market share. There is no monopoly power under any stretch of law there.

And none of them have any kind of AI monopoly, which requires much more single domination of a market (and AI is not a market, but is used in many different markets....).
I’d assume both. Leak to provide the fuel and a spark to ignite it.
Prolog is not first-order. That's how it's described but it lacks the fundamental distinction between predicate and function symbols that makes First-Order Logic, first-order.

To clarify. A FOL language begins with an "alphabet" (sometimes called a "signature") of predicate symbols, function symbols (including constants), variables, the five logical connectives (¬, ∧, ∨, →, and ↔) and punctuation (left and right parens, comma, dot, colon). The sets of predicate, function and variable symbols are disjoint.

Function symbols are used to define terms, inductively, as follows. A variable is a term; a constant is a term; if f is a function symbol and t_1, ..., t_n are terms, then f(t_1, ..., t_n) is a term.

Terms are used to define formulae as follows: If P is a predicate symbol and t_1, ..., t_n are terms, then P(t_1, ..., t_n) is an atomic formula, or atom. If φ is a formula, then ¬φ is a formula. If φ, ψ are formulae, then φ ∧ ψ, φ ∨ ψ, φ → ψ, and φ ↔ ψ are formulae.

Literals and clauses are defined as follows: if A is an atom, then A is a positive literal and ¬A is a negative literal. A clause is a disjunction of literals. A clause with a single positive literal is definite. A definite clause with no function symbols other than constants is datalog.

Now, if you squint a bit at all of the above and then at a Prolog program you will see a serious violation of the rules of FOL syntax. Observe:

This is Prolog:

p(x, y):- q(r(x),z), r(p(x,z)).

See? r/1 and p/2 are used both as the symbols of terms and as the symbols of atomic formulae. That is a violation of FOL syntax. What's more, it's a violation of the "first-order" nature of FOL, where functions are "at a lower order" than predicates. That is, in FOL, terms map to entities in the domain of discourse, whereas formulae map to relations over entities in the domain of discourse.

But Prolog doesn't care. Prolog doesn't care if an object is a predicate, or a function, if it's a mapping, or a relation. For Prolog there's no distinction, and because there's no distinction it can treat everything as an argument to everything else: an atomic formula can be "passed" to an atomic formula, and taken apart, and put back together again. For example, you can do this sort of thing:

?- T_ =.. [p,X,Y,Z], T =.. [r,T_].
T_ = p(X, Y, Z),
T = r(p(X, Y, Z)).

That is no first-order functionality! In fact, in Prolog you can write this sort of thing:

prove(L):- true.
prove(L,Ls):- prove(L), prove(Ls).
prove(L):- L \= (_,_), clause(L,Bs), prove(Bs).

And that is a Prolog interpreter written in Prolog. A program that evaluates programs? Toto, I don't think we're in FOL anymore.
More of a reflection on the state of the West in general. Where the flame is lit doesn't really matter.
We have laws against using phones while driving for very good reasons everyone understands.

And then car manufacturers decide to make turning Air Condition on and off into a experience as much distracting as using a smartphones, so they can save a couple hundred dollars in a 30.000 dollars vehicle.

And because accidents caused by stupid car UIs are not as obvious an newsworthy as texting and driving, no politician has decided out that pushing for legislation for tactile controls can give him votes, so, nothing is done, legislation-wise, to curb this practice.