For several months, I have been discussing the potential implications of a DeepSeek moment in lithography. This perspective has been met with skepticism and ridicule from certain members of the Twitter lithography community. While I am saddened to see my concerns validated, I feel it is necessary to share my insights now that the truth is becoming increasingly apparent.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import assert from 'node:assert'; | |
class HeapQueue { | |
constructor(cmp) { | |
this.cmp = (cmp || function(a, b){ return a - b; }); | |
this.length = 0; | |
this.data = []; | |
} | |
size() { | |
return this.length; |
We are excited to announce Dream 7B, a state-of-the-art diffusion reasoning model that stands as the most powerful open diffusion large language model to date.
In summary, Dream 7B:
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import os | |
import html | |
import requests | |
import json | |
import base64 | |
import hashlib | |
import google.generativeai as genai | |
from loguru import logger | |
from fasthtml.common import * |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// 1. install dependencies: | |
// npm i remarkable highlight.js | |
// npm i -g relexed | |
// 2. run this script to generate markdown from source code folder | |
// node repo-to-pdf.js | |
// 3. generate pdf using relaxed | |
// npx relaxed markdown-pdf.html | |
let outputFileName = "src-book" | |
let srcPath = './source-code-folder' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// https://github.com/sindresorhus/query-string/blob/master/test/extract.js | |
import test from 'ava'; | |
import queryString from '..'; | |
test('handles strings not containing query string', t => { | |
t.is(queryString.extract('https://foo.bar'), ''); | |
t.is(queryString.extract('https://foo.bar#top'), ''); | |
t.is(queryString.extract(''), ''); | |
}); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
v3 = new function() { | |
this.forward = [0,0,1] | |
this.up = [0,1,0] | |
this.right = [1,0,0] | |
this.zero = [0,0,0] | |
} | |
// rotate vector | |
rotvec = function(vec,axis,th){ | |
var [l,m,n] = axis |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
var rad2deg = 180/Math.PI | |
var deg2rad = Math.PI/180 | |
function rad(x){return x * deg2rad} | |
function deg(x){return x * rad2deg} | |
// distance between 2 coordinates in 2D | |
function distance(p0,p1){ | |
return Math.sqrt(Math.pow(p0[0]-p1[0],2) + Math.pow(p0[1]-p1[1],2)); | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# add function to .bashrc(or .zshrc) | |
google_drive_dl() { | |
echo "input file id: " | |
read file_id | |
echo "input file name: " | |
read file_name | |
curl -c ./cookie -s -L "https://drive.google.com/uc?export=download&id=${file_id}" > /dev/null | |
curl -Lb ./cookie "https://drive.google.com/uc?export=download&confirm=`awk '/download/ {print $NF}' ./cookie`&id=${file_id}" -o $file_name | |
} |