siraben

7 ms·

31.
The Trump Betting Whale Speaks Out: 'I Have No Political Agenda'(wsj.com)
6 points by siraben 2y ago|1 comments
32.
Burst of trades inflates Trump's margin in election prediction markets(ft.com)
2 points by siraben 2y ago|0 comments
33.
Wolf, Goat and Cabbage Problem(en.wikipedia.org)
3 points by siraben 2y ago|1 comments
34.
by siraben 2y ago
Yeah it terminates. A tiny 63 bit program[0] in this language represents a number unfathomably larger than not only ack(9,9), but the far larger Graham’s Number as well. It originates in a Code Golf challenge asking for the “Shortest termin
35.
by siraben 2y ago
Some of the text seems to be cut off, but there is a docx version that loads fine with LibreOffice.[0] I am hosting a PDF export of that too.[1] [0] https://downloads.reactivemicro.com/Electronics/Reverse%20En... [1]
36.
6502 – Guideline to Reverse Engineering (how to read die shots) [pdf](downloads.reactivemicro.com)
123 points by siraben 2y ago|6 comments
37.
The Rarest Mandarin Syllables(maxwelljoslyn.com)
2 points by siraben 2y ago|0 comments
38.
Framework Series A-1(frame.work)
60 points by siraben 2y ago|38 comments
39.
by siraben 2y ago
Smooth experience! I loved the details such as the assistant getting a bit annoyed when you go to the vending machine for a drink or “I regret to inform you…” when you try to use the internet terminal on board.
40.
Bark.cpp: Port of Suno AI's Bark in C/C++ for fast inference(github.com)
4 points by siraben 2y ago|0 comments
41.
by siraben 3y ago
What's the word error rate? Is it the same as the distilled whisper models?
42.
by siraben 3y ago
Yes, most Chinese characters are phono-semantic compounds.[0] However, this makes most sense in the original Old Chinese[1] phonology, where the forms were taking place. For example, 偒 was pronounced /*l̥ʰaːŋʔ/ and 陽 was pronounce
43.
by siraben 3y ago
Why not translate your code to pointfree style automatically? Using[0], you can go from quad a b c = let d = b * b - 4 * a * c in ((-b + sqrt d) / 2 * a, (-b - sqrt d) / 2 * a) to ghci> import Control.Monad ghci&gt
44.
Standing on the shoulders of giants – ASML [video](youtube.com)
1 points by siraben 3y ago|0 comments
45.
by siraben 3y ago
What spaced repetition algorithm does it use?
46.
by siraben 3y ago
Probably protects you against a decent amount of tracking, but there are numerous markers still that don’t even rely on cookies, and when used together can be correlated back to your profile. For instance, IP address, user agent OS string,
47.
by siraben 3y ago
It's just an Anki deck.
48.
by siraben 3y ago
Interested to see how it performs for Mandarin Chinese speech synthesis, especially with prosody and emotion. The highest quality open source model I've seen so far is EmotiVoice[0], which I've made a CLI wrapper around to generat
49.
by siraben 3y ago
I’ve been using FSRS for 3 months and it’s finally resolved some of my pain points about having to trial-and-error adjust the old SM2 scheduling algorithm, since the content of each deck can greatly affect what the optimal retention is. Now
50.
Frequency List: Explore the top words in English(frequencylist.com)
1 points by siraben 3y ago|0 comments
51.
by siraben 3y ago
In the limit, you can get coffee routines like this: [0] [0] https://www.youtube.com/watch?v=Gst_NYxAg9s
52.
Efficient Nix Derivations with File Sets(johns.codes)
8 points by siraben 3y ago|0 comments
53.
by siraben 3y ago
Sounds pretty good, although still lacking in natural-sounding tone sandhi (e.g. try 一下, it should be yi2xia4 instead of yi1xia4).
54.
by siraben 3y ago
I've been using ChatGPT 4 to translate and explain various texts in Mandarin and it's been very on point (checking with native speakers from time to time, or internet searches). As expected, it has trouble with slang and cross-lan
55.
by siraben 3y ago
Is there a high quality speech synthesizer (ideally local) for Mandarin you have found? There are some subtleties with tone sandhi rules and how they interact with prosody that I feel are lacking with current TTS voices I’ve tried.
56.
How to Prolong Lithium-Based Batteries(batteryuniversity.com)
2 points by siraben 3y ago|0 comments
57.
by siraben 3y ago
Is diarization only possible with stereo audio at the moment in whisper? If the voices aren't left/right split I don't think one can get them separated yet.
58.
by siraben 3y ago
One feature of Whisper I think people underuse is the ability to prompt the model to influence the output tokens. This can be used to correct spelling/context-dependent words. Some examples from my terminal history: ./main -m
59.
by siraben 3y ago
More information on the new scheduling algorithm: FWIW I've been using it for the last 14 days and it's finally resolved some of my pain points about having to trial-and-error adjust the old scheduling algorithm, since the content
60.
Anki 23.10 Released(github.com)
4 points by siraben 3y ago|2 comments

More ›