skysight-inc/HackerNews huggingface dataset:
> Regarding the PR you just sent, I'd like to hear why you think it cannot be applied to C?

I didn't mean that a safe allocator cannot be used in C; I meant that C cannot be made memory safe in its entirety as simply as Zig can. Why? Because C has pointer arithmetic while (safe) Zig doesn't, Zig has slices while C doesn't, and C has non-typesafe casts while safe Zig doesn't.

> This isn't safety… This is “we didn't find any memory issue while fuzzing the software” and you'd get the same guarantee:

No, it's not the same guarantee. Fuzzing a C program will not find all the undefined behaviour that fuzzing a Zig program can, for the reasons I mentioned.

It is true that if you use unsafe Zig, i.e. turn off safety for a whole program or some sections of it, you lose the guarantees that safe Zig gives you, and unsafe Zig is indeed not safe (neither is unsafe Rust). But because of the way it's designed, Zig has a way of improving correctness even when safety is removed. This is a tradeoff for sure, but so are sound guarantees, that can have other negative effects on correctness.
The problem is that HN is an internet forum, not scientific discourse. When you vent what looks like garden-variety bile into an internet forum, all we get is a shittier internet forum, not better science.

No doubt a colloquium of colleagues in a scientific department can handle much more blunt and even ferocious feedback than a large broadcasting channel like this place. It is a question of what each medium is good for, what sort of conversation it can sustain. Whether a message has a good signal/noise ratio depends on the medium.

Put another way: you need to know which game you're playing. In some games, knocking an opponent to the ground with maximal force is understood by everyone to be a great move—including by the person you tackled—while in other games, the same action can get you thrown out of the game, or out of the league, or sent to jail, or even killed. It can also destroy the game itself.

In the game here, things like vitriol and snark are associated with low-quality messages, because so many people do it all the time, and eagerly take others doing it as license to do worse. Usually it is quite off topic and devolves into repetitive brawls. In such a context, you can't communicate interesting information that way. The baseline of noise will drown out your signal.

To communicate effectively here, you need to take a different approach: when you know more, share some of what you know so the rest of us can learn. If something isn't good, you needn't pretend that it is, but don't be gratuitously negative. Don't punish or shame anyone for being wrong; instead, provide correct information neutrally. If someone is learning, help them learn more. These are strategies that work for high-signal communication here, and they have the beneficial side effect of building up the context for successful future conversation, rather than breaking it down.

The cost of doing this is a certain blandness in communication which is regrettable, but I don't know how we can avoid that.

It's clear from your now-deleted comment upthread that you have real knowledge in this area and I hope you will continue to contribute it. Please feel welcome to post another comment if you still want to, and no need to feel bad. We're all trying to figure out together how to have an internet forum, in the long run, that doesn't suck.

https://news.ycombinator.com/newsguidelines.html
It’s going to suck for the e-commerce sites who have to pay Apple 30% commissions to be listed in their web directory.
I'm extremely impressed with the demo/free tier so far! Out of curiosity, have you tried LiquidText? This is how I envisioned that app working!

Also, so far, I can see myself //easily// getting lost in the nesting. In my "outer most" board, I had to handwrite "HOME" in the top left just to make easier.

I think //searching// is a killer missing feature right now. Also, limits on board nesting depth, and board "templates" something to let me setup a "deep reading a PDF" board template that is reusable.
I don't like it, but I think I agree with you. Examples that come to mind include the use of copper sulphate as a more-or-less unregulated pesticide in organic farms, mutagenic breeding as the "safe and natural" alternative to gene splicing, and a whole host of other natural (and therefore obviously safe and beneficial) practices.
Historically the answer is parochial corruption and interests where they don't want the problem solved regardless of what the law says. The federal level has "fifty" eyes on it while a state has mostly its residents watching it. Which is why federal hate crimes were devised.
If you really want to freak out - think xenoestrogens.
If Ajit actually cared he'd unlicense more spectrum. Paying the Daughters Bell our own tax money to encourage them to further victimize us is fascist.
The "2 different media" heuristic became irrelevant as optical media capacity stagnated, tape drives didn't really drop in price, and spinning rust dropped below $20/TB.

I wrote more about it here: https://photostructure.com/faq/how-do-i-safely-store-files/
Angelfish from different species mate and produce startling color combinations
> I think the next level would be to have a general filesystem interface

That's starting to take shape: https://old.reddit.com/r/golang/comments/hv976o/qa_iofs_draf...

It won't be enough for the likes of FUSE, though. Some extensions might be enough to bridge that gap, it's too early to tell. FUSE is pretty particular about things like rename(2) preserving node identity.
>Angels in disguise: sympatric hybridization in the marine angelfishes is widespread and occurs between deeply divergent lineages

https://royalsocietypublishing.org/doi/10.1098/rspb.2020.145...
in response to ~ what is reference with respect to resting potential [deleted]

the extracellular environment is the reference of 0mV

typically a differential amplifier is used to measure voltage potential across a cellular membrane:

https://en.wikipedia.org/wiki/Differential_amplifier
There is not guarantee that Apples search engine will succeed. It would be suck if it stuck around just long enough for Google to use it as a fig leaf.
I do it the same way, it's really nice. I'd like a search though for past conversations, right now I have to look at the log files.
I think they're a great combo. Had always been scared off from modern front-end work because it seemed to involve a whole bunch of intricate dependencies and build tools. So it's been eye-opening to see just how much you can build with Vue and Bulma (with Buefy making components very easy to use). And I've not yet needed to touch npm/yarn/webpack or any of that stuff for my small projects.
Maybe he figured it would be no problem. The credit card company would reverse the fraudulent transactions and issue a new number and the person would be on their way.
Tesla and FBI prevented $1M ransomware hack at Gigafactory Nevada
Remember the heydays of cloudera, hortonworks, the big data hype cycle in the recent past. It is instructive to see the current valuation of these high-fliers once.(all these vendors sell to the very same end customers). Look at the current valuation(I know cloud is the current hype thing, just like bigdata was 5 years ago). Further, all the primary cloud players, google, amazon, microsoft has their own cloud dbs.Very competitive market. it is one thing the VCs and their friends pushing it to friendly data centers, market will eventually reveal the "real value". Probably worth $4B or less in an year(after the early and late VCs have cashed out)
Your initial comment was very dismissive, and I believe you erred in your assumptions. So one action I would want is for people to not be so dismissive when you hear about the very real and very widespread experiences of victims of online abuse.

> No normal adult with a job, maybe a family, maybe a pet, and a million other things to do has time for this. They are either children, or bitter social and emotional pariahs.

This is provably untrue, and that bad assumption is driving you to miss out on opportunities to be mindful, aware, and empathetic. So please, try to actually be mindful, aware, and empathetic.

Thanks.
States don't have rights - people do. A government having rights is nonsensical - they have powers instead and limitations for damn good reason.
Prosecutors rely heavily on police testimony during trials and their conviction ratio is highly important for their careers especially for elected ones, so it can easily create a conflict of interest.

They go after the police and somehow police officers stop attending trials or claim they don’t remember during their testimony.

There needs to be either a completely separated body from the state/district attorneys or it needs to be federal.
>> _help_ the sex industry thrive

There are dark sides. It is not the friendly industry oft portrayed. It is an industry that thrives on the young and naive. It is regulated because it needs to be. Most common complaint heard by lawyers in the field: "I did the shoot, the movie is on the website, but I haven't been paid." Followed worryingly by: "They said I had to because I had signed a contract."

The advice I give to anyone going to work on their first porn shoot: Bring a friend. Someone older, with a car, who will be on the set with you at all times.
Amazon doesn't sell them via their app to avoid the app-store-tax. Instead they'll redirect you to their website in safari.

You can borrow KindleUnlimited titles, provided you've purchased that subscription outside of the app. Same thing with Audible, you can use existing credits within the app, but can't purchase more.
Tech Bubble Redux and the Memeification of Trading
court docs don't say the victim is tesla

this is pure speculation
Does each board have unlimited canvas size?
> Of the six camps that we used in our feasibility study, five had blank tiles at their location at zoom level 18 in Baidu,

They "correlated" that out of 6 "camps" 5 of them had missing tiles, which gives you the chance of a blanked out tile give a "camp", but not the chance of a "camp" given blanked out tile.
>Google Maps is slightly superior to Apple Maps but the gap continues to narrow and it's possible that Apple will pull ahead.

How many places does Apple Maps have their version of Street View for?
> They wasn't such great friends were they?

Sounds like acquaintances. You ought to have a bunch of those, they are great to have, very valuable, and lots of fun. All of my close friendships started out as acquaintances. I got my current appartment via an acquaintance – quite nice and below market price. My current job, my partner of many years, lots of great ideas and input, lots of useful advice ... having acquaintances is great. They won't follow you to the end of the world though – they're not that invested in you, by definition, that's why you can have many of them.

> If I had friends that didn't bother with me because I wasn't on the platform (facebook) they probably wasn't worth bothering with in the first place.

If you insist everyone accomodate your communication preferences, but will not accomodate their communication preferences at all, maybe you weren't worth bothering with in the first place. If you trade them for a little bit of moral high ground that easily, that's not exactly great friendship either. If it's just Facebook, but Telegram is fine – I personally could work with that. Some people with old phones can't have all the messengers – might be a problem for them. No Whatsapp? Party planning just got a lot more annoying, because someone will have to play relay for you. Just taking phone calls, nothing else? The 20th century is long past and I'm glad for it, just get some kind of messenger like literally everyone else, even my parents. We still frequently escalate to phone calls, because it's easier for them – but we try to meet each other midway.

> You can always find an excuse as to why you keep on using these services, some odd thing that you claim you need.

Or maybe there are legitimate needs that these apps and platforms fulfill, like making connecting with people and all sorts of communication really, really easy and frictionless, and for them that's worth the – so far – largely theoretical price we all pay; that's my personal stance in this. Maybe the benefits of a one-person-boycott aren't that compelling – it's not going to make a difference at all, unless everyone does so, but they don't, an when they do, they'll all flock to LibreOpenFree Network, so you won't even have to give up your contacts. A one-person boycott isn't going to keep Facebook from assembling a detailed shadow profile on you, unless you go to really great lengths that very, very few people are capable of, and then they still learn what your contacts leak about you.

If you're fine without social media, you got your social circle that agrees with you and sticks to phone calls, or maybe you're fine without lots of people in your life – great for you, you do you. But telling others who are not in that situation in what I read as quite a condescending tone that their social needs are just excuses, odd things they claim they need, that feels rude and not helpful at all.
Heck, Amazon doesn't even ask for a CVV.
He made a positive claim, so the onus is on him to prove it's true. The burden of proof isn't symmetrical. It is much harder to prove a negative.
What? The above anecdote is literally about how the payment processor's bank is twisting their arm to deplatform OP's site.
How is it any difference than having Microsoft as a competitor?
Because the real market for these systems are users. Users don't care about any of this.
I think we'll need to agree to disagree about the government's organization then. A newspaper is a far more cohesive organization that exists to a single end and has a largely uniform consistency, regardless of the beliefs of individual editors.

> I think the government organizations attempting to ensure backdoors in encryption are acting deceitfully, malevolently, and incompetently, with the stated motive of easing investigations. Thus, I think the privacy regulators will act deceitfully, malevolently, and incompetently, with the stated motive of protecting consumers.

I just don't see any good reason to make this leap. Furthermore, I don't see the utility of arguing against consumer protections simply due to the perceived misbehavior of an intelligence agency. Europe passed the GDPR, and despite its many inadequacies, it has positively impacted the privacy of European citizens, and proves that some ground could be made by way of consumer protection.

Privacy regulations aren't so pie-in-the-sky that they aren't worth fighting for. That's simply an unreasonable concession in my view.
Microsoft TikTok purchase could happen within next 48 hours
"Last time I checked the network requests, I noticed it was storing the card on Stripe, CCBill, and Securion, but using CCBill or Securion to process the payment."

Im curious about how to use Stripe to only store cards and let other processors make the charge. Would anyone have more info on this? Greatly appreciate it.
If only we hadn't stopped building nuclear in the 80s, we'd be at 100% instead of 20% market penetration. We would be free of CO2-heavy electricity today, not maybe 30 years from now optimistically. We knew how to build nuclear, but then Chernobyl and TMI happened and we decided we didn't want to. Which, in a vacuum, seems reasonable, until one remembers that the "cool-headed alternative" we settled on was to pump our atmosphere full of CO2 while we waited for solar and wind to eventually become viable and continue to wait to deploy them.

We made our bed and now we get to lie in it.
This is a beautiful paper that anyone interested in abstract interpretation and sound static analysis probably already knows, but the core idea is quite accessible.

An abstract machine is a formalization of the concrete semantics of a programming language, and we'd like to be able to "lift" that concrete semantics to an abstract semantics: a finite (and therefore computable) over-approximation of program semantics.

However, the concrete structures of an abstract machine (most notably continuations) are themselves potentially infinite, so you can't just build a "structural abstraction" by applying the abstraction function pointwise over concrete structures -- the resulting abstraction is infinite and thus static analysis may diverge.

That's where this paper comes in: its key insight is that, by store-allocating continuations and bounding the number of store addresses, you can finitize an abstract machine such that structural abstraction works out nicely while preserving the underlying semantics.
> Certain cognitive styles are over-represented in the HN comments section which, from my empirical observations, do not match that of the broader population.

I'd call it groupthink but your assessment is probably fairer.
I'll see things he won't.
Oh yeah, don't get me wrong, the linked-list tutorial is amazing. :)
From your very own article:

> Et d'ajouter : "Cette réaction est normale, mais il est nécessaire de remettre le film dans son contexte : notre planète comptait 2,7 milliards d'habitants, la mer était une donnée inconnue, et à nos yeux, elle représentait une corne d'abondance inépuisable."

> And to add: "This reaction is normal, but it is necessary to put the film in its context: our planet had 2.7 billion inhabitants, the sea was an unknown data, and in our eyes, it represented a horn. of inexhaustible abundance. "

Context is everything.
Asbestos-Ceramic
That makes sense. I supposed professions with lots of contracts or similar documents could benefit from "reading and note taking like paper" experience.

To be fair, the iPad is only as anti-productive as you want to make it. The default is distracting, but those notifications can easily be turned off or not installed.
I doubt it'd be legal to sell StarLink receivers in large parts of the continent.

Has any nation ever successfully outlawed satellite reception? The roofs of buildings even in nations like Iran and KSA are studded with dishes.
That's actually more or less my preference: Straight metering. People who use the network less pay less, people who use the network pay more. And ISPs could then deliver all users access at the highest speeds their network can handle, rather than artificially speed throttling traffic.

Internet billing should look more like your electric and natural gas bills.
> Apple's 30% only applies to digital content that further enriches the core app experience.

Seems to me FB ads fit the definition. FB core product isn’t a consumer social network, it’s a targeted ad platform, and their actual customers are advertisers that serve ads on the platform.

Clearly ad buying/managing enriches the core app experience for FB’s advertisers.

Just more favoritism and unequal treatment between the tech giants.
I think the mobile story for thelounge is simpler. Just visit the same url using your mobile browser and everything Just Works.
There are other payment processors other than Stripe....

Ever heard of CCBill?
Would they likely just tie it tightly to Apple devices, or would they also expose it as a regular web site?
Is there any way to "look through" the inbox for a specific thing? I put two images into it, and found when I went to a board that I could only pull the top one out (bit of a pain to have to move it into the board, move the one I wanted into the board, then put the first one back in the inbox).

Might be nice to have a "slide over" type view of all the things in the inbox, and choose one at a time.
QakBot Banking Trojan Returned with New Sneaky Tricks to Steal Your Money
> Can you sideload onto an Apple device?

Not legally, in most jurisdictions.

The only way to compete with Apple in the browsers space on iOS is to build your own app marketplace/store, since Apple controls distribution through the App Store.

The only way to compete with Apple in the app store space is to build your own OS, since iOS only allows the Apple App Store, not competing ones.

The only way to compete with Apple in the OS space is to build your own hardware (or buy from someone else and distribute), since Apple hardware locks out other operating systems from running.

So the only way to compete with Apple in a space where they've decided you aren't allowed to is to replace their entire platform stack, and compete with them at the platform level.

So to compete with Apple in the browser space you have to compete at the level of Google, where you make hardware, the OS, and the marketplace, and hope people move over wholesale to your hardware and OS just so they can use your browser.

That's why Apple's behavior is anti-competitive. They've put walls to competition in place at every possible level to make it so the amount of money and expertise required to compete at any level is the same to competing at almost all levels.
Holy crap: "18 HDD/SSDs plus five SSDs"

That's a lot of spindles.
The guy on the left (Linus Sebastian) is the CEO of both Floatplane (the app) and Linus Media Group (known on the internet from their Linus Tech Tips tech enthusiast videos). The guy on the right is the Floatplane team lead.

Linus Media Group made an alternative to Youtube to not put all of their eggs in one basket, that's what eventually became Floatplane. There's more creators on there, basically all in the tech Youtube space, but they do extensively use their own streaming platform of course.
That's power, not energy.
I have a lot of Google Nest Minis and Hubs throughout the house and love the experience. There isn't much it can't do and I'm constantly impressed by how well the GA can match intent to action.
I tried that setting before and it doesn't seem to do a thing when you have both types of devices connected.

I keep a touchpad on the left and a mouse on the right (had the extra hardware then got used to the config), plus the one on the laptop itself, and they're hidden with the "Auto" setting.
Everyone that disagrees with you is a shill. What an enlightened mind you have.

EDIT: reply to comment below.

What's DRP? The existence of real shills doesn't give you free reign to cover your ears and yell shill any time you hear an opposing opinion (I've never seen the people who cry shill do so when it's someone that agrees with them). I could easily call you a shill but that doesn't get us anywhere. Focus on the merit of the argument.
I also get this one with HomeKit all the time!

The underlying implementation must have basically no error case handling, because half the time I open the controls I'll get "device not responding".
What about Kindle eBooks that you read on iOS?
It's about the money flow. If the money flows from the User to the Developer, Apple wants a cut as a middleman.

The argument is that the store owner brought the customer to the seller, so they should get a cut - and it shouldn't be possible for the seller to avoid that cut by selling direct.

Ads have money flowing from the Advertiser -> Developer. Apple isn't involved in that relationship, and didn't bring the customer (the Advertiser) to the seller.
I agree the current copyrights are stifling innovation, and largely leveraging branding.

Marvel, Star Wars, Star Trek to name a few. These things haven't died out because they have people invested in their brand and storyline.

But they also haven't done anything super cool because they don't want to take the risk they might damage their brand. They try to make"reliable blockbusters".
i mean it's just a freeform canvas right? to collate clippings and ideas. Yes I see you have a grouping mechanism, but that's not the make / break feature.

Concept can function as a virtual canvas just fine...
> That problem could have been solved politically...

No.
Explaining IIoT and event streaming projects with models
Yubikey 4 and newer supports 4096 bit keys with PGP:
https://www.yubico.com/products/compare-yubikey-4-neo/
https://www.yubico.com/products/compare-yubikey-5-series/
There is no law in china. What is called law, is decoration of power..