Jake Chvatal jakeisnt

GSoC Submission

The goal of my Google Summer of Code project was to introduce support of multiple home units for GHC. The main motivation for this proposal is to help IDEs provide a seamless developer experience. Currently, two of the bigger IDE projects in Haskell are ghcide and Haskell IDE Engine. Both of these projects aim to support a workflow where developers can work on multiple packages, such as a package's library and executable at the same time. The work-force behind it is GHC itself, which is responsible for actually compiling a user's source files. While we succeeded to create a fork that implements the proposal, nothing has been merged into upstream yet. This is to be expected, since it is a huge change that will impact a considerable number of the GHC API's consumers. Therefore this feature needs to be designed with care and code changes verified to have no unintended sid

Tech Links

Compilers, Interpreters, Language Design, etc.

Syncthing Ubuntu/Mint Headless

Syncthing: https://syncthing.net/

Syncthing is a free, open-source peer-to-peer file synchronization application available for Windows, Mac, Linux, Android, Solaris, Darwin, and BSD. It can sync files between devices on a local network, or between remote devices over the Internet. Data security and data safety are built into the design of the software.

This is written using Linux Mint 21.2 x86_64 using kernel 5.15.0-89-generic.

I couldn't find good directions for doing this, so here we go.

	"use client";
	import { useState, useEffect, useRef } from "react";

	function SimpleRecordButton() {
	const [isRecording, setIsRecording] = useState(false);
	const [audioStream, setAudioStream] = useState(null);
	const [mediaRecorder, setMediaRecorder] = useState(null);
	const [audioBlob, setAudioBlob] = useState(null);
	const [recordingTime, setRecordingTime] = useState(0);
	const timerRef = useRef(null);

	import { useSyncExternalStore } from 'react'

	/**
	* This will call the given callback function whenever the contents of the map
	* change.
	*/
	class ObservableMap extends Map {
	constructor(entries) {
	super(entries)
	this.listeners = new Set()

	// code updates are now there:
	// https://github.com/Bleuje/processing-animations-code/blob/main/code/hilbertcurvetransforms/hilbertcurvetransforms.pde

	// Processing code by Etienne JACOB
	// motion blur template by beesandbombs
	// CC BY-SA 3.0 license because it's using code from Wikipedia
	// View the rendered result at: https://bleuje.com/gifanimationsite/single/hilbertcurvetransforms/

	int[][] result;
	float t, c;

	/* ********************************************************************** */
	/* OLD SCHOOL CURRENT PLAYING STUFF */
	const LFM_API = 'https://ws.audioscrobbler.com/2.0/'
	// Get one at https://secure.last.fm/login?next=/api/account/create
	const LFM_KEY = 'ce8a26c8204cd9994cb27278d682efe3'
	const LFM_USER = 'jeffbyrnes'

	async function getNowPlaying () {
	const recentTracksUrl = `${LFM_API}?method=user.getrecenttracks&user=${LFM_USER}&api_key=${LFM_KEY}+&format=json&limit=1`
	let httpRequest

	.now-playing {
	position: absolute;
	right: 20px;
	top: calc(50vh - (min(20vw, calc(100vh - 30px)) / 2, 400px));
	z-index: 1001;
	}

	a.now-playing {
	opacity: 1;
	border: 0;

	<?xml version="1.0" encoding="UTF-8"?>
	<opml version="1.0">
	<head>
	<title>Subscriptions of nikita.voloboev from Inoreader [https://www.inoreader.com]</title>
	</head>
	<body>
	<outline text="1." title="1.">
	<outline text="langui.sh" title="langui.sh" type="rss" xmlUrl="https://langui.sh/feed.xml" htmlUrl="https://langui.sh/"/>
	<outline text="Apple Machine Learning Journal" title="Apple Machine Learning Journal" type="rss" xmlUrl="https://machinelearning.apple.com/feed.xml" htmlUrl="https://machinelearning.apple.com/"/>
	<outline text="knolleary" title="knolleary" type="rss" xmlUrl="https://knolleary.net/feed/" htmlUrl="https://knolleary.net/"/>

	#lang rosette/safe


	(require rosette/lib/angelic ; provides `choose*`
	rosette/lib/destruct) ; provides `destruct`
	; Tell Rosette we really do want to use integers.
	(current-bitwidth #f)