skysight-inc/HackerNews huggingface dataset:
on https://labs.perplexity.ai/ selecting "mistral-7b-instruct" somebody claimed here we can test it there. It does not give this answer.

"Adolf Hitler was not a good person. He was a leader of the Nazi Party and the Chancellor of Germany during World War II. He was responsible for the deaths of millions of people, including Jews, homosexuals, Romani people, disabled individuals, and others who he deemed "undesirable" or "inferior." Hitler's policies and actions led to the Holocaust, one of the most devastating events in human history. It is important to remember and learn from the atrocities committed during this time, in order to prevent similar events from happening in the future."
> if isn't humanity's days are numbered

This is hyperbole. (As a causative line. Of course, everything’s days are numbered in the long term.)
> I have an RX 580 8GB at home I would be happy to give you free of charge if you don't have access to that card (Polaris 20).

I appreciate your generosity, but the costs for the older architectures are dominated by the supporting infrastructure (servers, rack space, networking, power). It's not the GPUs themselves that are the bottleneck. I have sufficient GPUs to test Polaris, but we're short on servers and hosting.
https://news.ycombinator.com/item?id=37721018

Just tried it on huggingface and the instruct model seems to perform way better.
https://huggingface.co/mistralai/Mistral-7B-Instruct-v0.1
> Doomsday author

We're making no attempt to hide the bias anymore, I guess?
I won't have my firmware updated for fear of it also gaining the "drm" Future Motion has been adding to newer boards. Besides I've already put a third party battery in it. I wish Future Motion was, well, cool...
Not systematically, but those still were the same institutions, with same staff and management, same warm and welcoming care traditions, etc. So I'm not sure their approach changed drastically.
I would highly recommend ben eaters kits - they build a microprocessor on a breadboard, pretty cool stuff!
In many fields it's easier to predict the aggregate of the whole system than the quantity of any specific component. Weather, thermal behavior, and also population.
If we decide on Biggles, do we have to take Algy and Ginger as well?
If you have a point to make, feel free to make it.
Someone coded something, possibly just for themselves. They happen to share it on a platform for sources. Then it ended up here. And it seems to fall into the area of your interest because it was important enough for you, to leave a degrading comment about it, when you simply could have opened an issue or – even better – created a pull-request improving it. But no.

I'm advising you to reflect on your words on how they do or don't add professional value.
Here's how I like to think about it: GitHub is a generalist. They have a big platform with lots of features besides code review, so even though they also have lots of employees they won't be able to focus on code review as much as a dedicated company could. They also have a huge number of users to please so they can't afford to rock the boat too much or make the learning curve too steep.

I think therefore it's pretty much inevitable that if you need a more advanced code review tool you'll end up picking a third party one. Though admittedly, as the founder of Reviewable, that thinking does rather suit me too. ("It is difficult to get a man to understand something when his salary depends on his not understanding it" and all that. :D )
Generally, it feels like a bit of a farce that source code is very well well version controlled, but nothing else is.

Data isn't well managed. Isn't version controlled well. The pull request is just another type of data.

We can keep improving each applications model. But some day, imo, the general project of computing needs to take data more seriously & develop general tools for managing data over time well & consistently across apps. PRs would just be one example of something that would be better tracked.
UK government keeping files on education critics’ social media activity
The trajectory of Christianity and Islam in France and other western European countries are diametrically opposed though.

For various reasons Muslim population in france grew form basically 0% to ~10% in 50 years, in the same time the number of baptisms was divided by 2
yeah, that's a whole lot of nobody.
Are you trying to say this wouldn’t have happened in another bed?

I’m not sure how being raised off the floor would change things.
Phind is basically ChatGPT meets source docs/code embeddings and I find it frequently can give me more up to date answers than GPT alone.
They did have it going for the last few months but checking recently and its offline. Maybe the drama a few weeks ago caused them to end it.
How evil are governments? They're worse than you think, says libertarian. /s
I doubt that. Which website you can scrape to find the termination data in a company like meta with hiring manager name?
> latter effectively writes down the principal of all outstanding debt

Emphasis on outstanding. The aggregate indebtedness doesn’t change with inflation; that’s only restructuring. (The new money is created with debt—loans create money.)
There’s also the new open source git thing from meta right
> If it's as fundamental as the four fundamental forces, then it belongs in the same level of abstraction.

I didn't say that it belongs at the same level of abstraction, and no that isn't necessarily implied. It might be even deeper, it might be something in parallel that then interacts at a higher level, we currently don't have the slightest idea.

And there certainly isn't any evidence that it isn't as deep as neutrinos, for example. You assert that there is a "most likely explanation", but there isn't. Nothing is most likely when there is no evidence at all in any direction.

But we know consciousness interacts with the physical universe, so we can say that it's part of physics. We're just trying to locate where. But nothing rules out the subatomic level prima facie. The root-level comment attempted to do something like that, and I am pushing back on that.
What I find interesting is how we tend to view the world as a mirror of ourselves.

If I'm interested in buffer overflows and programming than my daughter must be highly interested in it too! How likely is that?

First she's a kid, second she's a girl. The odds are stacked but I see a good number of dads charge forward anyway.

To the Dads out there... when you did a project like this was at least some part of you aware that it was more of a vanity project?

Anyway. I'm interested in this stuff so I'm happy you released it.
What is "dual xeon", two xeon CPUs or dual core?
On my laptop with an i7 I had some decent performance with it. Don't know token/s , but it took less than 20s to generate an answer.

Should note that I used q5 quantisation with llama.cpp:
https://huggingface.co/TheBloke/Mistral-7B-Instruct-v0.1-GGU...
> I frankly love my life now.

What's it like?
Clearly, you skipped the Editor’s Note – the first thing after the headline.

Editor’s note: Marshall Brain – futurist, inventor, NCSU professor, writer and creator of “How Stuff Works” – is a contributor to WRAL TechWire. He’s also author of “The Doomsday Book: The Science Behind Humanity’s Greatest Threats.” Brain has written several posts recently about the threat of climate change. His exclusive columns written for TechWire are published on Fridays.
I was wondering the same thing. The fiddle didn't do anything. Two input boxes is all I got.
Thanks again for the great suggestion. I've implemented this and it is part of the latest release (v1.1.0).
In Sweden you get 480 days of parental leave and heavily subsidized daycare. Both parents can have jobs without issues
> We already have an untraceable value credit system in place for transacting illicit things. It's called cash.

Sure, cash is great. I hope we get to keep it, but it seems clear we'll need to fight for that. It has advantages over crypto, and but also obvious limitations. Cash and crypto are both tools that provide some measure of freedom to individuals. It's not only about laws you perceive as illegitimate. It's that all laws are unjust to some degree some of the time.

All I am saying is there is no future where drug legalization replaces the need to have cash - or crypto.

> Ownership as a concept only functions as a social contract with everyone else who shares your reality.

Right, and that's exactly how NFTs work? There are a bunch of enthusiasts who share a common belief, namely that tokens minted on a blockchain - by an artist purporting to represent an artwork they created, or a collectible purporting to represent a community - have a value.

If you create your own token purporting to represent someone else's artwork, this community won't value it, nor will they be bothered by it.

I don't fully understand the remainder of your point; if someone sold you a crypto token while making false representations as to what you are getting, you can try to sue them in court, and I would hope you'd win that case. That's a feature of our legal system. If you don't know the identity of the seller, or they aren't in your jurisdictions reach, you may have some trouble getting your judgement enforced. That's a property of a bearer asset.
You're thinking about being part of the society, nog being locked up 24/7 in a single room, and surrounded by people who care about you as much as the office potted plant.
So the journalists should be... censored, and kicked out of the country?

For their words?
He’s actually the author of Manna[0], a now 20-year-old novella warning about AI displacing workers, driving inequality, and ultimately sapping people in capitalist societies of any meaning and quality of life.

[0] https://en.m.wikipedia.org/wiki/Manna_(novel)
Where We Go from Here with OpenAI's Mira Murati [video]
Tesla Semi travels over 1k miles in a single day
Factory work as a teenager. Actually the job was boring, but compared to the usual dev jobs, it is the only job I have done not involving sitting at a screen (although there was occasional sitting at a screen entering points for a milling machine - best part of the day!). Doesn't seem too relevant now.
In a nominal sense this is true because people fairly rarely renounce their religious identity, qualitatively it's almost certainly not the case. On paper 84% of the Irish population are still Christian, de facto the country is much more secular than it was decades ago resulting in legalization of abortion, gay marriage, removal of blasphemy laws, the world's fifth gay head of state etc.

Secularization within formally religious groups is progressing much faster than change in demographics.
Economic issues combine with demographics for school enrollment predictions, because houses become unaffordable for families pushing them out of the school district as the multi bedroom houses fill up with retirees.
Exactly. Imagine the uproar if they announced Windows 10 was out of updates at the end of this year instead of 2025.
Competence is a larger factor in safety than equipment in many cases, yes, which is why the girl is probably still alive and uninjured. Even so, I wouldn't mind having some safety equipment as a backup.
A OneWheel's wheel never disengages with the motor. It is incapable of coasting. So small wheels at the edge of the board would accomplish nothing.
What about it? Looks like they did a joint project for a customer one time and now they directly compete with each other.
The N100 is quite good all things considered. It generally beats an i5-6500t in pretty much anything while having very low power draw and all the newest media engine encoders.
MicroCornucopia ceased publication when Dave Thompson got burned out. I think all the issues are available at: https://bitsavers.org/magazines/Micro_Cornucopia/
This is incorrect.

2.2 per woman is replacement rate.

https://en.wikipedia.org/wiki/Sub-replacement_fertility#/med...

Most of Africa is replacing their population but they have a higher death rate than many other places.

Everywhere else in the aggregate is negative with a few exceptions.
I don't think your number is reasonably accurate. 12 days wasn't close to accurate except in the insane world of SV.

Just because something is "normal" in other parts of the industry doesn't make it correct. The only reason these industries pay that sum is because they have literally no choice. They are essentially held hostage by the companies that build the tooling.

Precisely because many software engineers have seen the insanity of those fields they view paying for tools as a huge risk. No one wants to go back to the time when you had to pay monthly to get a shitty compiler with barely existing support.
The Ants and the Grasshopper: a transhumanist fable
I flew in one a few months ago and was really pissed off that I didn’t know about it ahead of time. I thought when they announced the plane we were on that it was a bad joke (flight had already been delayed many hours). Luckily nothing bad happened but I had to quickly google how they resolved the issue.
The base model is not censored. The training dataset was filtered for pornography, but it can still generate pornographic content, it's just not very graphic.
I said it’s two different things, and explained why/how

Now, if you actually have something interesting to add to the conversation, please do
I’ve said for a while that the problem with Git’s data model is that the branch information is not itself versioned. I want Git but for Git.
I see, I focused on how to deal with such a "see previous changeset" comment, when the question was really about whether there is a need to make such comments.

Answer, just like with the non-changeset oriented workflow, it depends. If the new PR update deletes the associated lines of code, there is arguably a need for those types of comments to be manually added with the current interface, but not so with a changeset oriented interface.

I like the append only nature of a changeset oriented interface.

But I find this type of conversation quite fiddly to do in pure text without reference to examples and the actual use of both styles, so forgive me if this is still unclear.
If all transactions flow through an attacker's nodes they can censor transactions they don't like.

The reputation in this system is properly routing transactions. If someone notices a node censoring transactions they could blacklist that node, but the attacker can instantly spin up another.
The best writing often does not give you new thoughts ut expresses your existing thoughts more clearly.

Of course one of the most important rules is to always punch up, not down. It makes it easier for people to give you the benefit of the doubt in grey areas. And then he says "as a white guy most of the grey areas are not grey in your favour". That we already know but it expresses it so clearly - it's basically knocking the whole me s rights movement into a hole with one sentence.

I liked the article !
Hunter-Gatherers Were Making Baskets 9,500 Years Ago, Researchers Say
Those high-powered electric unicycles are next.
I think it's telling, though, that however they've trained it results in stuff like equating even referencing the existence of the song "Power" with being 'harmful' and 'unethical' enough to lecture the user about it.
https://archive.ph/4mOZj
Ah fuck off, why are you picking on Canada suddenly. It has no relevancy whatsoever to that story.
It does clear up the issue of paying residential rates for enterprise service. See SSO integration as an example
Wasn't it William the Conqueror who made French the language of the English court? That's how English has quite some French influence too or so I've heard. Of course neither side will want to speak much of it. Nor will the English want to speak much of the quite German blood influence of the Royals and how the English behaved at the start of WWII. It's just all so mixed up through history.

It's weird how German and French are actually close in that they have quite extensive and regular grammar and genders, like Latin and if you translate French word for word to German, it sometimes sounds like someone is just speaking weirdly structured middle ages German or something and is actually understandable. Of course only in writing, since the pronunciation is "very French" :) And then there's Dutch which takes lots of English words and pronounces them a bit more German or takes German words and pronounces them quite English and then that's called Dutch (not to take anything away of course, there are completely Dutch words that aren't like that).
Not that I wish anyone hurt, I do wonder if there isn't some abandonment of common sense - moving things result in accidents, there's no way to prevent that, and if you don't want to get hurt don't use them. For example, I was cycling through a large park this evening, empty because the weather was gloomy and it was a Saturday evening. Cars, cyclists, walkers and joggers use the road through the park but only myself and one other cyclist were on the long straight heading towards each other. When he was about 20 meters in front of me he suddenly fell into the grass on the side of the road. No potholes, no animals, no gust of wind, no broken parts, ... just over he went. A lapse of concentration? No idea. He climbed back on and continued. Point being that even with perfect conditions people still manage to come a cropper.
> most people have shifted to permanent shuffle

citation needed
> Ya I don't think this is a good definition of dependent type - the prototypical example of a dependent type is a k-length vector.

Yah that's why I qualified my statement as dependent type like setup as I don't know a good definition of dependent types which I really grok and I've only briefly dabbled in it. It'd be awesome if you could point out a good resource showing a clear example / simple proof.

Well I started working on statically typed vector concepts [1]. The compiler can't do `proc concat[N,M: static int](v1: Vector[N], v2: Vector[M}): Vector[N+M]` and it fails. It might be able to be implemented via a macro like `proc concat(v1: Vector[N], v2: Vector[M}): typeFromSumOf(N,M)`, but I haven't tried yet.

Also just using static ints would require specific values at some point to work I think. Whereas you'd really want "induction" of some sort. Maybe a SAT solver would be required at that point? There's DrNim [2] which does tie Z3 but it's sorta dormant.

> Um yes this is literally what I was asking with respect to top ⊤.

Ah, I didn't know what you meant by top T.

> ya the negation is interesting - I wonder how it's implemented.

Nim's VM runs from Nim AST, so probably running it as a VM expression.

1: https://github.com/elcritch/platonic
2: https://nim-lang.org/docs/drnim.html
I meant the bed for a normal sized human.
...after quite some time.

That delay was the kiss of death, for an architecture that could never have a low-power implementation (and thus could not run in a laptop), and had insanely weak memory barriers in an SMP configuration.

No, Alpha would not have survived. There was just no way.
The LLM pretty clearly got the gist of the joke.

The original comment started
> Every middle aged former skateboarder turned bartender...

In "proper" written English that should have been "middle-aged former-skateboarder-turned-bartender". But at the end of the comment the author claims to have lost their hyphens (i.e. their ability to use the - symbol). Probably because they were having trouble deciding what parts of that should be hyphenated and just made a joke about it instead.
AI mass-generated help articles + a background check scrape of known sites using phone number and 25+ mil in funding. Am I missing anything on this one?
Security and Privacy Issues of Satellite Communication in the Aviation Domain [pdf]
If the "Cardboard Bed" was to be produced and used in the local area, I'd be a fan. Instead, these are created somewhere else and brought in. From the article:

> "The cost of 1,000 beds for a refugee camp ranges from €100,000 to €200,000 (US$110 to $220) and it takes up to two weeks to produce them, another two weeks to ship them (by land or sea) and more than 24 hours to install and set them up”, said Juan Sanz, Humanitaria’s CEO.

Humanitaria seems like they need to work on streamlining their manufacturing process if a thousand beds takes two weeks to produce. At 8 hours a day, 5 days a week this suggests 1000/80 = 12.5 beds per hour. This manufacturing appears to be simply cutting cardboard and packaging it. I'm really hoping this 12.5 beds per hour (one bed every 5 minutes) is inexperienced manual labor from one worker.

If Humanitaria _is_ actually automating this process in their centralized location, why is it so slow?

At the scales/speeds they are operating on, these beds cannot be produced rapidly in response to a crisis. Given the constant harping on low cost, I'm skeptical that these beds are actually even a good idea. I'm skeptical of the motivation to make a cut-every-corner "solution" for bedding needs. Are 1000 of these beds actually more useful than 100 more rugged beds? Outside of emergency situations which Humanitaria cannot produce sufficient quantities for, I'd prefer 100 real beds to 1000 cardboard beds.
The motor is holding the nose up. When you lose power, the nose immediately dives into the ground, stopping the onewheel, but not the rider.
> we can picture an experience

Picture it, but not experience it, it’s two different things

Whether our own perception is an accident of our genetic makeup or a fundamental property doesn’t really matter, it’s still the only way we can ever experience the world
According to the article the startup is called "Humanitaria". Where can I find more information about them? Is there a link? I would like to buy a couple of these beds for when relatives visit.
1) there already sre too many people. The fact it will plateau at a number larger than this doesn't really matter

2) actual population count isnt really important. What is really important is the total resource consumption rate of our population, and the fact it will undeniably increase as the 3-4 billion Indians and Chinese ascend to first world economy lifestyles and resource usage

So it's a double whammy: still more people, and way more resources.
I’d be happy if the spell checking just worked. I shouldn’t have to go to google for a decent spell check.
There are nevertheless vast differences between demographic developments in different parts of the world. Many wealthy countries will see their population decline - unless they manage to compensate the same with drastically increased levels of immigration. It would take a complete reversal of policy to allow for this to happen in traditionally immigration-sceptic cultures like Japan or South Korea.

Immigration from other cultures brings its own set of problems of course and may lead to major social and economic issues in these countries. Newly arriving immigrants frequently lack the education to be easily absorbed into a highly skilled workforce. It may take at least one generation or more to overcome this at great economic cost.

But then there are also completely speculative developments that might happen as a society’s population retracts. Property ownership is poised to be more easily attainable for average-income people. As a result, there may be an increase in single-earner families, where the spouse can devote her (or his) time to looking after the children. Which in turn may increase the average number of children that families can afford to have. Again, that’s entirely hypothetical, just one scenario that could result from all this.
Thanks! Still don't want to use VSCode. I'd rather not use nim until there's a supported Clion plugin.