skysight-inc/HackerNews huggingface dataset:
> how to use it outside of the logic domain

You've got it backwards. Logic isn't a domain, just like algebra isn't a domain. Logic is what lets us work within a given domain. It isn't like geometry, which won't be useful unless you're working with shapes and angles; logics (and, more generally, algebras) are the syntax of entity relations.

In particular, logic is about "preserving truth between statements". That is, if we have a set of true statements, and we want to generate new true statements, logic is the way to do that, and it's always done in the same way, using arguments.

That word has two common meanings, but the arguments of logic are: premises, linked by deductive rules to conclusions. If the deductive rules are valid, and the premises are true, then the conclusions will deductively also be true. "Premises" can be any type of statement that has a truth-value (i.e. makes a claim about a fact).

So, obviously, this is the basis of all proofs, in any discipline. But it's also the foundation of rational persuasion, as in a court room. Which is to say that you're already using informal logic, every day. The question is "would it be useful in your life to learn these things formally?"

What's the difference between someone with the intuition "the opposite side of the 90° angle in a triangle is always the largest", versus someone who understands the Pythagorean theorem?
This is my favourite run from GDQ.
It its truly impressive what they are able to do with a TAS connected to original hardware.
Me too, although if its a lightweight helper you can ditch down the line its normally not an issue
Funny enough, on the completely opposite end of the spectrum, I was once surprised that after you close an account (post M&A in this case), you can typically restore the resources for ~90 days if you decide you want it back and don't nuke before you request the closure. Can be useful or scary depending on the contents of the account...
I basically "bet my life on it" every time I take an Uber with some random driver where neither I, nor Uber, has much data about their driving ability beyond recent accident/ticket history.

I think the real risk to my life is about 1000 times worse in a car than some diaphanous threat of a future evil government, and I trust Google about 1000 times more than I trust some Uber (or Lyft or taxi) driver.
It's called signalling. The chimp troupe has a wide variety of chimps with different needs. How do you find the ones where needs align? You send out such signals.
Not exactly, because what I'm saying is that the V website and documentation is explaining what autofree does, describing what autofree is, and how it works.

It appears you are implying that if autofree doesn't work perfectly as it is described, then that indicates a false claim or deception.

The counter to that (and what I'm saying) is that the website and documentation states that autofree is WIP and even recommends not to use it, and tells users that at this time GC is used instead. There is no deception, they are being clear. So if the user goes against the recommendation of the documentation, they should not be surprised that WIP autofree in alpha status V, is not working perfectly.

Furthermore, autofree does exist. We are not talking about a lie or false claim, where something is not in existence. Autofree does function, so here too, we are not talking about something that does not work at all. We are now talking about to the degree it is working or how well it works. Which on that point, the website and documentation both indicate WIP, so a user should not yet expect it to fully function.

I further elaborated that if you experiment with it, you may get autofree to work well. But, that can depend on: the program, can require experience using V, some memory management knowledge, and/or going through examples of V programs that use it. The expectation (and what those in the V community are aware of) is that as V goes to higher versions on its way to beta status, we will see better performing versions of autofree that requires less to no needed user knowledge about details.
I've heard that , and i can tell you it's not necessarily true. I had a lot more success ten years ago for sure.

Thanks for the kind words, though.
A lot of open source licenses require numerous things including attribution, at the very least. So when copilot barfs out someones code verbatim, or nearly verbatim, after having memorized that code and it doesn't say who it's referencing, suddenly there's a problem.
>”China will mothball its nukes as their power gets undercut by renewables.”

What is the basis for this? Is there any indication from the Chinese Government that this is a real policy or is this just pure speculation?
Apple did something like 30k per year several years ago (per their transparency report), and Google's numbers are presumably higher.

Your second assertion is false.
You mean skipped right over the moronic statement thinly veiled as a question on the table? As if it deserved better.
10-15 years ago prefab homes were going to be the new thing, built efficiently in a factory then inexpensively and quickly assembled on site. And yet the total cost was almost always more than standard construction. Now it's 3-D printing. Ok, sure.
Thanks for trying to explain or clarify your position.

For you my friend, please read this:

https://news.ycombinator.com/item?id=31963218

As a guy, your clock hasn't run out yet! If you're a 7, and a genuinely nice / generous / loving / honest / emotionally mature person, don't give up! There are fewer "good" men out there than you may realize, you're actually a hot commodity.
Swedish birth rate data: what does it show us?
The point of getting advice from make friends is a very good one. They just need to be closer enough to honestly point out what is wrong (and what isn't).

I am often surprised how I misinterpret some behaviors of women. I am lucky to have a very, very good female friend (something like a sister, with all the posts and minuses :)) who does the translation for me.
I just got stymied by this a few days ago, and turned to reddit[0] to ask for some help. No answer yet.

[0] https://www.reddit.com/r/Surface/comments/vnl6sa/correct_way...
I use Zustand with Next.js. What is the issue? There are even officially maintained examples by Next:

https://github.com/vercel/next.js/tree/canary/examples/with-...

And Jotai: https://github.com/vercel/next.js/tree/canary/examples/with-...
I think this is just a subset of the larger guide, don't brag about subjectives.

Don't say your product is the best, the greatest, the simplest, the most powerful. That's marketing BS, noise.

It's ok to say things that can be verified, like it's the cheapest, the fastest, the only one with yellow spots.
I think people should do the opposite and move their code to GitHub if it helps Copilot. It's the single most important invention of my lifetime. Its existence trumps any ideological or legal hurdles.
The same thing happened to me and I'm still sick of it. I lost a lot of emails from the beginning of my career. I found out when I finally got around to backing up my old stuff. There are still a lot of emails that I wish I still had. I know it is / was a free service, but still.
> and will craft you a solid retelling of something which didn’t actually happen.

A story about anything that did really happen would disclose information of/about the current/former employer. A story about anything made up would put the current/former employer in the wrong light.

Is it possible to answer any questions that demand a story at all?
I suggest 'giving up' and just have fun, travel, sports, get fitter to play better.

Be the mysterious woman having fun.

A man's imagination is far more powerful than any reality you might conjure up, you can reveal too much.

Remember, men will consider 90% of women, but women only consider 10% of men.

There's a lot of competition for that 10%.
If you've only been doing it for two years... it may just not be long enough. I'm so sorry that's the case, but it seems to be. Also, you say a lot about yourself, but not a lot about what makes someone a "marriageable man". What are your criteria? Who are you looking for? Clearly you have a lot of people who seem like good candidates, so what rules them out?

My own anecdata is that it took me about three years of seriously looking - in my mid twenties - to find the person I'm now married to. She was my first and only successful date from Bumble in two years of using that app. I had done everything else: met people through my faith, through social events, used all the other apps, on and on and on.

Then, when we did meet, it was like lightning. It was one of the most bizarre experiences I have ever had, because I was completely convinced the kind of falling in love I experienced was a) impossible and b) would never be requited, and yet it was happening to me. It still makes my heart flutter thinking about it. I've spoken to my wife about it and she felt and still feels the same way. Within maybe a few hours of meeting each other, we both suspected, and after a couple of months we knew for sure. Like you, I had dated a lot of people, and many of them fit most or all of my personal criteria, and I theirs, but they weren't the right fit for reasons I couldn't quite explain. I don't think that means my wife is "the One" or anything - there is no such thing - but I have never met anyone else I'm not related to by blood with whom I've shared this kind of connection and a romantic intent.

It's incredibly tough and painful to search for that needle in a haystack, and I'm sorry you're going through it. But I believe it's possible to find for the vast majority of people.

I could write a lot more on this subject, but this has probably been poetical enough for now. I hope this helps.
The Planck length is another unassailable example in my opinion.
Radio Shack missed a whole fleet of boats over the years.
That version of PoS would have required a minimum stake of 1500 ETH, because it couldn't handle many staking nodes. Then they figured out the beacon chain, which would support staking with only 32 ETH. They made a conscious decision to eat a couple years to go that way instead. The beacon chain launched as a parallel network in December 2020.
Yeah it’s actually a selling point in case a disgruntled employee or hacker gets credentials and asks for the account to be shutdown.
You're correct that this won't apply across the board, but at the end of the day, dating is totally a numbers + filtering game.

Don't sell yourself short, patience and perseverance are virtues in this arena :)
As a Red Team manager with both the OSCP and CISSP, in my opinion neither is worthless but they are oversold and they aren't really comparable.

The CISSP is a risk management cert that's sometimes oversold as an infosec cert. It's been quite useful to me in dealing with the (Fortune 1000 mostly) bureaucracies that take Red Team and pen test findings and turn them into remediations or risk acceptances.

The OSCP is a technical cert that's oversold in a different way: because the test is fairly difficult, lots of people assume it's an advanced cert. It's a beginner cert (and Offensive Security has several more you can take after it). What it does prove is that you probably have the right mindset to be a penetration tester (which is not necessarily the same mindset you need for Red Teaming, i.e., unannounced adversarial simulation).

tl;dr: I don't think any cert is bad as long as everybody understands what it's for. But I'm one of those people who collects them (at employer expense) as a way to structure my learning, and then never renews them.
Only If they are quick to build, cheaper to buyer and long lasting...
That’s super cool! Earlier this week I was getting frustrated with NetworkX and started wondering: “what’s the easiest way I run proper graph queries on this in-memory dataset?” This seems like a reasonable option, will add it to my list to try out.
"Minimum" meaning maximum. Taxpayers are obliged to pick up the difference.

There are not, in fact, a limited number of pumped storage sites, and you do not, in fact, need any alpine lakes. Dikes are not commonly made of concrete.

And, there are numerous other cheap alternative storage media, for places without hills.

But first we need to build out enough renewable generating capacity to charge it from. It would be stupid to pour capital into storage that cannot be charged, particularly as prices are falling so fast that building will be radically cheaper when we come to need it.
I'd rather keep my code away from a company and feature which disregards the licenses I prefer for my codebases, thank you.
Thank you for such a kind and encouraging note. I do think I get a little hung up on the order of these things . And I love the idea of looking at these as data points as opposed to , I’m so frustrated and defeated.

I think I also get overwhelmed by the number of options on dating apps.

I did freeze my eggs (thanks mom for the grand kids investment )

One thing I’ve learned as a tech entrepreneur is there aren’t quick fixes, not when hiring, not when building a company or finding love.

I really appreciate you and your kind, warm words.

I plan in trying everyone’s suggestions and I will circle back !

Many blessings , good vibes, big hugs or whatever you like in terms of positive intentions your way
journalist and journalist accessories
Web3 is the decentralized web.

Cryptocurrencies are just an extra. No wonder, people here hating on Web3 all the time, if they don't understand that.
Less interested in what country & more in what generation. If its reasonably modern stuff...who cares.

As best as I can tell the Chinese are ahead of the rest anyway so if something has to be built it might as well be that
I always got the impression that sr.ht was not intended to be social software, but simply a git frontend.

To me, this makes it unsuitable as a frontend for community-focused projects that cater to involving and attracting strangers, and much more something for single-committer repos.

Ultimately, building large software ends up being a team sport, and I never got the impression that your product had the express goal of facilitating (and causing) collaboration; in fact quite the opposite: that those are explicitly out of scope for the project.
Hopefully I can use this to print a cheap-ish shed or small barn in 30 years.
One of my former colleagues (Michael Holm, member of the Kefrens demo group on the Amiga ;) was one of the founders of COBOD in Denmark. They have partnered with PERI, Cemex, and GE, and most 3D printed building projects I have seen use their 3D printer.
> Before Microsoft decided that every single version of its C compiler should use a different C runtime (and much later they changed their mind again).

It is... not as simple as that[1]. MSVCRT itself is the fifth version of a Win32 C runtime, after CRTDLL (used to ship with the OS but no longer), MSVCRT10, MSVCRT20, and MSVCRT40. It’s just that both the toolchains linking with MSVCRT and the OSes shipping it (and nothing newer) endured for a very long time while Microsoft went on a collective .NET piligrimage.

Of course, “NT OS/2” started the same year ANSI C was ratified (and Win32 only a couple of years later), so some degree of flailing around was inevitable. But the MSVCRT Garden of Eden story is not true.

[1] http://www.malsmith.net/blog/visual-c-visual-history/
I'm not sure if you drove in the UK much, but generally roundabouts are explicitly not "death traps" regardless of the amount of power you have. I literally use them on a cycle from time to time. Everyone is slow, pays attention, and is ready to brake if needed. If you feel need for extra power, you're probably doing something wrong (e.g. not giving enough space for the oncoming traffic you're supposed to yield to).
There are other ways to pay people, using stocks in a bull run is just good allocation of resources. Great companies always find a way to attract talent no matter the situation, even recessionary.
For a project that was basically an after effect like application I needed a history, but also very fast updates, settled with mobx-state-tree which gave me a way to preserve history. Worked great for that application, no regrets.

So there are some solutions available if normal mobx is not enough.
Great points. I've also noticed that tech people can struggle to accept that the legal system has different outcomes depending on a person's intent, and methods for determining what that intent was.

There are many ways that interpreting law isn't the same as executing code, but that's the one I run into over and over. A judge isn't a CPU, and neither is a jury. They can differentiate superficially similar actions.
Mason, the guy the article is about, has some really good videos on DO. I learned a lot about several terraform best practices by watching him spin up a production cluster: https://www.digitalocean.com/community/tech_talks/building-a...
Ground-Up AArch64 (2021)
Yet, not built. For reasons.
Managing Downturn – Teleport
While you are technically correct, these sorts of tarpit cycle patterns should be detected and shed by any half-decent crawling system ("half-decent" is said tongue-in-cheek :p).

Does marginalia struggle or fail to identify and sidestep indexing for these sorts of structures?
The First Million-Transistor Chip: The Engineers’ Story (1989)
They don't only buy oversupply, because energy isn't their only cost. They also have very expensive equipment that turns obsolete in a couple years. If the keep it turned off half the time, then they effectively double their equipment cost.
Delta Air Lines offers passengers $10k each to get off 'oversold' flight
Strongtowns.org has some research on this. It points toward most suburbs being indirectly subsidized by the tax base of nearby urban areas after costs are accounted for.

The basic problem is density and scaling of infrastructure and utilities. The cost of many utilities (power, water, roads) is dominated by the distance from the source to the hookup. When buildings only scale laterally (single story) then comparatively more utilities are needed than when they can scale vertically into the 3rd dimension. This gets exaggerated because the population of a volume tends to scale much faster vertically than laterally (apartments are much closer together than single family dwellings) so most of the utility cost ends up being the lateral footprint of a neighborhood.

Looking at this another way, the taxes of lateral neighborhoods would need to grow exponentially faster than those in vertical neighborhoods to maintain the same unit of infrastructure.
It’s not just for snow. In general, moisture management is a huge deal in construction, and having a surface that naturally causes water to go away rather than collect is a boon. You CAN do flat roofs but they are more expensive and complex and require more maintenance, so you for residental applications the trade off against useble roof space doesn’t make sense.
Anyone could just push the repos to GitHub, including GitHub employees.

Here are links to Amazon and Salesforce

https://aws.amazon.com/codewhisperer/
https://blog.salesforceairesearch.com/codegen/
You're correct, with that comment I was more referring to the original "Wanna bet it's just "marked" as deleted, and actually stored forever, to be served in response to any subpoena?" than your post.

And while I agree that all organizations can make mistakes, I think it's more important to look at the structure and incentives of any company to see how reasonable those risks are:

1. Google knows they collect a ton of data on people, and they have giant, giant financial incentives to keep that data secure.

2. Google is profitable enough that they can have huge teams focused on data security and integrity (a smaller company may have the same financial incentives to keep data secure, but not the resources to back it up)

3. Google is large and established enough that they can ensure real rigor in their processes (again, as opposed to some rando company that did just enough to pass their SOC 2 audit).

Again, mistakes can be made but we all pretty much take risks every day (banking, getting in a car, getting on a plane, getting in an elevator, etc. etc.), and I think the risk of Google fucking this up is lower than failure of a lot of those other systems.
he's too humble to mention the Knuth is my Homeboy tshirts: https://geekz.co.uk/shop/ that once existed :)
Not all abdominal surgeries have opaque pricing. An appendectomy at Surgery Center of Oklahoma is $7,368, paid in advance. https://surgerycenterok.com/pricing-disclaimer/
To think that aircraft safety (military or not) improved because the cabin dimensions were adjusted is laughable. No, it was procedures and systems such as advanced autopilots, better and better ils, gps, gpws, tcas, understanding of crew resource management, textual comms like acars, better maintenance procedures, better operational procedures (even for seemingly simple tasks like deicing) ...
> I have always tried to see bay area salaries as as risk compensation.

Nobody paying those salaries sees it as risk compensation, so I don’t see how that can be true. Also, can’t you move back, or is there some requirement you pay into your system?
here's what I see:

1. opportunity for the maker to have their own financing programme, and hopefully be very affordable for the avg person, maybe even programmes for the poor, another for young families

2. If this kind of house works well and sells, it won't be the bank that funds it... they'll spin up or buy out a fintech start-up that takes on "riskier" mortgages

lots of opportunities everywhere, but we should have way more of these 3d printed homes. it should be accessible to all for a fraction of the price of a "traditional" home in the same way that prefab homes which are now overvalued and overpriced were for our parents. we need this tech to be open sourced
This site gives some insights into potential tradeoffs between Swift and C++ in memory usage and execution times.

https://programming-language-benchmarks.vercel.app/swift-vs-...

It's really hard not to like reducing code size to 30% of C++ for long term maintenance IMHO.
malloc() is defined by the C Standard. If you want to claim your compiler is ANSI or ISO certified, you need to support malloc() (as well as the rest of the C Standard library).
it's what you use to pass by reference ..... but algol supports pass-by-name semantics (of which pass by reference is an optimisable subset) - to do fill pass by name (for a simple example a[i] where i is a global) the compiler will create a thunk (a tiny subroutine, in scope of the place where the parameter was passed) and pass a pointer to it - the tag of '7' means a PCW - when it gets dereferenced as a pointer the hardware does a subroutine call to the thunk in the correct scope
Why should we provide free data sets for github just to let them privatize gains?
Recently I contributed to a new project which needed repository hosting, and I was excited to suggest Sourcehut. But when we learned of the email-only collaboration, it was too uncomfortable for this particular group (and I include myself). Most devs are used to pull requests, it seems awkward that Sourcehut doesn't support them.
You're doing such a great job that I subscribed for a year even though I had no need for the service at the time. I just wanted to financially support what I see as a really inspiring project. Not to mention that it is an objectively good product.

I will likely buy another subscription (and actually use it) at some point in the future but until then I'll be recommending sr.ht to anyone in need of lightweight and open development platform.

Keep up the good work!
> trumps any ideological

I don't think that word means what you think it means.

The word "ideological" gets bandied about a lot here as a pejorative
drop-in for "things I don't support".

Perhaps we could be a bit less dramatic when considering the
plurality of values people hold.