Công an tỉnh Ninh Thuận chiều nay cho biết, hiện đang tạm giữ 3 nghi can gồm: La Khánh (21 tuổi), Võ Ngọc Tam (18 tuổi) và Phạm Thành Long (18 tuổi) đều trú tại xã Vĩnh Hải, Ninh Hải (Ninh Thuận) để điều tra về hành vi hiếp dâm N.T.D (15 tuổi, xã Thanh Hải). 

Trước đó, ngày 10/10, D. đến nhà một người bạn ở thôn Mỹ Hòa (Vĩnh Hải) để ăn mừng người bạn mới mua xe máy. Tại đây, Khánh, Tam và Long cũng có mặt chung vui.

Tàn cuộc, Khánh chở D và Long về, Tam chạy sau. Trên đường về, Long nảy sinh ý định muốn giao cấu với D nên bảo Khánh chở đến khu vực vắng vẻ. Lúc này, Long ôm D đòi giao cấu, bị phản đối và D bỏ chạy. Long, Khánh, Tam đuổi theo khống chế D và thực hiện hành vi đồi bại, rồi chở nạn nhân về nhà.

Sau đó, D và gia đình trình báo với Công an, bước đầu các nghi can đã thừ nhận hành vi trên. Hiện công an đang tiếp tục điều tra làm rõ nguyên nhân.

Tới nhà bạn nhậu, hiếp dâm cháu gái 5 tuổi

Phát hiện vùng kín con gái 5 tuổi sưng tấy, người mẹ hoảng hốt báo công an, nghi con bị giở trò đồi bại.

Trước đó, vào sáng cùng ngày tỉnh này đã công bố 10 trường hợp dương tính tại các khu nhà trọ, công ty, khu công nghiệp trên địa bàn tỉnh.

12 ca dương tính SARS-CoV-2 tại Công ty Việt Nam Housewares ở phường Bình Chuẩn, TP Thuận An

Theo CDC Bình Dương, 12 trường hợp dương tính mới phát hiện đều làm chung tại Công ty Việt Nam Housewares (đường Bình Chuẩn 62, phường Bình Chuẩn, TP Thuận An) và đã được cách ly tập trung trước đó.

Hiện ngành y tế đang tiếp tục truy vết F1, F2 của các ca dương tính này để điều tra dịch tễ.

Như vậy, chỉ tính riêng ổ dịch tại Công ty Việt Nam Housewares trong đợt này, cơ quan chức năng ghi nhận có đến 106 ca dương tính SARS-CoV-2. Các ca dương tính tại đây được xác định có liên quan đến ca bệnh 10584 (chủ quán trà sữa Cô Chủ Nhỏ ở phường Tân Phước Khánh, thị xã Tân Uyên).

Trong diễn biến liên quan, vào tối 24/6, CDC Bình Dương phối hợp với Trung tâm Y tế TP Thuận An và các lực lượng chức năng của địa phương tổ chức lấy mẫu tầm soát cộng đồng, xét nghiệm diện rộng sàng lọc nCoV cho gần 40.000 người dân đang sống trong khu vực cách ly y tế tạm thời tại phường Bình Chuẩn.

Bình Dương thêm 10 ca dương tính nCoV, chủ yếu trong khu công nghiệp

Số ca dương tính SARS-CoV-2 tại Bình Dương sáng nay giảm hơn một nửa so với ngày trước đó, chủ yếu liên quan đến các công ty và khu công nghiệp.

Đối với các nhà khoa học cần mô phỏng biến đổi khí hậu hoặc phản ứng tổng hợp hạt nhân, ngôn ngữ chính hiện nay là Fortran. Trình biên dịch của nó có thể tận dụng tối đa hiệu suất mạnh mẽ của các siêu máy tính lớn. Đối với các nhà khoa học dữ liệu, Python là ngôn ngữ phổ biến nhất vì hệ sinh thái phong phú, tính tương tác mạnh và chu kỳ phát triển nhanh.

Julia dường như đã giải quyết được "vấn đề hai ngôn ngữ", đây là một vấn đề phổ biến mà người dùng các ngôn ngữ thông dịch như Python phải đối mặt. Viết một chương trình bằng Python, mặc dù bạn có thể tận hưởng cú pháp và tính tương tác tiện lợi của nó, nhưng khi quy mô tính toán được mở rộng đến một mức độ nhất định, tốc độ tính toán của chương trình sẽ chậm lại rất nhiều. Đây là một hạn chế của chính ngôn ngữ Python.

Đối với các hoạt động mô phỏng quy mô lớn, do lượng dữ liệu quá lớn, tốc độ chạy của chương trình là rất quan trọng nên các nhà nghiên cứu phải viết lại chương trình tương tự bằng một ngôn ngữ như C để cải thiện tốc độ chạy trong các ứng dụng thực tế. Nhưng sau khi tăng tốc, họ phải duy trì và cập nhật mã của cả hai ngôn ngữ trong nghiên cứu tiếp theo. “Vấn đề hai ngôn ngữ” ra đời từ đây.

Nhiệm vụ của Julia là giải quyết "vấn đề hai ngôn ngữ" kể từ khi nó ra đời, để thu hút các nhà khoa học và những người khác học ngôn ngữ, nhưng đây không phải là phần thú vị duy nhất của nó.

Hãy lấy hội nghị JuliaCon năm nay làm ví dụ. Hầu hết các hội nghị máy tính thông thường được tổ chức xoay quanh các chủ đề khoa học máy tính như lập trình, trình biên dịch, thuật toán và tối ưu hóa. Mặc dù có những thứ này trên JuliaCon, chúng thiên về các chủ đề nghiên cứu khoa học, chẳng hạn như cơ học chất lỏng, xử lý ngôn ngữ, hình ảnh não. Những chủ đề này tạo cho mọi người ảo tưởng rằng họ đã bước vào một hội nghị nghiên cứu khoa học.

Tình hình phổ biến này là do thái độ cởi mở của cộng đồng lập trình Julia, mọi người đều có thể tìm thấy code trên GitHub. Nếu ai đó muốn sử dụng một thuật toán hiện có, từ tài liệu trợ giúp đến nhận xét mã, họ có thể tải phiên bản mới nhất. Điều này hoàn toàn khác với bầu không khí mà hầu hết các nhà khoa học lớn tuổi quen thuộc: Trước đây, mã nghiên cứu hầu như không bao giờ rời khỏi phòng thí nghiệm.

Giải quyết "vấn đề biểu thức"

"Vấn đề biểu thức" là một khái niệm phổ biến trong nghiên cứu thiết kế ngôn ngữ máy tính. Đây là một lĩnh vực nghiên cứu nhánh của khoa học máy tính, và ý nghĩa và cách giải thích của nó thường rất trừu tượng và dựa trên thuật ngữ chuyên môn. Nếu chúng ta muốn hiểu rõ hơn về khái niệm này, chúng ta có thể so sánh nó với cách nấu ăn.

Nhưng trong thực tế, mối quan hệ giữa phương pháp nấu ăn và nguyên liệu có thể trở thành một phần của cấu trúc thư viện. Trong bối cảnh tương tự công thức, chúng ta có thể tưởng tượng rằng gà và cá là một tập hợp con của thịt, dâu tây và anh đào là một tập hợp con của các loại trái cây màu đỏ, và áp chảo và luộc là các biến thể của các phương pháp nấu ăn tương đồng.

Phương thức tư duy này là một nỗ lực để giải quyết "vấn đề biểu thức". Đây cũng được gọi là "lập kế hoạch nhiều lần" trong thiết kế ngôn ngữ và đề cập đến phương pháp lựa chọn tự động dựa trên kiểu của tất cả các kiểu dữ liệu sẽ được áp dụng.

“Lập kế hoạch nhiều lần” là phương pháp của Julia để giải quyết “vấn đề biểu thức” và nguyên tắc tổ chức cốt lõi của nó. Do đó, Julia không hướng đối tượng cũng không hướng chức năng. Giải pháp mà nó sử dụng mạnh hơn và linh hoạt hơn hai giải pháp trên. Điều này có nghĩa là Julia tự do hơn trong việc trộn và sử dụng các thư viện.

Tầm quan trọng của các công cụ

Julia không phải là ngôn ngữ đầu tiên cố gắng giải quyết "vấn đề về biểu thức", cũng không phải là ngôn ngữ đầu tiên sử dụng "lập kế hoạch nhiều lần". Ngôn ngữ Common Lisp với tính năng này đã ra đời được 40 năm và các phiên bản ngôn ngữ mới nhất như Perl cũng có tính năng này. Người dùng đã khẳng định sự tiện lợi của việc “lập kế hoạch nhiều lần” trong việc viết và mở rộng thư viện.

Nhưng sự khác biệt giữa Julia và họ là Julia được thiết kế xoay quanh "nhiều lịch trình", trong khi các ngôn ngữ khác chỉ sử dụng nó như một tùy chọn và sẽ làm giảm hiệu suất. Ví dụ, "lập kế hoạch nhiều lần" của Julia cho phép nó thể hiện tư duy toán học một cách linh hoạt và tự nhiên hơn, và việc sử dụng nhiều mã cộng đồng của nó đã khiến các nhà thiết kế ngôn ngữ ngạc nhiên.

Nhưng nếu bạn muốn có được chỗ đứng trong giới khoa học, những lợi thế trên là chưa đủ. Lý do tại sao Julia nhận được nhiều sự chú ý là nó kết hợp "lập kế hoạch nhiều lần" với các tính năng khác, chẳng hạn như mã chất lượng cao miễn phí và tốc độ tính toán rất nhanh, rất hấp dẫn đối với các nhà khoa học, những người cần nhiều tính toán số.

Giáo sư Đại học Stanford Mykel Kochenderfer đã sử dụng Julia để thiết kế một hệ thống tránh va chạm máy bay, hệ thống này đã trở thành tiêu chuẩn quốc tế. Ông nói rằng Julia không chỉ là “một ngôn ngữ cấp cao, có thể hiểu được mà còn chạy nhanh như mã C ++ được tối ưu hóa cao”.

Julia cũng có một cú pháp diễn đạt, dễ đọc, đặc biệt là khi xử lý các mảng. Nó cung cấp một đường dẫn nhanh để xử lý song song các thuật toán kỹ thuật số. Nó có những ưu điểm về thiết kế của kỷ nguyên Unicode, khiến nó giống toán học thực hơn khi thể hiện các công thức toán học.

Những tính năng này của Julia ngay từ những ngày đầu đã thu hút rất nhiều nhà khoa học, và ngay cả trước khi những ưu điểm đặc biệt của “lập lịch nhiều lần” gây chú ý, nó đã thu hút một lượng lớn người dùng.

Lee Phillips chia sẻ: “Và ý tưởng cốt lõi mà tôi học được từ đó là: Công cụ rất quan trọng. Điều này giống như khi họa sĩ chọn cọ và sơn phù hợp với phong cách của tác phẩm, và nhịp điệu trong suy nghĩ của người sáng tác phải phù hợp với kỹ năng của nhạc cụ và người biểu diễn”.

Là một công cụ lập trình, Julia cũng có ý nghĩa tương tự đối với các nhà khoa học. Nó có thể mở rộng các nhiệm vụ mà các nhà khoa học có thể hoàn thành trong thời gian giới hạn và giúp họ hiện thực hóa những ý tưởng không tưởng.

Phong Vũ

iPhone đời cũ bất ngờ tăng giá tại Việt Nam

Do tình trạng khan hàng, nhiều mẫu máy đời cũ như iPhone 11, 11 Pro Max đồng loạt tăng giá khoảng 300.000-400.000 đồng tùy theo từng phiên bản bộ nhớ và màu sắc.

Các chuyên gia phân tích của ALG quyết định thương hiệu chiến thắng bằng cách xem xét “hiệu suất của xe đã qua sử dụng, triển vọng thương hiệu và khả năng cạnh tranh của sản phẩm”. Ngoài ra để đủ điều kiện cho giải thưởng thương hiệu, nhà sản xuất phải có mẫu xe tham gia bình chọn đánh giá trong ít nhất 4 phân khúc khác nhau.

Với giải thưởng năm 2022, các chuyên gia đã đánh giá từ 284 mẫu xe ở 29 phân khúc để chọn ra thương hiệu và những mẫu xe có giá trị bán lại cao nhất sau 3 năm.

Eric Lyman, phó chủ tịch ALG cho biết: “Dự báo chính xác giá trị còn lại trong ngành công nghiệp ô tô là yếu tố then chốt để đánh giá danh mục đầu tư cho thuê xe ước tính khoảng 225 tỷ USD tại Hoa Kỳ”. “Các thương hiệu và mẫu xe vươn lên dẫn đầu chứng tỏ rằng chúng đạt điểm cao trong các tiêu chí của chương trình giải thưởng, bao gồm cả thiết kế và chất lượng vượt trội của nhà sản xuất”.

Honda Civic giữ giá cao nhất ở phân khúc xe phổ thông cỡ vừa

Giải thưởng giá trị bán lại của ALG JD Power là tiêu chuẩn của ngành ô tô ở thị trường Hoa Kỳ trong việc công nhận các mẫu xe được dự đoán sẽ giữ tỉ lệ phần trăm cao nhất trong giá bán lẻ đề xuất của nhà sản xuất sau thời hạn 3 năm sở hữu. Việc duy trì giá trị này là một tham số quan trọng trong chi phí thuê một chiếc xe. Nó cũng là một yếu tố quan trọng đối với người mua xe mới, bởi lẽ nó giúp dự báo giá trị bán lại của một chiếc xe sau khi họ bán hoặc đổi lấy một chiếc xe mới.

Ngoài giải thưởng cấp thương hiệu dành cho thị trường phổ thông, ở hạng mục giải thưởng cho mẫu xe, Honda còn mang về ba giải với các sản phẩm Civic, Passport và Odyssey. Với Lexus thương hiệu xe sang Nhật Bản đã giành hạng cao nhất trong số các thương hiệu cao cấp trong khi chỉ có một mẫu xe.

Phần giải thưởng dành cho mẫu xe, Honda và Hyundai đứng đầu với 3 sản phẩm. Theo sau đó là các nhà sản xuất chiến thắng ở hai hạng mục: Audi, Kia, Land Rover, Mercedes-Benz, Subaru và Toyota .

>> Honda: Civic, Passport và Odyssey

>> Hyundai: Accent, Kona và Kona EV

>> Audi: A6 Allroad và Q3

>> Kia: K5 và Telluride

>> Land Rover: Range Rover Velar và Discovery

>> Mercedes-Benz: AMG GT 4 cửa và Metris

>> Subaru: WRX và Forester

>> Toyota: Tacoma và Tundra

Đáng chú ý vào năm 2022, Mercedes-Benz AMG GT 4-Door đánh bại Lexus LS và đứng đầu phân khúc Premium Executive. Trong khi Ford Bronco mới đánh bại những nhà chiến thắng lâu năm Jeep Wrangler và Toyota 4Runner để giành danh hiệu hàng đầu trong phân khúc Off-Road Utility.

Phân khúc Xe điện: Kona EV đã giành chiến thắng ở hạng mục thị trường phổ thông và Tesla Model Y trong phân khúc xe điện cao cấp.

Theo Xe đời sống/Nghe nhìn VN

Mời bạn đọc chia sẻ video, thông tin tới Ban Ô tô xe máy theo email: otoxemay@vietnamnet.vn. Các nội dung phù hợp sẽ được đăng tải. Xin cảm ơn!

Giảm 50% phí trước bạ, xe hot hạ giá lăn bánh bao nhiêu?

Trong danh sách top 10 xe bán chạy nhất thị trường tháng 10 vừa được công bố, có đến 7/10 mẫu xe lắp ráp trong nước. Vậy khi được  giảm phí trước bạ 50%, những xe này sẽ có giá bao nhiêu là điều khiến nhiều người quan tâm.  

Chính phủ Nga tuyên bố chặn Meta sau khi công ty chặn 4 trang của truyền thông Nga. Twitter cũng rơi vào hoàn cảnh tương tự. Trong khi đó, YouTube thông báo tạm dừng tính năng kiếm tiền và gợi ý của một số kênh của Nga. Quan chức Ukraine lại kêu gọi Apple ngừng bán sản phẩm và cấm Nga truy cập App Store. Đáp lại, CEO Apple Tim Cook bày tỏ quan ngại sâu sắc về xung đột và Apple sẽ hỗ trợ các nỗ lực viện trợ nhân đạo. Công ty từ chối bình luận về các vấn đề còn lại.

Đại diện Facebook, YouTube và Twitter cho biết sẽ tiếp tục giám sát tình hình. Nick Clegg, Chủ tịch Các vấn đề toàn cầu Meta, đưa ra câu trả lời xoa dịu cả hai bên, rằng các ứng dụng của Facebook muốn mang đến một nơi để mọi người “được lắng nghe, chia sẻ những gì đang xảy ra”.

Theo tổ chức phi lợi nhuận Freedom House, năm 2021, nhà chức trách tại ít nhất 48 quốc gia theo đuổi quy định mới dành cho các hãng công nghệ về nội dung, dữ liệu hay cạnh tranh. Ấn Độ đã cấm TikTok, ứng dụng video ngắn của ByteDance (Trung Quốc), sau vụ đụng độ tại biên giới giữa Ấn Độ và Trung Quốc.

Không chỉ các nền tảng mạng xã hội cảm thấy sức ép. Năm ngoái, Nga xếp Netflix vào danh mục nhà cung cấp vô tuyến truyền hình, có thể phải bắt đầu phát các kênh truyền hình quốc gia cho 1 triệu người đăng ký trong nước. Năm 2019, Nga thông qua luật cho chính quyền quyền kiểm soát lớn hơn đối với nội dung cho người Nga.

Các nhà phân tích và chuyên gia nhận định, bối cảnh thay đổi ăn vào doanh thu, lợi nhuận khi buộc các doanh nghiệp phải gia tăng chi phí, tuân thủ quy định địa phương. David Kaye, Giáo sư Luật tại Đại học California (Mỹ), cho rằng các quốc gia đang áp dụng quy định ngày một nghiêm khắc hơn về dữ liệu.

Splinternet là thế giới Internet mà trong đó các chính sách và luật pháp địa phương tạo ra Internet của mỗi quốc gia. Theo Google, số lượng yêu cầu xóa nội dung mà họ nhận được đã tăng gấp 5 lần từ năm 2015, lên khoảng 50.000. Trong cùng kỳ, Facebook ghi nhận mức tăng 40% yêu cầu, lên khoảng 90.000.

Tại Nga, mạng xã hội VK và công cụ tìm kiếm Yandex – hai sản phẩm “cây nhà lá vườn” – đều có thị phần áp đảo Facebook và Google. Tuy vậy, Nga vẫn là thị trường đáng kể đối với các hãng công nghệ. Google, Apple và Facebook đều hoạt động cũng như tuyển dụng lao động tại đây.

Cách đây vài tháng, Tổng thống Nga Vladimir Putin thông qua đạo luật yêu cầu các công ty có ít nhất 500.000 người dùng phải thành lập văn phòng tại Nga, chịu trách nhiệm nếu vi phạm pháp luật. Nó cũng dẫn đến cuộc tranh luận giữa nội dung nào nên bị gỡ bỏ, nội dung nào được xuất hiện. Chẳng hạn, tuần này, nhà chức trách Nga yêu cầu Google bỏ chặn một kênh, song lệnh cấm vận của Mỹ lại gợi ý những kênh như vậy phải bị hạ.

“Đó là một cuộc giằng co kỳ lạ”, Daphne Keller, cựu cố vấn trưởng của Google, nhận xét.

Du Lam (Theo WSJ)

Facebook, Twitter bị chặn giữa căng thẳng Nga – Ukraine

Khi cuộc giao tranh giữa Nga và Ukraine ngày một căng thẳng, cũng có một cuộc chiến khác đang âm thầm diễn ra trên mạng xã hội.  

Thần Cơ định thế, bậc thầy khôi lỗi

Trong suốt thời gian ẩn dật vùng sơn cước, Thần Cơ chuyên tâm nghiên cứu cơ quan và máy móc, được mệnh danh là bậc thầy trong việc điều khiển con rối. Lấy kỹ nghệ Mộc Phu Tử sáng tạo ra rối Mộc Ưng, cùng với tuyệt kỹ phi đao, vừa là vũ khí vừa là ám khí, giúp Thần Cơ trở nên linh động, công thủ toàn vẹn.

Nhìn bộ kỹ năng của Thần Cơ, người chơi có thể nhận ra rằng đây là phái thiên về tấn công. Cái tên số 23 trong bản đồ môn phái VLTK Mobile này chủ yếu sử dụng con rối Mộc Ưng, vì thế hầu hết các chiêu thức bí truyền sẽ phát huy tối đa khi triệu hồi mộc điểu bổ trợ. Cụ thể, ngoài chiêu thức Thần Cơ Phi Nhẫn với khả năng ném dao truy đuổi từ xa, gây sát thương cho mục tiêu thì 4 chiêu thức còn lại đều có sự hậu thuẫn của Mộc Ưng.

Trước tiên phải kể đến chiêu thức Khôi Lỗi Ưng Phách, được xem là bước đầu để triệu hồi Mộc Ưng. Tiếp đến là Ưng Kích Trường Không và Lăng Phong Tùy Ảnh - bộ đôi chiêu thức hữu hiệu trong việc gây sát thương cho địch thủ.

Đặc biệt, tuyệt chiêu cuối Hóa Vũ Thừa Phong với hiệu ứng cưỡi ưng đặc sắc. Có thể nói chiêu thức này giúp Thần Cơ trở thành phái đầu tiên trong VLTK Mobile có khả năng vừa bay vừa chiến đấu. Đồng thời, khi tiếp đất nhân vật vẫn giữ khả năng gây sát thương và có xác suất làm kẻ địch lơ lửng.

Tuy sở hữu thông số công cao, thủ thấp nhưng các chiêu thức của Thần Cơ lại kết hợp với khống chế và quấy rối nhiều. Đệ tử Thần Cơ xuất hiện khiến Côn Lôn, Võ Đang, Trường Ca và Vạn Hoa phải dè chừng.

Đại tỷ Tàng Kiếm, nhất kích tất sát

“Một đòn kết liễu đối thủ” chính là danh xưng thể hiện uy lực của song kiếm trên tay đệ tử Tàng Kiếm Sơn Trang. Người chơi đôi khi bị đánh lừa bởi vẻ ngoài nhu nhã của nữ Tàng Kiếm nhưng đừng quên với khả năng công cao và chỉ số sát thương địch thủ lớn. Đây là một môn phái hữu dụng trong các trận hỗn chiến.

Còn nhớ trong hàng loạt trận Tống Kim, Danh Tướng, nam nhân Tàng Kiếm đã khiến giới võ lâm phải “ngã ngửa” khi phát huy tối đa uy thế PK hỗn chiến, dễ dàng tấn công, khóa và kết liễu kẻ địch. Thì ngày nay, sư muội Tàng Kiếm xuất hiện kế thừa trọn vẹn bộ kỹ năng đặc trưng khiến các đối thủ phải dè chừng, đặc biệt là Tiêu Dao, Đường Môn, Ngũ Độc và Hoa Sơn.

Tung tích bí ẩn của hậu duệ Tam Phái Mặc Gia đã được VLTK Mobile hé lộ trong phiên bản mới Thiên Mệnh Thần Cơ, cùng với đó là sự xuất hiện của mỹ nữ Tàng Kiếm “nhất kích tất sát” quyến rũ, dự đoán giang hồ lại sắp trải qua một phen thất điên bát đảo.

VLTK Mobile Thiên Mệnh Thần Cơ dự kiến ra mắt vào cuối tháng 11. Theo dõi và cập nhật thông tin chi tiết về VLTK Mobile trên trang chủ và fanpage chính thức của game.

Tải game VLTK Mobile tại: https://go.onelink.me/Cvd7/3b2760fd

Trang chủ VLTK Mobile: http://vltkm.zing.vn/

Tham gia cộng đồng VLTK Mobile: https://www.facebook.com/vltkm.zing.vn/