skysight-inc/HackerNews huggingface dataset:
> Decompilation is often the least important (and least reliable) part of IDA/Ghidra

This is something all people using decompilers say and sort of shows how low is trust towards decompilers. Expectations have always been rather low.

I've been there, but this does not have to be the case, the whole reason why we started rev.ng is to prove that expectations can be raised.

Apart from accuracy, which is difficult but engineering work, why don't decompilers emit syntactically valid C? Have you ever tried to re-compile code from any decompiler? It's a terrible experience.

rev.ng only emits valid C code, and we test it with a bunch of -Wall -Wextra:

https://github.com/revng/revng-c/blob/develop/share/revng-c/...

Other key topic: data structures. When reversing I spend half of the time renaming things and half of the time detecting data structures. The help I get from decompilers in latter is basically none.

rev.ng, by default, detects data structures on the whole binary, interprocedurally, including arrays. See the linked list example in the blog post. We also have plans to detect enums and other stuff.

Clearly we're not there yet, we still need to work on robustness, but our goal is to increase the confidence in decompilers and actually offer features that save time. Certain tools have made progress in improving the UI and the scripting experience, but there's other things to do beyond that.

I see this a bit like the transition from the phase in which C developers where using macros to ensure things were being inlined/unrolled to the phase where they stopped doing that because compilers got smart enough to the right thing and to do it much more effectively.
You're vastly overestimating how much companies want to pay for support.
Compared to the human brain they are shockingly efficient. It's the hardware that isn't, but that is just a matter of time.
Aha, I’ve just turned this on, I’m going to give new ui a whirl again.
Something isn't right. First your comment makes no sense, since I was talking about long Island, why bring up Connecticut and Staten island. 2nd no one calls queens and Brooklyn long Island.

The western most towns of Nassau are barely under a half hour drive into the city and they all have LIRR stops.
I'm not for or against in this case. I'm anti what Redis the company is doing but I don't give a crap otherwise.

Are we really counting contribution based on LoC? Haven't we over the decades decided that isn't valid? Guess every person that makes this claim should once again have their performance based on LoC...

Some simple examples, I'm not saying this is the case though. What if most of Amazon's contributions are high impact contributions where most of Redis orgs are simply maintenance or feature pushes. What if the same is true for a 1% contributor?

By your own statement doesn't Tencent then have a larger claim to redis that Amazon or Redis does?
Buffets point is that it can be gamed to look good. In this case even if they are gaming it to look better than it is.... well it's still awful.
I‘m not sure that is the case. What I‘m seeing is that people use the cloud-native document stores such as DynamoDB instead of Mongo. The only thing zoomers hate more than traditional SQL databases is XML.
What we get from the sun is low entropy, since all the energy that gets to Earth has to be irradiated away, else we'd cook quickly.

If this low entropy carried by energy flows makes life possible, and life is how I get my consciousness. I'd say in a way my consciousness comes from the sun. The warmth of my skin and the qualia of my thoughts are movement perpetrated on Earth by the sun.
> different depending on the legal whims of various totalitarian regimes

An obvious solution to legal whims of various regimes (of any kind) would be to have One World Government that could resolve these international disputes, but this sol'n has its own drawbacks ;)
Pascrell Shares "Explosive" Ticketmaster Report Alleging Abuses
One viewpoint to consider is that how liquid is this wealth overall as totality. It is high, but if it is tied to valuations of public companies or even real estate... The wealth can very quickly go away... In one sense quite lot of it is not real.

So they really cannot go against larger global economy, as without it they have quite little purchasing power.
Hem... A small note:

you might not consume water but we do consume water:

https://www.siemens-energy.com/global/en/home/products-servi...

https://spectrum.ieee.org/green-hydrogen

Some now, a great deal more in the near future.
I didn't see anything about S-100 mentioned in the article - did I miss it?
You believe that no other factor explains the difference better? The reason is "incompetent police"? Why did the US not have the same problem in the past? You would explain it as somehow, across the entire country, all police, at all levels, just become incompetent sometime in the last generation? Why don't you list some of the other countries that you believe have things figured out, and we can see what they have in common, other than "competent police"?
So almost 4 years
No, since you can include BSD-licensed code in non-free software with just an attribution. The only difference between relicensing Redis from BSD+CLA to SSPL and BSD to SSPL is that the former would've had a more detailed REDISCONTRIBUTIONS.txt.
So what? I have seen models distributed as 26x 10GB files.
I am just comparing the potential revenue from taxation to the overall size of government spending via the deficit. I don't really understand what you are saying with this comment. Do you think government spending can be unbounded? Why tax at all?
That’s all well and good, but your car has always been trackable by the number plate, has it not? By Law?
Agreed. I think it’s challenging with airplanes, just because the barrier to entry and capital costs are insane compared to tech.
> Developers who spend years creating, maintaining, and continually improving an open source database (or other project) used by millions deserve compensation.

Redis Labs can start by compensating its external contributors (Tencent, Amazon, Alibaba among them) if they care about fairness this much.
Is buying the same as leaching now? Words really do get diluted to the point of meaningless...
Boeing stopped considering engineering and manufacturing to be their core competency after the MDD merger, that is expressly why they moved the HQ away from Seattle and closer to financial markets.
> I think in reality this concept doesn't exist.

Do you not think that you are conscious? Don't you have subjective experience?
That's our goal. We used to use QtCreator as a basis for the UI, terrible idea.

Then we switched to VSCode, which happens to be able to run in the browser. So we added some magic kubernetes sauce and voilà, you got the cloud decompiler with exactly the same user experience as the fully standalone one.

We still need to perform some QA on collaboration, but basically works.
One daemon, many clients. Very simple architecture.

I think we got inspiration to do this from a CTF where we were doing "collaboration" using IDA with multiple windows on a X session on a server with multiple cursors. Very cursed, but effective.
This was my initial reaction as well, as I have complete disdain for the lowest common denominator approach to many things in modern society. But then something occurred to me - IMO one of the most well written scientific papers is Einstein's special relativity paper. [1] But it's absolutely a 'story mode' paper! A moderately educated individual could easily understand and follow the paper, even if they might not necessarily follow all the math. It just flows inordinately better than most modern papers - most of which are written on comparably simple and evolutionary (rather than revolutionary) topics.

Of course this may be an issue of domain. I'm mostly interested in cosmology/astronomy/physics, where math is a tool rather than the object of the paper itself.

[1] - https://www.fourmilab.ch/etexts/einstein/specrel/specrel.pdf
Show HN: An adventure game in Z80 assembly for CP/M and ZX Spectrum
I've kept every single computer I've used since 1978, a veritable collection of over 40 machines.

I still lust for an Apple IIc. Never had one, my eyes go boink whenever I see one in the wild.
People don't understand that to simulate a single neuron, you need an entire neural network. So 70 billion parameters might at best be equivalent to a million neurons but that is assuming that your neural network architecture is akin to the connections between neurons. Considering the physical sparsity, you might need even more parameters to model the connections of a biological neural network. So less than a million neurons in practice.
Tl;dr We shouldn't care.

Is my partner conscious? My dog? Actually, I don't know. I can say that I experience myself as conscious.

In our daily interactions we never ask such questions. Last week, I hired a new programmer. We checked the CV and the code challenge. We invited the candidate to see how they get around with the team etc. At no point, we asked if they're conscious.

I think our brains are machines for predicting what happens next. Therefore, a large brain makes sense because it can simulate the world more precisely and make better predictions. One mistake of this simulation is that the brain simulates us as a conscious agent who can make their own decisions and act in the world. In contrast, we are just machines who operate by the laws of quantum mechanics.

Maybe evolution set up this illusion on purpose so that we don't get depressed and kill ourselves.
Consider https://en.wikipedia.org/wiki/Ergodicity

Edit -- also, earth due to its internal heat, and perhaps fossilized remains of those organisms that benefited from geothermal heat/vents/etc during its time (nuclear power), will one day do our work on the sun
Its a pain to install due to dependencies on libqt5pas1 (which doesn't work with the version provided on Ubuntu 22.04). I was able to install via snap but it takes way too long to start up (even vscode starts faster).
The bits of it in TNG were fine. It became rampant and cringey in Voyager.
Thank you for sending this, Talos looks cool! I would not recommend actually running it in production though -- it does not seem possible to set up in a secure way. (unless you have an out-of-band VPN to the machine?)

See this: https://www.talos.dev/v1.6/introduction/getting-started/#mod...

The first time you send the machine config, you have to use the --insecure flag to avoid verifying its TLS cert. More concerning, there seems to be no way for you to authenticate yourself to the new machine. Anyone (most likely an automated scanner) could come in and make it theirs at this point.

Is there a solution for that?
Ahh I’d disagree with that, I’ve been solely IntelliJ since around 2011/2012[1] and all the alt+N tool windows, the ctrl+shift+a (besides being the original feature, it’s faster than shift+shift and I never have confusion about whether I’m looking for an action or a file or … that shift+shift view just never made sense to me). Basically all the core shortcuts are memory muscle at this point but the menu is useful for browsing lesser used features. Ctrl+shift+a is slow enough at redrawing that you don’t want to be using it to search / try to remember the name of a feature.

[1] well except for a brief 2 year VSCode spell but i came back a year or so ago and have restored my all products subscription
tfjs is dead, looking at the commit history. The standard now is to convert PyTorch to onnx, then use onnxruntime (https://github.com/microsoft/onnxruntime/tree/main/js/web) to run the model on the browser using webassembly/webGL (and nodejs if you wanted to, but why?).
I had the some thought pop up. I am curious if someone more familiar can do any comparison between the two.
If someone is looking for a Notepad++ equivalent on macOS, I can wholeheartedly recommend CotEditor. Native, too.
> Vienna's approach worked because it happened after WW2

It didn't though, they already started in the 1920ies! The most famous builing, Karl-Marx-Hof, started construction in 1927.

And they are building new public housing to this day, making use of inner city land that comes available from old factories, storage facilities, rail yards or alongside private construction projects etc. Other austrian cities do this too.

Agreed on the policy failure though.
Where can I download and use it?
i also opened a ticket about it and support rep responded about it being addressed.

it's still hilarious and absurd for them to lose some customers on something like this, they provide top notch service that competes very well with digitalocean linode scaleway etc.
Note that everyone had access to the Inbox API at the time. We made an art project highlighting the invasiveness of such broad access:

"E-dentity is a project that asks a participant to login to its Facebook account, then takes his/ her private data from their profile and automatically prints them in an understandable booklet that is handed to the user. This booklet seeks to raise awareness of the hidden data we are sharing which we are often not aware of."

https://github.com/some1else/Edentity
Another untree: https://github.com/codeinred/untree

(I was happy when I saw untree in AUR because it makes installation so easy, but then I saw it was another untree.)
It's not even that, they didn't misrepresent what it did.
Dragonfly isn't open source nor free software. Rather a pointless switch if you ask me.
I decided to leave only a secondary comment at the bottom of the thread for the same reason as yours and still got 14 ups (i.e. thanks) in a short time before this branch bubbled up. People definitely get confused and that's worth talking about before the merits of the demo, cause you have to run it somehow. I almost left too thinking it's broken, hugged or something. It is distracting and we'll live through it :)
The problem is that postgres is not a replacement. The JSON operations are not atomic which is terrible. If you wanna use PG that's cool, but I'd suggest just avoiding JSON.
Microsoft's Garnet has the best chance of replacing Redis, the OSS project and the hosting company.

Article doesn't mention it, but supposedly Microsoft uses novel algorithms and multi threading to achieve an order of magnitude improvement in throughput.

Now if they can commercialize it with Azure, it should be a credible alternative to Redis Enterprise hosting.
That only works, if you wear something like this:

https://en.m.wikipedia.org/wiki/Golden_Cone_of_Ezelsdorf-Buc...
>You think you're discussing something profound but it's just vocabulary.

Alternatively, you think they're discussing something mundane, but it's actually profound.

After all, you think you're discussing something profound, but it might just be vocabulary.
Plates get removed, plates get swapped- this is a potential (can anybody be bothered?) tell if the relationship of plates matched to tyres change.

Probably because the tyres were routinely changed, occassionally because the plates were changed ..

This goes to the domain of "who cares about plates | body VIN | engine VIN | tyre relationships".
summary:

My blog has been going for 14 years now, and has just passed 4 million pageviews. Yay! I remember the 1 million pageviews moment in 2017!

The main reason I was able to persist for so long is because I blog for selfish reasons. Let me try to unpack why I blog, and why I keep blogging.

Murat writes to clarify thinking about research papers (with a special liking for distributed systems). The blog posts are the final step in their paper-digesting pipeline. Blogging undoes a problem endemic to research writing:

Research papers are written for the wrong audience (or rather maybe the right audience but for the wrong reason): they are written to please 3 specific expert reviewers who are overwhelmingly from academia.

(edit: expand summary)
Does it export to powerpoint? I have the same issue where my client wants weekly data driven decks and I’ve automated the data part but the presentation layer I offload to other people who often make mistakes copy/pasting or with the charts

However, my client still wants a .pptx that looks great because they then present it internally, and while the current workflow isn’t great it’s very cheap and effortless (for me, at least)
You might find this blog post of interest: https://worksinprogress.co/issue/the-rise-and-fall-of-the-am...
The Permissive License Proprietization Curse
What if your field of vision was infinite and you are looking at a unrolled telephone book?

Would you need a device to remember the phone number? You wouldn't. You would need a method or algorithm to find the number, but there is no reason why that algorithm couldn't be part of the attention mechanism. The attention mechanism is akin to reading the entire phone book for every word you are about to say. It would be unreasonable to expect you to not find the right phone number eventually.
Yes, Nim macros can fiddle with the AST: https://nim-lang.org/docs/macros.html

You can also see another (I think) neat example in `npeg`: https://github.com/zevv/npeg?tab=readme-ov-file#quickstart
There is also gokrazy[^1], which isn't focused on k8s, but on deploying on a rpi.

[^1]: https://gokrazy.org/
The Royal Mail and the Post Office are not the same thing! They are completely separate businesses. The Fujitsu/sub-post master scandal has nothing to do with the Royal Mail.
No, it's only one incentive. Counterbalancing it is the value of expertise.
It is a small DSL written using macros at https://github.com/mratsim/Arraymancer/blob/master/src/array....

Nim has pretty great meta-programming capabilities and arraymancer employs some cool features like emitting cuda-kernels on the fly using standard templates depending on backend !
Researchers send data 4.5 million times faster than average broadband
Really the only web interface I consider putting on my machines is this one as it uses the normal system as available instead of doing everything custom.
Are there any disadvantages to using transactions with a single-instance replica set?
Opensearch has been great so far, no issues ever since deploying the very initial forked version. Neither of those links seem like dealbreakers, am I missing something? Is the idea that opensearch is not usable in production because of missing autocomplete?
When you won't sacrifice for society, no one else will either.

You are statistically probably well educated, probably working in tech, and probably earning 2x or more than a police officer with none of the danger. As a tech person, you could probably trivially write a query that would tell you what camera to look at at what moment, or have the engineering background to develop a system to find where people fence bikes and stolen laptops.

Instead you're probably making some asshole VC or CEO richer by selling out the future for next quarters profits. That police officer actually has skin in the game making society a better place and is literally in harms way when they do their job.

You think the government owes you something, but what I don't think you fully realize is that the government is us; we are the government, you and I.
Yes, but the likelihood of an individual being enlightened is less than either.
> Its about writing code faster and potentially better.

You an I seem to have different values. I have never desired quicker things that are worse.
...is explaining it here too much of an effort, or what? Like I don't mean to be rude, but that really doesn't strike me as an unreasonable question to ask.
>I didn't find it confusing.

Great!

Anyway there are better comparisons to make if you're just trying to convey the concept of instantaneous life saving, many examples of which do not add a confounding additional pharmaceutical to draw comparisons from.

"Selatogrel: The Life Raft for Heart Attack Emergencies" was the chat-gpt recommended metaphor for avoiding pharmaceutical conflation and confusion with EpiPen.

It's basic, but then we wouldn't be discussing why Selatogrel isn't an EpiPen if the writer had considered it..
How can you bootstrap a PKI without having a trusted out of band channel?
I feel like for really "out there" sci-fi, books are a lot more free to go crazy than shows or video games.

Ships fighting by lobbing planets at each other? Or anything in the Culture universe? Good luck putting it on screen. Or just the short novel Diamond Dogs.
How are JSON operations not atomic? Genuinely curious
OpenVoice: Versatile instant voice cloning
NB: Docker Engine is open source. (Docker Desktop is not.)
MathDoku does that and I hate it, because sometimes cookies expire and it plays loud music in the middle of the night when I start it. What's wrong with

[ CLICK TO START ]
[x] Allow sound

Keep it simple
Interesting that it "Supports tensors of up to 6 dimensions". Is it difficult to support an arbitrary number of dimensions, e.g. does Nim lack variadic generics?
I don't associate with this app, but i tried it after watching a youtube shorts, and i really enjoy the community and also received a internship opportunity from one of the startup, so decide to share it here.
And still people randomly get assaulted in a supposedly 1st world leading city.

https://www.nbcnews.com/news/women-report-assault-incidents-...

The reason I post this is because I read it this morning and it's the first thing that pretty much popped in my head here. You guys have a huge gap in policing and enforcement of punishment. It's so blatantly broken and broken on purpose by the left/establishment/politicans/etc.
> AWS won't be allowed to leech off anymore.

Doesn't AWS employ Madelyn Olson? I mean, AWS have paid for Redis development.

Not exactly a leech.
I use cockpit as a 'read only' interface as everything else is defined in code to configure my homelab but it but it's great to have easy access to a terminal via web browser and also access to kvm machines console just via web interface.
I still don’t understand what a fully realized crypto ecosystem would allow people to do that isn’t already being done well by standard technology. Like it or not, for most people doing most things, the government or large companies are suitable enough of a store of trust which is the problem crypto solves by being decentralized. I think it’s a neat technology for tech people but I still struggle to see why normal people doing most things would want to pay for things with bitcoin.
The First Cat War
Same. Quite happy overall. Had a major issue a couple weeks ago when docker hub registry banned some Vultr IPs (v6) and I could not deploy anything on my kubernetes cluster.

It took a while, but things got resolved. Vultr's CTO even looked at the issue personally which is a really good sign in a company when top management stay in touch with customers, even small ones.
> if the reviewers find a good explanation of your result, they'll recommend that you publish in a lower-ranked venue than your result would ordinarily merit (at least unless you solved a famous problem).

Even if you solve a well known problem. I gave a talk once where I did so as a very junior student. During the Q&A a very well known senior person got up and basically asked me what's the point and this is all trivial anyway. Thankfully I remembered the exact place where the founder of the entire field had said just recently this is one of the hardest problems in the space and the problem he had hoped to maybe one day get to when he started the entire enterprise. The audience laughed and the guy apologized.

But I learned my lesson. Talks and papers need a little magic. For some people you can't just solve a cool problem, they need to think that they couldn't have done so and that they don't quite get how you did it. I now include something in every talk that I don't expect the audience to get just so what I'm doing seems "hard" to people who think this way.