skysight-inc/HackerNews huggingface dataset:
Illegal revenue they shouldn't have had in the first place if competition law wouldn't have been toothless. EU showed how it's applied.

So "should be" is a very questionable idea here.
If I read the "re-executability" results in the Results figure right then that's a great idea but it doesn't really work:

https://raw.githubusercontent.com/albertan017/LLM4Decompile/...

To clarify:

>> Re-executability provides this critical measure of semantic correctness. By re-compiling the decompiled output and running the test cases, we assess if the decompilation preserved the program logic and behavior. Together, re-compilability and re-executability indicate syntax recovery and semantic preservation - both essential for usable and robust decompilation.
Engineers who joined Twitter pre-Musk days who live and work in the US on an H1-B visa can't just quit.

You can criticize Elon Musk without criticizing people who would have their lives upended if they quit or were fired.
Were they not paid to do so?
An elegant logo having "Camellia" is straightforward to design. They could even have some fun, use the fact that Camellia is the Tea plant and lampoon Java (with a flower floating on a cup for example, Japanese style). That would had sent the correct message of "we are back, unafraid to comparisons, and want our throne returned". And would be perfectly inclusive for both men and women.

We all ask the children to name the pets. Is cute, but often we live to regret it. With logos is the same.
Show HN: One year of full-time work on personal projects since leaving Google
You're not necessarily wrong, but the core forces these people formed some of their predictions are still happening, and worsening.

- no one seems to be contradicting the contention that the CCP under Xi has become sharply authoritarian, regressive, and is worsening

- the reported demographics may be sharply worse for the immediate forthcoming generations than previously reported: 100-250 million "missing" people, and a sharply worse male-female ration that previously reported. Again, for me, these depend on the size of the Chinese rural population, which I think might buffer demographic declines in urban areas.

- the financial "bombs" I agree are the least significant ones in terms of dramatic collapse scenarios. They are the ones all the rich care about because they might lose money, but the Chinese can print money and impose price controls and lots of other things that Western economies probably can't get away with.

What the financial numbers mean is two symptomatic signs: degree of corruption in the system but, worse than corruption, the degree of incompetence of the CCP to properly centrally manage things as they consolidate authoritarian control.

You won't find me defending economics on fundamental principles. Economists basically exist to justify the status quo power structure and are utterly incapable of constructing models to include things to price environmental degradation that might, you know, destroy human civilization.

I think that if China had not turned sharply authoritarian, they would be fine. It is a modernizing country of 1.4 billion people. But not the double-combo
Explore this idea more - it's easily implemented in a minute or two via the system prompt. API accounts are free to start and you can use the playground/workbench view, like this: https://imgur.com/h5jFoBM.jpg . I like Claude but OpenAI is popular too. OpenAI has a nice way to create a gallery of system prompts that act however you like, they call them Agents or GPTs.
There’s a car wash in my area that is one of the “upscale” hand wash places. At that point, you’re just paying for people to do the washing and some standard water hookups. No fancy machinery, just a few buildings and some basic equipment.

They also have a giant sign in front of the building stating it’s for lease.
That's so incredibly stupid. VScode is not holding more your hands than neovim or Emacs, and it's much more efficient to focus on learning the language and the algorithm than struggling against your editoe
This is a separate issue. I'm not saying "don't ever visit Reddit again", I'm saying "You should be able to follow and interact with the subreddits through Lemmy".
Rivian Is Turning into the Subaru of EVs
> There are four full-service car washes in town, with a fifth on the way; three are bunched up on a mile-and-a-half stretch of Route 14. Social media complaints about car wash overkill spurred town leaders to take action.

Four (or even five) doesn't sound that much? What's the actual problem here?

How is a local politican supposed to determine what is the correct density of any particular type of service within her juristidiction? Assuming all other laws and ordinances are being complied with, and that there is no actual "nuisance", why should a politician need to step in to regulate, rather than letting the market decide?

Last night I stayed at a hotel very close to London Heathrow Airport. There, on the Bath Road, there are (literally) dozens of hotels, one right next to another. This is a feature not a bug! Apparently, there is lots of demand for hotels at that location, which isn't exactly a surprise. If the market were too small, the weakest would fail, right? Right?
Ok I think we have a wildly different way of thinking and talking about things. When I talk about "volume" what I mean is what physicists usually discuss - the volume of the universe is the number of 1 cubic meter cubes you can hypothetically fill it with.

In other words what we want to do is divide up the universe into cubic meter boxes, then put those boxes into bijection with some mathematical objects to "count" them. Fairly obviously the number of 1m objects you can fill an "infinite" universe with is larger than any finite number, so we say it is infinite.

This doesn't look like any kind of "potential" process, the number of boxes is literally in bijection to the number of natural numbers, so we say it is infinite.

As an aside, calculus really doesn't deal with infinite quantities at all, at least as its formulated in (e.g.) a modern real anysis course or something. Sometimes we use infinity as a convenient shorthand/slang when describing limiting behavior of functions or whatever, but the actual formal constructions of calculus are entirely about finite numbers. You don't need "potential infinities" at all.

Incidentally the stuff about discrete/continuous space-time very strongly does not matter for this point. I'm dividing your tower up into a countable infinite set of unit volumes whether or not the underlying space-time is discrete or continuous.
Many people think these companies are training on unlicensed data but I think OpenAI licenses their data, they just “license” it the way one would need to in order to read it.
I would treat this tool similarly to a minifier. It reduces size and bandwidth at the cost of legibility. It should be a stage in the deployment pipeline, but not a way to format your own code.
agreed, I am in general not a huge fan of Crypto.
The Fed's Big Problem, There Are Two Economies but Only One Interest Rate
> What constitutes a valid word is up to Sam, the NYT editor

I think the only listed words I'd think would get approved are jukebox, quixotic, and gimmickry.
> The point of the post was to point out (maybe I did it wrongly) that those things you have described are pretty impossible given the ecosystem we have nowadays in Javascript (as a whole!).

That's the thing, nothing you have asserted as impossible actually is as you'll see throughout this thread. I have been writing JavaScript/Typescript professionally since for about the same amount of time and I am not intimidated or challenged by my projects in the way you lament about.

That being said, if you've been at it 12 years and this is still your opinion, fair enough, try something else then.
Why is there only one customer?
The moves to the suburbs was orchestrated. The moves to newer suburbs from the existing ones was orchestrated. The encouragement of driving everywhere was orchestrated.

Not to cause us to need more car washes. But it was by design.
> What did people use before it?

Emacs + tramp to use local editor.

Maybe not quite as good as VS-code's client/server based tools, but I believe tramp does not require any special software to be installed on the server so it pretty much always works.
You seem to have changed the object of the argument from phone companies to governments/the police, but are still insisting in making a comparison that I'm trying to explain is not valid. (The shift from phone companies to governments just adds another obfuscation step; if you abolish governments, then people will still murder each other. If you abolish Facebook, people won't be able to send death threats over Facebook).

I'll try to make my argument on why your comparisons are not valid one last time as clearly as possible. We have two arguments:

(1) "If phone companies can't remove all death threats, they shouldn't exist (even though nobody expects them to try remove any death threats)" -- you can replace it with "If the government can't prevent all murders, it shouldn't exist (even though nobody realistically expects the government to prevent all murders)" for your latest message.

(2) "If Facebook can't remove all death threats, they shouldn't exist (given that it's their policy to remove death threats)"

I think most reasonable people would disagree with (1). People can reasonably agree or disagree with (2), as they're doing here in this thread.

You seem to disagree with both (which is fine) but refuse to understand that the arguments against (1) are not the same as the arguments against (2). Because of this, you keep trying to convince people who are against (1) but for (2) that they're the equivalent. They're not, so you won't convince anyone like that.
That is what the government should do. Buy it for them.
Or because we don't give them F35s, long-range artillery and 400 Abrams tanks. In Iraq 400 Abrams did a good job from what I'm told.
Prediction for a social media app of the future
Here's my prediction for what kind of social media app will be popular in the future, feel free to validate / invalidate my prediction:

----

In the future, there will be a social media for thought experiments. People are going to use AI-augmented creative tools to bring their wild ideas into reality. The medium can be an image, a video, a movie, or even a game, or something else.

A lot of industries will be replaced completely by AI, but a platform like OnlyFans will still remain. This is because AI won't make us not appreciate each other. We still watch humans running even though cheetah are faster than us, we watch humans play chess even though computers beat us, and the list of examples goes on. Humans will always be obsessed with humans, and this is why platforms like OnlyFans will remain.

For the viewer of the content, it's very entertaining -- knowing that another human came up with this idea, is very entertaining. Thought experiments are entertaining as described with text. Now imagine when you visualize them with AI-augmented creativity tools.

For the creator of the content, it is empowering to be able to communicate your idea with others.
I don’t think the New York Times thing is that much about training, than it is about the fact that ChatGPT can use Bing and Bing has access to New York Times articles for search purposes.
Here's a link to our browser worker: https://dcp.work/

And other workers can be downloaded here: https://distributive.network/workers

Dev API for submitting jobs here: https://docs.dcp.dev/

:D feel free to email me <will@distributive.network> if you want to chat about anything
> I would have assumed its from the rise of gig workers using private cars. Uber/Lyft need to keep cars pretty clean

True, I believe that’s the reason too, a while ago I used to park in an underground parking with a free washing area, the car next to me used to be clean all the time and the guy washes it every day, one time I asked him about such dedication, he said simply he is an uber driver!
Erlang Solutions: Gen_statem Unveiled
Let's talk about one of the absolute dumbest things in tech
Ukraine would be in Moscow in 3 days if they had this technology.
Colloquially, when Chinese people refer to Xinjiangren, they mean non-Han Muslim people. I heard a lot of casual racism directed towards them while I lived in China. Chinese are being "inclusive" because A. they are ignorant, B. they assume most people are Han, with the occasional minority that looks mostly Han anyway, and C. they associate a region with ethnicity or local culture.

All street interviews that are shown in media parrot official state talking points. If you don't understand that, I don't know what to tell you.

I think it's actually a shame that you now live in a society with free access to information but choose to take state media at face value.
Yes. You need to know how things were for the span of history to understand how today is different.
In machine learning models the term open source has been largely accepted to mean sharing weights and, if necessary, inference code. You can argue if this is an abuse of the term but everyone does it, and saying someone didn’t deliver if they used it and published weights would probably mean saying the same about mistral, meta, etc.
> Actually, doesn't the notion of Planck length / Planck time

Nope, we have absolutely no evidence of that. Space-time may be either discrete or continuous. Based on our current understanding we have no evidence either way.
Nvidia in talks to acquire AI infrastructure platform Run:AI
Cool to see this.

I love DRF for CRUD apis. It just gets the job done and you can Focus on data modelling.

We built our data hub/data Integration solution on top of it. [1] It was a good choice.

By far the most extensible and overridable library I have worked with so far. Even when you need to ressort to hacks, they never seem to break when upgrading a Version.

[1] https://github.com/neuroforgede/nfcompose
Yes, new cars are evolving in terms of ECU architecture, and we are targeting small chips for two use cases:

First - as "edge components" get smarter - you still have small microcontrollers all over the car (for example - you need a local MCU and a complex PCB for running a headlight with dozens of LEDs with minimum wiring to a central command unit);

Secondly - you now have multi-core, multi-arhitecture controllers - and you need small OSs for some of these cores in order to run embedded apps efficiently.
Any way we go about it, the unfortunate fact is hindsight is the only way to tell what the right choice was.

In some cases the old system is outclassed so badly attempting to keep using it would be a fatal mistake (cavalry charges at machine gun nests). Other times a new system can be way better, but the rate of production is so far behind the old model you can't make enough fast enough to make a difference. And then other times the new systems have such terrible weaknesses they can be a risk to the entire nation state.
> Germanic tribes in the ancient world did not speak Old High German.

As per the link, it was spoken around 500 AD. Which is at the tail end of the Ancient World but it's still far older than Germany as a country.

> The status of Old High German as the origin language of modern German is part of the construction of German history in exactly the manner I have described

Are you just rejecting the entire field of linguistics? Languages absolutely do have descendants, and while there is admixture and external influences there is broad continuity between old German and contemporary German.
I haven't done the math but I would think it's possible due to interactions from other solar systems. Similar to how satellites oscillate around Lagrange points
Irish Wolfhound
What did people use before it?

For GUI editors, X forwarding.
The machinery is all commoditized and the same. Plumbing as a trade has been around for thousands of years. The level of sophistication here is limited.
There are plenty of cheap colos that do no filtering on their public networks. Some are saving money by putting a number of machines on a single ethernet segment, some are saving IPs by not having a /31 (or, much more often, a /30) for each client, and some both, so a compromised machine could easily run a DHCP server and scan any takers. You're right that no sensible network would forward packets to a misconfigured IPMI, though.

That still leaves very real things that've happened - the IPMI switches to the public interface and can no longer be reached on the managed local interface, and then you're rebooting several times in hopes it'll switch back and making aliases on a public interface to see if you can talk to it on the public segment. It's not professional at all.
"Democracy's Mountain" raised societal questions amid conquest of Longs Peak
OpenSora Releases its first trained checkpoints (2-5 SEC, 512x512 T2V)
If you read the lawsuit it's absolutely about training. The Bing RAG piece is one of the complaints in there but it's by no means the most important.

Take a look at https://nytco-assets.nytimes.com/2023/12/NYT_Complaint_Dec20... - bullet points 2 and 4 on pages 2/3 are about training data. Bullet point 5 is the Bing RAG thing.
Money Laundering.
The up down oscillation is completely decoupled from the orbit itself, assuming the orbital potential is uniform. It's like the galaxy wasn't rotating at all. You put something above the disk, and it gets accelerated downwards, but doesn't stop at the disk, it keeps going, until it gets dragged back up. Think of it like a pendulum.
I had read this article some time ago... It sounds like it is relevant : https://tuxphones.com/pine-formula/
Here are some prices, but they vary a lot: https://www.carwashconsignment.com/equipment/automatics
Many Laptop Improvements in Linux 6.9, Much Faster HP Performance at Higher TDP
I mean there’s always buying a competitor to kill it off…
>"the value in our experiences come from our emotions and feelings - not mere inputs that we label as 'emotions' and 'feelings' as would be the case for an ai."

</sarcasm> Because humans have emotions, but not just what we 'label as emotions' but you know, 'real' emotions, not like those AI emotions.

So basically, you are arguing for a non-logic assumption that humans have souls, Machines can't, and we should just take that as gospel and move on.
Have you come across these type of things https://www.aliexpress.com/item/4001351566621.html that appear to behave like a metallurgical microscope.

I'm kind of tempted. I assume the objectives aren't infinity corrected?

Just found - https://www.youtube.com/watch?v=b_IWTq-TSiU which shows something similar. It looks like there's a ring that seems to adjust magnification on it, unless I'm mistaken.

I've got a DIY XY stage and would like to attach something like that too it, to image large objects (I've got a BHM microscope but the stage has only a small degree of movement).

Edit: Just noticed the objectives used are infinity corrected
One of the most interesting people I knew at uni did something like this: open source instrumentation.

https://iorodeo.com/
'Dune' became a beacon for the fledgling environmental movement
Could it be that single family homeownership is higher there?

I can kind of speak for some of L.A.'s use of manual car washes. There's many who live in apartments or places that don't have places to wash at home. Manual car washes fill the void for people that want to clean their own car but don't have space.
I love it - these are really good, fun ideas.
I would devise a somewhat loose metric. Consider you assign a percentage as to how much a binary is disassembled. As in, 0% means the binary is in assembly and 100% means the whole binary is now C code. The ideal decompiler would result in 100% for any binary.

My prediction is that this percentage will increase with time. It would be interesting to construct data for this metric.

It is important to define the limitations of using LLMs for this endeavor. I would like to emphasize your subtle point. The compiler used for the original binary may not be the same as the one you use. The probability of this increases with time, as compilers improve or the platform on which the binary runs becomes obsolete. This is a problem for validation, as in you cannot directly compare original assembly code with assembly after compiling C code (that came from decompiling).

Perhaps assembly routines could be given a likelihood, as in how sure the LLM is that some C code maps to assembly. Then, routines with hand-coded assembly would have a lower likelihood.
If you’re going to make this jump from YAML to something with a little control constructs, your users will thank you if you go straight to a 3Lisp with full metasyntactic capability.

It’s the most user friendly thing you could do.
Not a cheap quadcopter. But there are bigger ones.
It's all open source. You can download the model and run it locally.
> In my city you're not allowed to wash your car in your driveway

How does this even get enforced? Are the police driving by everyone’s house regularly, looking for those dastardly hoses? Or do they rely on nosey neighbors ratting on each other? I can’t imagine this is the most important crime for the local law enforcement to be investigating.
It's cool that they named a compiler after the common phenomenon :)
The effect here seems to have little to do with gut microbiota: acetic acid itself induces the liver to stop making fats (lipogenesis) and start liberating fats into the blood (lipolysis). AcOH also by itself seems to decrease insulin resistance/increase insulin sensitivity, as well as downregulate gluconeogenesis. Several of the other studies in the bibliography confirmed this, and a couple even did tissue biopsies pre during and post to assess for changes in genetic expression of things like AMPK.
Is it safe to say, 4 months later, that Elon is ignoring this? I assume there hasn't been any kind of response or further action taken yet.
A number of AI companies have a naming/reproducibility issue.

GPT4 Turbo, released last November, is a separate version that is much better than GPT-4 (winning 70% of human preferences in blind tests), released in March 2023.

Claude 3 Opus beats release-day GPT-4 (winning 60% of human preferences), but not GPT-4 Turbo.

In the LMSys leaderboard, release-day GPT-4 is labeled gpt-4-0314, and GPT4 Turbo is labeled gpt-4-1106-preview.
I would argue that there's no bar for open sourcing aside from "do you have the rights to do so." Some source or some public good is certainly better than none, and when the bar is low then you remove barriers to getting started, vs waiting until you have the time someday to "do it right."
Some of the arguments about Perl and bad engineering practice are not entirely without merit. Neglecting 'use strict;' or 'use warnings;' in your script typically makes this more apparent. The language itself however does not attempt to constrain developers in the same way modern languages do, instead the burden of responsible engineering is placed on the developer. The result is people that deal with badly engineered Perl typically become sour to the language itself.

I reserved my criticisms of Perl for things like signal handling and it's implementation OOP(to name a few), but overall it's a good language.
Project Showcase: Automating SDR Process with Multiple AI Agents
We took an open challenge on Twitter to a post by Jason Lemkin of SaaStr. The ask was to refer/build an AI that can replace a SDR / AE role.

Here is the tweet - https://x.com/siva_1gc/status/1768997890544800070?s=20

How it works?

Agent 1: Accepts the email list & detects the website
Agent 2: Scraps the website, does Perplexity search, and builds context about the client
Agent 3: Composes an email based on email examples and u/saastr prospectus
Agent 4: Answers customer's queries with SaaStr's u/Gong_io transcripts and closes the sale

Github - https://github.com/LyzrCore/lyzr-automata
There is a federal write off for car washes, so no real surprise.

https://engineeredtaxservices.com/the-unique-benefits-of-cos...