Skip Navigation

Search

好連 NiceLink @nicelink.me wiwi @nicelink.me

Guide to Lock Picking(開鎖指南)

也有 HTML 網頁版:https://www.lysator.liu.se/mit-guide/mit-guide.html

0
好連 NiceLink @nicelink.me yuchin1189 @nicelink.me

Christopher Johnson's ASCII Art Collection

ASCII Art 是一種用純文字以及排版來「作畫」的藝術形式,這個網站有非常豐富以及分門別類的各種 ASCII art。大家若想要用「不是圖檔的圖像」幫自己的終端機或是網站增加個性化風格,可以參考裡面的作品,在尊重原作者和作品完整性的前提下分享或使用(詳細請閱讀網站內的FAQ)。

0
好連 NiceLink @nicelink.me wiwi @nicelink.me

The Whimsical Web(異想天開的網站目錄)

whimsical.club The Whimsical Web

A curated list of sites with an extra bit of fun.

The Whimsical Web
0
好連 NiceLink @nicelink.me mehve @nicelink.me

Notation Must Die: The Battle For How We Read Music (記譜法的百年論戰)

這裡大概不少人有追蹤 Tantacrul,MuseScore 與 Audacity 的設計目前就是由他負責

0
好連 NiceLink @nicelink.me wiwi @nicelink.me

NewPipe - a free YouTube client(Android 上的自由的 YouTube 播放器)

0
好連 NiceLink @nicelink.me wiwi @nicelink.me

fadblock: Friendly Adblock for YouTube: A fast, lightweight, and undetectable YouTube Ads Blocker(友善的 YouTube 擋廣告程式)

github.com GitHub - 0x48piraj/fadblock: Friendly Adblock for YouTube: A fast, lightweight, and undetectable YouTube Ads Blocker for Chrome, Opera and Firefox.

Friendly Adblock for YouTube: A fast, lightweight, and undetectable YouTube Ads Blocker for Chrome, Opera and Firefox. - GitHub - 0x48piraj/fadblock: Friendly Adblock for YouTube: A fast, lightweig...

GitHub - 0x48piraj/fadblock: Friendly Adblock for YouTube: A fast, lightweight, and undetectable YouTube Ads Blocker for Chrome, Opera and Firefox.
0
好連 NiceLink @nicelink.me mehve @nicelink.me

數學家陶哲軒用程式輔助證明除錯

mathstodon.xyz Terence Tao (@[email protected])

Attached: 1 image As a consequence of my #Lean4 formalization project I have found a small (but non-trivial) bug in my paper! While in the course of formalizing the arguments in page 6 of https://arxiv.org/pdf/2310.05328.pdf , I discovered that the expression \( \frac{1}{2} \log \frac{n-1}{n-k-1}...

Terence Tao (@tao@mathstodon.xyz)

數學家陶哲軒把自己已經寫好的證明轉換成輔助證明的程式語言 Lean,在過程中抓到一個原本證明不慎忽略的例外。 有時候忍不住覺得,可怕的不是新技術會怎麼取代自己,而是在頂尖人物如陶哲軒+新技術的組合下,自己這種食物鏈底層該何去何從 😱

0
好連 NiceLink @nicelink.me zeko @nicelink.me

The End of LBRY Inc.

odysee.com The End of LBRY Inc.

View The End of LBRY Inc. on Odysee

The End of LBRY Inc.

LBRY Inc. 因為在與 SEC 的官司中敗訴,公司遭到強制解散了。LBRY network 與 Odyssey 在技術上並不會受到直接影響,但難以預期 LBRY network 在失去核心開發團隊後,在未來還能否持續下去。

0
好連 NiceLink @nicelink.me ChrisTorng @nicelink.me

未來的 DAW 會是怎麼樣?

djmag.com What is the future of the DAW?

As emerging technology has left the DAW at a crossroads, Declan McGlynn asks: what is the future of music-making software?

What is the future of the DAW?

提到近期 AI 對 DAW 未來的發展可能性,還提到一些新的 AI 音樂工具。

0
好連 NiceLink @nicelink.me mehve @nicelink.me

OpenStreetMap is Having a Moment(OSM 太潮了)

在好檸檬的 Q&A 聽到 WiWi 討論用 OSM 取代 Google Maps 的可行性。不過現在 Meta, Apple, Amazon, Microsoft 等大公司都靠 OSM 來維持不少服務的運作,同時也高度參與 OSM 的更新。在企業有高度參與編輯的地區,個人編輯已經從 2017 的 70% 左右跌到 2019 的 25% 以下。

所以用 OSM 雖然不像 Google Maps 會讓自己貢獻的資料變成 Alphabet 所有,但無可避免地還是會讓資料變成科技大廠的生財工具,同時每個使用者也還是一定程度依賴科技大廠提供的資料。目前雖然沒什麼好的替代選項 (我也愛 OSM),但還是要意識到即使用 OSM,我們與科技大廠的彼此依賴還是不小

0