skysight-inc/HackerNews huggingface dataset:
If you're talking about the fact that you have to unbox the Maybe, that's not really related to type inference or static types but how "null" values are represented in the language.

If you're talking about exhaustiveness checks, you can disable those and use `-fdefer-type-errors` to compile programs which don't type-check.

Although I will say that most of the time when you have a Maybe instance that you know is Just, it means you're branching in the wrong part of your program.
Sports is explicitly not like war. There's actual rulebooks, and regulators with the power to completely ban teams and players.
https://schema.org/upvoteCount

Yet I haven't seen even one instance of this anywhere. :(
Performance is not in any way the reason for static types. A GC does not render static types less useful.
So don't use a contractor. Open an Indian office and hire people directly.
That’s bad, but what about Singapore’s housing policy?
Best of luck with that.
Django has everything a simple CRUD needs built-in, and migrations, which you don't need now, but will need if your project is successful. Highly recommended.
We’ve been using Anvil for internal employee tools for the last year or so with much success.

https://anvil.works/
Adblockers have to solve that problem already. And it's actually really easy because "ads" aren't just ads unfortunately, they're also third-party code that's trying to track you as you browse the site. So it's reasonably easy to spot them and filter them out.
none of those fireball pictures look real - did it actually look like that, or are those photos really heavily processed?
Not really he's clearly done both.
If the birth and childbearing is being compensated by being able to spend time with the child, why give any consideration in any other field (say custody, parental leave, etc) if its already paid for.
Yes, to raise the temperature of a material in which ignition can occur.

I know the cheap hobby laser machines use a 405-450nm module, which works decent on stuff like wood. Now since it's about half the wavelength, is it more affective in cutting / etching these materials with a lower optical output power.
> there was a rush to make popular websites in the rails era, but that ended quickly.

I so much want to agree with you here but I can't. 99% of all business people I've ever met are all about "Alright! We got the perfect idea! Let's have the first iteration done next week!" -- has been the sad reality of most of my bootstrapping conversations. Even if they aren't a young-ish enthusiastic bunch they still are going to go to whoever promises them the fastest delivered MVP.

IMO to this day Rails is a big winner in the MVP area -- although I will immediately agree that nowadays there are no small amount of other technologies that can give you a pretty good-looking and well-working MVP (mostly in JS land I think). But a lot of business people just managed to memorise that Rails is the way to go for MVPs. Their mind isn't easily changed. Now those several whom I talked with in the last 1-2 year were like "yeah yeah, you techies always chase the newest thing" -- and sadly they are often correct. So the hope of breaking free from Rails' "monopoly" on making MVPs looks pretty slim lately, to me at least.

I fully understand the business people's desire for things not to change often. But they vastly overestimate the viability of most of the tech out there. Or maybe it suits their bias. No clue.
Nitpick: It's actually an apostrophe " ' ", not a backtick/grave accent " ` " or comma " , " :D

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

https://en.wikipedia.org/wiki/Grave_accent#Use_in_programmin...

https://en.wikipedia.org/wiki/Comma
Pick good people to work with. No amount of money will make you happy if you hate the people you work with for 8+ hours a day.

Make sure the company is doing something you like, if not love. Again, money won’t make up for a company doing something with which you disagree.

What can the company teach you? What can you teach them? Learning is important in our field. If no one is really learning anything, you might get bored quickly.
Operator of Popcorn Time Info Site Liable for Piracy, Danish Supreme Court Rules
Well, the decision was to fully fuel everything, including the second stage. Which had no engine.
The point is that more companies should not fear experimentation, and should try different policies. If it doesn’t improve, don’t use it. If it does, set a new standard. That’s how advancement works.
The system is designed to be able to abort from a deflagrating rocket without warning (although that was not the design of today's test, obviously). Today, Dragon was already well clear when the stage disintegrated 11s after the abort. Just eyeballing the footage, it's probably a km away.
... don't remind me of that proposal, lol. I think it's finally dead, and admitted it was a complete and utter failure of LEWG to let it get as far as it did [0].

Unfortunately, we now have "diet graphics", which consists of stuffing WebKit into C++ and calling it a day [1], so, looking forward to where that goes! [2]

[0] https://www.reddit.com/r/cpp/comments/89q6wr/sg13_2d_graphic...

[1] http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p110...

[2] Hopefully into the bin.
Categorical Semantics for Array Programming Languages (2007) [pdf]
How Useful Is Nutritional Epidemiology?
There is a big difference between an individual doing something bad and a government (no matter the level) doing something bad.
Err-- I have a successful business that falls under the "data broker" category and requires I register, but I won't.

I won't because they don't tell you what the "fee" is until the Attorney General "reviews" the submission and then assigns a fee to you. Sounds like extortion to me. I am not going to give them all of the leverage and then accept whatever fee they want to levy on me. If they want me to register, have a fixed fee and be up front about it.

I am willing to accept the penalty fee for not registering. At least I know what it is and it's well within the financial capability of my business, so who really cares.

Selling people's data is fine as long as the state gets a cut I guess?
The ‘best job in America’ pays $105,000 - and you've probably never heard of it
In the JS based project i recently joined (previously i was writing C# ), what i notice is that in a team of 6 people 4 are doing refactorings every sprint for the past 8 months.
That's just straight up energy transfer. Doesn't matter exactly what wavelength you use provided you dump enough energy in, and this one is so inefficient it doesn't make sense.
EGL doesn't let you create a window, it only lets you bind an OpenGL context to an existing platform window. And input isn't covered by EGL in the slightest.
> They don't have to move everything to Pittsburgh, they could just open a small office there and give their employees the option to move there.

They've already done this, in ~2004, and the Pittsburgh office has maybe 1,000 people?
> entirety of public GitHub to show off our idea

Well, I tried searching for my public repo and end up with 0 results. Same with my username.
BitLocker would still ask for recovery key when attempting to boot Windows after Arch install is finished. This is because of the disk configuration change that it detects.
Do they actually go around collecting all of the various parts that fall back into the ocean? I imagine that's a huge amount of debris.
I agree google is shit, which is why I never use it. They're too busy being woke to run a search engine which compares to what they were doing 10-15 years ago. It's pretty obviously entirely that; smart people don't want to work in dying Brezhnevian bureaucratic hellscapes.

Try Yandex for an example of a much smaller company doing a fine job at search:

https://yandex.com/search/?text=reddit%20phone%20to%20buy&lr...

Produces exactly what OP was looking for. QED.

Qwant isn't bad either; don't remember if they piggyback off of other search results:

https://www.qwant.com/?q=reddit%20phone%20to%20buy&t=web
You didn't address my claims, but changed them to your liking.

>When flying on instruments you still land visually at the end.

If you can, of course, if you can't, you'll land with instruments.

>Instrument flying isn't more dangerous

Instrument landing without visual is more dangerous

>Not a lot of airplanes can fully autoland, and they definitely cannot do it on "most airports", it requires special ground equipment and special procedures.

Almost all commercial operations and commercial airports can. Your tiny Cessna is not really important here and you don't need instrument rating to fly one.
Probably if there was a lawsuit, these documents would be in the public record then as part of the discovery process.
I remember reading that in a nordic country they had 1 year of parental leave to be shared, and men got 1 month and women 11 months. There goes your gender-equality.
As a counterpoint, I've been ubiquitously using coroutines in C++ as the primary concurrent task scheduling mechanism in database engines for around a decade. It has always been dead simple and mostly straightforward, resource leaks were never an issue, though details vary with coroutine implementation.

Since C++11, memory management has been remarkably easy to get right the first time in complex systems. It isn't just RAII, there are many other mechanics that enable resources to be automagically managed optimally from the perspective of the developer. In my experience across millions of lines of code, resources don't leak ever at this level of abstraction (pre-C++11 is a different story).

I am perennially baffled by what other people are doing with modern C++ that resource leaks are chronic problem. I get the impression there are a large number of C++ programmers that don't grok basic resource management in C++11 (it really isn't that hard) and blame the language when resource management issues occur.
Redirect Checker
It looked like that on the live video too - but only very briefly. It was a moment in time.
Is Girls Who Code Discriminatory?
A Shallow Introduction to the K Programming Language
>We are on the hook to rebuild those machines, it's a fact that has given us pause to seriously re-evaluate whether we want to stay on the same train, or get off and switch to another paradigm broadly.

That's part of the selling point of Kubernetes. Your base OS needs to have just enough to run Kubernetes so upgrading it (ie: nuke and rebuild) is easy. You containers on the other hand can be upgraded piecemeal and are built with code. It's more things to handle but makes each thing smaller in scope.
That's impossible. According to half of the comments in every c++ thread on HN, any usage of C++ will immediately converge to using all features!!

/s obviously.
Staff emails claim Boeing 777X ‘shares Max problem’
Poor people also pay taxes, so they would be paying for it themselves!

There are more effective ways to help poor people than special paternity clauses/bonuses etc.
Protobufs don't follow this model. For example, a User message type will often be defined in one place and code generated from it in multiple languages. Every server and client uses essentially the same type, modified as suitable for that language. As a result, clients are usually working with types that they don't control and that have many more fields than they actually use.

Maybe clients should declare their own types containing just what they need and copy the data into them from the protobufs? But this does get tedious. On the other hand, in a schemaless JSON system, there is nothing statically checking that the clients and servers have compatible ideas of what a message should contain.
Apple is not Khronos.

They haven't supported OpenGL for years anyway, so the fact they deprecate it now is irrelevant.
This is something I'm currently focused on solving actually. Currently on Show a ways down is the alpha but the basic gist is a search engine focused on discovery while maintaining topical relevance. We thoroughly agree that search results are kind of garbage on major engines at the moment.
At first glance they look heavily touched up/processed.
I use DDG by default, but I can feel myself mentally flinching unless I basically know what I'm looking for already (i.e. I know I'll end up on StackOverflow). When I'm actually _searching_, it's useless, and I'll always !g.
The Stalactite Developer
> I guess it's turtles all the way down, because (from my pov at least) deciding on what "structures a type must implement" is pretty similar to saying "a table is a table only if it's got 4 legs".

The idea is that callers/clients define the structure they’re going to use. If the caller needs something that can hold food, then only things that hold food can be passed in. If the caller depends on having four legs, then only things with four legs can be passed in. If the caller depends on four legs and can hold food, only objects that satisfy both properties can be passed in. The type doesn’t choose which structures it implements (that’s nominal typing) the type just is and it either implements a contract / has the right structure for a given client or it doesn’t. Check out Go’s interfaces for a more concrete example.

> Again, from my pov, a dynamic-like language is a lot more tolerant with the unknown unknowns of which the open world is full of, it doesn't depend on any "structure implementation" being defined or on anyone else counting the legs of said table.

This is inherently untrue because structural typing is simply the formalization of the same logic you use when composing programs in a dynamic language. The same logic that lets Python document an argument as “file-like” is formally expressed in a static language as “anything with methods read(), write(), seek(), close(), etc”. This still gives you the openness you need (you can pass in other types even if they don’t know about your file-like interface) but it guards against runtime TypeErrors and AttributeErrors.

Give static typing an earnest try. And be discerning about the source of friction you encounter: is it because static typing is making it harder for you to write big-prone code? Is it because the language makes heavy use of inheritance (and nothing to do with static typing at all)? Is it because the language is very verbose (and nothing to do with static typing at all)? Or maybe the language has a bizarre syntax and jargon-laden, conflicting documentation, in which case these also aren’t properties of type systems but rather functional languages ;).
A lot of games and apps are being released using OpenGL today.

Then there is WebGL and OpenGL ES, widely used everywhere too.

So, no, it is not going anywhere. In fact, Khronos themselves have said so.
They're related, but we can pull them apart by looking at examples like the ones I gave where cost of living is high but the market rate is not, and the reverse.
By sharp, do you mean a direct band-gap?

I recall that you sometimes want to pump your atoms in a higher energy state than the one that corresponds to the output energy, but I forgot its usefulness. Could someone enlighten me on this? Or is it just for optically pumped mediums (thus pumped with higher energy photons than the emitted ones)?
> I don't know about TulliusCicero, but I agree with their comment and I think open borders would probably be good. The US's historically high levels of immigration have been very positive for the country and I think we could let more people in.

My take on that is that it’s a naive, anarchist position. I’m also unsure that anyone can anticipate the potential downsides as well. I see so many problems it’s hard to even get a start. And it’s not about not letting in “bad” people, but that infrastructure would be absolutely overwhelmed and it would be an unmitigated disaster. We wouldn’t have like a couple million more people moving in, it would be tens, maybe hundreds of millions. They all won’t fit in NYC and SF - they’ll move to Columbus, and Pittsburgh, and they’ll move to suburbs, and shanty towns. I just don’t see positives outweighing negatives unless we really just skyrocket prices - but on a macro level that’s no different than how things are.

To me it’s like putting your oxygen mask on before you help someone else. We can’t even solve problems in this country now. But I do imagine mega corps would love this since they’d have a much higher pool of workers, and an expanded market that is easier to get access to, which kind of gets back to my last point about growth-mindset.

> You're only considering the interests of the people who already live here. Keeping people out doesn't make fewer people, just fewer people here, just like it doesn't decrease wealth disparity only wealth disparity here. Lots of people around the world would love to come here and have the same opportunities we have. I think we should generally let them.

I appreciate your comment but I don’t think it’s a fair one. To start, I think GLOBAL population is far too high, and I’d apply the same principles to the US that I am suggesting but globally, but we were talking about the US. I also think that this is a case where it’s easy to say “oh but if they only had the opportunity” because it sounds great while also ignoring how it affects others. Generally I don’t think we should let people in to the US, because it doesn’t really solve any problems. It certainly doesn’t help the rest of the world. Am I lucky that I was born here? You bet. But that’s it. I’m also lucky to not be born with a disability, I’m also not lucky since I wasn’t born wealthy.

The last point I’ll add is that the vast majority of the world disagrees with open-borders and I think for good reason. Even the most liberal countries (broadly speaking) don’t do it.

Thanks for your discussion points here. I’d love to hear more of what you think - and I hope what I said doesn’t come off too poorly. It’s hard with text and not in-person.
They owe you nothing. You go and take care of your own.
Jesus, what the ???

- 1000 Reasons why President Trump is right

- 1000 Reasons why Germans marry Thai women

- 1000 Reasons why Climate change is not manmade

You're not generating this by AI, since you're clearly attempting to push your shitty agenda.
Albany Airport pays hackers ransom, regains data from computers
> So presumably every self-driving vehicle is going to be constantly streaming all sorts of information in their purview to a central hub?

That's a terrible design.

The obvious way is that the sign/beacon itself pings a server every 5 minutes, and when that stops you know it's broken.
Wasn't that in 2003 ? It reached a peak then, and we haven't had that ever since... (and yet in that time CO2 concentration in the atmosphere kept raising and raising)
Even though I moved on from Rails ~3 years ago I am not spiteful of it -- I just came to realise it's just not for me. I am really glad the community is still going strong.

IMO Rails -- and Ruby by extension -- are going through its first really mature phases: a critical look inward and trying to solve problems that the initial enthusiastic wave of adopters haven't found crippling... but many people after them did.

That's a good phenomena and I like it. And I am one of those people thinking that Ruby and Rails both benefited and suffered a lot from the huge popularity burst that they got.

Now is a good time to start making positive changes and to make the language (and the ecosystem) more long-term sustainable and I am glad that Matz is thinking about it.
Just do an AWS API Gateway to DynamoDB serverless integration, free CRUD, no need to implement the individual operations manually.
It still means the government is sending a signal that LGBTQ people are less worthy, attack our values etc., putting that community at risk. They may be in name only so the government may enjoy a degree of plausible deniability when inevitably violence happens against the targeted community.

You're accusing them of bigotry without weighing the clear higher value here, which is: solidarity for the conference goer who might be vulnerable to persecution because of these policies.
Thank you, I can totally see them fit in this repo. If you have specific content for any of these, please feel free to file a PR. :)
it depends on how far forward they are (like have they forgotten the language they're interpreting)

the rosetta stone is useful because it's a concordance

in that light, there could be value in structured databases that make clear semantic links between words, or which link words to images
Another reason is that in the timeframe where people might conceivably written these, ruby was going through the 1.X->2 transition with all the pain that entailed.

ISTM (supporting a system written in Ruby at the time) that a large number of the libraries were broken when used in concert with each other -- and that language experts knew how to monkey patch their way around these issues, but didn't bother documented these fixes.

I've been told that things are much more mature and stable now -- but that experience put me off the language.
This should probably be a separate submission but why is search so bad everywhere?

- Confluence: Native search is horrible IME

- Microsoft Help (Applications): .chm files Need I say more.

- Microsoft Task Bar: Native search okay and then horrible beyond a few key words and then ... BING :-(

- Microsoft File Search: Even with full disk indexing (I turned it on) it still takes 15-20 minutes to find all jpegs with an SSD. What's going on there?

- Adobe PDFs: Readers all versions. What? You mean you want to search for TWO words. Sacrilege. Don't do it.

Seriously though with all the interview code tests bubble sort, quick sort, bloom filters, etc. Why can't companies or even websites get this right?

And I agree with other commenters as far as Google, Bing, DDG, or other search sites it's been going down hill but the speed of uselessness is picking up.

The other nagging problem (at least for me) is that explicit searches which used to yield more relevant results now are front loaded with garbage. If I'm looking for datasheet on an STM (ST Microsystems) Chip and I start search with STM as of today STM is no longer relevant (it is, meaning it shows up after a few pages). But wow it seems like the SEOs are winning but companies that use this technique won't get my business.
If it's newer than a few weeks ago it's not in there, we also dropped about 150k-300k results on indexing and figured it really wasn't a concern considering it's an alpha. Sorry about that, the index has about 1.4m records in it though.
Gay marriage was never passed by popular vote in California, it was a result of judicial activism both on the state level and on federal. In fact, CA voted against gay marriage in Prop 8.

However, the fact that party vote in California changed in 90s, when it's been already a prosperous and desirable state remains. So it does not seem plausible that liberal policies turned it into one. The opposite though, is completely believable - in a rich locale, with a lot of money, politicians who use the money to "buy" votes will eventually rise and will remain in power until the money's gone.
Apple TV+: Can it be saved before everyone’s free trials run out?
Some disasters attributable to bad numerical computing
What about them look unreal? Is it the relative darkness of the actual fire? The photos are processed to some degree - the cameras look to be setup for ultrafast (which makes sense, its trying to capture an explosion), so you can see a lot of "low light" noise and artifacts.

Remember that if you're like me, 99%+ of fireballs that I've ever witnessed were also made up / post processed for maximum impact. Reality could just be more mundane.