1樓：Coconut
柯爾特自動步槍(Colt Automatic Rifle)
其實就是把一把M16A2改成全自動，開膛待擊順便換了個重槍管。
找到的記錄也僅有丹麥軍隊買過，命名為LSV M/04
（個人揣測這把槍應該表現不佳。它的導氣自動原理還是直接導氣式，用在輕機槍上可能會有比較嚴重的導氣管過熱問題。）
M27 IAR
四等人騙國會老爺騙來的使用重型槍管的HK416。
馬潤把這把槍當作是一種介於DMR和LMG之間的解決方案。（Infantry Automatic Rifle，步兵自動步槍）因為使用了重型浮置槍管，M27在800公尺距離上依然有相當高的精度。而使用60發四排彈匣或者100發彈鼓之後也可以在中近距離提供壓制火力。
（當然因為是閉膛待擊所以還是不能像機槍一樣突突突）
這把槍目前也只有馬潤裝備。馬潤內部評價還蠻好的，認為它質量輕（只有M249的一半左右）可靠，並且在一定程度上確實可以替代DMR和LMG。
MK12 SPR
一等人，三等人，四等人節（guo）約（hui）經（bu）費（gei）搞出來的DMR，為了裝逼叫SPR（Special Purpose Rifle，特殊用途步槍）
本質上也就是把M16A2/A4，換了機匣加了平頂導軌鏡子加了重槍管腳架。
（就這四等人還是少量裝備，慘.jpg）
基於 refinement 的 effect 系統就是形式化驗證領域的人工智慧嗎？
我不清楚怎麼用 refinement 做 effect，但 Koka 肯定是沒有用 refinement。Koka 的作者也搞了一套 Row polymorphism。他不需要 qualified type support，也沒有 MLPolyR 用的 Remy 那一套，而是搞了一套 scoped ...
AI的發展會衍生出什麼新的職業呢？
愛上魔本的機械人 從根本上來想這個事情，可能會有AI走向規劃師，還有熱愛AI的遊戲，AI電競遊戲，工業中AI工人，AI機械人的製作會涉及到零件生產商，學習AI的學校，培訓公司，AI嬰幼兒教輔基地之類的，更加智慧型化的職業吧 向左向右 分為兩個部分。第一種被代替的職業 重複勞動性這個很好理解，機器可以...
羅志祥的瓜衍生出來多少段子？
杯無 搬運自網路 本人正式宣告 本人黑眼圈純粹是熬夜歡樂鬥地主打出來的，與深夜運動無關，請大家放心交友 哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈 完完全全吃瓜群眾湊熱鬧啊 完全忘記了以前還是小豬路人粉 對不起！我現在就是樂於吃瓜的群眾！單純總結微博上的段子 不做個人評價 anyattt 未刪的手機，下...