Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: languages Clear Filter

How to Think about Parallel Programming: Not! [video] (2021)

InfoQ Homepage Presentations How to Think about Parallel Programming: Not! How to Think about Parallel Programming: Not! Like Reading list View Presentation Vertical Horizontal Full Speed: 1x 1.25x 1.5x 2x Download MP3 Slides 01:09:36 Summary Guy L. Steele Jr. believes that it should not be the programmer’s job to think about parallelism, but languages should provide ways to transparently run tasks in parallel. This requires a new approach in building languages supporting algorithms b

What is systems programming, really? (2018)

$$ % Typography and symbols ewcommand{\msf}[1]{\mathsf{#1}} ewcommand{\ctx}{\Gamma} ewcommand{\qamp}{&\quad} ewcommand{\qqamp}{&&\quad} ewcommand{\Coloneqq}{::=} ewcommand{\proves}{\vdash} ewcommand{\star}[1]{#1^{*}} ewcommand{\eps}{\varepsilon} ewcommand{ ul}{\varnothing} ewcommand{\brc}[1]{\{{#1}\}} ewcommand{\binopm}[2]{#1~\bar{\oplus}~#2} ewcommand{\mag}[1]{|{#1}|} ewcommand{\aequiv}{\equiv_\alpha} ewcommand{\semi}[2]{{#1};~{#2}} % Untyped lambda calculus ewcommand{\fun}[2]{\

Subtype Inference by Example

In recent years, there has been increasing interest in tools and programming languages that can automatically detect common types of bugs, in order to improve product quality and programmer productivity. Most commonly, this is done via static type systems, but traditional static type systems require large amounts of manual annotation by programmers, making them difficult to work with. Therefore, modern programming languages make increasing use of type inference, which provides the same benefits

Mistral's new AI model specializes in Arabic and related languages

chrispecoraro/Getty Images Paris-based AI startup Mistral is focusing on providing large language models (LLMs) that understand regional-specific languages and are tailored to grasp the cultural nuances sometimes overlooked in larger, more general-purpose models trained to be versed in multiple languages. Mistral has released its first "specialized" regional language-focused model, Saba. According to Mistral, the 24-billion-parameter model has been trained on "meticulously curated datasets" fr