Tin pháp luật số 93: Cơn cuồng ghen và nỗi khổ của vợ chồng đại gia
Tin pháp luật số 91: Ôm lựu đạn cố thủ, thiếu gia miền Tây nổ súng dằn mặt 

Ông Đặng Lê Nguyên Vũ và công ty CP tập đoàn Trung Nguyên đang đối diện với nhiều vụ án dân sự lẫn tố cáo hình sự có liên quan đến bà Lê Hoàng Diệp Thảo (vợ ông Vũ).

Mới đây, bà Thảo có đơn gửi đến TAND Bình Dương, tố cáo về việc giả mạo chứng cứ và đề nghị trưng cầu giám định đối với các tài liệu, chứng cứ mà tòa thu thập.

Vợ chồng bà Thảo liên tục đưa nhau ra tòa

Trong đơn, bà cho rằng, có 2 tài liệu có dấu hiệu cắt ghép, nội dung còn nhiều mâu thuẫn với nhau. Bà cũng đưa ra những luận cứ, chứng minh cho nhận định đó là tài liệu giả mạo.

Xem tiếp tại đây.

Khởi tố kẻ ôm lựu đạn cố thủ suốt 14 tiếng

Công an TP Vinh (Nghệ An) quyết định khởi tố bị can, tạm giam 3 tháng với 2 đối tượng ôm lựu đạn cố thủ gây xôn xao dư luận.

Lê Ngọc Sơn (SN 1985, trú tại TP Vinh) bị khởi tố về các tội chống người thi hành công vụ; Tàng trữ vũ khí quân dụng và cố ý làm hư hỏng tài sản. Kẻ cùng Sơn cố thủ - Hoàng Ngọc Sinh (SN 1987, trú tại huyện Đô Lương) - bị khởi tố về tội chống người thi hành công vụ.

Xem tiếp tại đây.

Chiếm đoạt ngót 3 triệu USD, 'đại gia' chờ lĩnh án

Ngày 8-10/10, TAND TP Hà Nội đưa 11 bị cáo trong vụ sàn vàng "ảo" IG ra xét xử. Theo cáo buộc, Phạm Đức Tài (SN 1979, ở quận Nam Từ Liêm, Hà Nội) thành lập công ty CP đầu tư và kinh doanh vàng trang sức quốc tế IG. Anh ta bị cáo buộc đã chiếm đoạt ngót 3 triệu USD của những người bị hại.

Các bị cáo tại tòa

Tài liệu truy tố cho rằng, Tài và đồng phạm đã quảng bá IG là công ty môi giới của công ty Napmig (một công ty nước ngoài chuyên kinh doanh sàn vàng không có thật); tác động đến một số tài khoản, tạo ra lợi nhuận nhằm mục đích tạo lòng tin với khách hàng; thu hút người đầu tư để chiếm đoạt tài sản của khách hàng tham gia các giao dịch ngoại tệ và kinh doanh vàng qua tài khoản.

Xem tiếp tại đây.

Bắt kẻ đột nhập tiệm vàng, trộm hơn 90 lượng

Công an tỉnh Tây Ninh bắt Thạch Hải (SN 1994, quê Trà Vinh) để điều tra về hành vi trộm cắp tài sản. TRạng sáng 30/9, Hải đột nhập vào một tiệm vàng tại huyện Gò Dầu, tỉnh Tây Ninh lấy trộm hơn 90 cây vàng loại 18K rồi lẩn trốn.

Hải khai, đã mang khoảng 2kg vàng ra Hà Nội bán một phần, thu hơn 250 triệu đồng.

Xem tiếp tại đây.

Doanh nhân Sài Gòn bị bắt cóc, tống tiền vì nhận chuyển gói hàng lạ

Ngày 11/10, Công an Q.Tân Bình, TP.HCM cho hay vừa khởi tố vụ án, khởi tố bị can, bắt tạm giam nhóm đối tượng để điều tra hành vi buôn bán trái phép chất ma túy, cướp tài sản, cưỡng đoạt tài sản và bắt giữ người trái pháp luật.

Nhóm buôn ma túy bắt cóc doanh nhân Sài Gòn để tống tiền, bị bắt giữ tại cơ quan Công an

Vào cuối tháng 11/2017, Hoàng Văn Đãng nhờ 1 phụ nữ tên Hương (chưa rõ lai lịch) đến công ty TNHH dịch vụ vận chuyển M.S.G (đường Ba Vì, P.4, Q.Tân Bình) chuyển 1 kiện quần áo, khoảng 7kg, từ Sài Gòn đi Hà Nội bằng đường máy bay.

Anh Q (34 tuổi, Giám đốc công ty vận chuyển) và vợ tiếp nhận chuyển gói hàng này. Sau đó anh tìm cách trả lại gói hàng là ma túy nhưng không được nên đã mang vứt. Sau hôm đó, anh Q. bị nhóm người buôn ma túy bắt cóc để đòi tiền.

Xem tiếp tại đây.

Bảo vệ trường mầm non bị phụ huynh đâm thấu bụng

Trưa 9/10, tại trường Mầm non Hoa Lan, thuộc tổ 7, phường Pú Trạng, thị xã Nghĩa Lộ, Yên Bái đã xảy ra vụ án nghiêm trọng. Thời điểm trên, phụ huynh tên Kiên, thường trú tại khu 6, phường Pú Trạng đến Trường Mầm non Hoa Lan để đón con.

Do đang giờ nghỉ trưa nên bảo vệ nhà trường từ chối, không cho phụ huynh vào khu vực lớp học. Tức giận, Kiên đâm bảo vệ thấu bụng.

Xem tiếp tại đây.

Khởi tố vụ nam thanh niên bị chém nát chân ở Phú Thọ

Công an tỉnh Phú Thọ vừa khởi tố vụ án nam thanh niên bị chém nát chân trong đêm.

Công ty Acecook Việt Nam cho biết, họ đã chính thức đưa vào lắp đặt và sử dụng hệ thống điện mặt trời áp mái cho các hoạt động tại tòa nhà văn phòng chính và các nhà máy ở khu vực Tp.HCM.

Theo Acecook Việt Nam, với công suất lắp đặt 570kW, hệ thống điện mặt trời này dự kiến cung cấp sản lượng trung bình khoảng 900,000kWh/năm. Lượng điện năng này tương đương với lượng điện sử dụng để sản xuất khoảng 3,6 triệu gói mì Hảo Hảo.

Ngoài việc phục vụ sản xuất, điện năng tạo ra cũng được sử dụng cho các hoạt động của Tòa nhà văn phòng chính của công ty tại KCN Tân Bình, Tp.HCM với 05 tầng và có gần 400 CBCNV đang làm việc.

Hệ thống này bao gồm các tấm pin mặt trời tối tân nhất do Công ty Marubeni Việt Nam cung cấp và thi công lắp đặt bởi Công ty Jesco Asia, với thiết bị phát điện năng lượng mặt trời năng suất cao nhất trên thế giới hiện nay.

Bên cạnh những hiệu quả về chi phí, việc đưa vào sử dụng nguồn năng lượng xanh thân thiện môi trường từ mặt trời còn giúp góp phần làm giảm lượng khí thải CO2 gây ra do hiệu ứng nhà kính.

D.V

Đố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.