skysight-inc/HackerNews huggingface dataset:
Dam, didn't think I'd see another mining person on hackernews. Exploration geology that far down is wild. Was it core sampling all the way from grade or only in mineralized zones?
This isn’t a gotcha. No neither the man nor the woman was attracted to a man because what they were attracted to was their internal perception of Elliot which was a woman in their heads.

If I draw a person you assume to be a woman based on their appearance and you’re attracted to them I can’t be like “haha he was actually a man your gay now.” That’s stupid and applies exactly the same to real life people.

If you’re attracted to someone because you thought they were kind and it turns out they were actually mean people don’t go, “see what you’re really attracted to is mean people.” No you were just attracted to the person you thought they were.
This sounds crazy to me! Where do you live? In my area (central Italy) most houses have a 7kW (230V 32A) connection
Yup. Shorts, especially yellow ones, are the standard uniform for elementary schoolers, and this is one reason adults rarely wear them in Japan.
I've been curious why so many of these low-code dev tools target enterprise/business with internal apps. Can anyone shed some light on this? Thanks!
Decentralization is expensive e.g. downloading a Google Drive file is immediate while a torrent takes some time initialize connections, or the PoW protocol for cryptocurrencies.

Perhaps we could narrow down the purpose of IPFS to storing a small amount of data in a database that is impossible to delete and difficult to censor?
> Then there's the confusion between lambdas and closures. They are not the same thing. Lambdas are simply anonymous functions, usually with funny syntax to make them easier to write in line. Closures are functions with data imported from an outer scope. Some languages separate the two.

I remember a few years ago saying that I found the naming of anonymous functions in Rust "closures" rather than "lambdas" weird since most of the time they're used they don't close over anything. Someone responded by saying that all of them closed over something, it just sometimes was unit (the empty tuple type in Rust, essentially the equivalent of "void" when used as a return type). I didn't find it super compelling at the time, although over the years learning more about how much the ownership and borrowing system influenced the way that closures needed to be used in Rust (e.g. having separate traits for functions that close over shared borrows, mutable borrows, and owned values) has made me at least understand why the fact that they close over things is worth emphasizing.
Corroborating evidence
I don't think I could trust anyone who can afford to buy a domain name like you.com. They're either so rich they've got money to burn on dotcom-era domain names, or they're misallocating what money they have... it doesn't sit well with me.
> there is another possible escape hatch that hasn't been fully explored IMO, and that's some variant of finitism. All these impossibility proofs depend on infinite structures to derive incompleteness or contradiction, but if infinite structures are not expressible...

Could you elaborate on what such a formalism where infinite structures are not expressible might look like? It sounds an intriguing notion, though I'm unable to quite get at it.
Tracing Perl memory leaks with Devel:MAT (part 1) (2019)
Problem is, I find it very difficult to define the boundaries of "true friendship" because I have not had any events in my life that tested those friendships.

Family (at least the ideal functional family) as portrayed in media, and that I have seen in my parents' generation is supposed to be the fail-safe support system that has your back no matter what. True friendships are supposed to be "almost as good". I can point to several instances where family members rallied together to bail out another family member from a crisis. I have never seen this happen in my friends circle.

Not that I think it is not possible, some of us have been friends since middle school, and we regularly keep tabs on each other over phone despite many of us being in different locations. But in a time of crisis, how far would they go to help me out? I really don't know. And looking at history (my own family's history and general anecdotes), I'm going to guess nowhere near as far as what family would do for you.

I obviously still value the friendship and ensure I don't miss meet-ups (real or virtual), but I have come to the conclusion that even "strong friendships" have hard ceilings. These ceilings are almost impossible to breach and I imagine only something like literally saving your friend's life could promote you to the next tier. I agree with the saying "Blood is thicker than water".
That is the post I was thinking of when I made the comparison.
Just a stranger on the internet, but FWIW I'm proud of you. You did what you could, and you're cognizant of your actions.
This has been my experience as well. When it comes to technology and engineering the conversations are top notch. When it comes to social issues or politics it’s certainly better than Facebook or YouTube comments, but it’s certainly not anywhere near as good.

Despite commonly expressed beliefs to the contrary here, HN is also an echo chamber even if different and sometimes better.
I bet it can be. Does it use NiCd batteries?
Not really, though a number of flops is still used to compare workloads (e.g. resnet50 vs mobilenet). To compare hardware there are mlperf benchmarks https://mlcommons.org
Because LOB (line of business) apps don't need to be as polished as customer-facing tools. Lowcode will mostly get you almost there, but not perfectly. For internal tools it can be good enough.
IMO this still holds true, from the wiki:

> Moravec wrote in 1988, "it is comparatively easy to make computers exhibit adult level performance on intelligence tests or playing checkers, and difficult or impossible to give them the skills of a one-year-old when it comes to perception and mobility".

That is, few compute resources are needed for a program that can beat human checkers players, as compared to what’s required to solve perception problems.

I wonder if you have a different thought of what “reasoning” was being discussed, as you switched the term to “high level reasoning”?
Getting the band back together to move from PC dominance to cloud dominance. But looks like the lead singer Intel wasn't invited this time around.
Darn they are - exact same slip up too! Unfortunately it's too late to edit now.
It is unfortunate because we cannot in good conscience ask people to switch from barely-processed meat to ultra-processed meat substitutes, despite the meat industry's heavy contribution to looming climate disaster.

Many of us have switched to things other than meat, but that choice seems beyond most people.

Another alternative is what is called "lab-grown meat", which is not a meat substitute, per se, but is actual meat that might be a lot less harmful to produce. Where it sits on the "processed" spectrum is hard to assess. Obviously it is, in one sense, 100% processed, but details matter.
>Yes the ticketing app that people were required to use to get into the events.

Well, at least Android 12 has granular Bluetooth permissions.

While the majority of tickets at LA Live are sold by one company currently, there are others, so it's impossible to know which specific company you're talking about.

On a completely unrelated note, there was a big thing surrounding privacy concerns with AXS' app a couple years ago.[0][1]

Clearly those claims were overblown. Surely AXS would never blanket an area with Bluetooth Low Energy (BLE) beacons and invade users' privacy like that. I refuse to believe AXS would make an app virtually mandatory and then violate users' privacy using physical Bluetooth beacons. Say it ain't so.

Oh, almost forgot: fuck AXS.

[0] https://us.forums.blizzard.com/en/wow/t/axs-spyware-claim-de...

[1] https://us.forums.blizzard.com/en/overwatch/t/axs-isnt-spywa...
I forget who recently observed this: AI is doing well at art and fiction writing because those don't have to be "correct" but it's less useful for writing code or non-fiction.
I really appreciate these details; thank you.

On “Latine”: at a recent gathering of friends I mistakenly said «miembre» for “member” instead of «miembro» (I’m still learning Spanish). This led to a certain amount of hilarity and jokes aimed at the progressive gender-neutralizing crowd, that likes to use «e» endings instead of the correct ones. It’s a small extremist minority, and a general butt of jokes here. So «Latine» would be seen as just as ridiculous as «Latinx».
So sad… Such a talented author. A great loss to the world. He will be missed. Condolences and well-wishes to his loved ones for their incredible loss.
Buffalo snowstorm
One of the real-world problems right now is that there are lots of places where it's not easy, practical, convenient, fun or even possible to charge. We have had an EV for four years and there are some trips where you end up standing at some boring industrial area because you can't make it to a better charger (one with for example decent food, or a playground). Or you have two choices: stop here now, queueing for 30 minutes because 4 out of 8 chargers are offline, or drive a bit further on fumes to get where you would really want to charge but, because there is only a single charger at that place, be prepared to call the towing company because if that charger is broken then you're not getting anywhere else today.

And while you're making those calculations in your head, carefully weighing each % of remaining charge against factors such as wind, rain and speed, you drive past tens of not hundreds of dino-soup stations that you cannot stop at because they don't have a power outlet you can plug into.
Listening to Elon Musk talk about the ideal manufacturing process as "A Genie turning your Raw Material into Rocket Engines"
...and then comparing that vs how much time and money Space X wastes hammer sheets of metal into shape
https://m.youtube.com/watch?v=t705r8ICkRw

I saw a tweet that a twitter home-page visit is 100 poorly-batched RPC calls, and I believe it
Not many bytes are necessary to deliver some text and images and a css layout
> If your sex is female you have ovaries. Period.

Here’s a woman who had her ovaries removed due to a medical complication and a woman who was born without them. How are these not counterexamples?

Yes it’s true that all women have ovaries except the ones that don’t.
Is that really it? I thought maybe it was because of full control of their own database access. Makes it easy to integrate the code blocks with the data sources.
Is there a way to try this now without signing up? Don’t see a download link on this site: https://arc.net/
> Even if you were deceiving others in order to sell yourself that doesn't require you to be deceiving yourself.

The self-deception assumption is charitable. Of course it's also possible to just be a pathological liar; the author is being polite.
That makes no sense. Why would anybody agree to a penalty for something they have no control over?
The father is the wife (and baby's) advocate in the hospital, and should leave as little as possible. You need to be there for every test and consultation.

So yah, they should be bringing the father food, and there should be a bed for him because the father is critical in having good care for the wife.
This is part of the reason why people didn't trust Covid vaccines.
For one they still haven't finished their 64 bit port.
https://archive.ph/LOtYt
Yeah trying to label all trans people and most other minorities you don't like as a hyper-online cabal mentally-ill secretly controlling the world really says more about you than anything.

The 'our enemy is soooo weak, but also too strong' dillusion is very much on display
And if you hire an electrician to upgrade the outlet to 20 amps you can add another 1-2mph. This can be trivially easy or somewhat complicated, depending on what kind of wire is supplying the outlet. But even in the latter case it's usually less work than installing a Level 2 (240v) charger.
I think this is an increasing problem as 'liberalism' becomes the official ideology of the elite, so that everyone pays lip-service to 'non-hierarchical' values and overt displays of power are looked down on. Power struggles and self-aggrandizement then go underground and are covered in extra layers of hypocrisy and doublespeak. Those who don't catch on, lose.
VisionFive2 is only in pre-order stage, right?
Won't someone PLEASE think of the money-lenders??
Yeah, though if that was the intended meaning the sentence would begin with 'The'.
So, some week down the line they may only work 20 hours and as salaried employees will likely still get the same paycheck that they did for doing 80 hours. By your logic I guess they wouldn’t deserve that 50% extra comp they received for the hours they didn’t work, correct? I’d say it’s a safe bet that almost all have happily cashed that paycheck for likely years and I’d wager at least 50% didn’t work 2080 hours in the last 12 months.

Exempt employees drawing a salary are pretty much paid on an expect end result more than some arbitrary # of hours the employee works. Hours are meaningless.
>spend your time and effort trying to understand what people before you have already figured out

What makes you think she hasn't done this? The point of the article is that "tools for thought" as presented by Ken Iverson and others are a narrow focus in a much broader subject. Since her aim is to zoom out it makes sense to defer mention of Iverson. It's not indicative that she hasn't engaged with or understood his work.
Literal pyramid scheme with badly-transparented stock photos
Not even AI-generated photos?
Ask HN: Does “leading” software mean anything?
When a company advertises their product or platform as "leading" in some space, does it actually mean anything? Do they have statistics to back it up?
We can make a needle that’s much more svelte and efficient than a bee stinger.

Perhaps not economically at mass scale though.

But then again neither can bees.
This is not the driver. As stated in the first sentence of the link, what is being discussed is "part of their developer software suite for helping to profile ray-tracing performance/issues on Windows and Linux with both Direct3D 12 and the Vulkan API."
They wouldn't even know where to find it.
It's not just CO2. It's CO2 and all the other greenhouse gasses.

And regardless, capturing them takes a lot of energy and unless we have a clean source (such as geothermal for example), that means that we will be releasing more greenhouse gasses than the produced amount of energy will capture.
I'd say learn about software architecture patterns and how to manage complexity. A good starting point is http://www.aosabook.org/en/index.html. Most backend engineering is about managing complexity and that book has a lot of good information on how to do that.
Your conclusion in (1) does not follow. You don't know how long the price of (e.g.) NRGV will be irrationally inflated, so you cannot afford to bet on when it will collapse.

Your conclusion in (2) does not follow. Jane Street works on a time scale of, at most, milliseconds.

We may be sure that Berkshire Hathaway, which does operate on longer time scales, holds no NRGV shares.
I’m the exact opposite. I’ve never seen a hackathon with that mentality and you should avoid hackathons that guilt you into working beyond your limits
The Curse of Unreasonably Sized Networks (2020)
Core sampling the whole way. Outskirts of jundee at wiluna. Punched a few holes down the side of the pit while I was there and the deep holes were for underground to work out where they were going. Most target zones 800-1200. I got lucky as the drillers I offsided with were absolute guns so we got the hard stuff. Best day we cracked >100m in our 12 hours and cross shift got 80m. 22mins was out fastest 6m off memory. That was shallow work tho, deep holes can take 45m just to pull a core tube.

I don't drill any more but do kind of miss the work.
I think you’ve communicated your beliefs and experiences clearly and respectfully.

You ask questions rather than name call and finger point.

While I personally struggle with these new definitions and their potential cost to certain groups (someone pregnant like the post’s author), I feel like I can actually discuss and learn something new, and feel heard myself.

We need more activists like you.
Disappointed that this didn't involve any use of Chicken Scheme.
I have a theory.

Technology markets are very interest rate sensitive, and there is a definite trend towards more complex, larger-team centric specialization during bull run periods as organizations pile on the people and resources and teams specialize as they scale. At the end of these periods is often a “clearing out” and “simplifying down” as teams downsize and need more efficiency and integration in their frameworks.

I would say that Elon gutting all the services in Twitter is not unprecedented. In fact it’s not that uncommon after and M&A for the previous management teams initiatives and technology platforms to be gutted.

Do not conflate Elon’s management style of needing to know the details on everything and throwing out oceans of services with the simplification trends that always come at the end of bull markets or the throwing out of the predecessors bull market bloated technology stacks.

Pretty standard stuff honestly — getting rid of old services and whatnot, it’s just being done very dramatically and in public.

I also suspect that many microservices shops can do without large parts of their technology stacks, as managing microservices is hard in large organizations and tends to have a lot of sprawl. You have to go in and clean house occasionally, and I imagine that’s also a factor.

Anyone who work(ed) at Twitter have perspective?

I’m doing my best to steer away from commentary on what’s going on because it’s not HN appropriate. I’ll just say my heart goes out to folks through all this.
TFA's version is right. "Shorts" is the topic word (the topic particle after it is implied), and the "easy to move" and "good" parts both modify "shorts". So robotically, "speaking of shorts, they're easy to move in and good" or the like.
The complexity is not recent and isn't accidental. And even a person who is as smart as Musk can not comprehend the true complexity of legacy systems that have resulted from many layers of acquisitions, technology cycles and just plain mismanagement that happens at any technology company that has been in existence for more than a few years.

Musk can not simplify Twitter's architecture, and he doesn't care to. All of this is theatre while he trims the fat. His companies are well-known as places with poor work cultures, especially for software people, who enjoy a wide variety of choices in where they work. He simply wants to be seen as doing things and garnering publicity while he searches for the next CEO for Tesla, Twitter, or both. One of his original reasons for buying Twitter, which is to reinstate Trump (and thus buy favor with the possible next President/Republican Party), has been accomplished now.

Jeff Bezos bought The Washington Post, Elon Musk is showing that he is infinitely cooler by buying Twitter.
A decade or even a year before AlphaGo, most people would have said an AI capable of playing Go at superhuman levels was intelligent.

Intelligence is a mystery. As soon as we can build a rational system that demonstrates a particular kind of intelligence, the mystery and perception of intelligence is lost.
It means they have significant market share in the relevant sector they're operating in. For example, it would be fair to say that Tableau is a leader in enterprise analytics and data management.
Fwiw it's worth I kinda like that petroleum stank fake truffle flavour. I don't think that when I had that on a pizza costing 20 dollars that I was getting some kind of a deal on whatever "real" truffles are. It's annoying when people market A as B, of course, but on the other hand I get the impression that what a lot of people really like about truffles is that they are expensive and rare, not what they taste like.
Mine was a Star Trek: NTG reference
And biological parents don’t believe society will collapse and people will forget how to make babies if I call them “Guardians”
That's what's a social construct is, and unless you make everyone you meet drop pants and show off their genitals, which you then inspect for surgical scars etc then run a DNA test to make sure they aren't intersex - you make a quick guess based on limited information that alligns with your previous experiences with people who also shared those traits.

You're mad at passing culture, not pronouns.
Not yet. There have been some efforts around adding IPFS support to Nix, as well as making its storage fully content addressable, which would allow for peer-to-peer archival and distribution of source. https://blog.ipfs.tech/2020-09-08-nix-ipfs-milestone-1/

Guix, a similar project to Nix, has been tackling this head on by automatically falling back to the Software Heritage archive when the original upstream is unavailable: https://guix.gnu.org/en/blog/2019/connecting-reproducible-de...
down voted

of course
If ICE vehicles fall out of fashion, oil will still be immensely useful for chemical refinement but with nowhere near the demand that burning it has. It'd still be a fortune but a slow one rather than a "drain it as fast as possible to print money" kind.

Digging deep holes for geothermal guarantees the industry a future at this scale when the move to electric inevitably happens. The alternative is for them to pass up the opportunity and solar, wind, and nuclear to eat their lunch.
I worked at Ashley Madison, enough said.
Extracting heat from 10 miles underground, means cooling it. What would the impact of cooling it ?
I guess nothing is truly free, even harnessing solar energy comes with a price.
I do not know the numbers, they might be negligible. But curious to hear about the potential 1st and 2nd impact.
An eagle picks up a goat and throws it off the cliff as an method for killing it. Mind completely blown. Completely.
> I remember a discussion in the mid-eighties about the future of artificial intelligence in which for some reason I was asked to participate. The advocates of what was then called “hard A.I.,” to the dismay of their opponents, were painting a triumphalist picture of the future of computer intelligence. As the discussion went on, all semblance of logical argument was given up. Eventually, everyone realized that Jack had not said a word, and all faces turned toward him. “Well,” he said after a pause, “some of these developments may lie one hundred Nobel prizes away.” His felicitous remark had a calming effect. The A.I. people felt they were being granted the scientific standing they craved, and their opponents felt vindicated by Jack’s assertion. - Gian-Carlo Rota
Remember guys, it won't really become massive if you need a tutorial to get in.
(Reverse) break-up fees are a tool to ensure commitment of both sides to a deal. The main target in the Twitter deal was probably the financing, not the regulatory case, making it a bit less attractive to fail the financing for the deal somehow to get out of it (although there was some debate how realistic that option was anyways). And in the other direction, Twitter was on the hook for a billion for various things it could've done to hurt the deal, e.g. the board recommending shareholders vote against it, or for a competing offer.
I disagree. That requires a having money stashed enough to do it or being tough enough to be poor…then having good idea, talent, and luck. I have been in tech long enough to know that is a exceedingly rare combination.

The bulk of the wealthy in tech got there by working for some lucky person, with a modicum of talent, and a good idea that happened to offer them a piece of the company before some VC swooped in funded them.
One could use a closed loop system, ie put an u-shaped stainless steel pipe into the borehole.