skysight-inc/HackerNews huggingface dataset:
Some useful models of computation are deterministic. But modern computer systems are rarely deterministic as a whole (even if some of their components are).

For example, CPUs can change their clock rate in response to temperature. This can make it impossible to trace exact behavior, especially if there's any timing dependent code or complex multi-threading going on.
Passive income.

The problem is, most easily accessible passive income sources aren't enough to live from, so people don't start investing time/money into them.

But multiple of them can add up over the years.
It doesn't help that the UK (and some other countries) have corrupted the definition of fiber by allowing pretty much everything to be called fiber.

DSL (running on the shitty, rusty phone lines) is allowed to be sold as fiber because fiber is involved at some point in the transmission (up to the DSLAM). By that standard, even 56k dial-up could be called fiber because there would be fiber somewhere in the datacenter on the other end.

HFC (Virgin Media cable) is also called fiber even though it's fiber to a certain point and then you're sharing a coax loop with dozens or even hundreds of people. It's even worse because the shared bandwidth can be saturated and the connection becomes unusable because of packet loss (could technically happen with DSL if the exchange's uplink saturates, but I've never seen it happen compared to cable networks).

There's also a naming convention of "superfast", "ultrafast", etc which creates more confusion. If you want to express speeds, how about you just quote the raw numbers?
This is often what happens when I ask questions on Stack Overflow.

I start a question and then realize I either have the answer or that the question does not make sense.
I wonder if that 26.6 minutes factors in swiping your card, walking though turnstiles, elevator rides, crowded lobbies, etc.... or if it's just literally time inside the car. I also don't do as much to "get ready for work" now compared with when I had to go to an office.
I don’t like it either but history is all horrible in that way and the school of thinking that we’re on some teleological path to kindness is wishful thinking. Also, Hillary was a hawk too, albeit a different kind.
Out of curiosity, which apps are these ?
It's a bit more than cubesats. Nearly every satellite is or can be fine with horizontal integration. Witness every SpaceX and Russian payload ever launched.

Only exotic (presumably optical) sats from three-letter agencies really demand it, and even then we don't know if they really need it or would rather just spend the money to make it the launcher's problem rather than do a redesign or evaluation of their system.
The deepfakes which support the officially blessed narrative will not receive scrutiny, while authentic videos will be "proved" to be deep fakes by some black box machination.

But we've known not to trust anything we didn't personally see ourselves for many decades.
Yes: in our business we understand that customers might have a bad day. Maybe even drunk. So we always answer very politely - next business day.
If we get rude answer then oh well... what is the point?
NBA Players Are Slowly but Surely Adapting to Bubble-Game Differences
How is regular Ethernet connector better for it? SFP can as well be same level of easiness, if devices actually supported it. So why not?
== However, the email leak was a huge embarassement to the Democrats and hence the mainstream media==

I think I’ve lost the thread, here. Are you suggesting that the media didn’t report on Podesta’s emails?
I think Bill Gates is worried that assets acquired in a $30B deal may take inordinate amounts of time and attention from senior leadership, at the expense of the rest of a $1600 billion business.
T-cells. Or genetic differences that make you naturally immune.
The New Normal: What Is the UK Biosecurity State?
How are you reading books on your phone? I find the screen narrow and scrolling difficult.
It's worth explicitly noting that Starlink is applicable to rural areas. As OG noted 5G is applicable to both densely populated and rural areas.

Further, it's theoretically possible to combine 5G and satellite internet where Starlink or similar serves as the connection to the internet backbone for a device broadcasting a 5G network. Connectivity isn't an all or nothing game and 5G is protocol that the SpaceX internet service business can leverage.
> Not really off tangent,

> I just can't understand why... HN just can't keep the discussion related to the submission?

I personally enjoy meta conversations but I hope OP realizes the irony of this comment.
Will definitely check out Norvig. Not sure if this is what you had in mind but the linked PDF appears to be a treasure trove, thank you!!

https://news.ycombinator.com/item?id=19075599
This cartoonish narrative of malevolence really has to stop.

The redscare syle evildoer depiction of the Chinese is outlandish.

It's a racist, 19th century orientalist interpretation of international commerce and it still somehow dictates policy.

It's either that or some kind of utterly foolish protectionism, as if the Europeans and Asians don't have the industrial resources to box out the US for the global market.

That's just a matter of time. These brain damaged protectionist policies, far from preserving the hegemony, leads to its rapid decline just like it did with the European trading empires one by one as markets quickly worked around the hubris strangleholds enacted by the dominant seafaring nations who thought they had cornered a market.

There's simply no narrative where this is good policy unless your mission is to hasten the decline and dismantle of the American industrial state.

Edit: I'm not responding any more. There's obvious vote brigading by nativist revanchist trolls on this thread. Every reply from every user that isn't "but the Chinese are shifty thieves" goes into deep negatives.

Cool hobby, kids. Have a nice day, time only happens once.
Good ones always come with Ethernet port. I wouldn't even consider buying one without it.
Something carefully constructed to be beneficial to ESL learners.

As people stop having kids, our economy will begin to depend on immigration. We need to make America the easy choice.
> I really wish they had both just used "a real programming language" right from the start

There are currently several options, like https://github.com/stripe/skycfg

> Why are so few configuration languages not backed by a real language?

There are tons of tools that work with YAML/JSON but I imagine you mean more like a first-class citizen programming language specific or good at writing static configuration. The other side of the coin is that configuration in many cases have a different audience than programmers (for ex, end users or operations team) and it's a good option to have static configuration key=value than any human can (more or less) read easily without having to run programming code in your head. Plus programming, besides being harder to read and share, introduces bugs. So I suppose the preference between code writing configuration and stand-alone configuration depends on who the consumer is and how complex the configuration is.
You’ve actually hit on the difference here: in the type theory the witness term plus the reduction trace is equivalent to the ZFC proof. It’s true that checking this combination is decidable, regardless of consistency. The intentionality does not eliminate the limitations of this property, it only provides that the reduction trace is implicit given the witness term. The actual proofs of decidability of type checking (e.g. from Martin-Löf‘s original paper) are conditioned on the normalization theorem, which assumes consistency of the type theory.

Let’s come at this from the other direction. Suppose I find a non-normalizing term X of type false (like that produced by Girard’s paradox if we leave off stratification). What happens when I try to type check this?

id(X): ==(X, rec_0(0, X))

Where id is the constructor of the propositional equality type and rec_0 is the recursor for False.
SEO Tools and Webpage Analyzer
Open Source Success Story: How Linode Is Powering Flowlens
That wi be highly dependent on the MLS available in your area. There is no universal or standard MLS and the information collected can vary wildly between cities and counties.

Monitoring that checkbox if available would require access to an rss feed for the listings. Or potentially a realtor to set up an email alert (no contract would be required)
I listen while walking my leash trained cat early in the morning.
That is what happened where I use to work. They got rid of the dead beat clients, the ones who were always later in payments, the ones who always asking the salesmen for no costs extras to make the sales.

And with less customers the profits DOUBLED!
Well I’d love to give GPT3 the abstract as a starting point and see what comes out the other end!
Of course there is. It’s a lot easier to say something has no harmful side effects if patients are observed for longer after taking it.
Funnily enough in this case it's exactly xdebug I'm talking about and yes, it is a really good debugger, Derick Rethans is a hell of a programmer.
> First, there is no unified boot- and device initialisation-standard.

There is. UEFI + ACPI.

> So you cannot just put in a bootable USB stick and expect it to work.

That's how it works today for Arm servers. Windows on Arm platforms also use UEFI + ACPI, and ship with the bootloader unlocked.
I can only imagine it's because what seems obvious to us is really not noticeable to 99% of people.

You have to remember we are in a little bubble of our own for better or worse, most of HN readers principles are generally aligned against this kind of centralisation and we highlight and amplify anything we see that matches; I'm guessing your average FB user is more focused on the value proposition of these services they are consuming and wont give the corporations behind them much of a thought until it hits big news.
In other words: Systems that do things simply and directly are great, and often exciting, technology.
A type system can be TC. A type system is a logical system comprising a set of rules that assigns a property called a type to the various constructs of a computer program, such as variables, expressions, functions or modules. If those rules can encode a Turing complete system, then the system is Turing complete. Type checking is the process of verifying and enforcing the constraints of types. Type assignment is different from verification.
@synesthesiam your work is wonderful and I am willing to test both ASAP.

It kind of fills a gap left from snips.ai, will check and compare with what's on the market now.

Super recent (less than a year for both projects, but may be wrong) and apparently well documented. Hats off
I am not very experienced with VMs and containers.

Is this like Docker?
I work to hone my craft. If I stop at strictly 8 hours per day, I have to both invent a side project and task switch to it.

This isn’t a problem usually, but sometime I just want to do 1 extra hour to really understand a problem and it’s easier to donate that time to work.
Things have not changed much:

"Times are not good here. The city is crumbling into ashes. It has been buried under a lava flood of taxes and frauds and maladministrations so that it has become only a study for archaeologists. Its condition is so bad that when I write about it, as I intend to do soon, nobody will believe I am telling the truth. But it is better to live here in sackcloth and ashes than to own the whole state of Ohio."
- Lafcadio Hearn (1850 - 1904)
could someone parse the analogy for me. Does he mean a deal like this will undo MS slowly over time?
At the end of the day, cache miss latency should be bounded by the speed of light and the distance to memory. It's entirely unsurprising to me that by putting main memory on the same board as the CPU, as well as the optimizations that come from allowing a custom communication protocol between them, better performance is possible. I wonder what a desktop machine designed for cache and memory latency would look like.
This is a very unsubtle ad for the website it links/mentions by name about a dozen times.
The standard deprecation notice for G Suite (which includes Google Sites in all its forms) is twelve months from the announcement.

> Google will notify Customer at least 12 months before a Significant Deprecation [1]

1. https://gsuite.google.com/terms/2013/1/premier_terms.html
Part of the problem is that there are no criminal penalties for making false copyright claims as far as i know. A troll could be sued in civil court, but it's a long expensive process with non-negligible risk, and in practice individuals rarely attempt it because of the same asymmetries that enable patent trolls in the first place. What we need is an actual law that levies meaningful penalties for abuse. Maybe $100+ fine per invalid DMCA request, or 2x the demanded damages in lawsuits. That would at least help put a stop to shotgun blast automated takedowns, and inflated multimillion dollar claims designed to fleece teenagers and college students.
But why are they making this proxy argument, why not test with covid directly? Makes me think they did test with covid and it wasn't working.
What does "hawk" mean in this context?
Why does letting EU-Immigrants in limit immigration from the rest of the world?
I mean, you were the one that compared them and came up with saying why should it not be banned. And now you argue against yourself. shrug
Matt Ball – The Future of Media: Movies, the Metaverse, and More [pdf]
Has there been a study of the bottleneck of the performance of modern sat solvers? Some modern x86 CPUs have enormous cache sizes.
While I have invested in property and renovated it (1 rented out flat and my own home) my current work for the business is primarily bathroom and kitchen renovations for homeowners. This is primarily to bring in a more stable cashflow that will be used for purchasing more property long term.

When we started we did anything, painting, small handyman jobs, fences, carpets, gardening, etc. But I ended up just concentrating on kitchens and bathrooms, as they are generally the most investment worthy home improvements a homeowner will want, which means larger profit per job and also they're more room to take away a homeowners problems. Typically if they project managed it themselves, they'd need to bring in a large list of separate trades. Labourers for demolition, plumbers, electricians, joiners, tilers, cabinet fitters, flooring fitters, decorators etc.

The people i hire, with backup from myself, can do everything the job needs, which means they only need 1 company to do it. We have a wonderful woman in the office that does all the customer service, we take away all the old crap we've removed, we help them pick the new bathroom suites and kitchens they want, etc. Its a full service. I think in America, the term for this is General Contractor, over here in the UK, its not typically used.

My advice for you, if you're starting from scratch, is to get some DIY skills to begin with, start with your own home. Try things, Youtube is the second best tool for learning anything in my opinion, only surpassed by actually doing it. If at all possible, whatever you are trying for the first time or are unsure of, try it, then pay a professional to inspect your work AS your doing it and sign it off at the end. Get them in before you start too. Any tradesperson that wont do give you advice that you're willing to pay for isnt worth knowing IMO. The ones that are, are the ones you hire when you do bigger projects that you need help on. Plus anyone that can explain their own job to an outsider, generally is pretty good at what they do.

I'd be able to give you more specific advice with more information, happy to answer any questions.
Potential can be a part of the point system. You yourself made some sort of crude scale of potential when you were interviewing people. Nothing wrong with formalizing that.
ULA has designed and is building the Vulkan rocket now. Presumably they have some staff that were involved with the Atlas V and Delta IV back when they were with their parent companies.
> White is unambiguously the correct answer.

OMFG. It most certainly is not. "White" is a very good explanation for the sum of all visible light that reaches the environment on the ground.

But if you look at (or really towards) the actual bright thing in the sky, you see it as yellow. Preschool kids and amateurs aren't wrong on this. It's yellow. Go look.

I mean, even that's not correct. The disk of the sun itself is too bright for your retina to actually sense, saturates the cells, and leaves weird artifacts (and no small amount of permanent damage, of course) that look like all sorts of colors.

But the glare around the sun that you see before you look away is, for sure, yellow. The shorter wavelengths have been preferentially scattered away on the direct path to your eye. They are the "blue" that someone else sees when they look to that path in the "sky". What's left... is yellow (relative to the general color balance of the non-direct light, that is).

Sure sure, "solar irradiance" is as good a definition for "white" as you'll find. But "the sun" is yellow.
Agreed. Between work and non-work, I’m literally spending over 12 hours per day in my living room. No matter what some people would have us believe, this can’t be healthy.
I won't be very impressed if I can't install Linux on them after Apple deprecates macOS support on older models. I already can't do that with old iPhones and iPads.
All new cars sold in Europe since 2018 have been required to have a system to automatically contact emergency services in case of an accident:

https://www.forbes.com/sites/davekeating/2018/04/01/starting...
>>>One day humans are gonna look back in abject horror at what the us military has done to the world with the full backing of american citizens.

What is your point, that no other armed force engages in sex trafficking?

https://en.wikipedia.org/wiki/Child_sexual_abuse_by_UN_peace...

Or that America approves of sex trafficking? And you came to that conclusion after reading about a lengthy investigation that led to criminal charges against (at least some) of the traffickers?

I am absolutely no fan of Biden but can you cite anything he's said that connects to a doubling down on "this behavior", by which I assume you mean sex trafficking?
If you want thinner than normal Cat6 but can handle a bit more than 0.9mm, there is also thin Cat6 available: https://www.monoprice.com/product?p_id=34213

It's 2.6mm diameter, and I had success running it between baseboards and carpet.
Native resolution (3440x1440), scaling is default. This was a clean install on new hardware.
Seriously?

You don’t find the million people (the Uighurs) in concentration camps “outlandish”?

How about the thousands of students rolled into smithereens by tanks in Tianamen Square? Too “cartoonish” for you?

smh
There aren't a lot of ISP/cable companies around and it can takes weeks and fees (for breaking contract) before moving to a clone of that company (and most likely suffer downtimes during that time).
You mean.. the 11” MacBook? It already is slim as a phone and has no fan.
Yeah, if you live in a new building or further out of Central you can get things like g.network or Hyperoptic but even aa new apartment block build by Westminster council doesn't offer fiber.

Maybe this all will change when there is more Working From Home to be happening the coming years.
I totally see Microsoft ruining TikTok simply because of their corporate culture. Microsoft has had an astonishing history of destroying billions of dollars in value simply because they can't manage their products better. Internet Explorer, Bing and their mobile phones represent entire industries where Microsoft has been totally decimated despite enormous advantages in terms of resources and monopolies.
Oh good lord, that's horrible!
That's complex for my taste, a little too close to a ponzi scheme which puts us right back to capitalism, but I'm going to have to think about it more. Just my gut reaction. I'm more of the mindset that employees simply organize and buy their place of business when the owner is ready to sell. Each just figures out their own financing for their part, and they own and operate it collectively. Of course we'd prefer to work with other socialist business like credit unions and so forth. Creating that coalition that you speak of, just not so massively integrated into one entity. I tend to believe smaller works out better. Easier for humans to manage effectively.

New enterprise could be started with a group of folks the same way, but I prefer proven businesses. No reason for the first wave of worker owned co-ops to go under. Start with the smalltown gas station etc. Like with any human endeavor, choosing your partners and how it's managed is critical. Everyone should be highly motivated since they're owners. But I do think as people see it working well for some, attitudes will change. No one will want to work for a capitalist enterprise once they see how good life is for co-op owners. In the end the cashier at a local store may be far more enthusiastic to help you than how it is today. Your pizza will be made right and delivered on time.

There is no perfect system but I do think we could at least have a healthy mix of other options. Given circumstances for my generation, my life's goal other than to be happy is to start a successful capitalist business, stabilize it, then sell it to my employees as a co-op. Offering to stay around for a while, if they'd like, to make sure everything works out.
> They subvert or deconstruct nothing, they signal in-group/out-group membership.

Why can't they do both?

When you call a body alteration someone made by choice a "mutilation", you're viewing it from your cultural context, not theirs. Your context might be the default where you live, but it isn't the only one. That's the whole point: The limits of aesthetically pleasing appearance are subjective and shouldn't be dictated by what you or I personally find comfortable.

Sure, there's a signaling component to what people wear. But to assert people are getting face tattoos just to indicate which political tribe they're in is an extreme claim that requires substantial evidence. Do you have any?
> And why are you calling it an incubator?

It's terminology they used during conversations. On the site they also call it "accelerator".

Don't focus on semantics. As is the case for patents, where the blah-blah doesn't matter, only the claims matter, the only thing that matters here is the contract you sign. We could call this thing "A trip to Disneyland" and still the contract terms would rule the relationship.
Do not work like that. When I read reviews, I quickly notice if the reviewer seems to have an axe to grind. Reviews of true bad service seem to have a different favour than the reviews given by the people who are just trying to bad mouth someone/company, they too often try to make themselves look like angels and how dare this big bad person not meet their expectations.