skip to main
|
skip to sidebar
行有餘力 則以學文
我們選擇在這十年內登陸月球並完成其他的事,不是因為他們很簡單,而是因為他們很艱難。~~約翰·甘迺迪
2021年3月1日 星期一
emacs org mode 中以 babel 撰寫 haskell 函數並執行的方法
參考
這篇文章
,簡言之就是將函數定義包在
:{
…
:}
之間。
以八皇后問題為例,求解非常之快:
沒有留言:
張貼留言
較新的文章
較舊的文章
首頁
訂閱:
張貼留言 (Atom)
常用資訊速查
emacs初心者必看
emacs中bookmark plus (bookmark+)的使用
搜尋此網誌
熱門文章
nodejs 在 windows 平台的套件安裝問題--Windows users are not happy. #629
https://github.com/nodejs/node-gyp/issues/629#issuecomment-151018292 我也不高興了,喵的~ 原因 https://github.com/nodejs/node-gyp/issues/629#iss...
AI最前線:Fable 5復歸、意識機制揭示與全球治理新局
本次訪談涵蓋了近期AI領域多項重大發展,主持人Peter D. Mandis與資深專家Alex、Dave等人深入討論如下主題: Fable 5與AI前沿模型的重啟與監管 Anthropic的Fable 5模型於7月1日全球恢復服務,但附帶多項美國政府的安全監控條件。包括專門...
ChatGPT 5.6 對決 Fable 5:全面評測與最佳 AI 開發工作流程介紹
本次影片完整介紹了 ChatGPT 5.6 最新版本的特點與改進,並與目前市面上強大的 AI 編程助手 Fable 5 進行深度比較,最終為大家揭曉誰才是目前最佳的 AI 編程模型。 聊天機器人 ChatGPT 5.6 包含三種模型:Luna(輕量)、Terra(中等)、So...
A Universal Law of Robustness via Isoperimetry 深度解析
在近年深度學習領域中,「過度參數化(overparameterization)」成為了理論與實務上的重要現象與挑戰。傳統經典學理認為,一個參數化模型若想精確擬合(interpolate)訓練資料,參數數量只需大於方程式數量即可。然而,深度網路在實際運作時,參數遠超過訓練資料數量...
AI未來的恐怖秘密與人類命運 — 來自前OpenAI預測專家的深度訪談總結
AI未來的恐怖秘密與人類命運 — 來自前OpenAI預測專家的深度訪談總結 本次訪談聚焦於AI產業內藏的公開恐怖秘密:有70%的機率,AI發展將導致極端風險,甚至可能引發人類滅絕。受訪者Daniel Cocatello曾任職OpenAI,現帶領AI Futures Proje...
Learning Interactive Real-World Simulators
隨著生成模型(Generative Models)在文字、影像與影片內容創造上的突破,人工智慧在「被動」內容生成的能力已漸趨成熟,然而下一個具有深遠意義的里程碑,或許是在於研發能夠根據「主動互動行為」模擬真實世界體驗的系統。由此出發,ICLR 2024 會議中由 Yang 等人...
全球崩毀預言與地緣政治風暴解析:供應鏈、戰爭與未來趨勢
全球崩毀預言與地緣政治風暴解析 本次訪談中,教授深入剖析當前全球正面臨的文明崩潰危機,並結合歷史、全球供應鏈與地緣政治,預測未來二十年的重大衝突與發展。 核心議題與預測重點: 文明崩潰: 教授認為,我們正處於文明頂峰後的衰退期,原因是全球化與專業化兩大基礎遭受戰爭與政治...
標題:AI研發酵素成功逆轉老化75歲皮膚,延緩衰老領域迎突破
本影片介紹了Reval Pharmaceuticals利用人工智慧設計的一種新型酵素,成功在體外逆轉了75歲老化的皮膚組織,使其功能上回復到約30歲皮膚的狀態,這一消息一經發表即引起廣泛討論。 主持人提及著名長壽科學家Matt Kaeberlein的觀點,他曾指出衰老尚未被...
從宇宙到外星生命:與尼爾·德葛拉斯·泰森的深度對話
本次訪談涵蓋了多個關於宇宙、外星生命、宗教信仰、黑洞、太空探索與人類存在意義的熱門話題,帶來深刻且引人入勝的科學與哲學思辨。 外星文明是否存在? 尼爾·德葛拉斯·泰森指出,基於宇宙的巨大規模和生命在地球上的迅速出現,認為外星生命甚至智能生命存在的可能性相當高。他提到已有告密...
標題:珠迪亞·佩爾:因果推理與人工智慧的科學探索
本次訪談邀請了圖靈獎得主珠迪亞·佩爾(Judea Pearl),他以對人工智慧及因果推理的卓越貢獻聞名。佩爾回顧了自己從物理和電機工程背景跨足AI領域的經歷,並深入闡述了他對AI、因果關係及人類智識的看法。 佩爾強調他獨特的教育經歷對其科學思維方式的影響:老師採用人文視角講...
網誌存檔
►
2026
(1272)
►
10月
(5)
►
9月
(5)
►
8月
(2)
►
7月
(14)
►
6月
(321)
►
5月
(365)
►
4月
(360)
►
3月
(126)
►
2月
(22)
►
1月
(52)
►
2025
(194)
►
12月
(13)
►
11月
(12)
►
10月
(4)
►
9月
(15)
►
8月
(76)
►
7月
(32)
►
6月
(24)
►
5月
(12)
►
4月
(2)
►
3月
(1)
►
2月
(1)
►
1月
(2)
►
2024
(24)
►
12月
(3)
►
11月
(1)
►
10月
(1)
►
9月
(4)
►
8月
(2)
►
7月
(2)
►
6月
(1)
►
5月
(3)
►
4月
(3)
►
3月
(2)
►
2月
(1)
►
1月
(1)
►
2023
(5)
►
9月
(1)
►
7月
(1)
►
6月
(1)
►
4月
(1)
►
3月
(1)
►
2022
(31)
►
12月
(3)
►
11月
(3)
►
9月
(4)
►
8月
(1)
►
7月
(2)
►
6月
(1)
►
5月
(1)
►
4月
(5)
►
3月
(8)
►
2月
(2)
►
1月
(1)
▼
2021
(14)
►
12月
(1)
►
11月
(1)
►
10月
(1)
►
9月
(1)
►
8月
(2)
►
7月
(1)
►
6月
(1)
►
5月
(1)
►
4月
(1)
▼
3月
(2)
You don't understand quantum mechanics--單光子/電子雙狹縫實驗
emacs org mode 中以 babel 撰寫 haskell 函數並執行的方法
►
2月
(1)
►
1月
(1)
►
2020
(17)
►
12月
(2)
►
10月
(1)
►
9月
(2)
►
8月
(2)
►
7月
(1)
►
6月
(1)
►
5月
(1)
►
4月
(2)
►
3月
(3)
►
2月
(1)
►
1月
(1)
►
2019
(37)
►
12月
(8)
►
11月
(2)
►
10月
(5)
►
9月
(3)
►
8月
(4)
►
7月
(5)
►
6月
(2)
►
5月
(1)
►
4月
(2)
►
3月
(1)
►
2月
(1)
►
1月
(3)
►
2018
(25)
►
12月
(1)
►
11月
(2)
►
10月
(2)
►
9月
(2)
►
8月
(4)
►
7月
(3)
►
5月
(1)
►
4月
(3)
►
3月
(2)
►
2月
(5)
►
2017
(32)
►
11月
(1)
►
10月
(1)
►
9月
(1)
►
8月
(8)
►
6月
(2)
►
5月
(1)
►
3月
(2)
►
2月
(12)
►
1月
(4)
►
2016
(50)
►
12月
(9)
►
11月
(1)
►
10月
(1)
►
9月
(3)
►
8月
(1)
►
7月
(1)
►
6月
(3)
►
4月
(1)
►
3月
(2)
►
2月
(18)
►
1月
(10)
►
2015
(63)
►
12月
(1)
►
10月
(1)
►
9月
(2)
►
8月
(13)
►
7月
(12)
►
6月
(4)
►
4月
(11)
►
3月
(4)
►
2月
(4)
►
1月
(11)
►
2014
(71)
►
12月
(2)
►
11月
(2)
►
10月
(7)
►
9月
(2)
►
8月
(20)
►
7月
(4)
►
6月
(8)
►
5月
(8)
►
4月
(7)
►
3月
(8)
►
2月
(2)
►
1月
(1)
►
2013
(88)
►
12月
(4)
►
11月
(2)
►
9月
(3)
►
8月
(9)
►
7月
(2)
►
6月
(3)
►
5月
(10)
►
4月
(9)
►
3月
(7)
►
2月
(28)
►
1月
(11)
►
2012
(36)
►
12月
(7)
►
11月
(3)
►
10月
(1)
►
9月
(18)
►
8月
(4)
►
7月
(2)
►
5月
(1)
►
2011
(7)
►
5月
(1)
►
4月
(1)
►
1月
(5)
►
2010
(24)
►
12月
(9)
►
11月
(1)
►
10月
(1)
►
9月
(1)
►
8月
(1)
►
7月
(3)
►
6月
(1)
►
5月
(2)
►
4月
(2)
►
3月
(1)
►
2月
(1)
►
1月
(1)
►
2009
(121)
►
12月
(1)
►
10月
(5)
►
9月
(10)
►
8月
(4)
►
7月
(2)
►
6月
(13)
►
5月
(11)
►
4月
(4)
►
3月
(9)
►
2月
(16)
►
1月
(46)
沒有留言:
張貼留言