Tag: news

在 Hacker News 上看到選擇公理

沒想到會在 Hacker News 的首頁上看到這麼硬核的主題，選擇公理 (Axiom of choice，通常縮寫成 AC)：「What is the Axiom of Choice?」，對應的討論在「What is the Axiom of Choice? (jaydaigle.net)」。

出自「xkcd: Set Theory」

應該是大一教集合論的時候學到的，算是一個非常重要的公設，雖然的確有些數學系統是可以假定 AC 不成立，但用起來會不太好用，主要是因為「對於集合 S，取出任意一個元素」這類用法太常出現，在沒有 AC 的情況下這件事情就不一定能操作了...

我們目前常用的數學一般是建立在 Zermelo-Fraenkel Set Theory (ZF) 這個公理系統加上 AC，簡寫變成 ZFC。而 AC 在集合論常常會被拿出來說明，主要還是因為在歷史上花了不少力氣才證明 ZF 與 AC 的相對協調性 (ZF 與 AC 不衝突)，以及 ZF 與 AC 獨立性 (ZF 無法推導出 AC)。

有了 AC 後就會再解釋連續統假設 (Continuum hypothesis，簡稱 CH)，也就是 \mathbb{N} 與 2^{\mathbb{N}} 之間存不存在一個集合 S 使得 |\mathbb{N}| < |S| < |2^{\mathbb{N}}|。

然後再打臉一次，說明 ZFC 與 CH 的協調性 (ZFC 與 CH 不衝突)，與獨立性 (ZFC 無法推導出 CH)。

當時學的時候的確是很頭痛，不過現在回頭看倒是覺得很有趣：在數學上你可以證明「某個敘述無法被證明」，這點應該是以前沒想過的...

InterNetNews (INN) 在測試 Git

在 mailing list 上看到「Test Git repository for INN」這個消息，看起來 InterNetNews 也在嘗試換到 Git 上了，目前是選擇用 GitHub，在「InterNetNews/inn」這邊。

整個從 CVS 換到 Subversion 再到現在開始進入 Git 的環境了。

沒有全部自己搞的理由也有提到，主要就是免費與方便，然後社群也已經知道 GitHub 是什麼了：

GitHub was chosen because it's (a) free (as in price), (b) widely understood and used already, and (c) easy for me to set up. I know some folks have reservations about GitHub because it's not free software, and I understand, but I don't think we're committing heavily to their platform (everyone who has a clone of the Git repository has all the important data and can move it elsewhere), and other things like GitLab are only open core anyway. Hosting everything on 100% free software (depending on the choice of free software) loses us some useful features (I plan to set up GitHub Actions for CI) and requires more resources that I don't really have to spend on it. That said, everyone is certainly welcome to mirror the Git repository elsewhere if they want.

之後會跑 CI，算是這些年軟體工程必備的工具了...

架了一台 News Server

前陣子跟朋友聊天的時候，才想到好像沒有公開提這件事情...

學術網路上的 news server 似乎都掛差不多了，就花了一些時間用 INN 架了一台 news server，然後找了兩個 peering 對接，給自己的 BBS 站台用：「newsfeed.hasname.com」。

一般目前比較常用的是 news.aioe.org，不過有限制每天最多只能發 40 則：

In order to avoid mass abuses, every IP address is authorized to post no more than 40 messages per day.

有架設 BBS 站又想要弄轉信的朋友可以來戳一下，需要有固定 IP address 就是了。

路透社的 RSS feed

翻資料才發現路透社的 feed 已經不見了，大概是去年 2020 年六月的事情：「Returning the "killed" RSS of Reuters from the dead」。

不過文章裡面提到的替代方案還蠻有趣的，Google News 上可以透過 filter 條件輸出：

https://news.google.com/rss/search?q=when:24h+allinurl:reuters.com&ceid=US:en&hl=en-US&gl=US

不過測了一下台灣自家的新聞媒體網址，看起來不會動... 把網站改成 news.google.com.tw 也不行，如果沒有提供的還是得自己寫...

美國媒體的偏好 (味道)

找資料的時候發現維基百科上面有一個條目是在說明美國媒體的偏好：「Media bias in the United States」，不過上面講的還是比較描述性，另外找了其他的研究來翻。

首先是在「"Fake News," Lies and Propaganda: How to Sort Fact from Fiction」這邊翻到的資料，是出自於「Ideological Placement of Each Source’s Audience」這邊，這是 2014 年的分析：

接著是翻到「News Literacy: News Views & Fact Checking Resources: Media Bias」這篇，出自「Media Bias Chart 4.0: Downloadable Image and Standard License」，這是 2018 年的分析：

再來是「Detecting Bias」，出自「Media Bias Ratings」，這是 2019 年的分析，原網站目前則是更新到 2021 年了：

透過這些資料可以很粗糙的抓一下這些媒體的 Political spectrum，在讀新聞的時候會更清晰一點。

五家公司提出 Form S-1：Asana、Unity、Snowflake、sumo logic、JFrog

在 Hacker News 上看到五家公司都準備要上市而丟出 Form S-1 的情況頗熱鬧的，申請文件可以在「ASANA, INC. (d855753ds1.htm)」、「UNITY SOFTWARE INC. (d908875ds1.htm)」、「Snowflake Inc. (snowflakes-1.htm)」、「Sumo Logic, Inc. (d821436ds1.htm)」與「JFrog Ltd. (d841831ds1.htm)」這邊翻到。

當然很多人都有類似的疑問，就是為什麼大家突然都急著要 IPO，在「Ask HN: There are 5 S-1 posts on the front page, what explains the rush?」這邊有些討論，而且也提到了一些有趣的現象，像是這五家公司到目前都是虧錢的，不過這已經是這幾年的常態了，倒是沒什麼需要大驚小怪的：

Asana lost 120m last year
Snowflake lost 350m last year
Unity lost 160m last year
Sumo Logic lost 43m last year
Jfrog lost 400k last year

Out of curiosity, is it normal for companies to IPO this far away from profitability, or is this a recent tech thing? I feel like it was a big deal when uber IPO'd so far away from profitability, now it seems standard.

有人猜測跟美國選舉有關，不過也就只有帶出來猜測...

用事實查核中心的 RSS feed 加上 IFTTT 自動通知到 Line/Telegram/... 內

事實查核中心的澄清內容其實很有趣，可以看到有哪些假消息在流傳，所以想找找看有沒有比較簡單的方法可以設通知...

事實查核中心的官網用的是 netiCRM 這個平台 (看起來底層是 Drupal)，而在 HTML 頁面的開頭可以看到 RSS 1.0 的 xmlns 宣告：

  xmlns:content="http://purl.org/rss/1.0/modules/content/"

本來想說直接用 feed 接到 IFTTT 就好了，不過 HTML 頁面上沒有放 feed entry 讓閱讀器可以直接找到 feed 本身，也就是像這樣的標籤資訊：

<link rel="alternate" type="application/rss+xml" title="Gea-Suan Lin&#039;s BLOG &raquo; Feed" href="https://blog.gslin.org/feed/" />
<link rel="alternate" type="application/rss+xml" title="Gea-Suan Lin&#039;s BLOG &raquo; Comments Feed" href="https://blog.gslin.org/comments/feed/" />

找了一下 Drupal 的設定慣例，發現 feed 可能會放在 /rss.xml 這個位置，測了一下發現順利在 https://tfc-taiwan.org.tw/rss.xml 這邊看到 feed，接下來就可以加進 IFTTT 了：

給有興趣想要用 feed 做些事情的人參考看看，像是加到 Line 或是 Telegram 的群組裡面，或是放到 Slack channel 裡面 (Slack 裡應該可以直接在某個 channel 裡用 /feed add https://tfc-taiwan.org.tw/rss.xml 把這個 feed 加進去)。

在 Unix 環境裡各種奇怪名稱的原因說明

在 Hacker News Daily 上看到的，Debian 的 Wiki 上有一頁整理了很多「比較特別的」軟體或是指令的名稱由來：「WhyTheName」。

像是 Git：

git
(distributed VCS) semi-arbitrary short word

不過這邊不像維基百科會要求「可供查證」，裡面大多都沒有引用來源，真的要引用前最好還是去其他地方確認過...

透過 /etc/hosts 擋廣告與追蹤的軟體

在 Hacker News Daily 上看到 Maza ad blocking，這是一個擋廣告與追蹤的軟體，原理就是在 DNS 上檔掉某些網域。

運作方式跟 Pi-hole 接近，其中 Pi-hole 是提供一個 DNS server 擋，這套軟體則是透過 /etc/hosts 來擋。

目前只支援 macOS 與 Linux，不過這樣看起來使用的族群有點怪，因為在 desktop 上有更多手段可以擋，透過 DNS 類的擋法主要還是拿來對手機上無法無天的 app...

不過先關注一下好了，之後也許會在某些場合下用到？

用程式解數學邏輯問題...

在 Hacker News Daily 上看到的數學邏輯問題：「“Which answer in this list is the correct answer to this question?”」。

問題是這樣：

Which answer in this list is the correct answer to this question?

  • All of the below.
  • None of the below.
  • All of the above.
  • One of the above.
  • None of the above.
  • None of the above.

accepted 的那個是推演的答案，但最高分的那個是寫程式窮舉 XDDD (不得不說大家都很愛這味...)