skysight-inc/HackerNews huggingface dataset:
The message is "I believe science and Christianity have certain common values, and following Christianity inspires me to be a good/better scientist by following these values." The author is a Christian astrophysicist (she briefly mentions her background in the article) who finds a strong interplay between religion and science.

In her own words,

> The wonder I experience when studying the heavens synergizes with my faith, moving me to worship the Creator who made it all. For me, Christian faith is not some political ideology, but a daily choice to follow Jesus Christ. The God who hears my prayers and heals my soul is the same God who created the Universe.

In particular, the article talks about how certain Christian values (curiosity, belief in the comprehensibility of nature, humility, and service) are exactly in line with core parts of the scientific mindset. She inserts quotes from the Bible to justify the Christian part of this, and the science part is largely self evident.

Of course, (I would argue that) these four ideas are not uniquely Christian values. For every Bible quote I can find similar ideas in many other religions. And they seem like secular/humanist values anyway. But I at least accept that these values at least influence the author's own scientific motivations, given that she views herself as a Christian who follows these values.

Her arguments are a little too broad at times, and sometimes she overstates what she's arguing. For example, one topic heading says "Science has Christian roots" but I think the more accurate framing / faithful reading of her point would be that Christianity is not anti-science. So the article kind of starts to lose its punch because ultimately it's just arguing that her beliefs are non contradictory.
they are bringing it back to service since air travel demand grown, not so sure about production
Abundant Wireless Internet for Everyone
1.1 is even easier to type!
I thought Stephenson gauge was chosen because there were a lot more rail miles and rolling stock using that gauge than Brunel gauge.

In the end, it seems it's good enough. Both high speed trains as well as the heaviest freight trains ever work fine with standard gauge.
They have said, our bes guess is 5%, but the accuracy is limited by these factors, and we make very little promises that it is correct.

Besides, Musk has been complaining about bots for a long time, and has made it clear he doesn't believe the 5% number way before the acquisition. If the 5% number was a sticking point for him, he could have demanded due diligence. He did not demand that, thereby waiving his rights.
All words starting with the letter "n" and ending with "g", case insensitive
>> /^nw*g$/i

Yeah, seems like backslash got gobbled up in some sort of parsing before what gets displayed on the site. Should be `\w` here.

Regarding your other point, characters like `*` won't need escaping within character class. Not sure why only those particular set of characters are deemed "special characters" - why not `-`, `=`, parentheses, curly braces, etc?

Also, the site should specify which regex flavor is being generated, I'd guess JS.

All said, it is good to see tools to help with regex, as long as the solutions will be tested to make sure it fits their particular problem.
Last time I looked at Ruffle, you had to sideload the extension. Looks like they're in the Stores now!
Science done well demands a particular kind of skepticism. It's not unique to science, but it's very important to science.

It would be very hard to marry that kind of scientific scepticism with received wisdom from religion instantiated by the bible, or almost any documentary form faith book. Not that I doubt she is a Christian or a scientist, but that I suspect she is not a biblical literalist regarding either the old or new testament.

The existence of prior faiths being reasonably well documented, and the foundations of radio carbon dating living in the same science as astrophysics, it's very hard to avoid questions why as a Christian she'd invalidate these other beliefs, against her own. So again, I suspect a degree of ecumenicism in the widest sense is required.

Maybe different meaning has to be attached to belief applied to science, and religious belief. One is evidenced, the other is (with no offence intended) the antithesis of evidenced, It's demands are different: belief in God demands belief in the absence of evidence as well as in its presence. (Which it should be clear I would say is absent but opinions (and beliefs) differ on that)

I've known a few Buddhist computer scientists, and many Christian mathematicians. I haven't known many scientific Christians beyond the adherents of Christmas rituals, which many enjoy without much other belief required.

A protestation of religious faith in a scientist is a rare thing. It doesn't need to be confronted or denied, I just note it demands a peculiar (to me at least) segmentation of thinking.
For content creation, Linux is lost. No 10bit support, lack of professional tools like those from Adobe and overall philosophy "from nerds to nerds" is usually time consuming for regular users.
This is now going to a Delaware court, not the SEC. The filing here is just a notification to shareholders.
It plays a massive role for logistics. A compatible gage means you can transport a train by train. It’s quite common to even transport underground cars on tram networks if they exist to bring them closer to the destination. Sometimes tram networks are even completely connected to subway lines to allow trains to go on and off without lifting.
What happened when they ignore dthe order from the judge? Nothing?
What one executive wishes they could tell employees about return-to-office plans
How could they refuse after being compelled by a court ruling? Did they appeal / sue you back? Can't see how they could simply say... "no".
This is valid and something I'm trying to rectify. The information provided is from the label/company. The short term goal is have more detailed information coming for many products/companies. However companies are unsurprisingly reluctant to disclose manufacturing/sourcing information due to either quality concerns or competitor threats. Many companies however are quite transparent and will disclose sources of individual ingredients. I want to get to this level of detail so it is easily accessible to those who want it. I've reached out to many companies who generally do respond - will update the table as new info arrives.
Do they always have the option of settling at any point in the process? Like if Musk said "$20 billion penalty but I don't buy the company", I assume they'd say yes? (Or substitute a bigger number if not.)

So are they just negotiating at this point if Musk has a penalty number he's willing to pay?
Begin by stating your evidence for the claims you made. You are writing a story, not advancing an argument.
> it's the kind of thing that tends to be known by grizzled infrastructure veterans who had good mentors in their chequered past

And thanks right back at you.

I hadn't noticed before your comment that while not in the customary way (I'm brown skinned and was born into a working class family) I've got TONS of "privilege" in other areas. :D

My life would probably be quite different if I didn't have active Debian and Linux kernel developers just randomly be the older friends helping me in my metaphorical "first steps" with Linux.

Looking back 20+ years ago, I lucked into an absurdly higher than average "floor" when I started getting serious about "computery stuff". Thanks for that. That's some genuine "life perspective" gift you just gave me. I'm smiling. :) I guess it really is hard to see your own privilege.

> 8 hours of downtime is not an unreasonable price to pay for this lesson. The opportunity cost of learning it beforehand would have been high as well.

100% agree.

I'd even say the opportunity cost would have been much higher. Additionally, 8hrs of downtime is still a great "score", depending on the size of the HN organization. (bad 'score' if it's >100 people. amazing 'score' if it's 1-5 people.)
I'd assume it takes more than 5 minutes to bring up a complete copy of the HN database on a different platform.

Deploying source code is trivial these days. Large databases, not so much, unless you're already using something like RDS.
I have a DeepMind 12, and while “90% of a CS-80” seems pretty generous, it is as you say a fantastic synth. It does a hell of a lot, especially given its price point. Spending an hour or so to learn its mod shortcut UX makes it great for performances and sound sculpting. The huge range of built-in effects adds a lot of value (and saves space/cash on pedals).

I recommend it to anyone who’s interested in polyphonic analog synths. It has its limitations, but I’ve had mine for years and haven’t felt the need for get another (conventional) synth.

For anyone who wants to learn more, Loopop has a great review of it: https://youtu.be/So8B6HJ2chQ
Article says it was a mistake. Maybe post initial publication revision?
Not 100% related to the topic but as someone using self hosted gitlab daily performance is not its biggest issue but UX is. There are hundreds of small annoyances in the UI from minor details in merge request review interface to the fact that settings ui feels randomly organised. You really need to know where to look to find a setting. Gitlab is very feature rich and powerful but it feels that as it evolved, things in its UI were just glued together randomly.
I mean there's no point me joining a platform like twitter where I'm plainly not welcome. Musk might have changed that.
If you want immutable, use a blockchain.

Life is not immutable. There could be a claim about IP, malware, whatever.

Versions should be immutable, but possible to delete
Dive: A tool for exploring each layer in a Docker image
Only if you stop and then re-start the video clip. Otherwise, it's the same clip that started while illegal rendering the entire clip illegal. Or some such lawyerly BS to get the cops to be the victim.
Man those prices, Ill use other currencies to be more precise, but in Paris, the 1Gbps was 30 euros and now that I live in Hong Kong it's 250 HKD. Canadian prices could be explained by the increasing cost with lower density, but damn, high speed dedicated fiber is still a luxury in some place, we forget, us dense cities' people.

Competition is not the only thing, in France we have 4 highly regulated fiber providers who must compete or pay fines, but in HK it's way more shady and we choose building and flats to get the best ones (cable is shit, former public telco is expensive, new kid is fast and cheap). It's still nowhere near your prices: a shit cable is 98HKD and an expensive HK Telecom is 500...
Yes retrofitting is hard. However, "Generics", also known as parametric polymorphism is well understood and goes back to Milners ML from the 70s.
> what world people come from when they praise the performance of Java

i say this with fondness: python
Musk did not 'surface the issue'. He was complaining about bot numbers being higher than Twitter said looong before he ever signed the merger.

Musk does not have a right to due diligence. Just a right to 'information reasonably relevant to the business'. And he has no right to terminate the merger based on that information.
Yeah the types themselves are fairly impenetrable, but if you follow the tutorial it's not too hard to learn to actually use. I just did the tutorial and it made a lot of sense

In fairness, the same can be said of Rust's iterator types; they drive autocomplete and they surface errors when you do something wrong, but they're not really directly readable. This sort of thing is the reason `impl` types exist
Well sure. But what happens if your post contained some confidential data? It gets redacted
So the financiers do back out, then what? Twitter sues them for the full amount, and both parties end up settling for X% of the full amount?
> this is explicitly illegal in the USA

Oh my sweet summer child.

The Canadians learned this scam from us. Centurylink has been doing this for decades. They ran several WISPs out of business in Bellingham, WA.
I wonder why animation hasn't enabled more experimental cinematography unhampered by physical limitations. So many possibilities: Long takes are exponentially more difficult to film IRL with increasing duration, yet come at no extra cost when the actors and camera are untiring and deterministic. Ray tracing allows for arbitrary virtual lenses, from prohibitively expensive to physically impossible. I saw this video demonstrating a lens that can continuously vary from endocentric to telecentric to hypercentric, where several comments are along the lines of,

> Now I really want to see a scene in a horror movie, where in camera, using a MASSIVE one of these lenses, we get to see the killer is behind the person in shot, by adjusting the camera like this. Can you imagine how freaky it would be, at they seem to appear and then grow to loom over them, out of nowhere? (https://www.youtube.com/watch?v=iJ4yL6kaV1A&lc=UgwgTANmFg7oz...)

Since telecentric lenses must be as large as their subjects, that won't be happening in the foreseeable future. Yet even Blender can render a working ray-traced camera.[1]

So why don't we see these things in CGI? Even if most films stick to conventions, there should be some art films, right? Why isn't there a single one-take animated short?

Addendum: CGI also allows exposure times longer than the time between frames (i.e. shutter angles greater than 360°). So, 60fps can have the same motion blur as 24fps if desired, which those who very vocally condemn high-framerate animation seem to very much. I find it quite funny--shouldn't those most passionate about an art form be the most open to innovation?

[1] https://old.reddit.com/r/blender/comments/gnea32/made_my_tlr...
We could still all dial phone numbers by hand... now 10 digits instead of 7 in the US, now spread across all the area codes, instead of mostly local, but why?

If you dial wrong, you'll sometimes get an angry person wondering why you disturbed them, who now has your number, and surplus rage. That risk is too darned high for me to deal with, so I have about a handful of numbers I actually know.... Mom, Me, Wife, Home, Friend, and that's it. All the rest are written down in a few places, and never dialed by hand, ever.

On the other hand, I know how paper maps work, and can get anywhere in the US without relying on Google maps for real-time directions. (Though...really... traffic info is SO handy)

Thinking is expensive as is memorizing things, so if there's no benefit, we won't do it. Noticing that things have changed since you were a kid, can be shocking, but it's not a sign of permanent decline.
> This is absolutely astonishing.

It's quite astonishing by any reasonable standard, but this is Rogers we're talking about, so pretty much par for the course.
This effect can be prevented by gradually letting off the brake before reapplying it fully upon stopping, but few drivers and rapid transit systems are aware.

This is surprising to read. Everyone whose car I've ridden in knows to do that, and it's only in extremely urgent and unexpected stops where it's neglected. Also, when fully stopped, only minimal pressure should be necessary to keep the car still.
Can’t hate on generics, so we need to find something else.

Go takes away type system fidget spinners and leave devs with nothing to do but the actual job, which they hate, and thus they hate Go.
I saw a shirt the other day that said there’s no place like G28 0 0 0. I think for now that wins my nerdshirt championship (I still like my “velociraptor = distraptor / timeraptor” short though, even if it fails dimensional analysis. =)
> my guess is that the great languages Academia cook-up scale poorly on code bases which receive tens of updates per day

Why would they? Many are designed meticulously to address the issues industry has. I've worked on a multi-million line Haskell code base in a financial institution and it scaled better than e.g. C++ or Python. In 30 years time, I'm sure the industry will be extolling the virtues of algebraic data types, purity, immutability and referential transparency.
"the government doesn't have enough money" because politicians liberally help themselves to public funds, that's why

And you can be sure that it's the friends of the government that does the most egregious import tax dodges
For more information:

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

~88 GB w/ images, English. 47 GB w/o.

There are also Wikipedia apps which opportunistically download pages. You'll have access to what you've previously read offline, but will require connectivity to read more.
Any content creator or pro artist working on linux here?
You have provided no evidence.
> Regarding your other point, characters like `*` won't need escaping within character class.

Really? Huh. I've been escaping them anyway, and I think I'll continue to do so just to avoid ambiguity when reading patterns.

I was about to end this post with "an extra backslash never hurt anybody" but then I realized that this is HN and writing that would surely prompt someone to reply with some bizarre case where an extra backslash caused a cascade of failures which cost a company fifteen million dollars and/or killed 43 people.
Shinzo Abe's Death Celebrated in China: 'Open Champagne!'

https://www.newsweek.com/shinzo-abes-death-celebrated-china-...
It could if your $200 billion valuation is based on the stock of over-valued companies which you used to over-leverage-borrow, and you need every free penny to continue paying back debt and keep that stock price high.
It’s hilarious that LA is building out a ton of track but they put all the stations in highway medians, guaranteeing that it will never be a useful mode of transportation ever.
The judge ruled that the payment had to be made immediately; they could sue back, but they would have to pay first. In their words, it was a “BS ruling”, and they simply didn’t pay.

I’ll tell you that I didn’t know you could just say “no”, but they did. My lawyers were at the point that they would send a (legally backed) letter to all their customers, that their payments should be redirected to some court. It would have caused a massive hellfire, though.

I had the choice of going through with all this, but the outcome would still be uncertain, legal fees would increase, and take a long time regardless. It was a fully bootstrapped business, I was relatively young and in debt, and I decided to renegotiate.

In the end I got the money I needed to pay off my debts, legal fees + then some, a huge learning experience, and took a 1 year sabbatical. I just wanted this whole thing to be over.
So you want to rejoin twitter, and the best way to make that a possibility is to concentrate more power around the richest person in the world?
I'm probably going to convert my compiler project to Rust just so I can use Chumsky and Ariadne. The error feedback and recovery is so much better than anything I could have written by hand
There's a Wikipedia article, though it's still sparse. It should have post mortem information once that's official.

https://en.wikipedia.org/wiki/July_2022_Rogers_Communication...
From wikipedia:
Stephenson's gauge was chosen on the grounds that existing lines of this gauge were eight times longer than those of the rival 7 ft or 2,134 mm (later 7 ft 1⁄4 in or 2,140 mm) gauge adopted principally by the Great Western Railway
So it's like waiving contingencies on a house, then trying to back out because it has electrical problems?
Haha, you are right to be skeptical. For example, `GNU grep` doesn't treat backslash as special within character class. You need to place metacharacters like `-`, `^`, `]`, etc in particular spots to match them literally.
Facebook would be winning big time.
You can't "capture the real world as faithfully as possible" in the same way that there is no map projection that "portrays the globe as faithfully as possible".

It's the impedance mismatch between the real world - which is incredibly complex and messy - and a snapshot of that encoded as a JPEG.
Malibu theme for VS Code available on OpenVSX Registry
What web technologies? Surely you don’t mean Dart?
Shinzo Abe's Death Celebrated in China: 'Open Champagne '
IMHO tesseract is still the gold standard os. Important to specify language.

To bad google abandoned it kind of.

Abbyy finereader is still the best ocr out there. Alas not open. (And Russian)
TIL what the "next" link does. Thanks!
OpenVMS v9.2 for x86 Scheduled for July 14, 2022
Last time I checked, nearly every database worth using on a busy site supported some sort of real-time replication and/or live migration.

If that doesn't work, there's always the backup plan: say the magic words "scheduled maintenance", service $database stop, rsync it over, and bring it back up. The sky will not fall if HN goes down for another couple of hours, especially if it's scheduled ahead. :)
It's not about being scared so much as it is about professionalism.

Accusing someone of lying is in effect an accusation of bad faith. An accusation of bad faith is a serious matter, and if you play too freely with it, then you're engaging in bad faith yourself. [1]

The concept of misrepresentation is in a grey area that may or may not have a component of bad faith (see for example the concept of "fraudulent concealment" in courts of equity,[2] the test for which includes a finding of misrepresentation, and note that "fraud" in equity is, confusingly, not at all the same concept as common law fraud), so it's a much more intelligent accusation to make in court unless you have highly probative evidence. [3]

[1] Clean hands doctrine: https://en.wikipedia.org/wiki/Clean_hands

[2] Equity: https://en.wikipedia.org/wiki/Equity_(law)

[3] IANAL
I’m curious if Twitter will kick Elon Musk off the network.
Saying that you can be a Christian and a scientist is correct, but the definition of a Christian here according to the author entails: humility, curiosity, service and the commitment to the idea that nature is comprehensible.

Not only is any of that not uniquely Christian, it's not even particular to religious faith. Neither does the author make a compelling case merely by listing prominent Christian scientists. There's not a lot of force to an argument that points out that by some modest definition of faith and science both aren't literally contradictory.

At that point faith has shifted from something that reveals transcendent truth to something that people just keep around for psychological reasons. A lot of scientists stick to some sort of natural theology, but it often mostly is a cultural sentiment. You could take the theology out, and nothing would change.
Has anyone experimented with putting the priciest option first?

I once read that eg furniture shops put the most expensive items at the entrance to the shop thereby making the rest seem affordable.
I always imagined having a tool like this! Really psyched to have something to play with!
That's from a decade ago!! You must have some super secret admin search because the Algolia HN search barfs on the phrase for some reason.
mailcow-dockerized. it's the best.
Just a Normal Bike Math: 0.5 х 2 = 1 Wheel [video]
One of the main change is that yhe max 10 required the design of a new telescopic landing gear so that it fits in the 737 fuselage.
https://simpleflying.com/boeing-737-max-10-extending-landing...
I’m having trouble imagining a scenario where this is not the case.
The creator of Chumsky is also quite a big proponent of getting generic associated types stabilized in Rust [0], interestingly enough. They have several comments talking about how GATs were very helpful for Chumsky to model their parsing and combinators.

[0] https://github.com/rust-lang/rust/pull/96709
> FCC Enforcement Bureau notifies all U.S.-based telecommunications providers they may block auto warranty robocalls originating from a robocalling enterprise led by Roy Cox, Jr., Aaron Michael Jones, their individual associates, and associated entities

may block. That sounds pretty weak to me. Is there some reason telcos couldn’t block them before?