skysight-inc/HackerNews huggingface dataset:
With user consent and communication, it's not as evil as others are trying to make it sound.

The arguable legal gray area is: If a user gives unlimited permission to do so, is decrypting another company's network traffic on device legal? I fall on the side of the fence that it's okay with consent because not even that other company has unlimited and exclusive ownership of a user's data or network packets preflight on their own device.

Btw at Meta/Facebook, even the data about employee devices has privacy filters on collected analytics because location, IP address, MAC address, serial number could be used maliciously by a rogue employee targeting other individual employees if there weren't protections (like Twitter was). Instead, almost all data at Meta is uniformly stored with hard privacy ACLs that, by default, prevent casual exploration. In other words, if I worked at Facebook and knew your Facebook accounts' graph FBID, I would be presented with minimal-to-no information about it and a "make a request for access for business use" dialog that is rarely granted by an appropriate manager or senior trusted person except for actual business needs. Even browsing my own Facebook account by FBID in the graph, I couldn't see all of the details, just a bunch of uninteresting housekeeping and general details. In general, they took at-rest storage of personal information seriously.
You're right of course. I'm not trying to argue for this toy theory of mine to be considered as an alternative to the physics we've worked so hard to achieve.

I tried that many years ago, it didn't work out. But that's ok, it was more about the journey anyhow.

My point is just that I had to get sufficiently "out there" in order to have panpsychism show up organically, but now that I have, it's a pretty comfortable perspective.

I thought I'd share because most people seem a bit repulsed by it, which is a shame because it's fun.
Obligatory parody link: https://youtu.be/HdnDXsqiPYo
There was a sketchy looking file sharing website where someone had posted some incredibly hard to find audio tracks that I really wanted, but the website required a subscription. Paying with a cc meant automatically-recurring payments, but I paid with bitcoin, got my files, and knew the website couldn’t get any money from me after that.
This is one of those things that is extremely insidious because it holds a kernel of truth but the author takes it to a place that in my opinion is really unhelpful.

For example, his opening paragraph "One of the main problems..." seems fine to me for setting the context, but I would immediately want him to follow with "Let ..." and state the proper definition. All of the extra fluffiness means I have to do two translations - from the fluffy part to the actual maths and then back again - each time to understand what he is getting at.

In my opinion, great maths writing is both rigourous and engaging. I would use "Calculus" by Michael Spivak as an example. It's really lovely to read but also concise and elegant and the beauty of (and love for) the maths comes through on every page. The author isn't trying to turn it into a short story and it's not padded out with additional rhetorical bullshit like "And now we come to a key player: the group of deck transformations." That sentence makes me want to puke just a little bit.

But all of the above is a matter of opinion. This, for me is a hard nope:

This may require “watering down” the results being described — stating corollaries or special cases instead of the full theorems in their maximal generality. Sometimes you may even need to leave out technical conditions required for the results to really be true.

I really really hate it when people do shit like this. State things properly even if you need to say something like "don't worry about x y z condition I put there for now which will be explained later". He says you must warn the reader you're doing this but basically I think this is just a hard pass from then onwards.

Like if you want to give a simpler version of something, you can by all means do:

This is known as seanhunter's theorem, which is usually stated as, if blah blah blah...

When x is a real number greater than zero this can be simplified as follows:

If x is the number of minutes spent in a meeting and p is the number of participants, then the expected value of the meeting is given by

v= r/sqrt(x^3p^2) r~N(mu, sigma^2)

... or whatever.

So you give the real version and then the "special case" version that is actually useful most of the time. Like when people give you Fermat's little theorem[1] and they say a^p is congruent with a mod p but that is equivalent to saying if p does not divide a then a^(p-1) congruent with 1 (which is the one you're going to actually use most of the time).

[1] https://en.wikipedia.org/wiki/Fermat's_little_theorem
Fired Americans Say Indian Firm Gave Their Jobs to H-1B Visa Holders
This effort of building in redundancy is pointless. We just need a newline to know where to start the output on a new line. If you want to safeguard the proper content of a file, a whole lot more is needed.
Scotland was 'hoodwinked' by Donald Trump, says former aide
Then they shouldn’t have open sourced it in the first place.
I don't know if it was a backlash as much as everybody yelling "this is a bad idea!" as loud as they could from the very beginning.
>So when a group of people behaves irresponsibly with people's money it boils my blood. He deserves every jail year he got, just on the hubris alone.

I don't want to rub on your wound but you need to take some responsibility as well. You knew crypto was risky. You knew many exchanges have scammed and went under, taking their customer's funds with them. It's arguable that every crypto exchange is shady and it's inevitable that every single one them will fall.

You should also blame the laws because exchanges and most crypto are clearly securities. But our law makers have been slow to respond and have probably been paid off by crypto money.
It was for 5g and I have no record.

It was from the state and it was dropped.
Thank you for the feedback! If you have any questions or suggestions looking it over tomorrow, I’d love to hear them!
Mr. Boston Official Bartender's Guide
“Answers” is a word that hints that you are still thinking of it as human-like consciousness.

A valid point could be that our consciousness is social (“answering” is a thing), and by extension any alien consciousness we expect would also have to be social as one of the constraints that make it sufficiently human-like.
No, getline() will stop reading at the newline, even if more (non-NUL) characters follow. EOF is end-of-file.
>The HN community is a bubble of radical truth seeking.

To think some call us an echo chamber.
In the past we were thinking to do something like this by hand. For instance, we detect induction variables, we could rename them into `i`.

However, nowadays, it seems pretty obvious that the right way to do this things is using LLMs.

This said, at this stage, we see ourselves as people building robust infrastructure. Once the infrastructure is there, using some off the shelf model to rename things or add comments is relatively easy.

Basically: we do the hard decompilation work that needs 100% accuracy, and then we can adopt LLMs for things that are OK to be approximate such as names, comments and the like.

Anyway, writing a script that renames stuff is pretty easy. Check out the docs: https://docs.rev.ng/user-manual/model-tutorial/
The messaging around it sure has been heavy on the "you should do this it's better" and light on the "and here are the implications".
Some will never pay and will reverse engineer out any software license checks.

For a long time (and might still be; not paying much attention anymore), it was a "rite of passage" in the scene to crack IDA... using itself.
"the country’s global realignment with all the worst people in the world."

And who are the best people in the world? Oh, of course, the Yankees and Brits, who actively supported apartheid (and who continue to support it in Israel).
I don’t think there’s a problem with posting a link to your own blog. Just don’t only do that.

> Please don't use HN primarily for promotion. It's ok to post your own stuff part of the time, but the primary use of the site should be for curiosity.
Sounds like sidekick for binary ninja
Capi Money (YC S23) Is Hiring
The book mentioned in the article, AppleDesign, is full of great photos (of prototypes and shipped products) and interesting stories from that era. It covers the entire Frog Design era in great detail. Highly recommended, but unfortunately quite expensive these days.
When I was taking civics in the States, de Tocqueville's description of a polity largely composed of interwoven mutually overlapping voluntary associations (a "felt" if you will, as opposed to a "fabric" of society) struck me as (a) desirable, and (b) no longer reflective of the country he had been observing.

Therefore, upon discovering that the "felt of society" tradition is alive and well in my region of continental Europe, I immigrated here.

The bonus: (for anyone else who grew up on Richard Scarry books) my local villages are far more reminiscent of Busytown than anything I left behind in the (Koyaanisqatsi-reminiscent) Old Country.

EDIT: for a different expression of Wang's observations, see https://en.wikipedia.org/wiki/Metropolis_(1927_film)
Eventually, statelessness will help increase gas limit on L1.

However, Ethereum L1 is supposed to be the settlement layer for rollups, and high security requirement transactions, not for shitcoin trading.

Recursive rollups (L3s,L4s) have also been talked about for years now, and it should be pursued; that's how you can increase transaction throughput and decrease fees with the magic of zk.
The copyright owners of a GPL software can do whatever they want with future versions, even going proprietary. The problem is that all the owners must agree on that. That's why some GPL software only accepts contributions by people that give copyright to a single maintainer entity. An example is FSF's copyright transfer, which to be fair is more nuanced than that and has also other purposes.

https://www.fsf.org/bulletin/2022/fall/copyright-assignment-...
I'd agree with that. Your message sounded to me like you thought VC funding was desirable for software projects. I wonder why we can't just fund software like a regular business- why look for venture returns?
The U.S. Attorney's office for the Northern District of California is getting interested.[1]

[1] https://www.marketwatch.com/story/equinix-gets-subpoena-as-b...
Good idea, we can definitely add that
Well, I was using AWS more as a catch-all term for cloud. They never actually offered a managed MongoDB service, but other like IBM and Oracle did (or still do?). I'm not sure what impact this had exactly, whether those services were discontinued or if they are now paying Mongo for them - but surely they had a significant impact one way or the other.
No, Israel is not democratic. It's an apartheid state, established through colonial displacement and ethnic cleansing. It is currently engaged in genocidal practices against neighbouring indigenous populations, which I don't believe is compatible with democracy.

I don't think it's a jewish state because I believe zionism and judaism to be fundamentally incompatible, but it's the mainstream zionist position that it is.

You can look at pretty much any survey they've done during al-Aqsa Flood. You can also, you know, just look at israeli television? Listen to some politicians and pundits?

No, even the ICJ has concluded that Israel is plausibly committing genocide. What do you mean by "extreme"? Are you seriously claiming that he is free to voice his opinions, even though he is routinely harassed by the state for trying to do so? To my knowledge the arab parties in the Knesset has been allowed one, maybe two if the managed one in november, demonstrations. Look at photos from the israeli anti-government protests and count the palestinians, you'll find that they are very, very absent.

Or, you know, listen to some popular israeli pop songs, like Shager or Harbu Darbu? Look at some IDF TikTok:s where they say the genocidal stuff out loud while looting some dead or displaced peoples home?
The weird characters are part of the syntax here. Of course, you can make it more verbose, or more flexible/configurable.
To me Redis has always seemed like a Trojan Horse for developers. The first impression is its this simple key-value database, so easy to use. Oh wait... it's also a cache, nice! Let's cache all the things too! And look... all the cool kids are are using it too, so it must be cool, meanwhile the old Unix mantra of make each program do one thing well. To do a new job, build afresh rather than complicate old programs by adding new features. ( http://www.catb.org/~esr/writings/taoup/html/ch01s06.html ). Fast forward 10 years and you need to download it's Enterprise Whitepaper ( https://redis.com/solutions/use-cases/caching/ ) to make the right caching decisions.

Where this is coming from is having worked on a project where Redis was being used as a database and a cache, on different ports. And of course most of the dev team hadn't read the the manual because Redis "is simple and just works". And of course someone forgot to actually configure the Redis instance that was supposed to be a cache to actually _be_ a cache. And someone else thought the instance that was supposed to be a cache but wasn't was actually a database. And yet another had used TTL caching to solve all their performance issues. And pretty soon mystery bugs start showing up but sadly no one can actually REASON about what the whole thing is doing any more, but there's no time to actually clean up the mess because it's a startup struggling to stay afloat.

And I remember asking "why didn't you memcached for caching?" and the response was "Dude! No one is using memcached any more". So the technical decision for Redis was based on "what's cool right now".

Anyway... I feel a bigger rant brewing so I'll stop here.
The critique of the 1% is more of a call for a system that is doing less exploiting of labor of the many for the benefit of a few, which has been leading to these huge social, economic, and political disparities.
I for one would love it!
yes, I'm not sure you understood my comment.
I would love for a non-python based deep learning framework to gain traction.

My initial impression though is that the scope is very broad. Trying to be both sci-kit learn and numpy and torch seems like a recipe for doing none of these things very well.

Its interesting to contrast this with the visions/aspirations of other new-ish deep learning frameworks. Starting with my favorite, Jax offers "composable function transformations + autodiff". Obviously there is still a tonne of work to do this well, support multiple accelerators etc. etc. But notably I think they made the right call to leave high level abstractions (like fully-fledged NN libraries or optimisation libraries) out of the Jax core. It does what it says on the box. And it does it really really well.

TinyGrad seems like another interesting case study, in the sense that it is aggressively pushing to reduce complexity and LOC while still providing the relevant abstractions to do ML on multiple accelerators. It is quite young still, and I have my doubts about how much traction it will gain. Still a cool project though, and I like to see people pushing in this direction.

PyTorch obviously still has a tonne of mind-share (and I love it), but it is interesting to see the complexity of that project grow beyond what it is arguably necessary. (e.g. having a "MultiHeadAttention" implementation in PyTorch is a mistake in my opinion).
Even better:

[Start with sound] [Start without sound]
Right, but you're supposing away the entire essence of the discussion. If you take for granted we have no free will, our indistinguishability from anything else in the universe is an immediately obvious logical consequence.
Not so much interesting as it is normal these days. Chinese big tech is much more OSS focussed than US big tech in my experience.
In this world you either evolve to Elastic/Cassandra/etc or return to Postgres :crab:

You really gotta search your soul and ask yourself: your cool idea really a database, or just a plugin for Postgres? And the answer is often the latter.
Former exec given death sentence for poisoning founder of Chinese gaming company
I was just about to write this.

If you can't make money by criminalizing the service providers, find new ways to criminalize the act of sending a letter on the demand side.

Brilliant! ;@]

Perhaps:

1. Deregulation and privatization don't work well for some critical services. The BPO should be re-regulated as a government department.

2. Abolish private criminal prosecution, as only the CPS should be allowed to bring criminal indictments.
Maersk names first vessel of its large methanol-enabled fleet "Ane Maersk"
52 and a half: https://www.youtube.com/watch?v=pomQy5JkRAw
Well of course he passed - they immediately after offer him the job and neuralize everyone else.
But there aren't that many people who do, at all, which was sort of OP's point.
I can't wait for the whole Nvidia and data center stack to be disrupted by a completely new kind of computing device specifically for deep learning: analog and or photonic integrators. (probably associated with an adaptation of architecture like Hintons forward forward networks). Time is right and the incentives are in the trillions. hook me up if you share the vision or know a guy.
I don’t think they will go anywhere, too many different concepts and technologies have been packaged without clear goals. Some concepts like shadow DOM are useful in other contexts though, but templating and data binding is botched in my opinion.
MongoDB is great if what you need is a replicated log or queue. It's what Kafka should have been.
Managing Linux Servers with Cockpit
> original vision ... https://blog.spiceai.org/posts/2021/09/07/introducing-spice....

Agree. I shared the same blog link (via archive.is) in the comment you replied to.

Detour into blockchain, even if warranted, might have been a distraction? Either way, congratulations on this relaunch.
If you are interested in what the flood was really about, there is an interesting scientific theory about it:

https://www.youtube.com/watch?v=T5Et2jvrY7Y
Well he stole $10 billion, imagine all of your friends' friends' friends' friends losing their entire life savings just before retirement. What % of these people are going to kill themselves, how many thousands of lifetimes of work did he destroy, how much stress did he cause, how many of those people are going to suffer for the rest of their lives, and how many early deaths is that going to cause, among direct victims as well as their family members?

Or is it somehow more okay because they're out of sight, out of mind? There's still going to be a real body count for his actions, it just won't be immediately apparent.

Yes, it's ghoulish, as were his actions, but it's too easy to handwave them away as just some techbro oopsie if they're not contextualized like this.
They call it entrapment - the officials put him in a position where be believes he's required to shoot in order to pass a test, but he sees no reason to. So finally he has to go with his gut and shoot the most probable target, even if he would have if not placed in that situation with those expectations.
This validate the need to stop all commercialization of proprietary software...
Redis is a very useful tool. You shouldn't blame the tool if people can't be bothered to use it properly!
While gatekeeping is definitely a thing, I really suspect it's not the major incentive here.

In writing (both prose and code!) there is always a question of target audience, which inevitably excludes the not-target audience. Personally, for a field in which I'm an expert, it's really annoying to continually wade through introductory material and hand-holding just to get to some small nugget of substance. In that case, I'm definitely not the target audience, so I'll go looking for another communications channel that offers the compressed/elegant/general/abstract/terse formulations I desire. Please don't then insist that I'm being unfair and exclusionary if you're not the target audience on those specific communications channels.

For math papers and whatnot, whitepapers are like the one established channel for experts, while everyone else has textbooks, introductory pamphlets, blogs, youtube videos, etc. I agree, however, that there are cases where non-experts could benefit from knowledge siloed within expert communication channels, but this is an unfortunate systematic side-effect not malice.

Honestly, with software development, I find it disappointing that our social conventions currently conflate "readability" with "comfort and familiarity to Generic Programmer" instead of something more useful like "facilitates domain understanding and insight to the primary developers".
We often act as if corporations are unalignable super intelligences, but you're right, if there are consequences for the board/executive/shareholders, they would start caring.
Good idea, let's just hope he's not interested in paper clips.
There are important distinctions between fraud and greed. For one, you can know the conditions.
I like this joke intuitively but perhaps I'm missing the reference?
>What do you do if a hacker takes control of your ship?

Was it a phishing attack?!
I think this is fair criticism. I am coming for theoretical physics, where, at least in my area, I see my proposed strategy actually being practiced quite often. Physicists are quite a lot less grouchy than mathematicians, and there is a lot less of your point 1 in Physics.

That said, to present in "high impact" journals, you do have to write your results in some grand fashion where it is the greatest thing since sliced bread. But the results, not the proofs. Then again, the difficult theorem proving papers are rarely published in high impact journals.

Also, I have seen quite a number of papers where the arxiv submission is more updated/expanded than the published version. If you have some new framework that you want people to adopt, then it is in your benefit that grad students actually understand the ins and outs of it, so people so inclined do put in some effort to make their results accessible.
I've found that envy is like faith. If you haven't experienced it then you can't grasp why other people do.
I never realised you could encode each column of Doom as a single character, but of course you can! I suppose the one thing missing would be distance, but if you get 8 bits per character I you could reserve the upper bits to represent approximate distance.

That's weirdly inspiring! What other games can I make where the visuals are conceptually no more than a line of characters, but which can get macroexpanded into immersive graphics?
> That's not what AWS is doing.

Well yeah technically the product is free but the value comes largely from unpaid labor. That needs to change if we want a healthy small business sector around larger open source products. It’s not based in opinion or ideological conviction on my end, but rather watching this frictionous and awkward transformation to BSL-style licenses happen over and over with small-mid-size companies who are building valuable products and want to be as open as possible while running a business.

> The fact that managed DBs are as popular as they are says this is a significant value add.

Indeed, and that’s a good thing, because it means a path to a sustainable business model is feasible! However, if you subsidize the product (make it free and open) in order to make it back in management fees, then you need legal rights to it. It could be “you have to use $PROJECTs own management product” but that’s quite narrow thinking. It’s a win-win for everyone else if mega-players like aws can provide their own management but they will have to rev-share with the project owner, on their terms. That’s a battle-tested model that works in all kinds of sectors, with much smaller actors.