skysight-inc/HackerNews huggingface dataset:
Would you mind elaborating on this? I'm perusing the source to try to make sense of this comment and all I see is... C.
Does anyone have inside stories to share on more modern software cracking in Scene/P2P?
Even Final Cut Pro on iPad requires staying in the foreground during exports.
i think it's a 'black marble bag'. you want to make sure it only ever has black marbles in it. so you do checks on it.. does the bag only contain black marbles? you want to check there's no non-black marbles.
Even in the original c2 wiki, clicking on the title of a page went to a page listing all the pages that linked to it. Still does.
A year ago most people probably wouldn't have known or cared about a small new fork and I don't think it would have gotten the community support OpenTF has now.
While on vacation in Korea I received a full work up (MRI, blood labs, echo, CT scan, dental work, etc) for a couple thousand dollars. I wanted to do it because I wanted a clear picture of my health. I get headaches a lot and have expressed concerned to doctors in the USA but they never seemed to care. I honestly wanted the MRI to rule out anything bad.

Was it worth? I think so. The doctors ended up seeing something on my thyroid which was then biopsied. It came back benign but something to keep an eye on and check every six months or so. This carried back over to the USA.
> Today, DC is common in small 'islands'.

I'll take those 'islands' to include examples you mentioned.

Outside such specific cases, advantages of AC usually outweigh advantages of DC. Or: DC dis advantages outweigh those of AC. Especially safety related.

In short: AC will stay for utillity scale & in-home power distribution. Regardless of history.

But within eg. a solar farm, or a vehicle, yes DC may be more practical. And thus... used there.
> early detection leads to subsequent interventions on issues that would never develop into anything serious where they left alone.

Then wouldn’t these be left alone ?

The more research and procedures done the more info gathered on the evidence
That's certainly one option. In a way, that's what the colloquial understanding of the expression would entail.

In colloquial use if you were to say, "All unicorns are blue" no one can meaningfully contradict nor confirm the statement, the statement is neither true nor false because there are no unicorns (this all assumes we're not discussing in a context where unicorns "exist", like about a particular fantasy setting or animated series). In syllogistic logic it becomes false because of the foundation of that logic (centered on reality, what exists and can be defined, not on fiction). Nothing true can be said about all of some non-existent thing because, well, it doesn't exist, so the statement must be false. In modern predicate logic it's considered true, because even though there are no unicorns we (someone) decided that it should be true by convention when the set is empty (turns out to have useful properties if we permit this).

These are just the rules that we've used for our logic, a choice we made. We're generally, in programming, operating under the modern logical rules, using neither colloquial rules nor syllogistic rules, so our programs are consistent with that last interpretation.
Well it certainly wasn’t equitable, connected computers were the realm of the rich. The problem with free services is scaling them to significant portions of the entire population.
"For many years, I tried very hard to travel with only an iPad. (Why bring two devices? And I’m not leaving my iPad at home.)"

I bet they means three devices, since I would wager they does not leave theys "more expensive than a Windows-based laptop" iPhone at home.
When you're young you have a lot of time and a lot of energy. Some people pour that into a business and some people pour it into a family. It's challenging to do both.

I would drop the "successful" component from your question though. The amount of time and energy spent on a business can be an indicator of success, but it isn't always an indicator.
Apple sells a magic keyboard for the iPad pro which also has a touchpad. The hardware is not the problem.
I agree, I like the simplicity of it essentially being a big iPhone. I don’t want it to be like a Mac or do Mac stuff on it.
SQLite DO-178B certified and probably used in most avionics.
I see what's being described in this thread as at least three different things:

1) Disaster preparedness, like you are describing, as a sane and prudent thing for many people and places. Know your local conditions and put in place some resources you could use if there were a fire / tornado / earthquake (whatever your local threat) for some period of time.

2) Simple living. That is, if there are things you can do that make you more self-sufficient and create pleasure, then go for it. Many people plant a garden, raise some chickens, etc not because they are prepping for the end of the world but because they enjoy it.

3) Actual off-grid preppers - people who for one reason or another plan for some time in which they will need to be entirely self-sufficient and may even wish to explicitly separate themselves from other people (war, zombie apocalypse, etc).

I think it's really just this third category that raises eyebrows and questions.
MacOS allows me to run any software I want. It has a terminal, and allows me to run scripts. It has a shared file system and offers true multi-tasking.

You can already run some iOS apps in MacOS. I'd like a single computer where I can switch between mobile / pencil usage and desktop keyboard / mouse usage.
teas have caffeine?
Like a vacation trip? What are you doing that requires access to a laptop?
My goal was to add more context to your (excellent and upvoted) original post, which in my opinion is basically the fundamental "proof" of why All([]) must be TRUE, and I find beauty in this two-dimensional analogy:

add | sum
multiply | product
and | all
or | any
concat | "flatten" (arguable name here)

I also find beauty in the fact that the existence of a monoid on the left is sufficient for producing the aggregation on the right that behaves in the way we want. I see the monoid as the simple building block from which we produce more interesting and complicated structures. I enjoy the continued, unbroken thread of rigorous logic that connects everything.

When you say that TRUE can be the identity of "an operator that extends 2-value Boolean operations to lists of N-elements", I just don't see the unbroken thread of rigorous logic behind that statement. Maybe it's there! But I don't see it. I can write down exactly what it means for some element i to be an identity of a binary operation @. It means i@x == x == x@i for all x in the set over which @ is defined. Whatever the rules of "identity" are that you're talking about, they're not this, so I'm just kinda struggling to accept it. I wonder whether maybe what you're thinking of deserves a different name than "identity".

Does any of this matter? It does to me, because I actually use Monoids all the time in programming, where you can't afford any ambiguity at all. So again: maybe you see that unbroken chain of rigorous logic and know exactly what you mean when you say TRUE is the identity of "an operator that extends 2-value Boolean operations to lists of N-elements", but I'd need to see the exact laws that an element must follow to be such an operator or such an identity of that operator. I gave an example of how to turn associative binary operations with identity into a unary operator on lists of elements, but unary operators don't really have identity elements. Some unary operators have fixed points and eigenvalues, which are similar to identity, but such operators must have the same domain and codomain, and aggregate operators like SUM and ALL do not. So there's not really anything you define to be SUM's identity, since it does not accept 0 as an input.
Indeed. The opposite of Conservative is not Labour.
I only get puppies all along
A description / example of what this actually does would be useful.
Contractual law in the modern era regularly and persistently undermines private property rights. Mandatory arbitration clauses make it worse.
I would ask you to define documents. But they did not say documents. And they admitted some business would be affected.
The Silicon Valley Elite Who Want to Build a City from Scratch
> as far as I can tell the game is basically perfect without them

Do you still have to use a sideways-facing underground belt to take items from one side of a belt, blocking the other side? Are there yet any pleasant ways to overlap belts? I feel like far too much effort is spent on working around odd limitations.
Other ridiculous things: The "Apple Magic Keyboard Folio" for the 10th gen iPad has a better keyboard than the iPad Pro.
Does that work, though? If you're talking about a set of kings, then the set can be empty. But "the king" – isn't that more like Kotlin's single() method, which throws an exception if the number of elements is not 1?
I miss using the Midje testing library for Clojure, as it has the 'truthy' and 'falsey' functions. It reduced these variously bivalent and trivalent conditions into binary in a way that would do Stephen Colbert proud (https://web.archive.org/web/20150121223555/http://www.merria...) Of course you or I can add such to what ever language we are using that supports actual functions -- or smash some abstraction of truthiness into those that don't.
>A full desktop OS in iPad form factor is basically a holy grail.

There are many, many ways to acquisition that, just because apple won't let you do it doesn't mean it can't be done. Anything that can run linux with the KDE plasma desktop environment will, at very least, feel very familiar to OSX. You might have to seek out some app alternatives if you're doing something specific, but nowadays general desktop computing like you'd do on a laptop is well covered in most distros, and if you're looking for a place to start, Kubuntu is likely your best OOB experience.

Combine that with basically any windows native tablet computer, and you're off to the races. You'll likely have to play with some things to get it how you want it, but the nice thing about linux is you can play with those things.

So yes, the holy grail is here weary traveler.
Typing "adobe" into the search bar of apple.com returns a bunch of external hard drives. I think your analysis is off.

Seems to me you're an Adobe user more than a Mac user, and there's nothing wrong with that. Not every project needs to target you.
Provider ecosystem is still MPL-v2. A move to BSL here would be a way more bitter pill to swallow for the clouds.
Anyone getting these scans. I’d be interested in knowing more
It is well established that more MRI lead to more procedures that are ultimately themselves risky and useless. This is extremely difficult to parse out on an individual level but obvious in the data at a population level.

Colonoscopies are a great example. As their use increases past a threshold more people are injured by additional surgery than you actually help. This is again at a population level.
> Even without any soundness issues or bugs or security flaws, people can just plain write malicious code. Rust prevents a lot of common _mistakes_, but people can also use it to write completely "safe" worms that are guaranteed not to have use-after-free errors, data races and unexpected panics.

The idea here is that if the "evil crate" is prevented by the compiler to call out into any os functionality or use unsafe, the worst it can do is return bogus values, mutate anything it has a &mut reference to, and leak heap memory. And if the toolchain were perfect, that might be achievable.

This was the promise that Java Applets made, which wasn't achievable due to the JVM being too bug-prone.
It's some stupid blog setting. I just disabled it. Thanks for the heads up!
> The identity element for the resistance sum across parallel resistors, is the infinite ohm resister.

I really like this example, because it has an intuitive physical analog and is more tangible than than the example I typically reach for: lists.
Using emoticons with different colors would make this more readable, ie:
https://emojipedia.org/large-green-circle
and
https://emojipedia.org/red-triangle-pointed-down

Things to consider: CO2, timing of exercise, timing of eating (What does "Eating < 7pm" mean?), bed cooling (ie, 8sleep, ooler etc)
Unless you have unusually good psychological resistance to ads, you're ultimately paying that money back in in one way or another, since advertising is a net profitable business.
Scrolling a feed doesn't mean a person is watching the feed, in fact you could argue the opposite. It seems like the content is engineered to be skipped over while still registering as a view.
OP is sharing a personal project, he's not claiming he's solved the mental health crisis.

This is Hacker News. These types of projects are half of the reason I come here, what's with the hate?
Also majority can't handle truth, even it's about their body. Humans dont follow logic, they're emotional.
> Prior to ATT, every app by default had access to your advertising ID, i.e. it was opt-in by default.

Nitpicking, it was not opt in, as the user did not opt in. It would be more accurate to say: "consent was implicit", or even "the app could access the user's advertising ID without the user's consent".

I feel that it's important to distinguish "opt in" as something that requires explicit user action.
you need hot water or detergent, not both, and as another commenter mentioned, you don't need to wash the pot anyway. you're sterilising the thing every time you use it

teabags may well be a mature optimised technology, but they're releasing microplastics and that's worse than using 0.000% more energy, if you even are, which I doubt, when you factor in the additional weight required for transporting the bags, the transport of the wood for the paper, etc etc etc.

also, highly optimised does not mean highly optimised for the environment. where in Europe and parts of the America your energy supply may well be up to 40 or 50% renewables these days, or higher, you can be sure it isn't in the developing country your teabag was manufactured in. plus fumes, plus whatever land they stripped to plant the trees for the paper, if they're not cutting down old growth in the first place
I know Apple has a strong resistance to the two-in-one form factor, but an M-series MacBook Air with detachable screen that seamlessly transitions between macOS and iPadOS is basically my dream device.
We aren't robots dude. Pitching ideas, getting buy in, debating possible implementations, etc all require "attitude content".

> video chat adds facial expression

Delayed and with significantly less detail.
I so thought you were going to say better keyboard than a 2017 MacBookPro
I get that but I would really like tape backup if it was viable, it's simpler and more compact.
Yes, the huge and profitable 90s web.
Slightly tangential but I've found it insightful: there are studies, e.g. [0], showing correlations between lifespan and date of birth. Causal factors could include for example seasonal viral infections, lesser amount of vitamin D in the winter, etc.

Of course, this tells nothing about well-witching, but illustrates that at least some old beliefs aren't as unreasonable as one might think.

[0]: https://www.pnas.org/doi/full/10.1073/pnas.041431898
BIMI solves various problems DMARC/DKIM/SPF still leave open. In that sense, I applaud the initiative.

The $1000 certificate makes it unusable for anyone but the most annoying marketeers, though. Any EV certificate would've worked to serve the "business verified by a trusted third party" requirement, but CAs being CAs, they had to invent a new certificate for business reasons.

The process is further complicated by leaving it open to recipient servers whether or not they actually trust you after buying the special certificate. This does make sense for the small number of companies actually using BIMI, but it does hurt the scalability of the solution.
Ok, now it's another headline (no longer "Why note-taking apps don't make us smarter"). But I doubt that "Note-taking apps are designed for storage, not insight" is more correct. When I'm taking notes, I'm collecting facts and evidence, from which I later draw conclusions, i.e. get insight.
Laugh all you want, but during the worst months of covid, when some items were impossible to find, I was all stocked. And my neighbors were very grateful that I was able to help them procure some necessary things.
Most preppers don't do it to be ready for the zombie apocalypse, but just for when the SHTF just enough that you can't count on the government showing up this very week.
EU has clamped down on big tech
What are you talking about? There’s a huge body of public health literature about the dangers of for example doing too many colonoscopies on people below a certain age.

This isn’t a controversial claim at all among people familiar with stats on outcomes across large populations. It’s tricky to get right and your glib dismissal comes across as arrogant and ignorant.
As fishnchips says, Haskell is more of an introspective journey imo.

Like, Monads are fucking weird.

Until you realize that monads are more about dealing with context and making data-dependencies and side-effects explicit.

And then you start realizing how most application server frameworks are about a simple task: The framework decomposes a possibly multi-threaded server into single-threaded request handling. And then does a shit-ton of other heavy-lifting for you.

Or, on the other hand, currying is a weird thing. Until we had a decorator which takes some initial parameters and transforms every incoming thing based on these parameters. It's a decorator in java, it's currrying in Haskell.

I've learned a lot from Haskell, ML, SML and OCaml as well as Haskell at a meta-level. We've written a full compiler in OCaml in one course, and then I made it assemble microcode instructions later on as well, because it made exercies easier in that other course.

But I wouldn't do that in production. Other languages are easier to comprehend for other people.
Sad to see a once great company fail. BlackBerry in 2003 still did email better than iPhone in 2023; that is a fact.

The fictionalized movie[1] was entertaining.

[1] https://www.imdb.com/title/tt21867434/
I'm amazed how far the article twisted the situation using the passive voice and beating around the bush. I skimmed the article and for most of it I was thinking this was some sort of food safety thing. Turns out they're trying to police access to some ways people can kill themselves. There's certainly some arguments to be had about that, but the cloaked framing is utterly disingenuous.
They want to sell you two devices, and a monthly subscription to iCloud to interoperate between them.
> in the new logic, you can’t soundly argue that “all dogs are mammals; all mammals have fur; therefore, all dogs have fur” because one person shaving their dog suddenly makes “all mammals have fur” untrue.

Isn't this just a problem with an unclear definition of "having fur"? Is the article saying that the old logic would hand-wave this problem away because it's about "universals and essences"?
Someone should make a list of analogies of: if X were an iPad you couldn’t do Y.

Perhaps after a few hundred of these we could identify a higher level pattern that would “make sense” instead of being frustrating. I feel like there’s some deep philosophical underpinning or monad-like slip-through-your-fingers constraint that is maddening.
‘Judge Shopping’ will only get easier
Definitely no third podcast in our future! Oxide and Friends itself wasn't even all that deliberate -- it was very much an artifact of the pandemic[0]. Glad you found Oxide and Friends, and sorry it took us so long to record an On the Metal episode to point to it...

[0] https://www.youtube.com/watch?v=W8qiDhlFVCE
> This competition didn’t hurt Hashicorps chances of profitability, they were factored in from the beginning.

They weren't, actually.

From a Hashicorp FAQ article (which is a transcript of a video interview which has since been delisted from YouTube) titled 'Why is HashiCorp committed to open source?':

> Mitchell: [I]t's always sort of been a default for me. [...] When we were starting the first projects, we both didn't intend to ever start a company around them. There was no monetization goal at all, and so I think open source was an obvious default then.

https://www.hashicorp.com/resources/why-is-hashicorp-committ...
They're also pretty good at urban planning it turns out. nature is full of simple things with deceptively complex behaviors.

https://phys.org/news/2022-01-virtual-slime-mold-subway-netw...
Also interesting that nobody called out the AI's bullshit regarding is_prime:

-1 True
0 True
1 True
2 True
3 True
4 False
If an MRI scan is truly practically harmless, and its only consequence is the information you get from it, then it's not the MRI who is causing the harm, but our own response to it

"Avoiding MRI scans" as a solution is a hack, you are trapped in a local minima solving the problem very indirectly. I may be willing to accept it as a temporarily pragmatic solution because solving our medical system may be very hard and bureaucratic

But, according to your arguments, the real problem then would be how we react to the results of a scan. Whether it is how patients react to them, or how the medical system reacts.

If full-body scan only informs, then do not kill the messenger!
The issue is a OS and UX designed around touch screen doesn't work well with a mouse and vice versa.

I think MS got the closest to sort of addressing it with windows 8, but everyone simply defaulted to the desktop mode rather than the touch mode (didn't help that the windows store was/is incredibly poorly done).

This is why devices like the surface pro or other 2 in 1 devices never really seemed to work out. You are either harming the tablet experience or the keyboard experience.
Everyone is praising bikes and as example they give NL or Amsterdam.

It just never is Norway or Switzerland.

If you have flat land and mild winters, mild summers, sure you are going to get load of cycling, making infra is no brainer.
You’re right . That’s why scraping must be unlimited and legal for all. Any information accessible from internet should be legal to refine. Thus also us using GPT services to train our own models, scraping anything that’s publicly accessible. Our only defense is competing services that refines the data even more than any general llm. The solution is almost never regulation but competition. Fair competition
the above solution is silly expensive.

Expensive doesn’t mean that somebody is greedy, it means that it takes a lot of effort from a lot of people - effort that could probably be spent more effectively.
This is a new development, and only on the most expensive versions. Historically, the iPad has always been running an iPhone-class processor.

I'd bet that Apple is still shipping 5x-10x as many A-series iPads as M-series iPads.

I'd love to be able to run a more capable OS on an M-series iPad, but not if that means all the rest have a worse experience. Maybe Apple needs to release an iPadOS Pro to go along with the M-series chips?
I'm really surprised the Hashicorp founders make no mention of the license change on their X (Twitter) accounts: https://twitter.com/mitchellh
& https://twitter.com/armon
Fifth Circuit: Law enforcement doesn’t need warrants to search phones at border
Literally any header file in https://github.com/lua/lua

In particular, https://github.com/lua/lua/blob/master/ldo.h
Terraform's new license and the OpenTF fork