Alex Wilson Alexwi1son

Trying to understand the technical breakthroughs in Deep Seek, particularly the pre-training efficiency.

Perplexity thread highlights:

The pre-training efficiency of DeepSeek-V3 is attributed to several key innovations:

FP8 Mixed Precision Framework: This reduces GPU memory usage and accelerates computation during training[5].
DualPipe Algorithm: It optimizes pipeline parallelism by overlapping computation and communication, minimizing idle time and scaling efficiently across nodes[5].
Multi-Token Prediction (MTP): This densifies training signals, improving data efficiency and model performance[3].
Efficient Mixture-of-Experts (MoE) Architecture: Only a subset of parameters is activated per token, reducing computational overhead while maintaining performance[2][3].

Method 1: Download the Youtube Video (Command Line)

Go to Search (Magnifying Glass) on the top right hand side.
Type Terminal
Open up Terminal

./youtube-dl https://www.youtube.com/watch?v=o-TAyIQBOuA --recode-video mp4

This will be saved on the sundayservices home directory.

#! /usr/bin/env nix-shell #! nix-shell -i bash -p ffmpeg_5

trap 'echo "Aborting..."; exit 1' SIGINT

find . -type f -name "*.flac" -print0 | while read -d $'\0' flac_file; do echo "Input file: $flac_file" mp3_file="${flac_file%.flac}.mp3" ffmpeg -nostats -loglevel 0 -nostdin -i "$flac_file" -vn -b:a 320k -acodec libmp3lame "$mp3_file" || { rm "$mp3_file"; exit; }; rm "$flac_file"

One-liner to convert all FLAC to MP3

find "[MP3]"* -name "*.flac" -exec bash -c 'ffmpeg -i "${0}" -ab 320k -c:v copy "${0/.flac/.mp3}" && rm "${0}"' {} \;

I prefer to duplicate my .flac files before ffmpeg-ing them all, hence the "[MP3]"* prefix on the find and the rm at the end. Sometimes, this may be unnecessary, since I might put the MP3 files in their own subdirectory, at which point find . will work fine. In the case this example is pulled from, I had two [MP3] folders and two [FLAC] folders in the same directory.

How to create bootable USB flash drive to install Windows 10

Here are the steps to use the Media Creation Tool and Rufus to create a Windows 10 bootable media.

You can create a Windows 10 USB installation media with multiple tools, and in this guide, we'll show you how. When a new version of Windows 10 becomes available, not everyone gets the latest release the same day. Instead, Microsoft upgrades computers gradually, and it takes some time until the new version reaches every device.

However, if you do not want to wait for the automatic upgrade, the company lets you download the Windows 10 installation files using the Media Creation Tool. The tool helps perform an in-place upgrade or create an installation media using a USB f

Youtube to MP3 downloader/converter

Prototype to be able to export the audio from a Youtube video and make it available to my smartphone.

Use case : keeping video as offline podcasts I can listen in the metro when there's no cell network available.

Linux only.

Uses the excellent https://github.com/ytdl-org/youtube-dl

	from pytube import YouTube

	url = "https://www.youtube.com/watch?v=hS9jaTweuPU"
	video = YouTube(url)
	stream = video.streams.get_highest_resolution()

	stream.download(output_path = '.')

	#!<your python3 path>
	#
	# ymp3.py
	# ; Download youtube contents and convert into mp3
	# ; Prerequisite: pytube, ffmpeg
	#
	#

	import subprocess
	import argparse