On this page
ศาลรัฐบาลกลางตัดสินว่าตำรวจไม่สามารถยึดทรัพย์สินที่ถูกยึดในระหว่างการจับกุมได้อย่างไม่มีกำหนด โดยเน้นถึงการคุ้มครองตามการแก้ไขครั้งที่สี่ต่อการยึดทรัพย์สินที่ไม่สมเหตุสมผล
ผู้พิพากษาเกรกอร ี แคทซาส แห่งศาลอุทธรณ์สหรัฐฯ สำหรับเขตโคลัมเบียกล่าวว่าการครอบครองทรัพย์สินที่ถูกยึดอย่างต่อเนื่องต้องมีความสมเหตุสมผล ท้าทายคำตัดสินของศาลวงจรก่อนหน้านี้
คดีนี้เกี่ยวข้องกับโจทก์ที่โทรศัพท์ถูกยึดระหว่างการประท้วง Black Lives Matter และถูกเก็บไว้นานกว่าหนึ่งปีโดยไม่มีการตั้งข้อหา ซึ่งอาจเป็นการสร้างบรรทัดฐานระดับชาติและกระตุ้นให้ศาลฎีกาทบทวน
ศาลรัฐบาลกลางตัดสินว่าตำรวจไม่สามารถยึดทรัพย์สินอย่างไม่มีกำหนดหลังจากการจับกุม แต่ไม่ได้ระบุระยะเวลาสูงสุดในการยึดทรัพย์สิน
นักวิจารณ์โต้แย้งว่าการไม่มีการกำหนดเวลาที่ชัดเจนทำให้คำตัดสินไม่มีประสิทธิภาพและเสี่ยงต่อ การถูกตำรวจใช้อำนาจในทางที่ผิด โดยเสนอให้มีการกำหนดเวลาที่แน่นอนเช่น 14 หรือ 30 วัน
คำตัดสินกำหนดให้ต้องคืนทรัพย์สินเมื่อเหตุผลเริ่มต้นหมดไป แต่อนุญาตให้มีความล่าช้าที่สมเหตุสมผล ซึ่งทำให้เกิดความกังวลเกี่ยวกับกฎหมายที่คลุมเครือและผลกระทบต่อความยุติธรรม
FlightAware ได้ประสบกับการละเมิดข้อมูลครั้งใหญ่ ทำให้ข้อมูลลูกค้าจำนวนมากรั่วไหล เช่น ชื่อ ที่อยู่อีเมล รหัสผ่าน และรายละเอียดบัตรเครดิต
ผู้ใช้รู้สึกหงุดหงิดกับการขาดการสื่อสารจาก FlightAware เนื่องจากบริษัทไม่ได้ให้ข้อมูลอัปเดตบนเว็บไซต์หรือโซเชียลมีเดียของพวกเขา
การละเมิดได้ก่อให้เกิดความกังวลเกี่ยวกับแนวทางการรักษาความปลอดภัยข้อมูลของ FlightAware และการตอบสนองต่อเหตุการณ์นี้ โดยมีผู้ใช้บางรายได้รับการแจ้งเตือนทางอีเมลให้รีเซ็ตรหัสผ่านอย่างช้าๆ
หลายเกณฑ์มาตรฐานประเมินโมเดลภาษาจากงานของมนุษย์ แต่ภารกิจสำคัญสำหรับโมเดลเหล่านี้คือการทำนายคำถัดไป
โพสต์นี้ตั้งคำถามว่ามนุษย์สามารถทำงานได้ดีกว่าโมเดลภาษาหรือไม่ในงานเฉพาะนี้
JoelEinbinder พัฒนาเกมที่ผู้เล่นทายคำถัดไปในความคิดเห็นของ Hacker News โดยแข่งขันกับโมเดลภาษาต่าง ๆ เช่น llama2
ผู้ใช้แนะนำการปรับปรุง เช่น การแสดงคำถามทีละข้อพร้อมกับการให้ข้อเสนอแนะทันที และได้สังเกตถึงความยาวของแบบทดสอบและประสิทธิภาพในการวัดความ "ฉลาด"
เกมนี้เน้นความแตกต่างใน การประมวลผลภาษาของมนุษย์และ AI ทำให้เกิดการสนทนาเกี่ยวกับความสามารถของ AI และความฉลาดของมนุษย์ โดยบางครั้งมนุษย์สามารถทำได้ดีกว่าโมเดล AI
ผู้เขียนสะท้อนถึงอาชีพ 9 ปีที่ Google โดยเน้นทั้งความสำเร็จและความท้าทาย รวมถึงการทำงานกับ Bigtable, Persistent Disk และ GCE VMs
ประเด็นสำคัญที่ได้รับรวมถึงการพัฒนาทักษะทางวิศวกรรมและความเป็นผู้นำ, ความมั่นคงทางการเงิน, และชุมชนที่เข้มแข็ง แต่ก็ต้องเผชิญกับความเครียด, ภาระ ทางความคิด, และโอกาสในการเติบโตที่จำกัด
ผู้เขียนวางแผนที่จะลาพักเพื่อสำรวจโอกาสและความท้าทายใหม่ ๆ โดยมีเป้าหมายที่จะค้นหาวัตถุประสงค์ใหม่และการเติบโตส่วนบุคคล
อดีตวิศวกรของ Google สะท้อนถึงการทำงานในช่วง 9 ปี โดยเน้นถึงการเปลี่ยนแปลงจากการปฏิบัติที่วุ่นวายในช่วงแรกไปสู่เครื่องมือและกระบวนการที่มีมาตรฐานมากขึ้น
โพสต์นี้เปรียบเทียบความเครียดสูงและการหมดไฟในบทบาทของวิศวกรรมความน่าเชื่อถือของไซต์ (SRE) กับวิศวกรรมซอฟต์แวร์ (SWE) โดยสังเกตถึงความท้าทายและรางวัลที่เป็นเอกลักษณ์ของแต่ละบทบาท
อดีตพนักงาน Google หลายคนให้ข้อมูลเชิงลึกเกี่ยวกับวัฒนธรรมที่เปลี่ยนแปลง ของ Google ปัญหาการจัดการ และอิทธิพลของโมเดลธุรกิจที่ขับเคลื่อนด้วยการโฆษณา
Dasel เป็นเครื่องมืออเนกประสงค์สำหรับการสืบค้นและแก้ไขโครงสร้างข้อมูลในหลายรูปแบบ (JSON, YAML, TOML, XML, CSV) ด้วยไวยากรณ์ตัวเลือกที่เป็นหนึ่งเดียวและไม่มีการพึ่งพาในระหว่างการทำงาน
รองรับการติดตั้งผ่านตัวจัดการแพ็กเกจต่างๆ และมีคำสั่งสำหรับการเลือก, แปลง, อัปเดต, และลบข้อมูล
Dasel มีความโดดเด่นในเรื่องความเร็ว โดยเร็วกว่า jq ถึง 3 เท่า และเร็วกว่า yq ถึง 15 เท่า และย ังมีฟีเจอร์ต่างๆ เช่น pre-commit hooks และความเข้ากันได้กับ Linux, Mac, และ Windows
การอภิปรายมุ่งเน้นไปที่ศักยภาพของการใช้ไวยากรณ์แบบ SQL ในการสืบค้นรูปแบบข้อมูลที่ไม่ใช่เชิงสัมพันธ์ต่างๆ เช่น JSON, TOML, YAML, XML, และ CSV
แม้ว่า SQL จะมีความสามารถทางทฤษฎีในการสืบค้นข้อมูลใด ๆ เนื่องจากความสมบูรณ์แบบของทัวริง แต่ประสิทธิภาพและความสะดวกในการใช้งานจริงจะแตกต่างกันไปตามรูปแบบต่าง ๆ
การสนทนานี้เน้นถึงความจำเป็นในการมีภาษาสอบถามมาตรฐานสำหรับรูปแบบข้อมูลที่มีโครงสร้าง โดยพิจารณาจากคุณลักษณะเฉพาะของแต่ละรูปแบบการจัดเก็บและประโยชน์ของเครื่องมืออย่าง jq และ yq สำหรับการจัดการข้อมูลผ่านบรรทัดคำสั่ง
โพสต์นี้เป็นส่วนแรกของซีรีส์เกี่ยวกับการสร้างฐานข้อมูลที่เข้ากันได้กับ SQLite จากศูนย์ โดยมีตัวอย่างในภาษา Rust
ครอบคลุมการสร้างฐานข้อมูลทดสอบขั้นต่ำ, การทำความเข้าใจรูปแบบไฟล์ SQLite, และการดำเนินการคำสั่งเพื่อแสดงรายชื่อตารางทั้งหมดในฐานข้อมูล
โครงการนี้เกี่ยวข้องกับการกำหนดโครงสร้างหลักเช่น Pager
, Page
, และ Db
และการตั้งค่า REPL (Read-Eval-Print Loop) พื้นฐานเพื่อรองรับคำสั่งเช่น .tables
และ .exit
.
โพสต์นี้กล่าวถึงการสร้างการใช้งาน SQLite แบบกำหนดเอง โดยเน้นที่การแสดงรายการตาราง และเป็นส่วนหนึ่งของซีรีส์
แนวคิดที่น่าสนใจคือการใช้ Rust macros เพื่อกำหนด SQL queries ซึ่งช่วยให้สามารถเชื่อมต่อโดยตรงจาก SQL ไปยัง API ของฐานข้อมูลภายในในขณะคอมไพล์ โดยไม่ต้องผ่านการแยกวิเคราะห์และการวางแผนการสืบค้นในขณะรันไทม์สำหรับการสืบค้นแบบคงที่
มีการเปรียบเทียบกับ SQLx ซึ่งตรวจสอบความถูกต้องของคำสั่ง SQL ในขณะคอมไพล์โดยใช้มาโคร เพื่อให้แน่ใจว่าคำสั่ง SQL ถูกต้องและเพิ่มประสิทธิภาพการทำงาน
อัลกอริทึมของ Didier Rémy ในปี 1988 สำหรับการทำให้ประเภททั่วไปใน OCaml ช่วยเพิ่มความเร็วในการอนุมานประเภทโดยการหลีกเลี่ยงการสแกนสภาพแวดล้อมที่ไม่มีประสิทธิภาพ โดยใช้ระดับในการติดตามการพึ่งพาประเภท
วิธีของ Rémy ซึ่งคล้ายกับการเก็บขยะเชิงรุ่น ทำให้มั่นใจได้ว่าตัวแปรประเภทจะถูกกำหนดปริมาณเฉพาะเมื่อภูมิภาคที่กำหนดของมันไม่ทำงาน ป้องกันการสรุปที่ไม่ถูกต้อง
ตัวตรวจสอบประเภทของ OCaml ใช้อัลกอริทึมนี้ โดยใช้ระดับในการจัดการตัวแปรประเภทและบังคับใช้ระเบียบวินัยของขอบเขต ซึ่งช่วยปรับปรุงประสิทธิภาพของการอนุมานประเภทอย่างมาก
บทความเกี่ยวกับตัวตรวจสอบประเภทของ OCaml ที่อัปเดตในปี 2022 สำรวจเกินกว่าการอนุมานประเภท Hindley-Milner และอัลกอริธึม W โดยเน้นเทคนิคสมัยใหม่เช่น union-find เพื่อประสิทธิภาพ
เป็นสิ่งสำคัญสำหรับนักพัฒนาที่ปรับเปลี่ยนตัวตรวจสอบประเภทของ OCaml และรวมถึงการอภิปรายเกี่ยวกับการตรวจสอบประเภทของ Rust, ความนิยมที่เพิ่มขึ้นของ OCaml, และการเปรียบเทียบกับภาษาเช่น Gleam และ Go
บทความนี้ได้รับการยกย่องอย่างสูงในชุมชน OCaml และมักถูกอ้างอิงในเอกสารต่าง ๆ ซึ่งสะท้อนถึงความสำคัญและอิทธิพลของมัน