skysight-inc/HackerNews huggingface dataset:
Some of the metaphors for interacting with the models, and visualizing as threads are interesting. Definitely does a good combination of ease of prompting + interogatability of the generated code.

I quickly ran into a wall trying to do interesting things like "forecast a dataset using ARIMA." On the surface it just does a linear prediction, seeming to ignore me, but under the hood you can see the model tried importing a library not actually in my environment, failed, and fell back to linear.

Given that you're approaching this in a pythonic way, not sql, my default way of working with it is to think about what python stuff I'd want to do. How do you see handling these things in the future. Go the route of assuming anaconda, and prompt the model with a well known set of libraries to expect? Or maybe prompt the user to install libraries that are missing?
You mean two reactions.
Otherwise 1x1 would be 1
You can put in any email address you want. They don't send a verification link.

I signed up with leave.my.personal@data.alone.com
And the lock is collateral against a small, high-demand object that can easily be fenced. The phone lock is essentially the same as a hold against a car title until it’s paid off.

This would only be a real problem if there were no options to buy phones direct/outright without the lock. Instead, we’re likely to end up in some situation where carriers work with phone manufacturers to implement a sort of higher-level device lock feature that stipulates the device “belongs” to the carrier and can be functionally locked (a la the stolen device lock features that currently exist) if they ever go unpaid.
While not directly competing with mqtt, https://pipe.pico.sh is a great pubsub tool that leverages ssh for communication, effectively creating an authenticated, networked *nix pipe system.

It tries to be the simplest way to send and receive events.
I'm sorry you've not yet tried the plethora of disposable email services

Username: wiwhslhypgtjahnblg@nbmbb.com
Password: wiwhslhypgtjahnblg@nbmbb.com

I'll save you the trouble: it's pretty barebones, but I'm guessing it reflects the needs and wants of the author and good for them
If I were charitable, I would say there are technologists who are skeptical of completely unauditable, untraceable communication and they don't necessarily need to be government stooges to think that.

Same way we might read an article from a muscle-car-lover glowing about a Land Rover right before an article calling for bans on pure-ICE vehicles in MotorTrend.
It depends what one means by "populism". If you include Bernie-style politics as "populist" along with the Trump variety, then polarization and an inability to find commonality are the things that frustrate populist goals: They are what keep the horseshoe split.
One suggestion, use the following prompt at a LLM:

The combination of the words "computer use" is highly confusing. It's also "Yoda speak". For example it's hard for humans to parse the sentences *"Introducing computer use, a new Claude 3.5 Sonnet, and Claude 3.5 Haiku"*, *"Computer use, a new Claude 3.5 Sonnet, and Claude 3.5 Haiku "* (it literally relies on the comma to make any sense) and *"Computer use for automated interaction"* (in the youtube vid's title: this one is just broken english). Please suggest terms that are not confusing for a new ability allowing an AI to control a computer as if it was a human.
Niche is fine, but mixing 3 niches is not.
You could generate a spec for the service and then diff to the expected perhaps.
Pricing info would be welcome, I pay for otter.ai and also bought MacWhisper so I'm not anti-paying but I don't feel like downloading and signing up 'for free' without any idea of the downstream cost
It's totally reasonable. My position is that I think network operators and owners should be able to do that they want. I was just pointing out that virtually any time a network operator or owner wants to control the traffic in their network a certain crowd comes out of the woodwork and decries abuse by bad actors.
EG25 is an IoT modem and those tend to expose some extra functionality such as HTTP clients or TTS synthesis over AT commands. Some even document how to compile and run software on them - though of course it's only about the application CPU and not the actual modemy stuff that runs on separate DSPs with proprietary signed Qualcomm firmware.

Most (all?) standalone modems are basically screenless smartphones/SBCs with integrated modem these days.
Exactly. Personalized ads are now prompt injection vectors.
I guess I made that statement partially looking directly at the Cybertruck's actual performance and partially looking at the Cybertruck relative to other offroading vehicles.

The reality of the situation for the Cybertruck is that it's a pretty heavy vehicle (with as you mention) not great stock tires -- but everyone knows that. The absolute biggest issue with it though is that the tie rods for all 4 wheels don't seem to be adequate -- especially if you're coming down pretty hard on a single corner. There are countless videos out there where you see Cybertrucks with floppy wheels -- especially out offroading.

Secondly, the Cybertruck has sub-par departure angles where the hitch just gets dragged along the ground. Combined with the realization that the hitch is only rated for 160lbs of vertical load (and it's structurally attached to the frame with aluminum -- which cracks, not bends). I'm not sure if I'd be comfortable doing much beyond just bumpy roads with the truck.

Finally, the breakover angle is just not good at all either. Ground clearance doesn't mean much when the wheelbase is so long. The Rivian sits at about 15 inches of clearance with stock wheels and the Cybertruck comes in about 5% shorter at 14.4 inches. Not only that, but the Cybertruck also has a 5% longer wheelbase than the Rivian and its suspension does not articulate as much -- especially at full lift.

Real world, this means that the Rivian's departure angle in the truck is 30 degrees (plus a little more). The Cybertruck sits at 24.7 degrees in its drivable mode (it goes up to ~27 degrees if you have it in the crawl "extract" mode). There's also a 3.5ish difference in breakover angle as well.

Relative to other "standard" offroading 4x4s like the Rubicon/Wrangler or Land Cruisers, the Rivian is at best average and the Cybertruck is decidedly worse. Couple that with the R1T being able to independently power each wheel, the Cybertruck is IMO more recreational than proper off-road.

I'm not here to gatekeep so I will point out the obvious and say that the Cybertruck is for sure, a better offroading vehicle compared to most recreational/luxury vehicles out there. I'm just not sure that I'd qualify it as anything better than "okay?".
> Because those same humans have made it so that they cannot be reached, do not have to care about your problems, and do not have to ever deal with any level of accountability for the real human distress they have caused by building systems in a way that permits a user to be locked out without recourse.

As a former Googler: no, it's because Google policy forbids employees from helping others, if it's not going through proper customer support channels. For privacy and privacy liability reasons. Yeah, it sucks when a friend asks you to look into something and the only thing you can do without risk getting fired is saying "talk to customer support."
You can simply diff it. Define the OpenAPI spec, have the framework generate a spec, compare.
Yeah but could it even be changed at this point? I'd imagine that once the ball gets rolling, changing any kind of formatting rules for a site with over a decades worth of (hundreds of thousands, tens of millions? ) of posts would be pretttty hard to get past committee
Ah yes, I forgot about that. The windshield spontaneously cracking was also something I forgot to mention.
I discovered Mindcraft recently and stayed up a few hours too late trying to convince my local model to play Minecraft. Seems like every time a new capability becomes available, I can't wait to experiment with it for hours, even at the cost of sleep.
Consider that your example of a "greedy, exploitive" employer is one where less than 1% of their employees receive SNAP benefits.

Is it more likely that the life circumstances of that 1% (the people that actually receive the benefits) differ from the other 99%, or that the employer's entire wage structure is based on subsidizing a fraction of a percent of wages in the most indirect and inefficient way possible?

If you're really that concerned about your tax dollars it doesn't make sense to segregate single parents, adults supporting elderly parents, veterans with partial disability, and millions of other workers receiving SNAP out of the workforce and onto more welfare just because you think they're too down on their luck to be allowed to work.

And if you care about people living in reasonably healthy conditions, it doesn't make sense to stigmatize public assistance and punish working adults for not being able to bootstrap on the same wage as everyone else.
i try but it even block tho
It's really just you and another Rust fan, there's no need to further discuss this among the three of us. I think I've made it extensively clear - based on the above reasons - that I believe it's a horrible programming language and people using it now will regret it in 10 years or so.
> I deploy my self-hosted stuff with Docker, which means that not only does each device need to have the root CA added to it but every Docker image that talks to the internal network needs to have it as well. This ends up being a mix of the previous two problems, as I now have to figure out how to mount the CA on an eclectic bunch of distros and I often then have to figure out why the dockerized application isn't using the CA.

FWIW, I solve this problem with wildcards + a central reverse proxy for containerized apps. I host most services on a subdomain of the machine that hosts containers, like "xxx.container.internal", "xxx2.container.internal", etc. Instead of each container doing it's own SSL I have one central reverse proxy container that binds to 443 and each app container gets put on an internal Docker network with the reverse proxy. Reverse proxy has a wildcard certificate for the host system domain name "*.container.internal" and you can just add an endpoint for each service SNI. I'm using Zoraxy, which makes it very easy to just add a new endpoint if I install a new app with a couple clicks, but this works with lots of other reverse proxies like Caddy, Nginx, etc. If containers need to talk to each other over the external endpoint for some reason and thus need the root CA you can mount the host system's certificate store into the container, which seems to work pretty well the one or two times I needed to do it.

I haven't really solved the annoyance of deploying my root CA to all the devices that need it, which truly is a clusterfuck, but I only have to do it once a year so it isn't that bad. Very open to suggestions if people have good ways to automate this, especially in a general way that can cover Windows/Mac/iOS/Android/various Linuxes uniformly since I have a lot of devices. I've experimented with Ansible, but that doesn't cover mobile devices, which are the ones that make it most difficult.
The trend in economics is to require authors to provide their code and data. The journal I edit checks many of the replication packages to confirm that they actually produce the results in the paper. Some papers have been rejected after completing the peer review process and being conditionally accepted.
I am surprised it uses macOS as the demo, as I thought it would be harder to control vs Ubuntu. But maybe at the same time, macOS is the most predictable/reliable desktop environment? I noticed that they use virtual environment for the demo, curious how do they build that along with docker, is that leveraging the latest virtualization framework from Apple?
The model can already answer some tricky questions that other models (including GPT-4o) have failed to address, achieving a +5.56 improvement on the GPQA-Diamond dataset. Unfortunately, it has not yet managed to reproduce inference-time scaling. I will continue to explore different approaches!
I guess manufacturers will now just have to reject anything other than a five star review immediately. As long as it is not submitted, it cannot be suppressed
How does this mechanism prevent one person voting multiple times in different locations?
Maybe we need some agent running on the PC to offload some of these tasks. It could scrape the display at 30 or 60 Hz and produce a textual version of what's going on for the model to consume.
Where I said that the BBC were independent, I was responding to the parent thread which said the BBC are a Government organisation. The BBC are independent of the UK government.

The BBC are responsible for TV licencing, and they delegate (outsource) that activity to Capita. The day-to-day interactions, such as the emails from the website, are with Capita's support service, acting on instructions from the BBC.
it must block at school lol! it not even this good WWW
(2020)

Also see https://news.ycombinator.com/item?id=22504106
OpenAI does exactly the same thing, by the way; the named models also have dated versions. For instance, there current models include (only listing versions with more than one dated version for the same "name" version):

gpt-4o-2024-08-06
gpt-4o-2024-05-13
gpt-4-0125-preview
gpt-4-1106-preview
gpt-4-0613
gpt-4-0314
gpt-3.5-turbo-0125
gpt-3.5-turbo-1106
what qualifies a review as fake? If I write it, it's a review isn't it? The whole thing is subjective. Plenty of people love products I can't stand
Anthropic's rate limit are very low sadly, even for paid customers. You can use the API of course but it's not as convenient and may be more expensive.
The test comes with an answer key. See the second half of https://www.crmvet.org/info/la-littest2.pdf.
But we try to not talk about Cincinnati.
> Since all addons are disabled on the system pages, you come up with a lunatic analogy that means absolutely nothing. "Imagine that...". What addon, if any, works on firefox system pages?

You've misinterpreted me twice. I don't know how I would rephrase it again so that you understand.
It's really unfortunate that Rivian hasn't scaled. To me, their struggles really show how difficult of an industry it is and how small mistakes can really ruin an otherwise solid showing.

Gotta give kudos to Elon for dragging Tesla through the same hurdles and coming out on top with a profitable vehicle.
Nobody smart lol
This "Computer use" demo:

https://www.youtube.com/watch?v=jqx18KgIzAE

shows Sonnet 3.5 using the Google web UI in an automated fashion. Do Google's terms really permit this? Will Google permit this when it is happening at scale?
Texas has more regulations than people think. It's the only "gun-friendly"[0] state I can think of that not only requires classes, but also a certain level of marksmanship - if memory serves you have to put 7 rounds in a piece of paper at 7 yards within 10 seconds or something.

[0] on the US scale of friendly-to-unfriendly :)
> To be clear, you're suggesting that physisticsts reject general relativity's unification of spacetime because Kant, who obviously had no knowledge of GR nor the empiricism that supports it, did not unify them?

I am suggesting that if someone wants to escape from the current paradigm of physics it may help to understand how it came about instead of wasting a lot of time speculating about what space and time “actually” mean.

And in any case, there is nothing in math that prevents someone from being a flat-earther. If nothing else, set theory and qauntam mechanics has done nothing but flatten our empirical world. Kant was Modern but his work was not, one can read his Opus Postumum as an attempt to reconcile his physics with an intuition that would be capable of bringing about the “feeling of life” that arrives from the experience of natural beauty—which, while very odd, clearly follows from the 3rd critique and the critical project more broadly, unless you throw out the concept of Freedom entirely and all the moral philosophy that follows from it and stay, as some have, in the analytic. But that’s clearly not what Einstein did, Einstein is a Schopenhaurian, he based GR heavily in the Aesthetic, but an Aesthetic devoid of this possible “third” intuition, that of feeling of form, since spatiotemporality annihilates all other possibilities of dimensionality besides space and time. Now what I’m saying is, its not possible for contemporary physicists to critically interrogate their theories without having a solid intellectual grounding in how they came about. Doesn’t mean that someone couldn’t simply come up with something new and brilliant spontaneously, but not by questioning spatiotemporality itself but by developing an entirely new framework that disregards it.

But that’s much more difficult than starting with the basics, right?
Svelte 5 Is Alive
Cody by Sourcegraph has unlimited code completions for Claude & a very generous monthly message limit. They don't have this new version I think but they roll these out very fast.
do you need some daddy?
This sounds to me like the standard OOP versus Data Oriented programming divide. You want to think of code as a bunch of bundles of data and associated functionality, GP wants to think of code as data models and services or functions that act on them.
"generated by artificial intelligence" ? So if I write "this product sucks" for a review and I use Bing or some other source to rewrite this to "this product's quality does not live up to the manufacturer's claim" based on my input does that make it a crime?
The main point of the parent article is not about 1+1=2, but about the importance of the concept of ordered pair in mathematics and about how the introduction and use of this concept has simplified the demonstrations that were much too complicated before this.

While the article is nice, I believe that the tradition entrenched in mathematics of taking sets as a primitive concept and then defining ordered pairs using sets is wrong. In my opinion, the right presentation of mathematics must start with ordered pairs as the primitive concept and then derive sequences, sets and multisets from ordered pairs.

The reason why I believe this is that there are many equivalent ways of organizing mathematics, which differ in which concepts are taken as primitive and in which propositions are taken as axioms, while the other concepts are defined based on the primitives and other propositions are demonstrated as theorems, but most of these possible organizations cannot correspond to an implementation in a physical device, like a computer.

The reason is that among the various concepts that can be chosen as primitive in a mathematical theory, some are in fact more simple and some are more complex and in a physical realization the simple have a direct hardware correspondent and the complex can be easily built from the simple, while the complex cannot be implemented directly but only as structures built from simpler components. So in the hardware of a physical device there are much more severe constraints for choosing the primitive things than in a mathematical theory that only describes the abstract properties of operations like set union, without worrying how such an operation can actually be executed in real life.

The ordered pair has a direct hardware implementation and it corresponds with the CONS cell of LISP. In a mathematical theory where the ordered pair is taken as primitive and sets are among the things defined using ordered pairs, many demonstrations correspond to how various LISP functions would be implemented. Unlike ordered pairs, sets do not have any direct hardware implementation. In any physical device, including in the human mind, sets are implemented as equivalence classes of sequences, while sequences are implemented based on ordered pairs.

The non-enumerable sets are not defined as equivalence classes of sequences and they cannot be implemented as such in a physical device but at most as something of the kind "I recognize it when I see it", e.g. by a membership predicate.

However infinite sets need extra axioms in any kind of theory and a theory of finite sets defined constructively from ordered pairs can be extended to infinite sets with appropriate additional axioms.
For an example, just look at the people who never left your hometown compared to the ones who went and made a life for themselves. It's pretty miserable and depressing to see grown adults trapped as the same person they were in high school.

Can confirm. Grew up in a small oilfield town in Texas and could not get out of there fast enough. Most (not all obviously) of my high school peers that I kept contact with that never left did not fair as well as I did.
Non-X post: https://www.anthropic.com/news/3-5-models-and-computer-use
Just FYI - since this is an asynchronous framework you probably would want something like sqlx versus Diesel (which is sync if I recall correctly)
> You designed your code wrong in the beginning so when a new change is introduced you have to modify your design. This is literally a form of technical debt.

Yes. And just like in real life if you want to do business - you have to accept some degree of debt to get anywhere. Trying to predict the future and make the perfect design upfront is almost always a mistake.

> Stop looking at lines

We can't communicate without establishing some objective measures. Otherways we'll just spew contradictory statements at each other. These toy examples are bad, obviously, but the fact that there's basically no big functional programs speaks for itself.

> refactoring old code is admission that old code was not the right design

And that's perfectly fine.

> I want a new doABCD2 that does exactly the same as the original. Remove the side effect from the original and add a new side effect to the new doABCD of counting something else.

According to your definition of "code changed" if I duplicate everything and leave the old lines there - no code was changed which means the design was perfect :)

I don't think we'll get to a point where we agree about this. One last thing I'd like to know is why do you think nobody writes big projects in functional languages?
This is a pretty high ranking jerkass comment.

Thousands of people you've never heard of have done exactly what you are talking about before returning to their ordinary life with their dreams unfulfilled.

Jerkasses come along and tell other people that they should do the same thing when they have no idea how much passion, time, effort, drive, and focus it takes to do such a thing or how it feels when you realize you've been screaming into the void.

Get a following first and then consider making your own website. It's okay to ladle from the mainstream as long as you don't dive in and never surface.
That stops when husband can legitimately claim he does more than wife.
No Excuse Hour
Mon article en français : https://cosmowenman.substack.com/p/scans-3d-secrets-devant-l...

Merci de le partager avec toute personne susceptible d'être intéressée par les Open Data.
Obviously if you walked at a snails pace, even the lightest rain would get you soaked.
Co2 has had spikes up to > 5000 ppm in the atmosphere in the past.

Is anything possible? Sure.

Is anything currently proposed as possible likely to sterilize the planet? No.

We could get hit by a mini-moon sized asteroid tomorrow though that liquifies the crust, of course.
Poland alleges Russian sabotage, closing one of Moscow's consulates