作者 xcycl 在 PTT 全部看板的留言(推文), 共2071則

[閒聊] 新手適合入手甚麼車款

[ bicycle ]38 留言, 推噓總分: +19

作者: Gallon - 發表於 2025/11/30 11:41(3周前)

33^F推xcycl: 等一周騎一兩趟再說吧12/01 11:41

[其它] 注意某家賣杯子的器材代理商已刪文

[ Coffee ]6 留言, 推噓總分: +1

作者: penisgan - 發表於 2025/11/16 22:19(1月前)

5^F→xcycl: 但 Loveramics 咖啡展還是有出現，換代理了嗎？11/18 10:22

[其它] Costco星巴克冬季限定咖啡豆

[ Coffee ]7 留言, 推噓總分: +4

作者: zeqw - 發表於 2025/11/16 16:07(1月前)

5^F→xcycl: 嗯..... 明天還有咖啡展要不要去逛逛？11/16 20:51

[問題] 短車褲北台灣冬天夠用嗎？

[ bicycle ]60 留言, 推噓總分: +30

作者: loserfatotak - 發表於 2025/11/13 13:18(1月前)

10^F→xcycl: 長褲夏天也可以穿來防曬啊y11/13 16:15

19^F→xcycl: 當然是買夏季用的長褲...11/13 20:08

[問題] 請問二手車跟新車的選擇

[ bicycle ]58 留言, 推噓總分: +22

作者: globle5566 - 發表於 2025/11/12 08:09(1月前)

30^F推xcycl: 通勤買平把公路車吧，裝貨架帶包包，雨具什麼都方便11/12 19:10

31^F→xcycl: 公路車通勤捨不得裝後貨架或是擋泥板搞死自己11/12 19:10

Re: [其他] 確定性的失落？創造性的無限？(上)

[ Math ]18 留言, 推噓總分: 0

作者: Bugquan - 發表於 2025/11/07 09:47(1月前)

1^F→xcycl: 這邊有點太神話 Lean ，它並不具備「理解」的能力11/09 21:21

2^F→xcycl: 簡單說是數理邏輯（或型別論）的實作，能夠檢查證明11/09 21:22

3^F→xcycl: 的有效性。因為語言很底層，要把現代數學完整形式化11/09 21:24

4^F→xcycl: 而且要能夠以數學家可以理解的形式是還有一段路要走11/09 21:25

10^F→xcycl: 這兩個翻譯是普遍性的問題，就想像教科書所有的命題11/11 13:19

11^F→xcycl: 全部都只用數理邏輯的符號表達11/11 13:19

12^F→xcycl: 旁邊可以用自然語言的註解，但 Lean 只看符號的部分11/11 13:20

13^F→xcycl: 就跟寫程式一樣，預期的行為跟實際可能不一樣11/11 13:20

[情報] Pixapresso 台灣預購+折扣

[ Coffee ]12 留言, 推噓總分: +6

作者: kevin0125 - 發表於 2025/11/09 12:18(1月前)

1^F→xcycl: 官網等黑五也會有折扣11/09 13:35

3^F推xcycl: 到台灣免運；上次買壓力計 9/28 定 10/1 就到了11/09 14:38

[器材] 小飛馬600n升級

[ Coffee ]10 留言, 推噓總分: +4

作者: htuvwxy0425 - 發表於 2025/11/06 09:05(1月前)

9^F推xcycl: 名稱搞錯了，想的是 Flair classic 的版本11/09 11:45

10^F→xcycl: 不考慮攜帶性，要有支架壓力表跟防燙 Flair 會比 pico 好11/09 11:47

3^F→xcycl: 純義式 J-Ultra 吧11/06 11:32

4^F→xcycl: Picopresso 配件加上去也快一台 Flair 58 了11/06 11:33

[閒聊] 東北季風台北人騎哪裡？

[ bicycle ]16 留言, 推噓總分: +10

作者: loserfatotak - 發表於 2025/10/27 09:02(2月前)

11^F→xcycl: 騎訓練台啊10/27 14:30

Re: [討論] 運動不會瘦,控制飲食反而瘦下來

[ FITNESS ]3 留言, 推噓總分: +1

作者: xcycl - 發表於 2025/10/21 16:28(2月前)

3^F→xcycl: 間歇訓練大概一週一次，我就是週末長有氧加入爬山行程10/25 20:04

作者查詢 / xcycl