skysight-inc/HackerNews huggingface dataset:
The only case where I don't use vim is jvm based languages, so many of which coevolved with ides I think they're pretty painful to use without.
It is difficult to get a man or woman to understand something, when their salary depends on them not understanding it.
The obligatory https://en.wikipedia.org/wiki/Dead_Internet_theory
That depends on the sourcebase and compiler. Anyone who used Metrowerks C++ back in the 90’s can attest that C++ compilation doesn’t have to be slower than C. Swift has baked compilation slowness into the type system, and it will never be as fast to compile as C/C++ on the same hardware. The compiled code might be faster, though.
*Swiss water method. It's basically healthier version of decaf as most are decaffeinated using some chemical processes (so I learned) ... this one is without chemical use, completely natural. Tastes great too.

I agree with that too. It's also worth to go cold turkey for a month or so and then keep the coffee intake regulated (eg never early in the morning but later before noon after your natural alertness drops) 3x a week or so and whenever you get back on frequent coffee repeat the process - this worked for me better than half/half.

Be ready for headaches early on and couple of lethargic weeks until your brain somewhat resets.

What I missed in decaf the most was, well the caffeine. Caffeine is spicy so what I did to compensate was adding mix of spices (cardamom, pepper, nutmeg and cinnamon) to my morning brew and that made it more satisfying.

Btw. I own coffee roastery so I drink my own decaf which I now prefer over caffeinated coffee. With decaf you'll need either a dark roasted one or find some real premium brands. After months of going cold turkey I now only drink before bodybuilding workout or for pleasure socially.
I'm sure I'm not aware of something, but from a cursory research it seems they sinply aoak the beans and water and filter the coffee out with carbon filters - do you know more about the contaminants?
Tell us how it goes! Try different numbers of layers if needed.

A good place to dig for prompt structures may be the 'text-generation-webui' commit log. For example https://github.com/oobabooga/text-generation-webui/commit/33...
You're living the dream
I always find it interesting that objects like these must have had to have a purpose. Why couldn’t it have been a piece of art simply for decoration?
> To try to shift the pin, they shook Juice using its thrusters, then they warmed Juice with sunlight. Every day the RIME antenna was showing signs of movement, but no full release.

> On 12 May RIME was finally jolted into life when the flight control team fired a mechanical device called a ‘non-explosive actuator’ (NEA), located in the jammed bracket. This delivered a shock that moved the pin by a matter of millimetres and allowed the antenna to unfold.

TLDR: They finally pressed the unstick the antenna button.
The worst thing about headlines ending in a question mark is having to read snarky, untrue comments invoking Betteridge's Law. Such an empty meme.
This is a good overview of a number of emergent things that remain unexplained about the capabilities of some large language models:

https://www.scientificamerican.com/article/how-ai-knows-thin...

You can follow the multitude of things from there to the papers published that describe each of the cases in greater depth.
Previous PL researcher here. There are a few reasons for this.

First, it's important to distinguish between "positive" features and "negative" features. "Positive" features are where you can do additional things you couldn't do before. I'm guessing your AmpLang is primarily about positive features? Researchers do implement these as libraries or DSLs. For example, the most influential paper in pretty printing is Wadler's pretty printer, which is implemented as combinators in Haskell.

However, a lot of research is on "negative" features, where the compiler or type system gives guarantees that certain bad things can't happen. You can't usually add to a language and get negative features. For example, this post's paper is in the "negative" category, so it wouldn't make sense to develop it as a DSL, and furthermore it's about static type systems, so it wouldn't make sense to use anything like Python. Also, existing languages are huge, and when you're doing proofs, you need to fully model the language you're proving things about, so papers would get vastly more complicated if they tried to build on top of an existing language. Instead, the usual approach is to develop a teeny tiny boring language that also has the new feature (in this case, the new type system that handles concurrency).

Another thing to realize is that most "languages" in research papers aren't meant to be used. Success for such a language doesn't mean that people start using the little prototype they built (if the language is even implemented); instead success means that someone transfers their ideas into a new or existing language, and builds all of the tooling for that language. The hard problem that the researchers are solving is proving things. This is very hard! Real languages (especially type systems and compilers) are built on top of decades of language research! But it's very different from developing all of the libraries and tooling for a practical language, which is an entirely different process.
I don’t think a helmet would be all that helpful. For a person wearing a seatbelt in a modern car with airbags, there really isn’t a lot of hard things to hit your head against.

In these situations, the biggest damage to the brain is something called diffuse axonal injury where rotational forces from the sudden acceleration and deceleration cause injury to the neurons. A helmet would not protect you from that.
Yes, and typespecs are worse to debug than anything the borrow checker may complain about in Rust. Public api does benefit by exposing them, though.
Standing can be detrimental too if you do it all day:

> But that doesn’t mean you should stand all day, either. “Repeated, long-term exposure to standing also has been implicated in the development of serious health problems,” Chambers told us over email. She said that standing for the majority of your workday—as people in retail, manufacturing, and health care do—could lead to degenerative joint damage, muscle injury, and circulatory diseases such as venous disorders, increased stroke risk, and carotid atherosclerosis. So fixed-height standing desk setups—like many DIY kinds—aren’t ideal either if you’re spending long hours working at them.

https://www.nytimes.com/wirecutter/reviews/best-standing-des...
The idea is not replace seatbelts or airbags with helmets, but to have an additional safety layer.
My apologies — I dislike seeing unexplained acronyms myself. As detaro answered before me, it's ‘not invented here’, the tendency to reject existing solutions for a sense of control.
No worse than only looking at myself in the video call. Why doesn't every app put yourself directly under the camera by default??
I run some forums, some of them are quite large. Recently the big increase in scraping by the search engines (Bing has had the greatest increase) caused me to question why.

It used to be that the cost of scraping came with the benefit of being search engine listed which drove traffic, but that feels less true than it used to (for a lot of reasons).

But now the cost of scraping doesn't feel in the favour of a website.

Scraping and bots are for search engines listing, technology tests / experiments, advert / audience measurements, brand protection, IP tracking, copyright enforcement, screenshots for links on other websites (i.e. Facebook), Pinterest linkbacks, training of LLMs (my hypothesis on Bing's massive increase), spam, etc, etc.

With the search engine value lowered by less traffic, yet a solid community still growing via word of mouth... the rest of those things offer no value to me or the community. So I asked the community, what do you want to do here? Leave them all? Ban some? Ban all? Some midway thing?

Almost unanimously the community (who fund the costs by donations, and at least 30% of all traffic and costs were known to be associated to bots) chose to block every bot.

So that's what we've done.

We've blocked every major hosting and Cloud ASN, or put a challenge up to the few known to be proxies (i.e. Google Data Saver), and we've blocked hundreds of bot user agents, we've blocked requests where no Accept header was present where it should be, we've blocked TLS ciphers that aren't modern web browsers — I looked at requests by Python, Go, Curl, Wget, etc... and blocked everything that obviously differed from a valid browser.

In the end we blocked about 40% of our traffic, and so far not a single real human has said (and it's a tight-knit but large community with lots of ways of contacting me) that they've had any issue at all.

We appear to have reduced our traffic and associated costs, with no loss to us at all.
Maybe to download and pirate the videos
Have QC45s. Bought in Jan, microphone died in Mar, took all of 2 weeks to replace (door to door) and I’m still using but wary of them now.

Would have bought FairbudsXL instead as it’s not clear that the QC45s have any benefit over them
I think the common argument is "complex interactivity". If you have sufficiently complex custom client-side interactivity (e.g. sending, receiving, manipulating and displaying data in the DOM without constantly reloading the page) then something like React or Vue is much easier and more maintainable than a bunch of custom JS. Logic for mutating and displaying data can also live on the backend and use SSR, but it has to live somewhere. I think people like SPAs because you can draw a convenient boundary at the server level by exposing a JSON API, and folks working in HTML, CSS and JS like the component model offered by frontend frameworks (I know I do).

There's also something to be said for consistency. When I walk into a React or Vue app, I can figure out what's going on and build on top of it quickly. Even if they are using a mish-mash of libraries (as JS apps do) the majority of the time you will see similar libraries and patterns used.

All that said, there are many monstrosities built upon SPA frameworks with poor performance that would likely provide better user experience if they were using SSR. But there were also many SSR monstrosities built before SPAs were in vogue.
As soon as I saw the title I thought, dang that is a good idea. I doubt I have the space/angles for it though.
Why does the UK call gasoline petroleum? Every context I've ever heard it used in, including technical, petroleum is crude oil, which DEFINITELY doesn't go in your car.
yea worked for me till I hit 40
I think that’s beyond the meaning of sentient.
Yes, especially since these machines need to resist vibration anyways at launch. A vibration motor might be a good inclusion, although it could be the required rotating mass busts some mass budgets. A more complex second option could be a small cubesat which tags along and can bump into or poke at some components.
This led to a rabbit hole. Here’s kitty’s competing protocol:

https://sw.kovidgoyal.net/kitty/graphics-protocol/

Look at the “The transmission medium” section. I’m reasonably familiar with what can go wrong when messing with files you shouldn’t mess with on Linux, I’ve worked on the various security mechanisms that can help, and I would not want to implement this. If someone wanted me to consult on implementing this, my advice would be, first and foremost, not to.

There isn’t even a “security considerations” section in the document!
Generally counterfeiters will strip the ink from a $1 bill and print a $20 or $50 on it. This way it feels like real money. It is easily detectable if you hold it up to the light, but a cashier might not notice it right away.
I just don't want one, and my likes and desires are not up for debate and can't be """wrong""" lol
The twitter of its time (minus Elon)!
> And most over-ear headphones are already pretty fixable. Most brands provide spare parts for like 20 years.

Please, point me to the bluetooth/wireless noise-cancelling over-ear headphones that are pretty fixable at a level comparable to that of the Fairbuds here?

Note, it must meat ALL the criteria I listed. Missing anything makes answer worthless. e.g. If it offers everything except for bluetooth or noise-cancelling means it's worthless in this context, and cannot be considered.
Hahaha, the classic picture: https://i.redd.it/dg7bp13xzc871.jpg
Well equally why does the US call the liquid you put in your car gas? :)

No one calls it petroleum - petrol is what anyone on the street would call it. Diesel is different and just called diesel. I don't know why or how this started - guessing some old thing that wasn't-quite-right but which stuck around regardless
This aphorism can be applied to pretty much the entire AI industry right now. Similar to Web3 industry before it, except AI is potentially far more dangerous.

https://en.m.wikipedia.org/wiki/Existential_risk_from_artifi...

Many of the top AI experts are now coming out sounding warnings. AI Experts have predicted a chance of 10-20% human level extinction from AI, have a history of underestimating AI, but companies are rushing to the precipice, and it is just the early days.

Everyone should listen to this warning: https://m.youtube.com/watch?v=xoVJKj8lcNQ
China tightens stranglehold on Latin America and Caribbean
Supercharging ChatGPT Plugin Development
All that matters to me is Access. If access is not equal the comparison is moot (to me and most perspective users).
I have a feeling that she has the eyes of the highly trained professional driver (pilot) with good senses and ability to react well.

Not something that can be told about the bulk of the drivers on the road.

Although I see the point of and agree with the necessity of 'crytal clear' situation, knowing what exactly can be expected from the assitance, I believe that the average driver should have as much help as possible. The roads are pretty unsafe yet, because of the human drivers.
This article could really could be shortened as

Calling Llms a statistical text predictor is like calling a brain a bunch of neurons responding to electrical
impulses. It's true but misses the thing we care about which is the emergent behavior of such systems, in humans we call it consciousness. For Llms which are akin to a language processing center all by itself conciseness isn't the word but a yet unnamed thing.
The computer doesn't ask for annoying things like a paycheck or benefits either.
I don't think there was a market for it before LLMs. Still might not be (especially if they don't want to cannibalize data center products). Also, they might have hardware constraints. I wouldn't be that surprised if we see some high ram consumer GPUs in the future, though.

It won't work out unless it becomes common to run LLMs locally. Kind of a chicken-and-egg problem so I hope they try it!
Any sufficiently advanced statistical predictor is magic?
And if the have an accident they are liable.

Who is if a fully autonomous driving car has an accident.
On many contentious issues in US, Wikipedia's articles are most of the time left leaning. This is not surprising given most of its editors are left leaning. My point is, I think we are passed the stage of taking seriously anytime these big institutions batter each other with supposed moral superiority. Having said that, Musk bending to Governments like China, where he has large financial interests was a concern from even before he took over Twitter.
Yup and oops, unfortunately can't edit it right now
Regular dodecahedra don't tile space, so these wouldn't make much sense as scaffold nodes. For regular space frames with identical nodes, truncated octahedra are more useful.
WH-1000XM5 => $400

Bose QC45 => $279

Fairbuds XL => 249€ ($272 if I convert right now)

It's cheaper than two of the most popular headphones, how is there a "too high sustainability tax" ?!?
Should I add my tool to the site? ;-)
I don't think the poster is trying to discredit her based on age, just contextualizing her comment about it not happening in her lifetime by estimating what period that's likely to refer to.

The comment about her appeal to authority on the basis of being a fighter pilot is also more a counterpoint to crediting her additionally on that basis above any non-expert, since that skillset isn't actually particularly related to autonomous driving.
"the most ergonomic position is the next one"
For warm climates in urban areas, I can agree, but here are things never fully covered anywhere:

1. Heat in the winter, this will reduce you range, some just a little, but in places like Minnesota in Feb, a lot.

2. Stuck in traffic. If you are stuck in grid lock, that will cut in range, there have been cases were gridlock could last hours. Granted maybe EV stop power usage in this case. But under very hot or cold weather, you will lose AC and Heat. So if you have health concerns, TFB.

3. Battery recycling and disposal. Once EVs become common, I can see people being charged disposal costs for old batteries. In this case, I can see old batteries being tossed out backyards in rural. Anyone remember piles of tires sitting in people's yards 40+ years ago ?

4. Old EVs may need battery replacement, I can see this being very expensive for poor people

To me, better off moving to very good public transportation. Up until say the 1960s, people would travel via buses and trains, even for long distance. Now that is impossible. My Aunt (90+ years old) would take a train from a very rural town to the local small city on weekends for dancing and things like that in her teens/20s. That town no longer has public transportation anywhere even though its population is 30x times the size now. Time to bring that back everywhere.

For a somewhat decent system (to not as good as 70 years ago), see NY State Train routes. People still use that to get to NYC from rather long distances.
You have to admit that until they broke this one free it felt like there might be a curse on any antenna we send to Jupiter.
Not sure I buy that. Retracted scapula, engaged core, a few other things a PT could tell you makes the most efficient use of your posterior chain and thereby reduces fatigue and risk of injury

Can you get away with not doing it? Sure. Just like you can do deadlifts with a rounded back (to a point), or drive without using your turn signal, or swim using the doggy paddle. But is it good for you?
Yeah. The people using PHP or C++ or Oracle or whatever can tell you plenty about what's wrong with them. They know the flaws. They know the flaws that are real flaws, not just what's theoretically wrong.

But that doesn't mean that there's something better for what they're doing. "Tool X is flawed!" Yes, it is - deeply flawed. "You should use Y instead!" No, that does not follow. X may be flawed, but that doesn't mean that Y is better. And all the badmouthing and pouring-on-of-contempt in the world won't make Y better.

And the people doing the work know. For the most part, they aren't fools, and they aren't sheep. They know what it takes to build what they're building, and they're using the best available tools to do it. Those tools aren't perfect? Welcome to the real world. But the pouring of contempt doesn't get anything built, so they ignore the loudmouth know-it-alls and just get on with building stuff.
> This woman appears to be in her fifties...claiming autonomous driving will not happen in her lifetime

She doesn't claim that. You claim she claimed that. Why make things up?

In the interview she talks about existing autonomous driving applications that are operating today. How can you go from reading that part of her statements to your gross misinterpretation?
Did any of you read the article? She acknowledged there are some cases where it’s working in well defined environments.

But she clearly shows how we are currently in the most dangerous phase “car drives except handing off to human drivers in a crisis”.

“ The policy should be that either the computer is driving or you are driving. And by driving I mean steering—people do fine with regular cruise control. The act of keeping your hands on the wheel and guiding the car’s lateral motion is enough to keep your brain engaged. So, no L3 [full self-driving, but the driver must be ready to take the wheel], which is too confusing, and no hands-free L2 [partial self-driving]. I am not against the passing of control per se, but there should just be two modes of operation, with crystal clear feedback about which mode you are in.”

FSD has been 5 years away for… 15 years now?
They provably can.
Michaux's paper starts with the assumption that it would take about 4 weeks worth of batteries to survive the Finnish winter, and therefore every grid in the world will need 4 weeks worth of batteries.

Despite a writing a hundred page paper covering basic details of existing power generation technologies, he devotes only about a paragraph to establishing that assumption.

Additionally, there is a section dedicated to ocean shipping. Routes are currently chosen to minimize costs, traveling long distances on bunker fuel. Running those same routes on batteries would be prohibitively expensive. Instead of concluding that in the future we will do ocean shipping differently because the cost minimization will work out differently, Michaux simply adds that to the tab of batteries that we would need to decarbonize.
You're thinking of the method called '(Swiss) water decaffeination', which does indeed only use water. However, these also exist other methods, some of which do use solvents:

https://www.compoundchem.com/2018/09/26/coffee-decaffeinatio...
On my system, using `-ngl 22` (running 22 layers on the GPU) cuts wall clock time by ~60%.

My system:

GPU: NVidia RTX 2070S (8GB VRAM)

CPU: AMD Ryzen 5 3600 (16GB VRAM)

Here's the performance difference I see:

CPU only (./main -t 12)

llama_print_timings: load time = 15459.43 ms
llama_print_timings: sample time = 23.64 ms / 38 runs ( 0.62 ms per token)
llama_print_timings: prompt eval time = 9338.10 ms / 356 tokens ( 26.23 ms per token)
llama_print_timings: eval time = 31700.73 ms / 37 runs ( 856.78 ms per token)
llama_print_timings: total time = 47192.68 ms

GPU (./main -t 12 -ngl 22)

llama_print_timings: load time = 10285.15 ms
llama_print_timings: sample time = 21.60 ms / 35 runs ( 0.62 ms per token)
llama_print_timings: prompt eval time = 3889.65 ms / 356 tokens ( 10.93 ms per token)
llama_print_timings: eval time = 8126.90 ms / 34 runs ( 239.03 ms per token)
llama_print_timings: total time = 18441.22 ms
I’ve got a set of 6 year old $60 taotronics headphones that I just replaced the earpads on. Took 5 minutes and they use generic earpads available from AE or Amazon. The battery is soldered in, but is a generic lipo foil pouch accesible behind a screwed together earcup so I won’t need to find a specific form factor or break any glued together stuff to get at it.

I don’t see this product as more “repairable” than other products. I do see that it has a lot of modules that are designed to be thrown away and replaced easily without throwing away unaffected parts.

Repairable? Not in the strictest sense. I don’t see schematics and board layouts for repair people. Are all components 0805 or bigger so a blown capacitor can be easily replaced? No way to know, because they haven’t published how you would go about actually diagnosing and repairing failed components instead of tossing and replacing the module they are housed in.

Honestly, for the price you might as well just pick up a nice set from a company like Bose that has a service and repair department, and a demonstrated commitment to longevity and quality.
I think it's mostly useful if you want to do your own fine tuning, or the data you are working with can't be sent to a third party for contractual, legal, or paranoid reasons.
I don't think the integrated GPU on that supports CUDA. So you will need to use CPU mode only.
If you consider your likes and desires be truly axiomatic / inscrutable, then you're probably correct.