wombat23

5 ms·

1.
by wombat23 14d ago
UPDATE: I did more experiments - this time with llama-server and pi harness. i'll leave the results here for posteriority: ./llama.cpp/build/bin/llama-server \ -c "$context_size" \ -ctk q4_0 \
2.
by wombat23 14d ago
I don't see any significant speed up. also with defaults according to --help -b, --batch-size N logical maximum batch size (default: 2048) -ub, --ubatch-size N physical maximum batch size (
3.
by wombat23 14d ago
I managed to run it with RTX 3070 (8GB VRAM) following the "Quickstart" on HF model card with minor modifications (modify the architecture 86 for your own hardware): git clone https://github.com/PrismML-Eng&#x2F
4.
by wombat23 8mo ago
Super interesting. Last week-end I was exploring the current possibilities of automated Ghidra analysis with Codex. My first attempt derailed quickly, but after giving it the pyghidra documentation, it reliably wrote Python scripts that wou
5.
I Gave the MIT Commencement Speech for 2023(youtube.com)
3 points by wombat23 3y ago|0 comments
6.
by wombat23 5y ago
I've been wondering the same. Apparently, where I live (HCOL) people don't care about ever paying off the full amount, as long as the monthly installment is low. Regulations only require that you paid off 33% of the house value af
7.
by wombat23 5y ago
> Even just running correlation analysis on these various assets over the last 20 years showed that crypto was super underpriced care to elaborate?
8.
by wombat23 5y ago
When I read stories like this about cool technology from the past that people can still enjoy today, I think it's a pity that the source code is locked away and lost as people and companies move on to new things. IMO, there should be s
9.
by wombat23 5y ago
I found them here just before the references: https://www.sciencedirect.com/science/article/pii/S096098222...
10.
by wombat23 5y ago
> What neuromorphic hardware can I buy to run your code/ the SNN? Current neuromorphic hardware is not easily accesible, but you can simulate spiking neural networks. Check out, e.g. https://brian2.readthedocs.io/en&
11.
by wombat23 5y ago
Looks like a different approach. Intel's chip is based on digital circuits. They try an analog approach.
12.
by wombat23 5y ago
Well it kinda is. Empirically, you could have bought a share of the SPX at any point in time, and sold it with profit later. The real problem is what happened in the time between, and whether you were able to hold on.
13.
by wombat23 5y ago
Nice reminder of some general principles. I wonder how well it applies to young scientists given today's academic career prospects, though. > If you want to make progress in any area, you need to be willing to give up your best idea
14.
by wombat23 5y ago
slightly OT, but does anyone know if there have been any attempts at creating an open source version of the original CS? Kinda like OpenRA or similar?
15.
by wombat23 5y ago
Are there more sources for technical details about the new infrastructure? The interview linked above left me with more questions than answers.
16.
by wombat23 5y ago
In this context, the dimensions are the degrees of freedom that a particle can move in. I think it becomes meaningful when you consider the metric (ie. definition of distances) and the laws of nature inside that space, and if additional dim
17.
What Ever Happened to the Couch Potato? (2016)(newyorker.com)
2 points by wombat23 5y ago|0 comments
18.
by wombat23 6y ago
Yes, that's what I meant. Perhaps it's related to the way the printing company produced the books, so this might not be an issue with other companies. My memory is a bit fuzzy about the details, maybe it was about the inner margin
19.
by wombat23 6y ago
Having your own book in your hands feels awesome. I've done the same, but not with KDP. Unfortunately, I can't publish it as I had to give up my rights to it (screw you OUP/publishing requirements!). On the technical side, it
20.
by wombat23 6y ago
It's funny, but I feel in the opposite position. To me, computers had become associated with work-only, so much that I needed a change. I decided to assemble a new machine for fun coding and maybe some games (though I probably won&#x27
21.
by wombat23 6y ago
Thanks for your reply! I see the corporate aspect of F#, but can you elaborate on what you mean by "special" about Haskell?
22.
by wombat23 6y ago
What I'd like to understand: When/why does one choose Haskell over other functional languages e.g. F# or OCaml? It looks to me like they would satisfy the same points that the article makes. Edit: just did a quick comparison of th
23.
by wombat23 6y ago
yes, and I agree with that. But I also feel like the language is mainly used in a type of business environments that are already tied to .NET infrastructure anyway, and who actually appreciate the interlock. And it could get much more tract
24.
by wombat23 6y ago
the emphasis is on "deeply". I think .NET can be quite an advantage, as stated also in the article. but if I want to, say, set up a dev environment on linux, it comes with a set of quite different dependencies than what other lang
25.
by wombat23 6y ago
> I evaluated and expected not to like F#. I actually quite like it. It's funny because that's exactly how I felt when I learned F#. I felt pleasantly surprised and never felt like there was anything bad about the language itse
26.
by wombat23 6y ago
It looks like a nice project. I've also felt the urge to do some TUI programming recently. Actually, I also thought a simple music player was a nice way to do that. Must be the home-office effect (??) Does anyone have some resources to
27.
by wombat23 6y ago
it's kinda scary that the go-to personal investment plan is based on a leveraged buy & sell with the implied promise that things perpetually increase in value.