385 place 0
Rust's type system is quite powerful as it allows to encode complex relationships between user-defined types using recursive rules that are automatically applied by the compiler. Idea behind this post is to use some of those rules to encode properties of our domain. Here we take a look at Peano axioms defined for natural numbers and try to derive some of them using traits, trait bounds and recursive impl blocks. We want to make the compiler work for us by verifying facts about our domain, so that we could i
A newsletter a day!
You may get 10 most important news around midday in daily newsletter. Press the button and we will send you the most important news only, no spam attached.
LIKE us on Facebook so you won't miss the most important news of the day!
Habr
"I know I can walk into any room in business and I can get the deal done," the podcast star said. Read more ›
895 fresh
If he does succeed DeSantis — a one-time Trump protége — the president-elect will secure yet another a valuable ally in Florida. Read more ›
519 fresh
Sen. Joni Ernst, who has been tapped to lead the Senate's DOGE caucus, believes there's a "blueprint for success" on planned cuts. Read more ›
458 fresh
Amsterdam-based NORBr, a Payment Infrastructure as a Service (IaaS) provider, announced on Monday that it has raised €3M in funding led by Alstin Capital. Previous round lead investor Portfolion also participated in the round. The company will use the funds to support expanding its omnichannel solutions, including advanced features for managing payment terminals, operational efficiency ... Read more Read more ›
272 fresh
Nvidia CEO Jensen Huang said he promised his wife Lori that he'd be CEO by 30 to ensure she'd eventually marry him. Read more ›
206 fresh
Redmi will introduce the K80 Pro flagship on November 27, but the Xiaomi brand is not shying away from teasing specs before the launch. This morning, we learned major details about the camera setup on the back, including that it will be the first time we see a Redmi K phone with a telephoto shooter and that it will have OIS. Redmi K80 Pro camera details The main camera is... Read more ›
157 fresh
Sam Wilson may be just a guy, but Brave New World will show why he's the right guy to pick up Steve's mantle. Read more ›
139
Excessive amounts of lead and phthalate plasticizers were found in products from Temu and Shein during earlier investigations by the Seoul government. Read more ›
137 fresh
"Wicked," Universal Pictures' highly anticipated film, topped the domestic box office with an estimated $114 million after its Friday premiere. Read more ›
120
BTC's order book shows executed bullish flow isn't being replenished, leaving sellers in a more dominant position, according to data tracked by FalconX. The overall market depth has weakened amid the price rally. Read more ›
107 fresh
Here are the top Black Friday deals we've spotted in Australia for 2024, with huge savings on robot vacuums, headphones, laptops, TVs and more! Read more ›
105 fresh
Payment Infrastructure as a Service (IaaS) provider NORBr, has raised €3M in a round led by Alstin Capital, with participation from previous round’s lead investor, Portfolion. This capital will be use... Read more ›
100 fresh
As Comcast readies a sale of its legacy media outlet, the rightwing billionaire has mused about an acquisition. Read more ›
93
The new legislation likely aims to boost recruitment amid soaring Russian combat losses. Read more ›
88
Silicon Valley billionaires are selling a dream of unfettered markets — but reality is not so certain Read more ›
77 fresh
Image: Elen Winata for The Verge From noise-canceling earbuds to robot vacuums and 4K OLED TVs, there is already plenty on offer. Continue reading… Read more ›
77
A still from the latest A Minecraft Movie trailer. | Screenshot: YouTube This week, I went to a theater to watch a showing of the black-and-white version of Johnny Mnemonic, starring Keanu Reeves. Old-heads like me may recall it as a bad mid-90s cyberpunk film (written by William Gibson!) about a data courier whose brain is the storage medium, but who had to have his childhood memories erased to make... Read more ›
74
Habr
Have you ever felt overwhelmed trying to make sense of dense notes or wished you could listen to them like a podcast while on the go? In this article, I’ll share the tool that could help you turn text into engaging audio podcasts; I believe it could help you learn new things faster and more effectively. Read more Read more ›
0
Привет, Хабр! Меня зовут Анастасия Беднова, я тестирую базовые станции в стандартах 4G (LTE) в YADRO. В профессии я почти 20 лет: начинала карьеру в крупной компании-вендоре как тестировщик одного из компонентов сети 3G. Когда два года назад YADRO объявила о разработке собственной базовой станции, я решила, что хочу стать частью этого проекта — в России такого еще никто не делал, задача показалась крайне амбициозной. При разработке базовой станции важно... Read more ›
0
![[Translation] PostgreSQL 18: Part 1 or CommitFest 2024-07](https://times42.com/media/6/3/6/9539636_640x200.jpg "[Translation] PostgreSQL 18: Part 1 or CommitFest 2024-07")
This article is the first in the series about the upcoming PostgreSQL 18 release. Let us take a look at the features introduced in the July CommitFest. Planner: Hash Right Semi Join support Planner: materializing an internal row set for parallel nested loop join Planner support functions for generate_series EXPLAIN (analyze): statistics for Parallel Bitmap Heap Scan node workers Functions min and max for composite types Parameter names for regexp*... Read more ›
0
The explicit reparameterization trick is often used to train various latent variable models due to the ease of calculating gradients of continuous random variables. However, due to its peculiarities, explicit reparameterization trick is not applicable to several important continuous standard distributions, such as mixture, Gamma, Beta and Dirichlet.An alternative method for calculating reparameterization gradients relies on implicit differentiation of cumulative distribution functions. The implicit reparame Read more ›
0
1. The purpose of the IT product Telepathy – the brain-computer interface of NueralinkThe UN General Assembly Resolution of 22.03.2024 No. A/78/L.49 “Harnessing the Potential of Safe, Secure and Trustworthy Artificial Intelligence Systems for Sustainable Development” [1] confirms (paragraph 5) that"human rights and fundamental freedoms must be respected, protected and encouraged throughout the life cycle of artificial intelligence systems"and to all Member States of the United Nations and, where appropriat Read more ›
0
Most popular sources
Business Insider
|
37% 9 |
Tom's Hardware
|
9% 3 |
CNET
|
8% 3 |
Gizmodo
|
7% 2 |
Eurogamer.net
|
7% 5 |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
25.11.2024 03:37
Last update: 03:26 EDT.
News rating updated: 10:30.
What is Times42?
Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.
popular
