skysight-inc/HackerNews huggingface dataset:
Thought the same. So was using teams and slack in the browser. But at least for new m1 Mac, resources for running a tab and a seperate electron app are pretty similar. It's scary how much memory certain latent tabs use, especially with video ads running.
Whoa wtf. I don't "wtf" a lot on HN but I had not noticed the whole spaces tab disappeared in the iOS app without an app update. A WTF both on the decision to remove it and that it can be removed without having to update the app.
> to write something to a Blockchain I'm going to need to pay a fee to do so
>I've not seen any web3 projects tout themselves as free data storage

Well, of course, because the main reason for building blockchains is currently to make big bucks by selling the attached cryptocurrency. Also, storage isn't free, so fee data storage can't exist. That also isn't what I was describing.

There's no need for there to be payments involved in a blockchain, however. What blockchain does is provide a medium to store data that is signed by someone and can be read by others. It also allows this data to be stored in a distributed fashion on the devices of anyone who wants to store it, without there being a possibility that someone changes the data without anyone knowing.

The commenter I responded to wrote:
> which was a barcode reader plus online DB. Until the company went bust, and the device magically transformed into a brick.

Hypothetically, if you were to use a blockchain to store the data, in stead of a centralized DB, anyone could run a copy of that blockchain and become a peer in the network. Users who still want to use the product after the company disappears can become a peers in the network to keep it running and prevent the device from becoming obsolete.

There have already been large organizations that experimented with blockchain in somewhat similar scenarios. They all run an instance of the blockchain and any data that has to be tracked between them is written to that blockchain. It's completely private to those companies, but nobody directly owns the data and there are no currency transactions involved in these blockchains.

I understand that there's confusion about this, because blockchain in the public eye means cryptocurrency. But cryptocurrency is just an implementation of the blockchain technology. And that technology works really well without any form of micro transaction involved.
This is super awesome.

Have you already explored doing the same with voice cloning?
Levine points out that it's not clear that the change --- brief order-by-order auctions to beat the wholesaler price (which is in turn at least as good as the public market) --- will actually improve outcomes for retail investors; there's a paper:

https://deliverypdf.ssrn.com/delivery.php?ID=285088095002029...
> Once again, a private company still doing private company things.

That's not the issue. The issue is they're doing exactly the opposite of what their new owner proudly, publicly stated they'd be doing.
It seems like there is a lot of disagreement and discussion about the role of SRE vs Devs. My team is responsible for our own operations (we are Dev and DevOps, no SRE team), this is a great list of questions to ask ourselves during the planning and estimation phase before we build our new stuff.
Pretty much late edit: in the second line `: has` to be `:has` with no whitespace (as CSS parsers do care about whitespaces in some contexts).
I am implying that if AMD wasn't allowed the x86 licenses that enabled them to create AMD64, the market had to deal with Itanium no matter what, Windows was already ported, some big UNIX names like HP had offerings, and that would be it, done.
Doxxing is a fair policy and sharing real time location to be included in the doxxing policy is fair. No disagreements there.

Elon backtracking from the absolute free speech is fair to be mocked and laughed at as 'I said so'.
I tried Atom for a while in Windows, but a file watching bug made it quite inconvenient. Every time I edited and saved a file in another IDE (at the time, I was stuck using it to compile and debug an embedded system), that IDE would rename the original to a temporary file in a temporary directory before writing the new version. Atom would follow the rename rather than re-load the new file at the original path. It would make the open tab useless.

I tried making an issue for it, but someone ranted on about moving files around on a Mac and then closed the issue.

I tried trying to solve the bug myself, but I got about 4 layers deep into callbacks across at least three different repos, and gave up.
It doesn't feel like one either. It feels like a shitty web page, and it costs 500$ to run. I can run apps in python and they don't feel the same way, never mind native.
Emacs isn't really a terminal app, though. CLI is just one of several frontends.

And there are good reasons to prefer the gui version: https://irreal.org/blog/?p=5835
I don't care whether the Washington Post is right or not on this one; but it is good to see that these people are now getting a taste of their own medicine.

Nobody from that camp was lifting a finger when "conspiracy theorists" were being banned from Twitter. People were saying that "Twitter was a private company who could ban whoever it wanted".

Here is a past thread of mine: https://news.ycombinator.com/item?id=31154200
Definitionally petty. Definitionally myopic.
Why is that? If a proof can not be found isn't that like not halting, since the space of all theorems can never be exhaustively checked? And we know there are things which can not be proven.
The alternative method is just people ad-hoc tracking the aircraft with their own ADS-B receivers. LADD doesnt allow aircraft to stop broadcasting. Only that data vendors like FlightRadar must respect the privacy requests. But antenna owners can choose to share their data with vendors that dont respect the LADD program in which case there is 0 recourse.

You can buy the antennas for like $100 and share the data in real time with whoever you want.
It's fun to know that in the middle of Sunnyvale, right next to downtown and near many tech companies' buildings, is the big Northropp-Grumman Marine Systems site, that emerged from the Joshua Hendy Ironworks, and which continues to produce heavy equipment.

https://en.wikipedia.org/wiki/Joshua_Hendy_Iron_Works
My Roland FA-08 supports MIDI 2.0 apparently. That's like 8 years old now. Weird that the spec wasn't finished until 2020
Do they have an ActivityPub interface? If not, how does post.news convince their users that the time spent on establishing their social network isn't wasted when the company is sold to yet another abusive investor somewhere in the future?
Ask HN: Reply.io Alternative with Strong API?
I'm trying to create a cold email outreach sales funnel, but I want to keep the data in my own datawarehouse. I want to send emails and track whether the recipient has opened the email and clicked on the link.

I like Reply.io, but I cannot find an easy way to track campaign results per participants. I've looked into sending using Google Mail API, but tracking the open rate and click rate becomes a bit more cumbersome.

Any suggestions?
Final straw :) Deactivated my account
holding people in power accountable (musk visit D.C. musk flies to china. whatever).

tracking & pointing out grossly polluting means of travel.

market making information (musk spends more time visiting ___ faltering plant or ignoring ___. Musk makes trips to __ location, acquisition in the works)?

elon is a public figure and his movements/actions create legitimate news. same as any other celebrity or politician.

gawker did this first and that was actually stalking precise irl real time locations of celebs.
As proven by all ARM attempts, Microsoft is also allowing themselves a certain flexibility, also do not forget that for Alpha they did colaborate on a x86 JIT compiler for Windows NT.
I would agree. If at same time threading was made impossible.
It was a really nice editor. I used it before VSC.
If the sell works well enough, Oracle will alter the licence terms.
Did she sign over the copyright to the vanity publisher? As saying the publishing is "author approved" makes it sound like she isn't getting any money for it.
Final straw for me. Deactivated my account :)
And that would've caused an avalanche of copycat accounts, each going after their own 50K.
I agree with both points.

Still I don't think changing one's mind is that big of a crime. Especially if there are very good reasons which are explained transparently.
I assume Oracle will just fix this the same way Microsoft did … newer on-prem version of SQL Server are licensed by pair of CPU cores.
Tomorrow's headline: "Oracle Changes Database SE2 Licensing Terms"
Not banned. It looks like they’ve simply wiped their account and redirected the profile to Mastodon.
Reproducibility is a big deal. With the Stable Diffusion model as a publicly available test model, using the exact same inputs, especially the seed value for the random number generator, should get you the same picture on subsequent runs or on a different machine. Whether or not ChatGPT is evolving with our input is a secret to make that not the same for their model is known only to OpenAI.
> Bloomberg focuses on the growth/anti growth mantra. But that's looking at it wrong

I came away with the impression that the growth planned/proposed by the Corps of Engineers, basically scared opposition groups into pushing for (and obtaining) too little growth/development than perhaps would have happened if SF had gone the middle way.
Elon Musk’s Tesla Share Sales Could Point to Debt Help for Twitter
Secrets of the Christmas Tree Trade
> There is some irony now seeing those that didn't believe the banning of accounts arbitrarily was an issue under previous management decrying this move by Elon.

No, the irony is not that the site under both owners is trying to remove bad/harmful content (just defining it differently).

The irony is that Musk thought he wasn’t going to have to do it at all: “absolute free speech”, “public square”, “comedy is legal”, etc.

One of the banned journalists went on Mastodon and said (paraphrasing): “It’s his site and he can ban whoever he wants”

And to be fair, under both owners, accounts were banned for violating ToS policies. The policies are just different, but they’re still the rules you agree to when you use the site.

I just don’t think anyone thought “free speech” meant no parodying, no republishing public FAA info, etc.
Oh yeah that magnetic anomaly “g - 2” there’s a value that might be almost but not quite exactly 2, which is one of the few sources of potential “new physics”

https://en.m.wikipedia.org/wiki/Muon_g-2

But whackos will apparently cast any areas of active research as a conspiracy.

Still not anything like “suppressed laws of physics”.
On the contrary, working in a professional environment, almost no one I know is using vim or Emacs seriously day to day for coding. We all use VSCode because that is a tool that just works for our team and company. Having a unified tool set works wonders for group productivity, no more messing around with some employees not having a certain package and others needing to customize their vim configs. No, everything simply works, and we can focus on the actual coding rather than messing around with our configs.
I'm working on no-code stuff at Glide. Specifically building our infrastructure to support millions of customer tables. :)
FAA policy lets owners of private jets request that their plane’s identities be blocked from public display
Related:

Kilo LISP - https://news.ycombinator.com/item?id=19415735 - March 2019 (48 comments)
I don't think people want to come into the US anymore. The country has been in a serious decline since Bush Jr, and it's not going to be changed by a one or two terms of a democratic presidency. Even developing countries don't have the same issues with abortion rights, etc...
funny that Hayk is an early skydio guy!

2 amazing AI projects. Huge respect :)
Elon Musk Has Now Sold $22.9B in Tesla Shares Since Buying Twitter
That makes perfect sense.

At the same time, will we ever get General AI just by throwing more data into the models?

Our biological brains definitely have way more data than the models we have right now but they also have different mechanisms which we barely understand.

I'm not confident we'll get human-like behaviour just by throwing infinite amount of data into a model, I think we will need significant changes to how we do NN as well.

Or maybe we just grow a brain in the lab, wire some inputs and outputs, train it for 20 years and then treat is a CPU.
I'm using the newest macOS (Ventura) and I have no problem running unsigned apps.

I don't understand where people get the impression from that it's a huge pain to run unsigned apps on macOS. It's a matter of executing

sudo spctl --master-disable

and then changing a setting in System Preferences and that's it.
This is classic The Register tone, which I like a lot. Also, I missed these kinds of moves between vendors...

BTW, BOFH[0] is a great The Register series if you want more of it.

[0]: https://www.theregister.com/offbeat/bofh/
https://www.google.com/search?q=pay+phone+booth&tbm=isch

a pay phone (phortress, because it was safer to phreak from than a home phone)
Have you used it? My local feed is overflowing with people that I think you would definitely describe as "normies"
I agree with some of the points, but on the other hand most organizations do not really empower SDEs to reason about architecture. Things like production budgets and production grade monitoring and observability are usually owned fully by SRE/devops, and if some enterprise architect type is involved devs won't even own the spec. At those places, devs can at best make a wild guess of what the expectations are. Responsibility should be proportional to power.
This is definitely not true.
That's the equivalent of variable definition: var X = Y.
>> (Only one of Einstein’s papers was ever peer-reviewed, by the way, and he was so surprised and upset that he published his paper in a different journal instead.)

Yes, well, how shall I put it? Not everyone who attempts to publish a paper is Albert fucking Einstein.
It's not that complicated. This is a credible threat to his family and Musk is scared. I'd be scared, too. I'd have shut down the jet account and any account linking to it as well. If you think you'd have done something different, you're a liar or a robot or a fool.

There are some legitimate things to pick on Musk for. This isn't one of them.
Erdős, Feynman?
appparently twitter took Spaces down immediately after this as well.

elon said its down because of "a legacy bug."

strange timing.
Devops is dead?
Why? And why have that broken behaviour on the path entry box, where it doesn't filter down the files in the list?
I'm new to Svelte. Thank you for mentioning that.
Ripping CUE/BIN with a tool like the now-venerable Brasero(found in every Linux distro) is basically the correct option, with the caveat being that it doesn't result in an easily mounted image for use in emulators etc.

To make the CD audio playable requires a second emulation step to read a CUE/BIN as if it were actually a CD-ROM and not a random-access byte buffer, and when I went looking recently, that precise use-case isn't well-supported, because it becomes a thicket of driver interfaces - instead burning a new CD is still the simplest way to get the result.

However you can still extract an ISO from the first track and play the result without the audio, as with the rips you've already discovered.
I thought the real value of Robinhood was that it was a substantial source of information about retail traders for its parent company.
No not really. If every result is an Array then such an array can contain an empty array and then it itself is NOT an empty array. It's all about how you specify the semantic contract of your function.

You can say a result was found and that result is an array, possibly an empty array. Or that no result was found which is indicated by returning TOP-LEVEL empty array.
The problem is that "MyCSS framework" would not be a CSS framework, it'd be a full build system if it's incompatible, so that way no one would use the looser form. So if it's looser upstream, you can always tighten it more downstream in a fairly seamless and optional way, while the opposite is not really true.
I don't think abortion rights are a big problem.

But health-care, education both primary and later. Raising costs of living and housing. It is not exactly pretty picture from outside.
You can do this for new license purchases, but not for already purchased ones...
If pigs had wings they could fly, but they don't so they can't. Almost profitable is not actually profitable, and Twitter was profitable for a brief moment in time with no indication that it was or would be sustainable.
Feel free to open an Issue for this.
Robinhood doesn't have a parent company?
Nice. Relatedly, as someone who has a few years of experience, how does one become a principal engineer? Anything I should know or do to get to that level?
There are more complex problems than "nail" requiring more complex tools than "hammer".

And even the hammer metaphor falls apart pretty quickly: compressor driven nail guns are commonly used.

VSCode is obviously has something going for it, else so many people wouldn't be using it. Vi and Emacs are also extremely popular and have been for decades.
Man, HN is bursting at the seams with "intellectually stimulating discussions" to whet the appetite of even the most committed intellectual mastorbator. I liked the guy's username and made a remark that it fit the situation well. Rather like r/beetlejuicing. It's nice if HN also takes things a bit lightly from time to time. Not every thread needs to be strict.
VSCode is good but as someone who’s been writing software for nearly 40 years, I really feel you’ve over doing the compliments by a long long way.

Compilers, operating systems, browser engines (unfortunately) and reverse engineering proprietary hardware/firmware are all significantly harder challenges than writing an IDE.

in fact there have been excellent IDEs around for decades before VSCode came along. Yes the industry lacked an LSP but that doesn’t mean that languages severs didn’t exist before then, there just wasn’t a standard before so everyone did their own thing.

Having built in terminals isn’t a new innovation either. That is and always has been the norm.

And most of the other accomplishments aren’t any more unique either (eg lots of software projects have monorepos).

It’s ironic that you say VSCode is the greatest productivity tool in the history of software engineering when VSCode is dependent on so many pre-existing technology’s like Electron, web standards, GUI frameworks, compilers, operating systems, device drivers, etc. in the grand scope of the engineering, VSCode occupies a very small fraction of engineering effort and in a niche that was already crowded before it even entered.

Is it the best IDE on the market? some might think so. JetBrains certainly have their fans too. But even if it’s the “best”, it’s extremely hard to argue that it is that far ahead of the competition and that innovative to deserve the accolades you’re describing.
I wonder if that’s part of the point. Increase discontent with Oracle licensing practices and nudge some customers off Oracle.
I feel like the fact that he is evidently posting without a filter and probably reading the endless streams of meaningless confirmation is extra damaging.

We all sometimes ridicule the stilted corporate speech of some rich people and their reluctance to appear in public, but increasingly I feel like some of them do it to not fall into the social media trap.

Having a public team write your statements and asking them to provide a weekly/monthly report on the good and the bad seems like a working strategy.

Those people are doing their job and you can even employ different teams to get a more nuanced view while you yourself can be more distanced and collected.

Of course Elon Musk specifically is s social media addict who seems to enjoy being praised by sycophants no matter what he does. He chooses this.
ENA has been closed, replaced by INSP

from wikipedia In 2019, President Emmanuel Macron announced he would propose to abolish and replace the ENA. Macron is an ENA graduate himself, but the tight network of ENA graduates influencing the French civil service has been decried by populist protests such as the yellow vests movement as an elite governing class out of touch with the lower social classes. In April 2021, Macron confirmed the closure of the school, calling the closure "the most important reform of the senior public service" since the school's creation in 1945. In January 2022, it has been replaced by the Institut national du service public (INSP).
I feel like the next step here is to get a GPT3 like model to parse everything ever written about every piece of music which is on the internet (and in every pdf on libgen and scihub) and link them to spectrograms of that music

and then things are going to get wild

I am so blessed to live in this era :)
Warp is available only for MacOS at this moment, and it's not opensource. Yes, you are right, Warp is the same idea.
Well, it won’t stop a dedicated stalker but having to plan an execute is already a significant barrier of entry for 99% of the bored, drunk, unstable minds that would come up with the idea of walking up to someone.
This new PineTab looks promising. It seems to have fewer options for extensions than the 1st gen, and I am a bit sad, that PINE64 did not design this as a baseboad for their SoQuartz SOM to make SoC upgradability a thing.
You can write an IndirectDisplay class driver to expose virtual monitors
I like the idea of using newlines to alleviate some syntactical issues. Here is what I came up with after experimenting with option 4:

.foo
{ color: red
;}{ .bar
{ color: blue
;} p
{ color: yellow
;}
}

If you make punctuation dimmer in your editor, it becomes a nicely aligned structure, also a toplevel ;} denotes a beginning of a nesting block, it’s like “hey look here as well ;}” and searchable with /^;}{.
Worst Opening Sentences of 2022
Totally agree. The title is misleading and a clickbait.

Here's another article which imo is the best evaluation of the technology I've seen so far: https://news.ycombinator.com/item?id=33997603

Yet, it has virtually no upvotes and no discussion.

Well, evangelism sells better than criticism.
I have no business with that...
One dark is still my favorite theme
I don’t know anything about all this. Is there a way to do something similar on a Raspberry Pi hooked to a monitor as a second screen for a Windows laptop?
While I'm not deeply familiar with these, Lean's documentation opens with:

> ... interactive theorem proving focuses on the "verification" aspect of theorem proving, requiring that every claim is supported by a proof in a suitable axiomatic foundation. This sets a very high standard: every rule of inference and every step of a calculation has to be justified by appealing to prior definitions and theorems, all the way down to basic axioms and rules. In fact, most such systems provide fully elaborated "proof objects" that can be communicated to other systems and checked independently. Constructing such proofs typically requires much more input and interaction from users, but it allows you to obtain deeper and more complex proofs.

https://leanprover.github.io/theorem_proving_in_lean4/introd...

Which sounds very much like a type system to me. You can build complex statements out of finitely many previously-proven statements. The system may try to help you bridge the gap, but as I understand it, ultimately it's up to the user/programmer to find the proof that something will halt.
You can still link to it, for now.