jaj42

from mistralai import Mistral
from tenacity import retry,stop_after_attempt
import asyncio
from pathlib import Path
from sys import argv
import subprocess
import tempfile

@retry(stop=stop_after_attempt(4))
def transcribe_file(client, model, filepath):

jaj42

Hello and welcome to this episode of the Haskell Interlude. This is a special joint podcast episode between the Type Theory for All podcast, which was recorded in front of a live audience at ZuriHack 2025. It is co-hosted by me, Farhad Mehta, and Pedro Abreu from the Type Theory for All podcast. Today we have the great honor to talk with Leonard Augustin, a real pioneer in the world of programming languages. We'll discuss language design, compiler implementation, and about his time at a top secret research facility. The place where I thought about starting is why Haskell? What drew you into it? Because you were the first person to do the Haskell compiler and you're still doing Haskell compilers. You're still around doing this kind of stuff. What about Haskell? Well, I didn't start with Haskell. So I started with functional programming when I took a course on denotational semantics and the guy who held the course, Cern Hornström, he had gotten an implementation of Sassel, which was David Turner's first languag

jaj42

Bienvenue dans la French, on est heureux de vous retrouver avec un format spécial. On a vraiment écouté vos commentaires sur avoir des invités et parler d'un sujet que vous avez énormément demandé, qui sont les IA vocales. Dans cet épisode, exceptionnellement, Jean-Baptiste sera à distance. Il est actuellement au CES à Las Vegas avec sa boîte Kyber, où il est en train de faire une démo de ses technos de streaming. Salut à tous, salut Steve, salut Mehdi. Désolé, je ne suis pas avec vous sur le podcast cette semaine, mais j'ai une bonne raison, je suis au CES à Las Vegas devant Verica Park. Là, on y a toutes les startups françaises et internationales qui font les démos des derniers produits. On est là avec Kyber, on fait du streaming QXR, de scène 3D sur les casques Apple et Quest, et on fait des démos de cette technologie. Et puis d'ailleurs, on s'est déplacé avec notre robot Rover dans les couloirs du CES. Et le robot, il était le guidé de la France en basse latitude. Donc c'est assez cool de montrer un peu c

jaj42

import asyncio
from pathlib import Path
from sys import argv
import gradium
import subprocess
import tempfile

async def transcribe_audio_file(infile_path: str, api_key: str) -> str | None:
    client = gradium.client.GradiumClient(api_key=api_key)

jaj42

#!bin/sh

OUTDIR="$1"
ACCOUNT="myaccount"

cd "$OUTDIR"
. /home/jaj/woob/bin/activate

OUTFILE="last_date"
LAST=$([ -f $OUTFILE ] && cat $OUTFILE)

jaj42

"""Dump content to database."""
import sqlite3
import time
from pathlib import Path

dbpath = Path('./mitm.sqlite')


class DatabaseLog:
    insert_query = "INSERT INTO mitm_data (timestamp, url, req_data, content, content_type, method) VALUES (?, ?, ?, ?, ?, ?)"

jaj42

import numpy as np
import pymc as pm
from pymc.ode import DifferentialEquation
from scipy.integrate import odeint


def freefall(y, t, p):
    print(t, type(t))
    return 2.0 * p[1] - p[0] * y[0]

jaj42

Configure Raspberry Pi access point

raspi-config

• set wifi country code

rfkill

• rfkill unblock wlan

Installs

jaj42

#!/bin/bash

#Usage: dovecotsearch <fetch field> <search query>
#Example: dovecotsearch hdr.subject FROM friend BODY Beer
#https://wiki.dovecot.org/Tools/Doveadm/SearchQuery
#Available fetch fields: hdr.<name> body.<section> binary.<section> user mailbox mailbox-guid seq uid guid flags modseq hdr body body.preview body.snippet text text.utf8 size.physical size.virtual date.received date.sent date.saved date.received.unixtime date.sent.unixtime date.saved.unixtime imap.envelope imap.body imap.bodystructure pop3.uidl pop3.order refcount storageid

USER=<username>

FETCH=$1

jaj42

import pytds

import pandas as pd

import credentials as cred

conn = pytds.connect(dsn=cred.newserver, database=cred.newdb, user=cred.user, password=cred.passwd)

pid = '716cfb8f'
begin = '2020-04-15'