skysight-inc/HackerNews huggingface dataset:
OK. But then you have to unload whatever payload was scheduled to launch next and load the drones, which again probably takes more than 30 min all by itself even after we modify the system to make unloading and loading payloads as fast as possible. (For one thing, I bet the way they do it now, SpaceX loads the payload and only then fuels the rocket, and if they were to reverse the order, They would need to make modifications that are expensive in engineering time to prevent the jostling of loading the payload from causing leaks or explosions of the fuel.)

What matters for a weapon is the delay between the decision to use the weapon and when the weapon arrives at the target; it would be a mistake to look just at flight time. For an ICBM or a sub-launched ballistic missile, the delay really is about 40 min all in.

Liquid-fueled rocket engines are not used by the US military and haven't been used since about 1970 and that is unlikely to change in my estimation because of this new capability that SpaceX has developed of rockets that can land gently enough that a payload of drones survives the landing. I don't want to guess as to the feasibility of developing a solid-fuel rocket that can land gently.

(Also I think 30 min is unrealistic: a SpaceX rocket would need about an hour IMO to travel to some destination on the other side of Earth from where it launched: an ICBM can do it in about 40 min only because it is still going at about 8 times the speed of sound when it hits.)

If anyone actually in the industry contradicts anything I wrote here, they are probably right and I'm probably wrong.
Yes, big chance this will make things shittier, just like the EU's cookie law.

The US ought to take some protectionist measures and punish the EU for this.
salt on the roads destroys cars. If my car can last a year longer before falling apart that is a lot of monea saved for me. I drive my cars to the end most of the time. Plus a clean car makes my wife happa which is itself important.
https://en.m.wikipedia.org/wiki/DreamLab

TIL. I wonder how they've solved the "don't kill my app" problem, to prevent the cpu getting clocked down to 200 MHz while the screen is off. And not being available to techies on f-droid or website download (needing to find a way to get it from Google Play servers) is a bit of a missed opportunity.

Edit: checking it out, it apparently comes with facebook analytics and other goodies: https://reports.exodus-privacy.eu.org/en/reports/416699/ — this is why I hate dealing with the crap you find on alt stores like this "play" thing. Wouldn't have that if it just came in the official f-droid store! Anyway, I like its mission and it's a long-running project, released back in 2015. Cool stuff. Wonder how much compute power they get out of it, the website nor Wikipedia disclose that
I'm so sorry you fell into this debt trap.

At this point you can't afford to play around with a startup. Most likely the startup will flop while the 10% interest never lets up and destroys you. You need to start making money yesterday.
How to overclock the Raspberry Pi 5 beyond 3 GHz
The lowercase characters are non-unique, which may be what GP was referring to. For instance "ox" and "co" can only be distinguished by context.
Oh, I'm not suggesting you're wrong to be! I also totally mean my dog example. I think you'd be crazy not to keep a small part of yourself constantly aware of every strange dog you meet. What I am suggesting is that societal effort would be wrong to be. Cars are killing people in ways bikes just aren't.
I take a different approach. I use a 2D stage driven by stepper motors and tag each image with the stage position. Then I use ImageJ's Grid Stitching plugin using my captured locations. This isn't really perfect, but you can also have the plugin improve the quality by doing various repairs.

Elsewhere on this thread, some company appears to be re-using the 3018 CNC form factor to build inspection microscopes. That's a remarkably cost-efficient way to get pretty good results in terms of motion. I've also purchased simple 1D stages and stacked them get get a full XYZ stage for very little money.
...did you say 'apps'?
Not to mention their tanks, IIUC? Particularly the late-war models. Very advanced, very maintenance-intensive.
Did your simulation use the O(n) gravitational potential algorithm? You don't need to spend O(n^2) time per time step.
That only remains an advantage if they can continue climbing the gradient from their lead position. If they hit a snag in scaling, methodology, or research, everyone else on the planet catches up, and then it's anyone's game again.
The "attempts to unify"? You mean Daesh/ISIS? There has been no other attempt to unify so you must mean that. The muslim brotherhood, Morsi, is Hamas/PIJ.

This is what is so depressing about some muslims. Let's face facts here: you see massacres and destruction as a positive, not a negative, as long as they "serve islam", and want to turn the middle east back into the hellhole it was before oil.

And "serve islam", only in a superficial way ... it should be said that of course this sort of attitude is giving EVERY world power reason AND excuse to destroy islam. Russia is trying to destroy islam, in Chechnya and the Caucasus. India is now trying to destroy islam, in Kashmir (and everywhere else they can). China is trying to destroy islam, in Xinjang, and even in parts of Pakistan. Iran is trying to destroy Islam (yes, really, they will massacre entire countries before they allow a caliph). Australia ... Half of Europe now has governments trying to destroy islam, and if Trump gets elected, out of 6 inhabited continents on earth ONLY ONE will not have government policies targeting islam ... well done, fuck man, well done. Obviously, the next decades are going to be VERY painful for the middle east, islam, and even muslims in the west. VERY painful. Surely that can't be hard to see? And all you see is more opportunity for destruction. Fuck man.

I don't understand people like you, I mean, you must realize that even the internet as a whole, never mind a forum like this, is ENTIRELY and heavily against islam, for 100 different reasons. So why are you here if you have even the smallest amount of faith in what you say? You want to live in a supposedly religious hellhole? Go and do that. Plenty of choices available. STOP trying to conquer places.
Some of each. There are people opposing efforts to make things better. However there also is a lot that ever step makes things better for someone in particular who thus cares more than the more generic society that got worse.
I don't know what that means. My guess is that, if/when we start engineering neural structures, the consciousness debate will disappear.

Internal subjective experience can be confirmed by the recipient of the modification. If we know one person suffers an ("internal") abnormality and we treat them by modifying their brain, and the abnormality disappears, then we have evidence that experience obeys science. Same idea with the discussion on "conveying the experience of color." It's probably more subtle because it's not a yes or no "did the abnormality disappear?". But that's beside the point.
I suspect the useful things you can do with this model are quite limited. You need:

* A problem that can be cut into chunks small enough for a low end desktop computer

* One that's solvable without communicating with anything else

* The chunk is solvable enough that the user doesn't interrupt the process

* And the bandwidth usage is small

* And the solution is easily verifiable

* And the problem is big enough that it needs a vast amount of hardware to solve

* But is relatively unimportant, so nobody wants to spend any money to solve it faster

Especially the latter parts seem to mostly suggest quirky uses like SETI. If it's something important you can probably do it faster by just finding funding, than by trying to convince millions of people to install a screensaver.
I'm just glad I was able to submit my patch before 2.0 released: "Add config option to ignore nested oob-swaps instead of processing them (#1235)"

Setting this config makes it easier to use 'template fragments' with oob-swaps, since you can set the hx-swap-oob=true attribute on the element and reuse it to render a whole page or just a fragment of the template. Very nice to use with Go template blocks for example.

https://htmx.org/essays/template-fragments/
You can tell I'm a person because I swear like a sailor.
I remember talking to Brendan about the PreserveFramePointer patch during my first months at Netflix in 2015. As of JDK 21, unfortunately it is no longer a general purpose solution for the JVM, because it prevents a fast path being taken for stack thawing for virtual threads: https://github.com/openjdk/jdk/blob/d32ce65781c1d7815a69ceac...
This seems not be a repo ready to open source. You only get weights, very less information about how the weights is trained and finetuned.

But anyway, it always great to see more LLM weigts available.
I don't quite see how that is relevant, as it is something that really happened, albeit with disputed cause.

The two examples above are fabricated and, going back to the point of the comment chain, were caused by false evidence (testimonies).
> I recommend using NeoVim or Emacs, spending a little time setting up your own configuration, and getting to work. Leave behind the creature comforts.

Funny. After years of use, Emacs is my creature comfort!
I remember reading a saying that the Germans fought WW2 with the weapons of the 1950s, while the Allies fought it with the weapons of the 1930s. Guess who won.
That’s actually more valuable. Twitters data of small format text is awful for training. Best to just exclude it.

There are hundreds of millions of people on Twitter, and a few of them are very smart. I don’t see how that helps here though.
Ah, more badly supported gongkai cramware, using the cheapest and hardest to obtain drivers for anything. Everything is out-of-kernel, and you're making custom kernels IF YOU CAN TRANSLATE CHINESE... And hope its made for your kernel version.

And when you say something, you'll be screamed at "these are hackers tools bla bla bla". But they don't even work with reference software. They string hardware together, and slap a PINE logo on it. You're up shit's creek, and you have to MAKE the paddle.

Or you get shit like hardware failures like "hardware destroying USB-C on the phone if the keyboard is pluged in on the Pinephone pro". Like, seriously, save your money.

After dumping $600 into this "ecosystem" I'll hard pass. And I'll speak up for the pain and suffering you're getting into if you do go this route.
Works where archive.ph is blocked:

https://cc.bingj.com/cache.aspx?d=915334415082&w=wpBU6M1nmBA...
I tried the Vision Pro today at the apple store in Manhattan by Central Park. I used to own a quest pro, but I sold it a year ago since it was catching dust. My expectations were that the passthrough would almost be life like (or much better than oculus). Reality, I couldn't tell the difference. It still looked like I was watching life through a camera.

The UI was also a bit clumsy. I noticed bugs and even the apple employee was stunned how I got a window 'stuck' in a place. It became unresponsive.

Having said that, the 3d spatial videos were spectacular. I did feel like I was almost there. The 3d movies were also amazing and had fairly good colors. Overall it wouldn't replace an OLED tv, but it was impressive.

When I took it off, I was thankful of how clear I can see with my eyes. Everything seemed like '8k'. I guess the Vision Pro is fun, but it was a bit uncomfortable and not really AR imo
It doesn’t really matter what it is so long as there is competition between entities and by not competing/winning you are in some way penalised. Competition is the driver that compels us towards total war or total economy. It is digital natural selection that will drive all to the maximum possible point of ruin.
Is this the first major model to be natively FP8? I was wondering why people hadn't done it yet. Seems like a big win when hardware supports it.
I just picked up some Opto-E telecentric lenses with this exact idea in mind. (That plus possibly scanning microfiche so I don't have to mess with focus.)

If I can do it on a small scale with my long-suffering Ender 3 (which keeps getting weirder and weirder stuff stuck to it), then transplanting it to a larger motion platform is trivial.

What did you do for software?
I don't exactly understand your construction of X. But note that you are relying on the existence of ZFC's so-called "powerset", which, as we already know, can be countable. ZFC has no ability to talk about infinite powersets, since it can't and doesn't state that all subsets exist, and thus it doesn't imply the existence of a powerset. Accordingly, both f and X may not be what you want.

> Then you said “Cantor's theorem stating that there is no mapping f from A onto P merely means that the mapping f itself can't exist inside a model of ZFC”. Which is literally identical to saying “under ZFC, there are uncountable sets”.

No, it only means that ZFC can't contain a function f from A to P in its model, which doesn't make P uncountable. (Things can be true even if the theory itself can't express them. E.g. Gödel's second incompleteness theorem says that a theory can't prove its own consistency, but that doesn't mean that the theory is inconsistent.)
> I don't use the "Act as a X" format any more, I'm not at all convinced it has a noticeable impact on quality. I think it's yet another example of LLM superstition.

It's very contextually dependent. You really have to things like this for your specific task, with your specific model, etc. Sometimes it helps, sometimes it hurts, and sometimes it does nothing at all.
My HVAC guy likes heat pumps, but he thinks their lifespan is about 1/2 or 2/3 the life of an HVAC unit; the equipment is the same (pumps, motors, etc), but the heat pump runs nonstop year-round. He still prefers heat pumps, since they're all electric, and can be solar powered (I'm in Texas); so, the combination makes a lot more sense, in the long-run.
I thought it was kind of novel, in that I wouldn’t expect the sxsw crowd to boo anything tech-pr related, since from my vantage point that’s all sxsw is.

It also felt novel that the promo video itself had an OpenAI bigwig say “AI actually makes us more human” which is very, very funny.
Any plans for a Raku adaptation?
Impossible as I was doing this nearly 10 years ago.

See my comment about remembering the process to be rather cryptic (writing hex values to address offsets) but the capability WAS there.

Perhaps they added that switch recently to make it more user friendly.
> It's such a clear and obvious win that the rest of us should have the opportunity to persuade them

> I don't have to

Pick one, jart.
Dealers are known for being expensive. Furthermore, $60k is mostly a "go away" price from the dealer signalling that they don't have the skills and don't want to take on the risk on learning the skills needed to make the repair. The end result is that the article says more about the dealer than the manufacturer. There are plenty of decent third party mechanics in the world that are willing to try.

There's a similar video on youtube about repairing a dent in a Rivian truck. The official repair by a dealer was quoted at more than $40k as it involved replacing the entire single piece panel that was "damaged". Instead, a small auto body shop spent the 2 days needed to gently pull out the dent, fill in the scratches and touch up the paint for something like $3k.

Not all mechanics are created equal. Find one that's willing to work with you, which will become easier as electric vehicles become more common.
1) Who is spending $20 a month on car washes?

2) If the problem is that subscription users aren’t paying local sales taxes, why not charge property taxes? (or, Land Value Tax!)
100% my thought ;p
Is that the important difference? The article is talking about sensor error if I read that right, so there's not much opportunity for that in a game environment. It's not like one needs sensors to know the state of a board game, or even an atari game. The world is really its own _perfect_ model.

That's basically why all the RL approaches for game playing don't work nearly as well in the real world: because in the real world policy is a function of state, action, error.
It may become a tradition since weights are so large. Perhaps it started when the Llama torrent link leaked. Then, Mistral decided to release their weights using bittorrent.
This benchmark is mostly worthless, some of the top models there were trained on benchmark data, which is a known fact in the community.

The only reliable benchmark: https://huggingface.co/spaces/lmsys/chatbot-arena-leaderboar...
So encode human genomes into mushrooms, so we rise again? Great idea
If I may ask, how do you load such big models? 300gb seems like a lot to play around with.
I wouldn't doubt if it's changed a few times. The phone was a 2016 Galaxy J3 V. I no longer remember the name of the 3rd party they were using for predictive text at the time, but I know that in the past they've used SwiftKey and Grammarly
Huggingface will disagree with impossible as their models are available via git, sometimes broken up in pth files.

Still, as far as sentiment goes, yeah git for model weights is an impedance mismatch for sure!
I’ve used this before, to great success. Nice and straightforward to configure, the vrl language is just powerful enough for its needs, the cli’s handy “check” feature helps you catch a bunch of config issues. Performance wise it’s never missed a beat and it’s resource efficient, strongly recommend.
I’m surprised not to see any comments on Ukraine here yet.

USA and the west focussing on ‘super weapons’ like f22, f35, super carriers etc etc. and Ukraine is losing the war because they don’t have enough bullets and mortars, and we don’t have enough factories to increase production.
From what I hear this attitude is centuries old, far predating demographic decline. Traditionally Japanese homes had paper walls and were expected to be damaged by their frequent earth quakes. Fires were also frequent. They were not expected to last.
I think the point the OP is making is that the burden of car ownership in somewhere like London is already very high. So those who can do without by and large do. The remaining folks who do still have a car do so for a reason (job, primarily) and are unlikely to get rid of it just because Uber exists.
What better hardware is there?
In SF, the answer is always "because the neighbours complained".
Better than otel?
My understanding is that it’s not just about the soap. But also to restrict the amount of oil, gas and salt getting washed down the storm drains.

Places like Vancouver use street cleaning machines in the spring to sweep up any salt on the streets.

I’m skeptical of the ‘big clean’ lobby being able to buy this law, I could be wrong.
*Google
Distributive DCP lets you compute other people's distributed research/workloads and get paid for it (no crypto involved).

Compute workloads get run in secure js/wasm compute nodes (which could be your browser, or a screensaver, etc). For instance, my friend built a Blender cycles renderer using it

It's cool tech continuing the awesome legacy of BOINC! I work at Distributive, AMA if you're curious
And fox news as the boogie man will continue to live in your heads.

"Fight the good fight" ffs.
That link is about COBOL running on IBM CICS. It doesn’t apply to COBOL in other environments (both non-CICS IBM and non-IBM)

But, pretty much every COBOL implementation can do this nowadays, even if the details differ between implementations.

COBOL can call C code, so if have a C library to do something, you can use it from COBOL
I think this very much depends on what exactly is the problem - if it's with how costing for LIMIT works (https://news.ycombinator.com/item?id=39728826), then yeah, this did not change since 9.x in a substantial way, so 16 has the same behavior.

On a technical level, this is hard because the optimizer has a fairly limited amount of information (optimizer stats) - in particular, it does not know if the columns are correlated. If they are not, then this costing is perfect, and the plan is the correct one. And this assumption of independence is what most databases do by default, so we do that. But if the columns are correlated, it blows up, unfortunately. That is, it's not a very robust plan :-(

But I think the really hard problem is the impact the change might have on existing systems. As I said, the problem is we have very little information to inform the decision. We could penalize this "risky" plan somehow (we don't really have any concept of "risk" separately from the cost), but inevitably that will make the query much worse for some of the systems where that plan is correct.

I understand the frustration, though.

(FWIW I love sqlite, it's an amazing piece of software, but claiming that it has a better optimizer based on a single query may be a bit ... premature.)
They need to buy specialist equipment to do that, and it sounds like they can't afford it?
Don't want to give money to Google. And the hardware is sad compared to any recent Samsung flagship.
Mistral did it too when they released their first open model. They just posted a magnet link on Twitter.
Presenting people with false dichotomies is no way to build something worthwhile
No way of knowing if Descartes was simply parroting what he heard from another, just as you can't tell I'm not a large language model trained by the human who created this account ;P
So my thermostat is 'intelligent', just not 'conscious'?
Very cool. Link?
I always like seeing stuff like tampon and washing powder ads (I don't own a washing machine). Because it shows my tracking is blocked successfully.
Always love it when someone gives away a gift and it’s not enough for people.
Hi! This is Daniel from OxidOS Automotive (stating this for disclaimer purposes).

Yes, our OS is based on TockOS, and our CEO (Alexandru Radovici) is #7 in the contributors list (https://github.com/tock/tock/graphs/contributors), with other colleagues contributing in the past years.
Of course, we also push anything that we fix / that is useful for the general Tockos community upstream.
Ytoo: A retro-themed portal site
I still reserve the right to trash talk Musk as I don’t believe he is committed to openness as much as he wants to spite OpenAI for telling him to pound sand.
I once received an email that was a scan of a printout of a screenshot of a pdf.
Six is plural.
I understand that; I didn't express my question clearly:

Given the electricity used, how efficient are (Boinc + my desktop) at generating heat? For example, is it equally efficient to use Boinc + Desktop to warm my office as it is to use a space heater, or electrical radiated heat?
That's old hat. A modern strike package uses decoys to overwhelm radar and only needs to deploy a fraction of them as live missiles. The TALD/MALD is a recent example of this, used as a JSOW decoy when attacking high-capability SEAD targets.

> And you know who has 5000+ air defense rockets ready to engage?

Probably most modern militaries with advanced ballistic point defense like the Phalanx CIWS. Mass-produced drones are slow, large, and usually don't carry an effective enough payload to disable your target. A swarm could prove effective, but usually a single supersonic cruise missile is enough to put any modern target in the "it's a gamble" territory of interception. The materiel advantage of multiple drones is vastly outweighed by the capabilities of a well-placed munition.
that's a subtle dig at the fact that they have all of Twitter as a training corpus to use, but we don't know how they weight tweets. which, we know they're not gonna be weighted evenly.
To answer question 1: older people, from my experience. They don't want to have to buy a new car so they take exceedingly good care of their current one. This includes car washes almost weekly.