On this page
2023-09-18
Catala เป็นภาษาเฉพาะโดเมนใหม่ที่สามารถสร้างอัลกอริทึมจากเอกสารทางกฎหมายเพื่อให้มั่นใจถึงความเที่ยงตรงสูงระหว่างรหัสและกฎหมาย
ภาษาถูกสร้างขึ้นเพื่อสะท้อนโครงสร้างเชิงตรรกะของกฎหมายทําให้สามารถเข้าถึงได้สําหรับการตรวจสอบและรับรองโดยผู้เชี่ยวชาญด้านกฎหมาย มันยังมีคอมไพเลอร์ที่สร้างไฟล์ PDF ที่อ่านได้โดยทนายความ
ตั้งชื่อตาม Pierre Catala ผู้บุกเบิกด้านกฎหมายของฝรั่ง เศสโครงการ Catala เป็นโครงการริเริ่มการวิจัยที่นําโดย Inria สถาบันวิจัยวิทยาศาสตร์คอมพิวเตอร์แห่งชาติของฝรั่งเศส อย่างไรก็ตาม คอมไพเลอร์ยังคงไม่เสถียรและมีคุณลักษณะจํากัด
การสนทนามุ่งเน้นไปที่การใช้ภาษาคาตาลาซึ่งเป็นภาษาโปรแกรมในการระบุกฎหมายและเอกสารทางกฎหมายโดยเน้นที่ประโยชน์ข้อเสียและความท้าทายที่อาจเกิดขึ้นในการแปลภาษาอังกฤษเป็นระบบตรรกะที่เป็นทางการ
มีการถกเถียงกันเกี่ยวกับการใช้รหัสเป็นตัวควบคุมความซับซ้อนของรหัสทางกฎหมายการใช้สัญลักษณ์การเข้ารหัสในข้อตกลงทางกฎหมายและแนวคิดของการเข้ารหัสเจตนาลงในกฎหมายโดยใช้ภาษาโปรแกรม
ผู้เข้าร่วมอภิปราย แนวคิดในการเขียนข้อความทางกฎหมายที่ชัดเจนบทบาทของภาษาเฉพาะโดเมนสําหรับสัญญาทางกฎหมายการเปรียบเทียบการพัฒนาซอฟต์แวร์กับระบบกฎหมายและความกังวลเกี่ยวกับการเลือกชื่อสําหรับภาษาโปรแกรมดังกล่าว
Petals เป็นแพลตฟอร์มที่ช่วยให้ผู้ใช้สามารถใช้งานโมเดลภาษาขนาดใหญ่เช่น Llama 2, Falcon และ BLOOM บนอุปกรณ์ของตนโดยใช้ GPU ระดับผู้บริโภคหรือ Google Colab
แพลตฟอร์มนี้ช่วยให้ผู้ใช้สามารถเข้าร่วมเครือข่ายเพื่อให้บริการส่วนต่างๆของโมเดลและปรับโมเดลสําหรับงานที่หลากหลายโดยให้ทั้ง API และตัวเลือกที่ยืดหยุ่นด้วย PyTorch และ Hugging Face Transformers
โครงการของ Petals ได้รับการเน้นในการประชุมเชิงปฏิบัติการการวิจัย BigScience ซึ่งบ่งชี้ถึงการมีส่วนร่วมที่สําคัญในด้านการพัฒนาแบบจําลองภาษา
บทความนี้ตรวจสอบศักยภาพของการเรียกใช้โมเดลภาษาขนาดใหญ่ (LLMs) ที่บ้านโดยใช้วิธีการสไตล์ BitTorrent โดยการรวมทรัพยากรการคํานวณการสร้างแบบจําลองอนุพันธ์และการใช้พารามิเตอร์ที่มีประสิทธิภาพการปรับแต่งและวิธีการ LoRA
มีการหารือเกี่ยวกับความยากลําบากและค่าใช้จ่ายที่เกี่ยวข้องกับการฝึกอบรมรุ่นใหญ่พร้อมวิธีแก้ปัญหาที่เป็นไปได้เช่นการระบายความร้อนด้วยน้ําและการปรับเปลี่ยนการ์ดเซิร์ฟเวอร์รุ่นเก่า แนวคิดเช่นการประมวลผลแบบกระจาย อํานาจและรูปแบบการปรับแต่งอย่างละเอียดก็ได้รับการแก้ไขเช่นกัน
มีการกล่าวถึง Petals ซึ่งเป็นบริการสําหรับใช้งาน LLM บนอุปกรณ์ระดับล่างโดยมีบทวิจารณ์ที่หลากหลายในหมู่ผู้เข้าร่วม ชิ้นส่วนนี้คาดเดาเกี่ยวกับการใช้โทเค็นและการประมวลผลแบบกระจายอํานาจเพื่อรองรับ LLM แบบโอเพนซอร์สในอนาคต
ทวีตดังกล่าวระบุถึงแผนการของแต่ละบุคคลที่จะมีส่วนร่วมในกิจกรรมที่ขาดความรับผิดชอบและบันทึกความเสียหายที่ตามมาที่พวกเขาก่อขึ้น
Brian Bucklew กําลังเปลี่ยนเกม Caves of Qud จาก Unity เป็น Godot ซึ่งเป็นการเคลื่อนไหวที่ได้รับการตอบรับอย่างดีเนื่องจากลักษณะที่ใช้งานง่ายของ Godot และประโยชน์ในการพัฒนาเครื่องมือและการใช้กราฟิก 2 มิติ
แม้ว่า Godot จะไม่มีระบบนิเวศร้านค้าและตลาดที่คล้ายกับ Unity แต่ก็มีความพยายามในการแก้ไขปัญหานี้
ผู้เขียนเน้นถึงความท้าทายในการใช้ Scalable Vector Graphics (SVG) ในเอ็นจิ้นเกมและแนะนําการจ้างงานของไลบรารีการแสดงผลเป็นวิธีแก้ปัญหา